- On the Regularity of Petri Net Languages Hsu-Chun Yen Thu 08 September 2016
- Models of Lambda-Calculus and the Weak MSO Logic Pawel Parys Szymon Torunczyk Sat 03 September 2016
- Separability of Reachability Sets of Vector Addition Systems Lorenzo Clemente Wojciech Czerwiński Sławomir Lasota Charles Paperman Fri 02 September 2016
- The Decidability of the Intensional Fragment of Classical Linear Logic Katalin Bimbó Wed 31 August 2016
- The Diagonal Problem for Higher-Order Recursion Schemes is Decidable Lorenzo Clemente Paweł Parys Sylvain Salvati Igor Walukiewicz Mon 29 August 2016
- Synchronizing Data Words for Register Automata Parvaneh Babari Karin Quaas Mahsa Shirmohammadi Thu 25 August 2016
- Dense-Time Visibly Pushdown Automata with Multiple Stacks Devendra Bhave Vrunda Dave Shankara Narayanan Krishna Ramchandra Phawade Ashutosh Trivedi Wed 24 August 2016
- A Theory of the Learnable L. G. Valiant Tue 23 August 2016
- On the Regular Emptiness Problem of Subzero Automata Henryk Michalewski Matteo Mio Mikołaj Bojańczyk Thu 18 August 2016
- Integer Parameter Synthesis for Timed Automata Aleksandra Jovanović Didier Lime Olivier H. Roux Wed 17 August 2016
- Decision Problems for Lower/Upper Bound Parametric Timed Automata Laura Bozzelli Salvatore La Torre Wed 17 August 2016
- Pumping lemmas for linear and nonlinear context-free languages Géza Horváth Benedek Nagy Mon 08 August 2016
- Ogden's Lemma for Regular Tree Languages Marco Kuhlmann Tue 02 August 2016
- Automata for Specifying and Orchestrating Service Contracts Davide Basile Pierpaolo Degano Gian-Luigi Ferrari Tue 02 August 2016
- The Complexity of Rational Synthesis Rodica Condurache Emmanuel Filiot Raffaella Gentilini Jean-François Raskin Tue 02 August 2016
- Liveness in L/U-Parametric Timed Automata Étienne André Didier Lime Fri 29 July 2016
- Acceleration for Petri Nets (invited talk) Jérôme Leroux Tue 26 July 2016
- Presburger Vector Addition Systems J. Leroux Tue 26 July 2016
- BVASS with plus and minus Filip Mazowiecki Ranko Lazić Thu 21 July 2016
- Short History of the Cyrillic Alphabet Ivan G. Iliev Thu 21 July 2016
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
