Alexander Heuner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2008–2019
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | IC3K | Towards Data Awareness by Socio-technological Knowledge Management. | Alexander Heuner, Moritz Hser, Sven Ziemer |
| 2016 | FASE | A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. | Claudio Corrodi, Alexander Heuner, Christopher M. Poskitt |
| 2014 | DIAGRAMS | Coloured Modelling Spider Diagrams. | Paolo Bottoni, Andrew Fish, Alexander Heuner |
| 2013 | MFCS | Reachability in Higher-Order-Counters. | Alexander Heuner, Alexander Kartzow |
| 2012 | TACAS | McScM: A General Framework for the Verification of Communicating Machines. | Alexander Heuner, Tristan Le Gall, Grgoire Sutre |
| 2010 | FOSSACS | Reachability Analysis of Communicating Pushdown Systems. | Alexander Heuner, Jrme Leroux, Anca Muscholl, Grgoire Sutre |
| 2008 | ICCS | Conceptual Graphs with Relators and Roles A GFO Coined View onto CG's Relations. | Alexander Heuner |