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


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