- Model checking time-constrained scenario-based specifications S. Akshay Paul Gastin Madhavan Mukund K. Narayan Kumar Wed 19 September 2012
- Updatable timed automata Patricia Bouyer Catherine Dufourd Emmanuel Fleury Antoine Petit Tue 18 September 2012
- The concept of a supercompiler Valentin F. Turchin Mon 17 September 2012
- When Simulation Meets Antichains Parosh Abdulla Yu-Fang Chen Lukáš Holík Richard Mayr Tomáš Vojnar Thu 13 September 2012
- A note on emptiness for alternating finite automata with a one-letter alphabet Petr Jančar Zdenek Sawa Thu 13 September 2012
- Correcting a Space-Efficient Simulation Algorithm Rob Glabbeek Bas Ploeger Thu 13 September 2012
- Computing Simulations over Tree Automata Parosh Abdulla Ahmed Bouajjani Lukáš Holík Lisa Kaati Tomáš Vojnar Thu 13 September 2012
- An efficient simulation algorithm based on abstract interpretation Francesco Ranzato Francesco Tapparo Thu 13 September 2012
- An efficient simulation algorithm based on abstract interpretation Francesco Ranzato Francesco Tapparo Thu 13 September 2012
- A New Efficient Simulation Equivalence Algorithm Francesco Ranzato Francesco Tapparo Thu 13 September 2012
- Computing strongly connected components in a linear number of symbolic steps Raffaella Gentilini Carla Piazza Alberto Policriti Thu 13 September 2012
- From Bisimulation to Simulation: Coarsest Partition Problems Raffaella Gentilini Carla Piazza Alberto Policriti Thu 13 September 2012
- Alternation Ashok K. Chandra Dexter C. Kozen Larry J. Stockmeyer Wed 12 September 2012
- On the Computational Content of the Brouwer Fixed Point Theorem Vasco Brattka Stéphane Le Roux Arno Pauly Mon 10 September 2012
- From determinacy to Nash equilibrium Stéphane Le Roux Mon 10 September 2012
- The Basic Concepts of Algebraic Logic Paul Halmos Wed 05 September 2012
- The Foundations of Probability Paul Halmos Wed 05 September 2012
- The Heart of Mathematics Paul Halmos Wed 05 September 2012
- On some applications of finite-state automata theory to natural language processing Mehryar Mohri Tue 04 September 2012
- The Point of Pointless Topology Peter Johnstone Fri 31 August 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 11:39:05,
Build Time: N/A
