Jan Martens
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2013–2026
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Minimal DFAs Witnessing Language Inequivalence. | Jan Martens |
| 2026 | TACAS | Faster Signature Refinement for Branching Bisimilarity Minimization. | Jan Martens, Maurice Laveaux |
| 2024 | ICTAC | Disentangling the Gap Between Quantum and #SAT. | Jingyi Mei, Jan Martens, Alfons Laarman |
| 2023 | CONCUR | Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard, but Variants are Tractable. | Jan Martens, Jan Friso Groote |
| 2021 | CONCUR | Bisimulation by Partitioning Is Ω((m+n)log n). | Jan Friso Groote, Jan Martens, Erik P. de Vink |
| 2020 | MFCS | Regular Resynchronizability of Origin Transducers Is Undecidable. | Denis Kuperberg, Jan Martens |
| 2013 | GECCO | NABEECO: biological network alignment with bee colony optimization algorithm. | Rashid Ibragimov, Jan Martens, Jiong Guo, Jan Baumbach |