No. Title Author Year
1 Front Matter, Table of Contents, Preface, Conference Organization Rossmanith, Peter et al. 2019
2 LIPIcs, Volume 138, MFCS'19, Complete Volume Rossmanith, Peter et al. 2019
3 On the Complexity of Reachability in Parametric Markov Decision Processes Winkler, Tobias et al. 2019
4 Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121) Jansen, Nils et al. 2018
5 Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181) Barthe, Gilles et al. 2015
6 Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142) Cohen, Albert et al. 2013
7 Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems Fu, Hongfei et al. 2011
8 07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems Haverkort, Boudewijn et al. 2007
9 07101 Executive Summary -- Quantitative Aspects of Embedded Systems Haverkort, Boudewijn et al. 2007
Current Page :
Number of result pages: 1
Number of documents: 9


DROPS-Home | Imprint | Privacy Published by LZI