Autor der Publikation

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

Distributed Subweb Specifications for Traversing the Web., , , , , und . CoRR, (2023)Input-Output Disjointness for Forward Expressions in the Logic of Information Flows., und . ICDT, Volume 186 von LIPIcs, Seite 8:1-8:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Expressiveness within Sequence Datalog., , , und . PODS, Seite 70-81. ACM, (2021)Executable First-Order Queries in the Logic of Information Flows., , , , und . ICDT, Volume 155 von LIPIcs, Seite 4:1-4:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Inputs, Outputs, and Composition in the Logic of Information Flows., , , , und . ACM Trans. Comput. Log., 24 (4): 33:1-33:44 (Oktober 2023)Concatenation, Separation, and Other Properties of Variably Polyadic Relations., und . FoIKS, Volume 10833 von Lecture Notes in Computer Science, Seite 17-33. Springer, (2018)Expressiveness within Sequence Datalog., , , und . CoRR, (2022)Distributed Subweb Specifications for Traversing the Web., , , , , und . Theory Pract. Log. Program., 24 (2): 394-420 (März 2024)Logical Analysis of Input and Output Sensitivity in the Logic of Information Flows. Hasselt University, Belgium, (2023)Hassel University oai:documentserver.uhasselt.be:1942/40026.Link Traversal with Distributed Subweb Specifications., , , , , und . RuleML+RR, Volume 12851 von Lecture Notes in Computer Science, Seite 62-79. Springer, (2021)