Alexander Heußner

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 Fundamenta Informaticae	2016-05-11	Paper
Reachability in higher-order-counters Mathematical Foundations of Computer Science 2013	2013-09-20	Paper
\(\omega \)-Petri nets Application and Theory of Petri Nets and Concurrency	2013-06-28	Paper
Reachability analysis of communicating pushdown systems Logical Methods in Computer Science	2012-10-22	Paper
Reachability analysis of communicating pushdown systems Foundations of Software Science and Computational Structures	2010-04-27	Paper

Research outcomes over time

This page was built for person: Alexander Heußner