- Diagrammatic Semantics for Digital Circuits Dan R. Ghica Achim Jung Aliaume Lopez Fri 02 March 2012
- Parity Games: Another View on Lehtinen's Algorithm Paweł Parys Fri 02 March 2012
- Deductive Verification of Continuous Dynamical Systems Ankur Taly Ashish Tiwari Fri 02 March 2012
- Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length: The General Purpose Analog Computer and Computable Analysis Are Two Efficiently Equivalent Models of Computations Olivier Bournez Daniel S. Graça Amaury Pouly Fri 02 March 2012
- When is Containment Decidable for Probabilistic Automata Laure Daviaud Marcin Jurdzinski Ranko Lazic Filip Mazowiecki Guillermo A. Pérez James Worrell Fri 02 March 2012
- On the Complexity of Branching Games with Regular Conditions Marcin Przybylko Michal Skrzypczak Fri 02 March 2012
- Pumping Lemmas for Weighted Automata Filip Mazowiecki Cristian Riveros Fri 02 March 2012
Library Size: 13G (7 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
