- LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper) Christian Colombo Gordon J. Pace Gerardo Schneider Fri 02 March 2012
- Non-local Choice and Implied Scenarios Haitao Dan Robert M. Hierons Steve Counsell Fri 02 March 2012
- Orderings for term-rewriting systems Nachum Dershowitz Fri 02 March 2012
- Storing a sparse table with O(1) worst case access time Michael L. Fredman Janos Komlos Endre Szemeredi Fri 02 March 2012
- Deciding the inequivalence of context-free grammars with 1-letter terminal alphabet is S2p-complete Thiet-Dung Huynh Fri 02 March 2012
- Computational complexity and the classification of finite simple groups L. Babai W. M. Kantor E. M. Luks Fri 02 March 2012
- Propositional game logic Rohit Parikh Fri 02 March 2012
- Algebras of feasible functions Yuri Gurevich Fri 02 March 2012
- Reasoning about functional programs and complexity classes associated with type disciplines Daniel Leivant Fri 02 March 2012
- Automatic verification of probabilistic concurrent finite state programs Moshe Y. Vardi Fri 02 March 2012
- Partial polymorphic type inference is undecidable Hans-J. Boehm Fri 02 March 2012
- Canonical labeling of regular graphs in linear average time Ludek Kucera Fri 02 March 2012
- The matching problem for bipartite graphs with polynomially bounded permanents is in NC Dima Yu. Grigoriev Marek Karpinski Fri 02 March 2012
- The complexity of tree automata and logics of programs E.A. Emerson C.S. Jutla Fri 02 March 2012
- Verifying temporal properties of finite-state probabilistic programs C. Courcoubetis M. Yannakakis Fri 02 March 2012
- Progress measures for complementation omega -automata with applications to temporal logic N. Klarlund Fri 02 March 2012
- Computing simulations on finite and infinite graphs M.R. Henzinger T.A. Henzinger P.W. Kopke Fri 02 March 2012
- On the power of quantum finite state automata A. Kondacs J. Watrous Fri 02 March 2012
- A primitive recursive algorithm for the general Petri net reachability problem Z. Bouziane Fri 02 March 2012
- Satisfiability of word equations with constants is in PSPACE W. Plandowski Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
