No. |
Title |
Author |
Year |
---|

1 |
Front Matter, Table of Contents, Preface, Conference Organization |
Larsen, Kim G. et al. |
2017 |

2 |
LIPIcs, Volume 83, MFCS'17, Complete Volume |
Larsen, Kim G. et al. |
2017 |

3 |
On the Metric-Based Approximate Minimization of Markov Chains |
Bacci, Giovanni et al. |
2017 |

4 |
WNetKAT: A Weighted SDN Programming and Verification Language |
Larsen, Kim G. et al. |
2017 |

5 |
Probabilistic Mu-Calculus: Decidability and Complete Axiomatization |
Larsen, Kim G. et al. |
2016 |

6 |
Synchronizing Words for Weighted and Timed Automata |
Doyen, Laurent et al. |
2014 |

7 |
Adaptable Value-Set Analysis for Low-Level Code |
Brauer, Jörg et al. |
2012 |

8 |
Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas |
Cardelli, Luca et al. |
2011 |

9 |
A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic |
Larsen, Kim G. et al. |
2009 |

10 |
Priced Timed Automata: Theory and Tools |
Larsen, Kim G. |
2009 |