Jan Komenda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1996–2023
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CoDIT | Representation of Time Petri Nets using Interval Weighted Automata. | Brangre Daviaud, Sbastien Lahaye, Mehdi Lhommeau, Jan Komenda |
| 2023 | CoDIT | Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition. | Shaowen Miao, Aiwen Lai, Xiao Yu, Sbastien Lahaye, Jan Komenda |
| 2007 | ICINCO | Supervisory control of heap models using synchronous composition. | Jan Komenda, Jean-Louis Boimond, Sbastien Lahaye |
| 1998 | SMC | Analysis of hybrid Petri nets based on the hybrid state equation. | Jan Komenda, Nourredine Zerhouni, Abdellah El Moudni |
| 1996 | ICRA | On the calculation of transfer function of timed event Petri nets. | Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni, Michel Ferney |