Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

Finite-state abstractions of infinite-state systems

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Veröffentlichungen

Directed Regular and Context-Free Languages (öffnet in neuem Fenster)

Autoren: Ganardi, M.; Sağlam, I.; Zetzsche, G.
Veröffentlicht in: Proc. of STACS 2024, 2024
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.STACS.2024.36

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective

Autoren: Pascal Bergsträßer, Chris Köcher, Anthony W. Lin, Georg Zetzsche
Veröffentlicht in: Proc. of NeurIPS 2024, 2024
Herausgeber: NeurIPS

Slice closures of indexed languages and word equations with counting constraints (öffnet in neuem Fenster)

Autoren: Laura Ciobanu; Georg Zetzsche
Veröffentlicht in: Proc. of LICS 2024, 2024
Herausgeber: ACM
DOI: 10.1145/3661814.3662134

Priority Downward Closures (öffnet in neuem Fenster)

Autoren: Anand, A.; Zetzsche, G.
Veröffentlicht in: Proc. of CONCUR 2023, 2023
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.CONCUR.2023.39

Context-Bounded Analysis of Concurrent Programs (Invited Talk) (öffnet in neuem Fenster)

Autoren: Baumann, Pascal; Ganardi, Moses; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
Veröffentlicht in: Proc. of ICALP 2023, 2023
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2023.3

Regular Separability in Büchi VASS (öffnet in neuem Fenster)

Autoren: Baumann, P.; Meyer, R.; Zetzsche, G.
Veröffentlicht in: Proc. of STACS 2023, 2023
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.STACS.2023.9

Unboundedness Problems for Machines with Reversal-Bounded Counters (öffnet in neuem Fenster)

Autoren: Pascal Baumann; Flavio D’Alessandro; Moses Ganardi; Oscar Ibarra; Ian McQuillan; Lia Schütze; Georg Zetzsche
Veröffentlicht in: Proc. of FoSSaCS 2023, 2023
Herausgeber: Springer, Cham
DOI: 10.1007/978-3-031-30829-1_12

Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities (öffnet in neuem Fenster)

Autoren: Pascal Baumann, Eren Keskin, Roland Meyer, Georg Zetzsche
Veröffentlicht in: Proc. of ICALP 2024, 2024
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2024.126

Regular Separators for VASS Coverability Languages (öffnet in neuem Fenster)

Autoren: Köcher, Chris; Zetzsche, Georg
Veröffentlicht in: Proc. of FSTTCS 2023, 2023
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.FSTTCS.2023.15

Checking Refinement of Asynchronous Programs against Context-Free Specifications (öffnet in neuem Fenster)

Autoren: Baumann, Pascal; Ganardi, Moses; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
Veröffentlicht in: Proc. of ICALP 2023, 2023
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.48550/ARXIV.2306.13058

An Efficient Quantifier Elimination Procedure for Presburger Arithmetic (öffnet in neuem Fenster)

Autoren: Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
Veröffentlicht in: Proc. of ICALP 2024, 2024
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2024.142

Reachability in Continuous Pushdown VASS (öffnet in neuem Fenster)

Autoren: A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 8, 2024, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3633279

Ramsey Quantifiers in Linear Arithmetics (öffnet in neuem Fenster)

Autoren: Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 8, 2024, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3632843

Checking Refinement of Asynchronous Programs against Context-Free Specifications (öffnet in neuem Fenster)

Autoren: Baumann, P.; Ganardi, M.; Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.
Veröffentlicht in: Proc. of ICALP 2023, 2023
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/LIPICS.ICALP.2023.110

Verifying Unboundedness via Amalgamation (öffnet in neuem Fenster)

Autoren: Ashwani Anand; Sylvain Schmitz; Lia Schütze; Georg Zetzsche
Veröffentlicht in: Proc. of LICS 2024, 2024
Herausgeber: ACM
DOI: 10.1145/3661814.3662133

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0