| No. |
Title |
Author |
Year |
| 1 |
CONCUR Test-Of-Time Award 2022 (Invited Paper) |
Castellani, Ilaria et al. |
2022 |
| 2 |
Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages |
Adsul, Bharat et al. |
2022 |
| 3 |
Simulations for Event-Clock Automata |
Akshay, S. et al. |
2022 |
| 4 |
Reachability for Updatable Timed Automata Made Faster and More Effective |
Gastin, Paul et al. |
2020 |
| 5 |
Register Transducers Are Marble Transducers |
Douéneau-Tabot, Gaëtan et al. |
2020 |
| 6 |
Weighted Tiling Systems for Graphs: Evaluation Complexity |
Aiswarya, C. et al. |
2020 |
| 7 |
Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces |
Adsul, Bharat et al. |
2020 |
| 8 |
Aperiodic Weighted Automata and Weighted First-Order Logic |
Droste, Manfred et al. |
2019 |
| 9 |
Front Matter, Table of Contents, Preface, Conference Organization |
Chattopadhyay, Arkadev et al. |
2019 |
| 10 |
LIPIcs, Volume 150, FSTTCS'19, Complete Volume |
Chattopadhyay, Arkadev et al. |
2019 |
| 11 |
Communicating Finite-State Machines and Two-Variable Logic |
Bollig, Benedikt et al. |
2018 |
| 12 |
It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before" |
Bollig, Benedikt et al. |
2018 |
| 13 |
Reachability in Timed Automata with Diagonal Constraints |
Gastin, Paul et al. |
2018 |
| 14 |
Towards an Efficient Tree Automata Based Technique for Timed Systems |
Akshay, S. et al. |
2017 |
| 15 |
Analyzing Timed Systems Using Tree Automata |
Akshay, S. et al. |
2016 |
| 16 |
An Automata-Theoretic Approach to the Verification of Distributed Algorithms |
Aiswarya, Cyriac et al. |
2015 |
| 17 |
Parameterized Communicating Automata: Complementation and Model Checking |
Bollig, Benedikt et al. |
2014 |
| 18 |
Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041) |
Droste, Manfred et al. |
2014 |
| 19 |
Reasoning About Distributed Systems: WYSIWYG (Invited Talk) |
Cyriac, Aiswarya et al. |
2014 |
| 20 |
10031 Abstracts Collection -- Quantitative Models: Expressiveness and Analysis |
Baier, Christel et al. |
2010 |
| 21 |
10031 Executive Summary -- Quantitative Models: Expressiveness and Analysis |
Baier, Christel et al. |
2010 |
| 22 |
Model checking time-constrained scenario-based specifications |
Akshay, S. et al. |
2010 |
