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

1 |
Distance Between Mutually Reachable Petri Net Configurations |
Leroux, Jérôme |
2019 |

2 |
Petri Net Reachability Problem (Invited Talk) |
Leroux, Jérôme |
2019 |

3 |
Polynomial Vector Addition Systems With States |
Leroux, Jérôme |
2018 |

4 |
Reachability for Two-Counter Machines with One Test and One Reset |
Finkel, Alain et al. |
2018 |

5 |
Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One |
Figueira, Diego et al. |
2017 |

6 |
Ideal Decompositions for Vector Addition Systems (Invited Talk) |
Leroux, Jérôme et al. |
2016 |

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

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

9 |
Place-Boundedness for Vector Addition Systems with one zero-test |
Bonnet, Rémi et al. |
2010 |

10 |
Flat counter automata almost everywhere! |
Leroux, Jérôme et al. |
2006 |