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

Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE., , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 21 (1): 106-119 (January 2024)Decidability and complexity of action-based temporal planning over dense time., , , and . Artif. Intell., (2022)A first-order logic characterization of safety and co-safety languages., , , , and . Log. Methods Comput. Sci., (2023)Qualitative past Timeline-Based Games (Extended Abstract)., , , and . TIME, volume 278 of LIPIcs, page 22:1-22:3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty., , , , and . TIME, volume 120 of LIPIcs, page 13:1-13:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform., , and . LATA, volume 8977 of Lecture Notes in Computer Science, page 587-598. Springer, (2015)On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning.. IJCAI, page 5181-5182. ijcai.org, (2017)GR(1) is equivalent to R(1)., , , , and . Inf. Process. Lett., (2023)On timeline-based games and their complexity., , , , and . Theor. Comput. Sci., (2020)Controller Synthesis for Timeline-based Games., , , , and . CoRR, (2023)