( en | de | ru )

 

Disambiguierung von "Mogavero, Fabio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games.

, , und . GandALF, Volume 256 von EPTCS, Seite 121-135. (2017)

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.

Fabio Sternberg

Fabio Farinon

Fabio Galbusera

Fabio Giovannini

Fabio Ruggiero

 

Weitere Publikationen von Autoren mit dem selben Namen

SHACL Satisfiability and Containment., , , und . ISWC (1), Volume 12506 von Lecture Notes in Computer Science, Seite 474-493. Springer, (2020)Preface to the Special Issue on SR 2014., , und . Inf. Comput., (2017)Reasoning About Strategies: On the Model-Checking Problem, , , und . CoRR, (2011)Relentful Strategic Reasoning in Alternating-Time Temporal Logic., , und . LPAR (Dakar), Volume 6355 von Lecture Notes in Computer Science, Seite 371-386. Springer, (2010)Attacking Diophantus: Solving a Special Case of Bag Containment., und . PODS, Seite 399-413. ACM, (2019)Reformulating Queries: Theory and Practice., , , und . IJCAI, Seite 837-843. ijcai.org, (2017)Synthesis of Hierarchical Systems., , und . FACS, Volume 7253 von Lecture Notes in Computer Science, Seite 42-60. Springer, (2011)On Promptness in Parity Games., , und . Fundam. Informaticae, 139 (3): 277-305 (2015)Relentful strategic reasoning in alternating-time temporal logic., , und . J. Log. Comput., 26 (5): 1663-1695 (2016)Taming Strategy Logic: Non-Recurrent Fragments., , und . TIME, Volume 247 von LIPIcs, Seite 14:1-14:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)