( en | de | ru )

 

Disambiguierung von "Titolo, Laura"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Abstract Analysis of Universal Properties for tccp.

, , , und . LOPSTR, Volume 9527 von Lecture Notes in Computer Science, Seite 163-178. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mario Laura

Marco Laurati

Laura Dreiner

Anatomisch-histologische Variationen des Labrum glenoidale bei erwachsenen Hunden verschiedener Rassen im Vergleich zum jungen Beagle unter besonderer Berücksichtigung des Kollagenfaserverlaufs. Uni Gießen, (2009)

Laura Oberlin

Behandlung von Pankreaskarzinomzelllinien in vitro und in vivo mit einem monoklonalen Antikörper gegen den Transferrinrezeptor. Uni Gießen, (2009)

Laura Gierke

 

Weitere Publikationen von Autoren mit dem selben Namen

Eliminating Unstable Tests in Floating-Point Programs., , , und . LOPSTR, Volume 11408 von Lecture Notes in Computer Science, Seite 169-183. Springer, (2018)Automatic Generation of Guard-Stable Floating-Point Code., , , und . IFM, Volume 12546 von Lecture Notes in Computer Science, Seite 141-159. Springer, (2020)An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages.. University of Udine, Italy, (2014)Towards an Effective Decision Procedure for LTL formulas with Constraints., , und . CoRR, (2013)From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project., , , , , , , , , und . FMAS, Volume 329 von EPTCS, Seite 23-30. (2020)A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts., , , und . FMCAD, Seite 237-246. IEEE, (2023)A constraint-based language for modelling intelligent environments., , , und . J. Reliab. Intell. Environ., 3 (1): 55-79 (2017)Abstract Diagnosis for tccp using a Linear Temporal Logic., , und . Theory Pract. Log. Program., 14 (4-5): 787-801 (2014)Modeling Hybrid Systems in Hy-tccp., , und . CoRR, (2014)Abstract Analysis of Universal Properties for tccp., , , und . LOPSTR, Volume 9527 von Lecture Notes in Computer Science, Seite 163-178. Springer, (2015)