Nicolas Amat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2022–2026
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Deciding Serializability in Network Systems. | Guy Amir, Mark Barbone, Nicolas Amat, Jules Jacobs |
| 2024 | VMCAI | Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. | Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan |
| 2023 | FM | SMPT: A Testbed for Reachability Methods in Generalized Petri Nets. | Nicolas Amat, Silvano Dal-Zilio |
| 2022 | TACAS | Property Directed Reachability for Generalized Petri Nets. | Nicolas Amat, Silvano Dal-Zilio, Thomas Hujsa |