Author of the publication

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

Model Checking for Modal Dependence Logic: An Approach through Post's Lattice., and . WoLLIC, volume 8071 of Lecture Notes in Computer Science, page 238-250. Springer, (2013)C-PO: A Context-Based Application-Placement Optimization for Autonomous Vehicles., , , , , , , and . DATE, page 1288-1293. IEEE, (2021)Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles., , , , , and . ASD@DATE, volume 79 of OASIcs, page 1:1-1:7. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Modal independence logic., , , and . J. Log. Comput., 27 (5): 1333-1352 (2017)Modal Independence Logic., , , and . Advances in Modal Logic, page 353-372. College Publications, (2014)Parameterised Enumeration for Modification Problems., , , , , and . Algorithms, 12 (9): 189 (2019)Parameterized Enumeration for Modification Problems., , , , , and . LATA, volume 8977 of Lecture Notes in Computer Science, page 524-536. Springer, (2015)A Van Benthem Theorem for Modal Team Semantics., , , and . CSL, volume 41 of LIPIcs, page 277-291. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Extended Modal Dependence Logic., , , , , and . WoLLIC, volume 8071 of Lecture Notes in Computer Science, page 126-137. Springer, (2013)A Van Benthem Theorem for Modal Team Semantics., , , and . CoRR, (2014)