Autor der Publikation

Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019.

, , , , , , , , , und (Hrsg.) Volume 306 von EPTCS, (2019)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Verification of Websites., , und . WWV, Volume 200 von Electronic Notes in Theoretical Computer Science, Seite 103-118. Elsevier, (2007)A Framework for Timed Concurrent Constraint Programming with External Functions., , und . PROLE, Volume 188 von Electronic Notes in Theoretical Computer Science, Seite 143-155. Elsevier, (2006)Modeling concurrent systems specified in a temporal concurrent constraint language-I., , und . APPIA-GULP-PRODE, Volume 48 von Electronic Notes in Theoretical Computer Science, Seite 197-210. Elsevier, (2001)Bridging the Gap between Two Concurrent Constraint Languages., und . WFLP, Volume 6559 von Lecture Notes in Computer Science, Seite 155-173. Springer, (2010)Abstract Analysis of Universal Properties for tccp., , , und . LOPSTR, Volume 9527 von Lecture Notes in Computer Science, Seite 163-178. Springer, (2015)Automatic Verification of Timed Concurrent Constraint Programs, und . CoRR, (2005)Abstract Contract Synthesis and Verification in the Symbolic K Framework., , und . Fundam. Informaticae, 177 (3-4): 235-273 (2020)Model checking for the concurrent constraint paradigm.. AI Commun., 17 (2): 93-94 (2004)Abstract Diagnosis for tccp using a Linear Temporal Logic., , und . Theory Pract. Log. Program., 14 (4-5): 787-801 (2014)An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation., , , und . PROLE, Volume 206 von Electronic Notes in Theoretical Computer Science, Seite 3-21. Elsevier, (2007)