Autor der Publikation

Characterizing right inverses for spatial constraint systems with applications to modal logic.

, , , und . Theor. Comput. Sci., (2018)

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

TkT: Automatic Inference of Timed and Extended Pushdown Automata., , , und . IEEE Trans. Software Eng., 48 (2): 617-636 (2022)Simulating Signalling Pathways With BioWayS., , , , und . CS2Bio, Volume 293 von Electronic Notes in Theoretical Computer Science, Seite 17-34. Elsevier, (2012)On the Expressiveness of Spatial Constraint Systems., und . ICLP (Technical Communications), Volume 52 von OASIcs, Seite 16:1-16:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Reasoning about distributed information with infinitely many agents., , , , , und . J. Log. Algebraic Methods Program., (2021)Test4Enforcers: Test Case Generation for Software Enforcers., , , und . RV, Volume 12399 von Lecture Notes in Computer Science, Seite 279-297. Springer, (2020)On the expressiveness of spatial constraint systems. (Sur l'expressivité des systèmes de contraintes spatiales).. University of Paris-Saclay, France, (2017)VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud., , , , , und . ESEC/SIGSOFT FSE, Seite 1085-1089. ACM, (2019)Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents., , , , , und . CONCUR, Volume 140 von LIPIcs, Seite 29:1-29:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)NGPaaS Framework for Enriched and Customized Virtual Network Functions-as-a-Service., , , , , , , und . EuCNC, Seite 42-46. IEEE, (2019)Risk-Based Safety Envelopes for Autonomous Vehicles Under Perception Uncertainty., , , , und . IV, Seite 104-111. IEEE, (2022)