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
Current Page :
Number of result pages: 1
Number of documents: 22

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI