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

1 |
Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk) |
Esparza, Javier |
2017 |

2 |
Model Checking Population Protocols |
Esparza, Javier et al. |
2016 |

3 |
Soundness in Negotiations |
Esparza, Javier et al. |
2016 |

4 |
Verification of Population Protocols |
Esparza, Javier et al. |
2015 |

5 |
Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk) |
Esparza, Javier |
2014 |

6 |
Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141) |
Esparza, Javier et al. |
2014 |

7 |
Computation of Summaries Using Net Unfoldings |
Esparza, Javier et al. |
2013 |

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

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

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