- Interrupt Timed Automata with Auxiliary Clocks and Parameters Beatrice Bérard Serge Haddad Aleksandra Jovanović Didier Lime Fri 02 March 2012
- Visibly Pushdown Automata and Transducers with Counters Oscar H. Ibarra Fri 02 March 2012
- CoCaml: Functional Programming with Regular Coinductive Types Jean-Baptiste Jeannin Dexter Kozen Alexandra Silva Fri 02 March 2012
- Studying Word Equations by a Method of Weighted Frequencies Aleksi Saarela Fri 02 March 2012
- The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic Florian Bruse Martin Lange Etienne Lozes Fri 02 March 2012
- Causal Semantics for BPP Nets with Silent Moves Roberto Gorrieri Fri 02 March 2012
- On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words Olivier Finkel Michał Skrzypczak Fri 02 March 2012
- Computer Theorem Proving and HoTT Joe Leslie-Hurd G.McC. Haworth Fri 02 March 2012
- A game-based verification of non-repudiation and fair exchange protocols1 Steve Kremer Jean-François Raskin Fri 02 March 2012
- Hyperproperties Michael R. Clarkson Fred B. Schneider Fri 02 March 2012
- An Abstract Decision Procedure for a Theory of Inductive Data Types Clark Barrett Igor Shikanian Cesare Tinelli Fri 02 March 2012
- Equilibrium in a stochastic textdollarntextdollar-person game A. M. Fink Fri 02 March 2012
- Qudits and High-Dimensional Quantum Computing Yuchen Wang Zixuan Hu Barry C. Sanders Sabre Kais Fri 02 March 2012
- Glancing and Then Looking: On the Role of Body, Affect, and Meaning in Cognitive Control Li Su Howard Bowman Philip Barnard Fri 02 March 2012
- Problems on Finite Automata and the Exponential Time Hypothesis Henning Fernau Andreas Krebs Fri 02 March 2012
- A Compositional Model of Consciousness Based on Consciousness-Only Camilo Miguel Signorelli Quanlong Wang Ilyas Khan Fri 02 March 2012
- Representation of Integers as Sums of Fibonacci and Lucas Numbers Ho Park Bumkyu Cho Durkbin Cho Yung Duk Cho Joonsang Park Fri 02 March 2012
- The Unreasonable Ubiquitousness of Quasi-Polynomials Kevin Woods Fri 02 March 2012
- Invariant varieties for polynomial dynamical systems Alice Medvedev Thomas Scanlon Fri 02 March 2012
- Computing the Galois group of a linear differential equation Ehud Hrushovski Fri 02 March 2012
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
