search result

Cover von LIPIcs, Volume 83, MFCS'17, Complete Volume

LIPIcs, Volume 83, MFCS'17, Complete Volume

Year: 2017
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2017
Media group: LIPIcs
Cover von 42nd International Symposium on Mathematical Foundations of Computer Science
MFCS 2017, August 21 - 25, 2017, Aalborg, Denmark
Search for this author
Year: 2017
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 83
Media group: LIPIcs
Cover von On the Metric-Based Approximate Minimization of Markov Chains

On the Metric-Based Approximate Minimization of Markov Chains

Year: 2017
Media group: LIPIcs
Cover von Complete Axiomatization for the Bisimilarity Distance on Markov Chains

Complete Axiomatization for the Bisimilarity Distance on Markov Chains

Year: 2016
Media group: LIPIcs
Cover von Polynomial Time Decidability of Weighted Synchronization under Partial Observability

Polynomial Time Decidability of Weighted Synchronization under Partial Observability

Year: 2015
Media group: LIPIcs
Cover von Synchronizing Words for Weighted and Timed Automata

Synchronizing Words for Weighted and Timed Automata

Year: 2014
Media group: LIPIcs
Cover von Quantitative Models; 1
Expressiveness, Analysis, and New Applications : pp. 104-124
Search for this author
Year: 2014
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 1
Media group: DAGSTUHL REPORT
Cover von Adaptable Value-Set Analysis for Low-Level Code

Adaptable Value-Set Analysis for Low-Level Code

Year: 2012
Media group: ARTICLE
Cover von METAMOC: Modular Execution Time Analysis using Model Checking

METAMOC: Modular Execution Time Analysis using Model Checking

Year: 2010
Media group: ARTICLE
OPEN V 11.1.0.0