- Non-Sequential Theory of Distributed Systems Benedikt Bollig Paul Gastin Thu 31 January 2019
- Verifying Asynchronous Interactions via Communicating Session Automata Julien Lange Nobuko Yoshida Thu 31 January 2019
- Automata theory in nominal sets Mikołaj Bojańczyk Bartek Klin Sławomir Lasota Wed 30 January 2019
- Algorithmic Complexity of Well-Quasi-Orders Sylvain Schmitz Tue 29 January 2019
- Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete Petr Jančar Sylvain Schmitz Tue 29 January 2019
- Continuously analyzing finite, message-driven, time-synchronous component & connector systems during architecture evolution Arvid Butting Oliver Kautz Bernhard Rumpe Andreas Wortmann Mon 28 January 2019
- A generic framework for checking semantic equivalences between pushdown automata and finite-state automata Antonín Kučera Richard Mayr Mon 21 January 2019
- Model Checking Flat Freeze LTL on One-Counter Automata Antonia Lechner Richard Mayr Joel Ouaknine Amaury Pouly James Worrell Mon 21 January 2019
- On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems Vincent Penelle Sylvain Salvati Grégoire Sutre Fri 18 January 2019
- Basic Category Theory Tom Leinster Wed 16 January 2019
- Advanced Topics in Semantics of Programming Languages Pierre Clairambault Colin Riba Wed 16 January 2019
- Unique End of Potential Line John Fearnley Spencer Gordon Ruta Mehta Rahul Savani Wed 16 January 2019
- Computational Complexity of Algorithms for Optimization of Multi-Hybrid Renewable Energy Systems F. O. Igbinovia J. Krupka Mon 14 January 2019
- Languages ordered by the subword order Dietrich Kuske Georg Zetzsche Mon 14 January 2019
- Learnability can be undecidable Shai Ben-David Pavel Hrubeš Shay Moran Amir Shpilka Amir Yehudayoff Sun 13 January 2019
- PAC-learning is Undecidable Sairaam Venkatraman S Balasubramanian R Raghunatha Sarma Sun 13 January 2019
- GAMES'09 AAVV Fri 11 January 2019
- Probability and Problems in Euclidean Combinatorial Optimization J. Michael Steele Fri 11 January 2019
- Reactive synthesis without regret Paul Hunter Guillermo A. Pérez Jean-François Raskin Fri 11 January 2019
- Computing the Width of Non-deterministic Automata Denis Kuperberg Anirban Majumdar Fri 11 January 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
