- General Decidability Results for Systems with Continuous Counters A. R. Balasubramanian Matthew Hague Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche Fri 09 January 2026
- Counting and Sampling Traces in Regular Languages Alexis de Colnet Kuldeep S. Meel Umang Mathur Fri 09 January 2026
- Regular Separators for VASS Coverability Languages Chris Köcher Georg Zetzsche Sat 16 December 2023
- Complete Abstractions for Checking Language Inclusion Pierre Ganty Francesco Ranzato Pedro Valero Sun 24 October 2021
- Theory of átomata Janusz Brzozowski Hellis Tamm Thu 18 March 2021
- Regular Languages and Their Generating Functions: The Inverse Problem Christoph Koutschan Thu 10 May 2018
Library Size: 13G (6 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
