Alexander Heu{\ss}ner

Identifiers

• name variant Alexander Heu{\ss}ner 0.60 · backfill

Papers (6)

1. A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language cs.SE · 2017 · author #2
2. A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs cs.SE · 2016 · author #2
3. Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model cs.SE · 2015 · author #1
4. Reachability in Higher-Order-Counters cs.FL · 2013 · author #1
5. {\omega}-Petri nets cs.LO · 2013 · author #2
6. Queue-Dispatch Asynchronous Systems cs.LO · 2012 · author #2

Mentions

• 1504.02611 #1 · backfill · confidence 0.70 Alexander Heu{\ss}ner
• 1306.1069 #1 · backfill · confidence 0.70 Alexander Heu{\ss}ner
• 1301.6572 #2 · backfill · confidence 0.70 Alexander Heu{\ss}ner
• 1201.4871 #2 · backfill · confidence 0.70 Alexander Heu{\ss}ner

Frequent Coauthors

• Christopher M. Poskitt 3 shared papers
• Claudio Corrodi 3 shared papers
• Gilles Geeraerts 2 shared papers
• Jean-Fran\c{c}ois Raskin 2 shared papers
• Alexander Kartzow 1 shared papers
• Benjamin Morandi 1 shared papers
• M. Praveen 1 shared papers