- Forward Analysis for Petri Nets with Name Creation Fernando Rosa-Velardo David de Frutos-Escrig Thu 14 May 2015
- Decidability and complexity of Petri nets with unordered data Fernando Rosa-Velardo David de Frutos-Escrig Thu 14 May 2015
- Complexity Analysis of the Backward Coverability Algorithm for VASS Laura Bozzelli Pierre Ganty Mon 11 May 2015
- Pumping Lemmas for Regular Sets A. Ehrenfeucht R. Parikh G. Rozenberg Fri 08 May 2015
- Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives Lorenzo Clemente Jean-François Raskin Tue 05 May 2015
- Model Checking Parameterized Timed Systems Pritha Mahata Mon 27 April 2015
- A survey of two-dimensional automata theory Katsushi Inoue Itsuo Takanami Thu 23 April 2015
- Automata on a 2-dimensional Tape M. Blum C. Hewitt Thu 23 April 2015
- Finite Automata with Infinite Structures as Alphabet: Closure Properties and Decidability Results Christopher Czyba Thu 23 April 2015
- Recognizing Languages over Infinite Alphabets using Automata on Grids Christopher Spinrath Thu 23 April 2015
- Paths in Infinite Trees: Logics and Automata Alexandra Spelten Thu 23 April 2015
- Obituary Robert McNaughton 1924 -- 2014 Paliath Narendran Wolfgang Thomas John Corcoran Thu 23 April 2015
- Trees over Infinite Structures and Path Logics with Synchronization Alex Spelten Wolfgang Thomas Sarah Winter Thu 23 April 2015
- Logic and p-recognizable sets of integers Véronique Bruyère Georges Hansel Christian Michaux Roger Villemaire Thu 23 April 2015
- Algorithmic uses of the Feferman--Vaught Theorem J. A. Makowsky Thu 23 April 2015
- On Direct Products of Theories Andrzej Mostowski Thu 23 April 2015
- An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet Alexis Bès Wed 22 April 2015
- Timed Petri Nets with (restricted) Urgency S Akshay Blaise Genest Loic Hélouet Wed 22 April 2015
- Reasoning About Distributed Systems: WYSIWYG (Invited Talk) Aiswarya Cyriac Paul Gastin Wed 22 April 2015
- Compositional Reachability in Petri Nets Julian Rathke Paweł Sobociński Owen Stephens Wed 22 April 2015
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
