Autor der Publikation

Ranked Enumeration of MSO Logic on Words.

, , , und . ICDT, Volume 186 von LIPIcs, Seite 20:1-20:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Ranked enumeration of MSO logic on words., , , und . CoRR, (2020)Tailored vertex ordering for faster triangle listing in large graphs., , , und . ALENEX, Seite 77-85. SIAM, (2023)Dynamic Membership for Regular Languages., , und . ICALP, Volume 198 von LIPIcs, Seite 116:1-116:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)On the Optimization of Recursive Relational Queries: Application to Graph Queries., , , und . SIGMOD Conference, Seite 681-697. ACM, (2020)Reasoning about Disclosure in Data Integration in the Presence of Source Constraints., , , und . IJCAI, Seite 1551-1557. ijcai.org, (2019)Tailored vertex ordering for faster triangle listing in large graphs., , , und . CoRR, (2022)Balancing Expressiveness and Inexpressiveness in View Design., , , und . ACM Trans. Database Syst., 46 (4): 15:1-15:40 (2021)A Multi-Criteria Experimental Ranking of Distributed SPARQL Evaluators., , , und . IEEE BigData, Seite 693-702. IEEE, (2018)Efficient Enumeration for Annotated Grammars., , , und . PODS, Seite 291-300. ACM, (2022)SPARQLGX in Action: Efficient Distributed Evaluation of SPARQL with Apache Spark., , , und . ISWC (Posters & Demos), Volume 1690 von CEUR Workshop Proceedings, CEUR-WS.org, (2016)