- Solution of the Frobenius problem Ravi Kannan Sun 13 December 2015
- Kleene Algebra and Kleene Algebra with Tests: An Introduction Alexandra Silva Sun 13 December 2015
- SAT-based Minimization of Deterministic ømega-Automata Souheib Baarir Alexandre Duret-Lutz Sat 05 December 2015
- The Algebraic Theory of Parikh Automata Michael Cadilhac Andreas Krebs Pierre McKenzie Thu 03 December 2015
- A Topological Approach to Recognition Mai Gehrke Serge Grigorieff Jean-Éric Pin Thu 03 December 2015
- Bounds on generalized Frobenius numbers Lenny Fukshansky Achill Schurmann Tue 24 November 2015
- Periodic sets of integers Armando B. Matos Mon 23 November 2015
- Parikh Automata with Pushdown Stack Wong Karianto Mon 23 November 2015
- Timed-Arc Petri Nets with (restricted) Urgency S. Akshay B. Genest L. Helouet Mon 23 November 2015
- On Intersection Problems for Polynomially Generated Sets Wong Karianto Aloys Krieg Wolfgang Thomas Mon 23 November 2015
- Operational State Complexity under Parikh Equivalence Giovanna J. Lavado Giovanni Pighizzini Shinnosuke Seki Mon 23 November 2015
- Reachability in two-clock timed automata is PSPACE-complete John Fearnley Marcin Jurdziński Mon 09 November 2015
- The Completeness of the First-Order Functional Calculus Leon Henkin Fri 06 November 2015
- Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable Salvatore La Torre Anca Muscholl Igor Walukiewicz Thu 05 November 2015
- Turing Machines and the Spectra of First-Order Formulas Neil D. Jones Alan L. Selman Thu 05 November 2015
- Unsafe Order-2 Tree Languages Are Context-Sensitive Naoki Kobayashi Kazuhiro Inaba Takeshi Tsukada Thu 05 November 2015
- A New Modality for Almost Everywhere Properties in Timed Automata Houda Bel Mokadem Béatrice Bérard Patricia Bouyer François Laroussinie Wed 04 November 2015
- Timed Transition Systems Thomas A. Henzinger Zohar Manna Amir Pnueli Wed 04 November 2015
- Model Checking Constraint LTL over Trees Alexander Kartzow Thomas Weidner Tue 03 November 2015
- Temporal logics on strings with prefix relation Stéphane Demri Morgan Deters Tue 03 November 2015
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
