- From Regular to Strictly Locally Testable Languages Stefano Crespi Reghizzi Pierluigi San Pietro Fri 27 August 2021
- A Hierarchy of Nondeterminism Bader Abu Radi Orna Kupferman Ofer Leshkowitz Tue 24 August 2021
- Automated Concentration Bound Analysis for Probabilistic Recurrence Relations Hongfei Fu Yican Sun Krishnendu Chatterjee Amir Goharshady Tue 24 August 2021
- The Pseudo-Skolem Problem is Decidable Julian D'Costa Toghrul Karimov Rupak Majumdar Joel Ouaknine Mahmoud Salamati Sadegh Soudjani James Worrell Tue 24 August 2021
- On Guidable Index of Tree Automata Damian Niwiński Michał Skrzypczak Tue 24 August 2021
- Reducing (To) the Ranks: Efficient Rank-Based Buchi Automata Complementation Vojtěch Havlena Ondřej Lengál Tue 17 August 2021
- Decentralized Observation of Discrete-Event Systems: At Least One Can Tell Stavros Tripakis Karen Rudie Mon 16 August 2021
- Impossibility of an algorithm for the decision problem in finite classes B. A. Trakhtenbrot Fri 13 August 2021
- Restricted set-theoretical definitions in arithmetic Raphael M. Robinson Fri 13 August 2021
- On the Length of a Hilbert Ascending Chain A. Seidenberg Thu 12 August 2021
- Sur les ensembles définissables de nombres réels Alfred Tarski Thu 12 August 2021
- Decidable unary varieties Matthew A. Valeriote Thu 12 August 2021
- Decidability of the theory of one function Andrzej Ehrenfeucht Thu 12 August 2021
- Classifying the Computational Complexity of Problems Larry Stockmeyer Thu 12 August 2021
- Cr-Lohner algorithm Daniel Wilczak Piotr Zgliczyński Thu 12 August 2021
- Computer-assisted proofs in PDE: a survey Javier Gómez-Serrano Thu 12 August 2021
- Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method: The Brusselator and biped examples Jawher Jerray Laurent Fribourg Étienne André Thu 12 August 2021
- Generation of bounded invariants via stroboscopic set-valued maps: Application to the stability analysis of parametric time-periodic systems Jawher Jerray Laurent Fribourg Thu 12 August 2021
- Robust optimal control using dynamic programming and guaranteed Euler's method Jawher Jerray Laurent Fribourg Étienne André Thu 12 August 2021
- Robust optimal periodic control using guaranteed Euler's method Jawher Jerray Laurent Fribourg Étienne André Thu 12 August 2021
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
