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

1 |
Reachability in Fixed Dimension Vector Addition Systems with States |
Czerwiński, Wojciech et al. |
2020 |

2 |
Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free |
Leroux, Jérôme et al. |
2020 |

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

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

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

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

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

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

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

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

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

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