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

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