- Noncanonical LALR(1) Parsing Sylvain Schmitz Fri 02 March 2012
- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages Bart Jacobs Fri 02 March 2012
- Finding the Smallest H-Subgraph in Real Weighted Graphs and Related Problems Virginia Vassilevska Ryan Williams Raphael Yuster Fri 02 March 2012
- Boogie: A Modular Reusable Verifier for Object-Oriented Programs Mike Barnett Bor-Yuh Evan Chang Robert DeLine Bart Jacobs K. Rustan M. Leino Fri 02 March 2012
- The Embedded Systems Design Challenge Thomas A. Henzinger Joseph Sifakis Fri 02 March 2012
- PSL Model Checking and Run-Time Verification Via Testers A. Pnueli A. Zaks Fri 02 March 2012
- Termination of Integer Linear Programs Mark Braverman Fri 02 March 2012
- Termination Analysis with Calling Context Graphs Panagiotis Manolios Daron Vroon Fri 02 March 2012
- Minimizing Generalized Büchi Automata Sudeep Juvekar Nir Piterman Fri 02 March 2012
- Faulty EPCs in the SAP Reference Model J. Mendling M. Moser G. Neumann H. M. W. Verbeek B. F. van Dongen W. M. P. van der Aalst Fri 02 March 2012
- A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes Nicolás Wolovick Sven Johr Fri 02 March 2012
- Algorithms for Omega-Regular Games with Imperfect Information Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger Jean-François Raskin Fri 02 March 2012
- Grey-Box Checking Edith Elkind Blaise Genest Doron Peled Hongyang Qu Fri 02 March 2012
- Treewidth: Characterizations, Applications, and Computations Hans L. Bodlaender Fri 02 March 2012
- An algebraic formulation of the Chomsky hierarchy Mitchell Wand Fri 02 March 2012
- A hierarchy of regular sequence sets Klaus Wagner Fri 02 March 2012
- Piecewise testable events Imre Simon Fri 02 March 2012
- On the parsing of LL-regular grammars Anton Nijholt Fri 02 March 2012
- Using determinancy of games to eliminate quantifiers J. Richard Buchi Fri 02 March 2012
- Self-modifying nets, a natural extension of Petri nets Rüdiger Valk Fri 02 March 2012
Library Size: 13G (12952 entries),
Last Updated: Apr 13, 2026, 17:04:26,
Build Time: N/A
