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

1 |
On Reachability Problems for Low-Dimensional Matrix Semigroups |
Colcombet, Thomas et al. |
2019 |

2 |
Termination of Linear Loops over the Integers |
Hosseini, Mehran et al. |
2019 |

3 |
The Semialgebraic Orbit Problem |
Almagor, Shaull et al. |
2019 |

4 |
Costs and Rewards in Priced Timed Automata |
Fränzle, Martin et al. |
2018 |

5 |
Effective Divergence Analysis for Linear Recurrence Sequences |
Almagor, Shaull et al. |
2018 |

6 |
Front Matter, Table of Contents, Preface, Conference Organization |
Potapov, Igor et al. |
2018 |

7 |
LIPIcs, Volume 117, MFCS'18, Complete Volume |
Potapov, Igor et al. |
2018 |

8 |
O-Minimal Invariants for Linear Loops |
Almagor, Shaull et al. |
2018 |

9 |
When is Containment Decidable for Probabilistic Automata? |
Daviaud, Laure et al. |
2018 |

10 |
Probabilistic Automata of Bounded Ambiguity |
Fijalkow, Nathanaël et al. |
2017 |

11 |
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem |
Fijalkow, Nathanaël et al. |
2017 |

12 |
The Polytope-Collision Problem |
Almagor, Shaull et al. |
2017 |

13 |
Model Checking Flat Freeze LTL on One-Counter Automata |
Lechner, Antonia et al. |
2016 |

14 |
On Restricted Nonnegative Matrix Factorization |
Chistikov, Dmitry et al. |
2016 |

15 |
On the Skolem Problem for Continuous Linear Dynamical Systems |
Chonev, Ventsislav et al. |
2016 |

16 |
Proving the Herman-Protocol Conjecture |
Bruna, Maria et al. |
2016 |

17 |
On Matrix Powering in Low Dimensions |
Galby, Esther et al. |
2015 |

18 |
Reachability Problems for Continuous Linear Dynamical Systems (Invited Paper) |
Worrell, James |
2015 |

19 |
Reachability Problems for Continuous Linear Dynamical Systems (Invited Talk) |
Worrell, James |
2015 |

20 |
Bisimilarity of Probabilistic Pushdown Automata |
Forejt, Vojtech et al. |
2012 |

21 |
The Church Synthesis Problem with Metric |
Jenkins, Mark et al. |
2011 |

22 |
Computing Rational Radical Sums in Uniform TC^0 |
Hunter, Paul et al. |
2010 |

23 |
On Termination for Faulty Channel Machines |
Bouyer, Patricia et al. |
2008 |