- On Semantically-Deterministic Automata Bader Abu Radi Orna Kupferman Fri 26 May 2023
- Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates Bernard Boigelot Pascal Fontaine Baptiste Vergain Fri 26 May 2023
- General-Nondeterministic Fuzzy Pushdown Automata and Their Languages Fangping Zhou Chao Yang Fri 26 May 2023
- Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata S. Akshay Paul Gastin Karthik R. Prakash Fri 26 May 2023
- Certifying DFA Bounds for Recognition and Separation Orna Kupferman Nir Lavee Salomon Sickert Fri 26 May 2023
- Existential Definability over the Subword Ordering Pascal Baumann Moses Ganardi Ramanathan S. Thinniyam Georg Zetzsche Fri 26 May 2023
- On The Decidability Of Infix Inclusion Problem Hyunjoon Cheon Joonghyuk Hahn Yo-Sub Han Fri 26 May 2023
- Decentralized Observation of Discrete-Event Systems: At Least One Can Tell Stavros Tripakis Karen Rudie Fri 26 May 2023
- Testing Timed Systems Using Determinization Techniques for One-Clock Timed Automata Moez Krichen Fri 26 May 2023
- Language Inclusion Checking of Timed Automata Based on Property Patterns Ting Wang Yan Shen Tieming Chen Baiyang Ji Tiantian Zhu Mingqi Lv Fri 26 May 2023
- Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable Wojciech Czerwiński Piotr Hofman Fri 26 May 2023
- Automatic Synthesis of Systems with Data Léo Exibard Fri 26 May 2023
- New Techniques for Universality in Unambiguous Register Automata Wojciech Czerwiński Antoine Mottet Karin Quaas Fri 26 May 2023
- Unboundedness for Recursion Schemes: A Simpler Type System David Barozzini Paweł Parys Jan Wróblewski Thu 25 May 2023
- A Type System Describing Unboundedness Paweł Parys Thu 25 May 2023
- Recursion Schemes, the MSO Logic, and the U quantifier Paweł Parys Thu 25 May 2023
- METHOD AND SYSTEM FOR TESTING OPERATION OF TARGET COMPUTER SYSTEM Reiya Noguchi Thierry Jeron Nicolas Markey Ocan Sankur Thu 25 May 2023
- Determinisability of register and timed automata Lorenzo Clemente Sławomir Lasota Radosław Piórkowski Wed 24 May 2023
- Making textsfIP=textsfPSPACE Practical: Efficient Interactive Protocols for BDD Algorithms Eszter Couillard Philipp Czerner Javier Esparza Rupak Majumdar Wed 24 May 2023
- On the Intersection of Context-Free and Regular Languages Clemente Pasti Andreas Opedal Tiago Pimentel Tim Vieira Jason Eisner Ryan Cotterell Wed 24 May 2023
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
