No. Title Author Year
1 Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations Baldan, Paolo et al. 2020
2 Conditional Bisimilarity for Reactive Systems Hülsbusch, Mathias et al. 2020
3 Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks Bernemann, Rebecca et al. 2020
4 (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras König, Barbara et al. 2018
5 Up-To Techniques for Behavioural Metrics via Fibrations Bonchi, Filippo et al. 2018
6 Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks Cabrera, Benjamin et al. 2018
7 Front Matter, Table of Contents, Preface, List of Authors Bonchi, Filippo et al. 2017
8 LIPIcs, Volume 72, CALCO'17, Complete Volume Bonchi, Filippo et al. 2017
9 Verification of Evolving Graph Structures (Dagstuhl Seminar 15451) Aziz Abdulla, Parosh et al. 2016
10 Towards Trace Metrics via Functor Lifting Baldan, Paolo et al. 2015
11 Behavioral Metrics via Functor Lifting Baldan, Paolo et al. 2014
12 On the Decidability Status of Reachability and Coverability in Graph Transformation Systems Bertrand, Nathalie et al. 2012
13 Conditional Reactive Systems Bruggink, H. J. Sander et al. 2011
14 04241 Abstracts Collection -- Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems König, Barbara et al. 2005
15 Summary 2: Graph Grammar Verification through Abstraction Baldan, Paolo et al. 2005
Current Page :
Number of result pages: 1
Number of documents: 15

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