No. Title Author Year
1 Aperiodic Weighted Automata and Weighted First-Order Logic Droste, Manfred et al. 2019
2 Communicating Finite-State Machines and Two-Variable Logic Bollig, Benedikt et al. 2018
3 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
4 Reachability in Timed Automata with Diagonal Constraints Gastin, Paul et al. 2018
5 Towards an Efficient Tree Automata Based Technique for Timed Systems Akshay, S. et al. 2017
6 Analyzing Timed Systems Using Tree Automata Akshay, S. et al. 2016
7 An Automata-Theoretic Approach to the Verification of Distributed Algorithms Aiswarya, Cyriac et al. 2015
8 Parameterized Communicating Automata: Complementation and Model Checking Bollig, Benedikt et al. 2014
9 Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041) Droste, Manfred et al. 2014
10 Reasoning About Distributed Systems: WYSIWYG (Invited Talk) Cyriac, Aiswarya et al. 2014
Current Page :
Number of result pages: 2
Number of documents: 13


DROPS-Home | Imprint | Privacy Published by LZI