Alexander Heußner
From MaRDI portal
Person:2805417
Available identifiers
zbMath Open heussner.alexanderMaRDI QIDQ2805417
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 |
|---|---|---|
| Safety verification of communicating one-counter machines | 2017-01-26 | Paper |
| \(\omega\)-Petri nets: algorithms and complexity | 2016-05-11 | Paper |
| Reachability in higher-order-counters | 2013-09-20 | Paper |
| \(\omega \)-Petri nets | 2013-06-28 | Paper |
| Reachability analysis of communicating pushdown systems | 2012-10-22 | Paper |
| Reachability analysis of communicating pushdown systems | 2010-04-27 | Paper |
Research outcomes over time
This page was built for person: Alexander Heußner