Lars Kuhtz
From MaRDI portal
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 |
|---|---|---|
| Efficient parallel path checking for linear-time temporal logic with past and bounds Logical Methods in Computer Science | 2013-01-07 | Paper |
| Weak Kripke structures and LTL CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
| An improved algorithm for approximating the chromatic number of \(G_{n,p}\) Information Processing Letters | 2010-01-29 | Paper |
| LTL Path Checking Is Efficiently Parallelizable Automata, Languages and Programming | 2009-07-14 | Paper |
Research outcomes over time
This page was built for person: Lars Kuhtz
