- 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
- Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games Julian Gutierrez Anthony W. Lin Muhammad Najib Thomas Steeples Michael Wooldridge 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
- Twin-width III: Max Independent Set, Min Dominating Set, and Coloring Édouard Bonnet Colin Geniet Eun Jung Kim Stéphan Thomassé Rémi Watrigant Fri 02 March 2012
- Polynomial Identity Testing via Evaluation of Rational Functions Dieter van Melkebeek Andrew Morgan Fri 02 March 2012
- On the Complexity of Branching Games with Regular Conditions Marcin Przybylko Michal Skrzypczak Fri 02 March 2012
- On the Skolem Problem for Reversible Sequences George Kenison Fri 02 March 2012
- Pumping Lemmas for Weighted Automata Filip Mazowiecki Cristian Riveros Fri 02 March 2012
- Token Games and History-Deterministic Quantitative-Automata Udi Boker Karoliina Lehtinen Fri 02 March 2012
- Categories in Control John C. Baez Jason Erbele Fri 02 March 2012
- Functorial String Diagrams for Reverse-Mode Automatic Differentiation Mario Alvarez-Picallo Dan R. Ghica David Sprunger Fabio Zanasi Fri 02 March 2012
- Infinite Separation between General and Chromatic Memory Alexander Kozachinskiy Fri 02 March 2012
- History-deterministic Parikh Automata Enzo Erlich Shibashis Guha Ismaël Jecker Karoliina Lehtinen Martin Zimmermann Fri 02 March 2012
- Parikh Automata on Infinite Words Mario Grobler Leif Sabellek Sebastian Siebertz Fri 02 March 2012
- Logarithmic Weisfeiler--Leman and Treewidth Michael Levet Puck Rombach Nicholas Sieger Fri 02 March 2012
- textquotedblleftSet of Stringstextquotedblright Framework for Big Data Modeling Igor Sheremet Fri 02 March 2012
- Startup error detection and containment to improve the robustness of hybrid FlexRay networks Alexander Kordes Bart Vermeulen Abhijit Deb Michael G. Wahl Fri 02 March 2012
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
