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 |