Author of the publication

On the expressiveness of spatial constraint systems. (Sur l'expressivité des systèmes de contraintes spatiales).

. University of Paris-Saclay, France, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

TkT: Automatic Inference of Timed and Extended Pushdown Automata., , , and . IEEE Trans. Software Eng., 48 (2): 617-636 (2022)A Symbolic Model for Timed Concurrent Constraint Programming., , and . LSFA, volume 312 of Electronic Notes in Theoretical Computer Science, page 161-177. Elsevier, (2014)Simulating Signalling Pathways With BioWayS., , , , and . CS2Bio, volume 293 of Electronic Notes in Theoretical Computer Science, page 17-34. Elsevier, (2012)On the Expressiveness of Spatial Constraint Systems., and . ICLP (Technical Communications), volume 52 of OASIcs, page 16:1-16:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Reasoning about distributed information with infinitely many agents., , , , , and . J. Log. Algebraic Methods Program., (2021)Test4Enforcers: Test Case Generation for Software Enforcers., , , and . RV, volume 12399 of Lecture Notes in Computer Science, page 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., , , , , and . ESEC/SIGSOFT FSE, page 1085-1089. ACM, (2019)Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents., , , , , and . CONCUR, volume 140 of LIPIcs, page 29:1-29:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)NGPaaS Framework for Enriched and Customized Virtual Network Functions-as-a-Service., , , , , , , and . EuCNC, page 42-46. IEEE, (2019)