Logik in der Informatik
Prof. Dr. Nicole Schweikardt |
|
Willkommen auf den Webseiten des Lehrstuhls "Theoretische Informatik"!
Aktuelles:
- Die Arbeit "Tractable Gap-Constraint Languages for Complex Event Recognition" von Antoine Amarilli, Florin Manea, Tina Ringleb and Markus L. Schmid wurde bei PODS 2027 akzeptiert.
- Die Arbeit "Graph and String Parameters: Connections Between Pathwidth, Cutwidth and the Locality Number" von Katrin Casel, Joel D. Day, Pamela Fleischmann, Tomasz Kociumaka, Florin Manea, Markus L. Schmid wurde bei Algorithmica akzeptiert.
- Die Arbeit "MSO-Enumeration Over SLP-Compressed Unranked Forests" von Markus Lohrey und Markus L. Schmid wurde bei TheoretiCS akzeptiert.
- Die Arbeit "Complexity of Clique-Guarded First-Order Logic with Counting“ von Steffen van Bergerem, Johannes Lange und Nicole Schweikardt wurde bei MFCS 2026 akzeptiert.
- Neue Version der Arbeit "First-Order Query Evaluation with Cardinality Conditions" von Martin Grohe und Nicole Schweikardt auf ArXiv erhältlich (12.06.2026)
- Neues Preprint bei ArXiv erhältlich: "A Rank-Preserving Gaifman Normal Form" von Martin Grohe und Nicole Schweikardt (10.06.2026)