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

1 |
Counting Problems for Parikh Images |
Haase, Christoph et al. |
2017 |

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

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

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

5 |
Stabilization of Branching Queueing Networks |
Brázdil, Tomáš et al. |
2012 |

6 |
Computing Least Fixed Points of Probabilistic Systems of Polynomials |
Esparza, Javier et al. |
2010 |

7 |
On the Memory Consumption of Probabilistic Pushdown Automata |
Brazdil, Tomas et al. |
2009 |

8 |
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations |
Esparza, Javier et al. |
2008 |