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 Legal Documents., , and . JURIX, volume 223 of Frontiers in Artificial Intelligence and Applications, page 151-154. IOS Press, (2010)Computational Models for Normative Multi-Agent Systems., , , , , , , and . Normative Multi-Agent Systems, volume 4 of Dagstuhl Follow-Ups, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Clique-independent sets of Helly circular-arc graphs., , , and . Electron. Notes Discret. Math., (2004)Completeness Results for Memory Logics., , and . LFCS, volume 5407 of Lecture Notes in Computer Science, page 16-30. Springer, (2009)The Expressive Power of Memory Logics., , , and . Rev. Symb. Log., 4 (2): 290-318 (2011)A Software Tool for Legal Drafting, , and . FLACOS, volume 68 of EPTCS, page 71-86. (2011)DKAL and Z3: A Logic Embedding Experiment., and . Fields of Logic and Computation, volume 6300 of Lecture Notes in Computer Science, page 504-528. Springer, (2010)Performance improvement on legal model checking., , , , , , , , and . ICAIL, page 59-68. ACM, (2017)Completeness results for memory logics., , and . Ann. Pure Appl. Log., 163 (7): 961-972 (2012)Algorithms for finding clique-transversals of graphs., , , and . Ann. Oper. Res., 157 (1): 37-45 (2008)