( 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)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)Reachability for Bounded Branching VASS., und . CONCUR, Volume 140 von LIPIcs, Seite 28:1-28:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Fined-Grained Complexity of Ambiguity Problems on Automata and Directed Graphs., , , , und . CoRR, (Januar 2025)Let's Agree to Degree: Comparing Graph Convolutional Networks in the Message-Passing Framework., , und . ICML, Volume 139 von Proceedings of Machine Learning Research, Seite 3640-3649. PMLR, (2021)Soundness of reset workflow nets., , , , und . LICS, Seite 13:1-13:14. ACM, (2024)On Rational Recursive Sequences., , , und . STACS, Volume 254 von LIPIcs, Seite 24:1-24:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Reachability in Fixed Dimension Vector Addition Systems with States., , , , und . CONCUR, Volume 171 von LIPIcs, Seite 48:1-48:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Monus Semantics in Vector Addition Systems with States., , , und . CONCUR, Volume 279 von LIPIcs, Seite 10:1-10:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)