- Minimisation of Multiplicity Tree Automata Stefan Kiefer Ines Marusic James Worrell Wed 04 February 2015
- Three Variables Suffice for Real-Time Specification Timos Antonopoulos Paul Hunter Shahab Raza James Worrell Wed 04 February 2015
- Weak and Nested Class Memory Automata Conrad Cotton-Barratt Andrzej Murawski Luke Ong Wed 04 February 2015
- Fragments of ML Decidable by Nested Data Class Memory Automata Conrad Cotton-Barratt David Hopkins Andrzej S. Murawski C.-H. Luke Ong Wed 04 February 2015
- Equivalence Problems for Tree Transducers: A Brief Survey Sebastian Maneth Wed 04 February 2015
- The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games Krishnendu Chatterjee Rasmus Ibsen-Jensen Wed 04 February 2015
- Bounded Rationality in Concurrent Parity Games Krishnendu Chatterjee Mon 02 February 2015
- A note on pushdown store automata and regular systems Sheila Greibach Mon 02 February 2015
- Récritures suffixes de mots Didier Caucal Mon 02 February 2015
- Even Simple Programs Are Hard to Analyze Neil D. Jones Steven S. Muchnick Mon 02 February 2015
- Regular Strategies in Pushdown Reachability Games A. Carayol M. Hague Mon 02 February 2015
- Saturation of Concurrent Collapsible Pushdown Systems Matthew Hague Mon 02 February 2015
- Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting Approach Matthew Hague Anthony Widjaja Lin Luke Ong Mon 02 February 2015
- Saturation algorithms for model-checking pushdown systems Arnaud Carayol Matthew Hague Mon 02 February 2015
- Typing weak MSOL properties Sylvain Salvati Igor Walukiewicz Sun 01 February 2015
- Minimizing Risk Models in Markov Decision Processes with Policies Depending on Target Values Congbin Wu Yuanlie Lin Fri 30 January 2015
- Model Checking Metric Temporal Logic over Automata with One Counter Karin Quaas Thu 29 January 2015
- The bounded gaps between primes Polymath project - a retrospective D.H.J. Polymath Wed 28 January 2015
- The Complexity of Membership Problems for Circuits over Sets of Integers Stephen Travers Tue 27 January 2015
- SCULPT: A Schema Language for Tabular Data on the Web Wim Martens Frank Neven Stijn Vansummeren Thu 22 January 2015
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
