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

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