Loïg Jezequel

Available identifiers

zbMath Open jezequel.loigMaRDI QIDQ1647710

List of research outcomes

Publication	Date of Publication	Type
A lazy query scheme for reachability analysis in Petri nets	2022-03-21	Paper
Pomset bisimulation and unfolding for reset Petri nets	2022-03-14	Paper
An algorithm for single-source shortest paths enumeration in parameterized weighted graphs	2021-10-04	Paper
Distributed computation of vector clocks in Petri net unfoldings for test selection	2020-09-01	Paper
Pomsets and unfolding of reset Petri nets	2018-06-26	Paper
Lazy Reachability Analysis in Distributed Systems	2018-03-21	Paper
Let's be lazy, we have time -- or, lazy reachability analysis for timed automata	2017-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q2963916	2017-02-21	Paper
Factored cost-optimal planning using message passing algorithms	2016-05-11	Paper
Message-Passing Algorithms for the Verification of Distributed Protocols	2015-01-13	Paper

Research outcomes over time

This page was built for person: Loïg Jezequel