- Counting and Sampling Traces in Regular Languages Alexis de Colnet Kuldeep S. Meel Umang Mathur Fri 09 January 2026
- Weighted and unweighted trace automata Dietrich Kuske Tue 01 July 2025
- String Diagrammatic Trace Theory Matthew Earnshaw Paweł Sobociński Fri 18 April 2025
- Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages Bharat Adsul Paul Gastin Saptarshi Sarkar Pascal Weil Fri 24 November 2023
- Active Learning for Sound Negotiations Anca Muscholl Igor Walukiewicz Mon 29 August 2022
Library Size: 13G (5 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
