- Counting in trees Helmut Seidl Thomas Schwentick Anca Muscholl Thu 21 January 2016
- Shuffle Expressions and Words with Nested Data Henrik Bjørklund Mikołaj Bojańczyk Thu 21 January 2016
- Bounded regular sets S. Ginsburg E. H. Spanier Thu 21 January 2016
- A Characterization of Bounded Regular Sets Antonio Restivo Thu 21 January 2016
- Pushdown Control-flow Analysis for Free Thomas Gilray Steven Lyde Michael D. Adams Matthew Might David Van Horn Wed 20 January 2016
- Temporal Verification of Higher-order Functional Programs Akihiro Murase Tachio Terauchi Naoki Kobayashi Ryosuke Sato Hiroshi Unno Wed 20 January 2016
- Ramsey-Based Inclusion Checking for Visibly Pushdown Automata Oliver Friedmann Felix Klaedtke Martin Lange Tue 19 January 2016
- Automata with a semilinear constraint Michael Cadilhac Tue 19 January 2016
- Decision trees and downward closures R. Impagliazzo M. Naor Mon 18 January 2016
- Stochastic Parity Games on Lossy Channel Systems Parosh Aziz Abdulla Lorenzo Clemente Richard Mayr Sven Sandberg Mon 18 January 2016
- Decidable Topologies for Communicating Automata with FIFO and Bag Channels Lorenzo Clemente Frédéric Herbreteau Grégoire Sutre Mon 18 January 2016
- Reachability Analysis of First-order Definable Pushdown Systems Lorenzo Clemente Slawomir Lasota Mon 18 January 2016
- Timed Pushdown Automata Revisited Lorenzo Clemente Slawomir Lasota Mon 18 January 2016
- Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives Lorenzo Clemente Jean-François Raskin Mon 18 January 2016
- Algorithm for finding structures and obstructions of tree ideals Yared Nigussie Sun 17 January 2016
- On Structural Descriptions of Lower Ideals of Series Parallel Posets Christian Joseph Altomare Sun 17 January 2016
- Ordered Tree-Pushdown Systems Lorenzo Clemente Pawel Parys Sylvain Salvati Igor Walukiewicz Sat 16 January 2016
- Unboundedness and Downward Closures of Higher-order Pushdown Automata Matthew Hague Jonathan Kochems C.-H. Luke Ong Sat 16 January 2016
- Separability by Short Subsequences and Subwords Piotr Hofman Wim Martens Sat 16 January 2016
- LR-regular grammars---an extension of LR(k) grammars Karel Čulik Rina Cohen Fri 15 January 2016
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
