( en | de | ru )

 

Disambiguierung von "Mazowiecki, Filip"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Monadic Datalog and Regular Tree Pattern Queries.

, , und . MFCS (1), Volume 8634 von Lecture Notes in Computer Science, Seite 426-437. Springer, (2014)

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.

Heinrich Filip

Filip Lebo

Adam Filip

Filip Beck

Filip Floegel

 

Weitere Publikationen von Autoren mit dem selben Namen

The complexity of soundness in workflow nets., , und . LICS, Seite 20:1-20:13. ACM, (2022)When is Containment Decidable for Probabilistic Automata?., , , , , und . ICALP, Volume 107 von LIPIcs, Seite 121:1-121:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Reachability for Bounded Branching VASS., und . CONCUR, Volume 140 von LIPIcs, Seite 28:1-28:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Dynamic Data Structures for Timed Automata Acceptance., , , , und . IPEC, Volume 214 von LIPIcs, Seite 20:1-20:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Affine Extensions of Integer Vector Addition Systems with States., , , und . Log. Methods Comput. Sci., (2021)Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations., , und . CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 468-489. Springer, (2022)The boundedness and zero isolation problems for weighted automata over nonnegative rationals., , , , und . LICS, Seite 15:1-15:13. ACM, (2022)Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata., , und . CoRR, (2023)Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems., , , und . ACM Trans. Comput. Log., 20 (3): 14:1-14:31 (2019)When are emptiness and containment decidable for probabilistic automata?, , , , , und . J. Comput. Syst. Sci., (2021)