Login / Signup
Bastien Sérée
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Shortest Path
Petri Net
Ims Ld
Reachability Analysis
Top Venues
Petri Nets
LATA
</>
Publications
</>
Loïg Jezequel
,
Didier Lime
,
Bastien Sérée
A Lazy Query Scheme for Reachability Analysis in Petri Nets.
Petri Nets
(2021)
Bastien Sérée
,
Loïg Jezequel
,
Didier Lime
An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs.
LATA
(2021)