Jan Martens
From MaRDI portal
Person:2145277
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| An evaluation of massively parallel algorithms for DFA minimization | 2025-08-19 | Paper |
| Computing minimal distinguishing Hennessy-Milner formulas is NP-hard, but variants are tractable | 2025-06-26 | Paper |
| Disentangling the gap between quantum and \#SAT | 2025-05-23 | Paper |
| Lowerbounds for Bisimulation by Partition Refinement Logical Methods in Computer Science | 2023-08-26 | Paper |
| Bisimulation by Partitioning Is Ω((m+n)log n). | 2023-08-21 | Paper |
| scientific article; zbMATH DE number 7559429 (Why is no real title available?) (available as arXiv preprint) | 2022-07-18 | Paper |
| Term rewriting on GPUs (available as arXiv preprint) | 2022-06-17 | Paper |
Research outcomes over time
This page was built for person: Jan Martens
