- Algebraic values of analytic functions Michel Waldschmidt Thu 09 August 2018
- Automata vs Linear-Programming Discounted-Sum Inclusion Suguman Bansal Swarat Chaudhuri Moshe Y. Vardi Thu 26 July 2018
- Removing All Silent Transitions from Timed Automata Cătălin Dima Ruggero Lanotte Wed 25 July 2018
- Newtonian Program Analysis via Tensor Product Thomas Reps Emma Turetsky Prathmesh Prabhu Fri 20 July 2018
- Newtonian Program Analysis Javier Esparza Stefan Kiefer Michael Luttenberger Fri 20 July 2018
- Decidability of the Membership Problem for 2 times 2 Integer Matrices Igor Potapov Pavel Semukhin Thu 19 July 2018
- On finite semigroups of matrices Arnaldo Mandel Imre Simon Thu 19 July 2018
- Quantum Automata and Algebraic Groups Harm Derksen Emmanuel Jeandel Pascal Koiran Thu 19 July 2018
- Affine Relationships Among Variables of a Program Michael Karr Thu 19 July 2018
- Non-linear Reasoning for Invariant Synthesis Zachary Kincaid John Cyphert Jason Breck Thomas Reps Thu 19 July 2018
- Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations Kousha Etessami Mihalis Yannakakis Thu 19 July 2018
- FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings Javier Esparza Michael Luttenberger Maximilian Schlund Thu 19 July 2018
- Bbackslash``uchi-Kamp Theorems for 1-clock ATA S. Narayanan Krishna K. Madnani P. Pandya Wed 18 July 2018
- Making Metric Temporal Logic Rational Shankara Narayanan Krishna Khushraj Madnani Paritosh K. Pandya Wed 18 July 2018
- The Compound Interest in Relaxing Punctuality Thomas Ferrère Wed 18 July 2018
- MightyL: A Compositional Translation from MITL to Timed Automata Thomas Brihaye Gilles Geeraerts Hsi-Ming Ho Benjamin Monmege Wed 18 July 2018
- Timed-Automata-Based Verification of MITL over Signals Thomas Brihaye Gilles Geeraerts Hsi-Ming Ho Benjamin Monmege Wed 18 July 2018
- AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic Dejan Ničković Olivier Lebeltel Oded Maler Thomas Ferrère Dogan Ulus Wed 18 July 2018
- Boundedness in languages of infinite words Mikołaj Bojańczyk Thomas Colcombet Wed 18 July 2018
- Star Height via Games M. Bojanczyk Wed 18 July 2018
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
