Kevin H. J. Jilissen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2023–2025
Best venue rank
National
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | TASE | Mining Diamonds in Labelled Transition Systems. | P. H. M. van Spaendonck, Kevin H. J. Jilissen |
| 2023 | SAC | A formal analysis of Dutch Generic Integral Tunnel Design models. | Kevin H. J. Jilissen, Peter Dieleman, Jan Friso Groote |