Conceptual Graphs with Relators and Roles A GFO Coined View onto CG's Relations. - Alexander Heußner (ICCS Supplement, 2008)

Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. - Alexander Heußner; Tristan Le Gall; Grégoire Sutre (SPIN, 2009)

Safety Verification of Communicating One-Counter Machines. - Alexander Heußner; Tristan Le Gall; Grégoire Sutre (FSTTCS, 2012)

McScM: A General Framework for the Verification of Communicating Machines. - Alexander Heußner; Tristan Le Gall; Grégoire Sutre (TACAS, 2012)

Reachability Analysis of Communicating Pushdown Systems - Alexander Heußner; Jérôme Leroux; Anca Muscholl; Grégoire Sutre (Log. Methods Comput. Sci., 2012)

Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO. - Alexander Heußner (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Queue-Dispatch Asynchronous Systems. - Gilles Geeraerts; Alexander Heußner; Jean-François Raskin (ACSD, 2013)

ω-Petri Nets. - Gilles Geeraerts; Alexander Heußner; M. Praveen; Jean-François Raskin (Petri Nets, 2013)

Reachability in Higher-Order-Counters. - Alexander Heußner; Alexander Kartzow (MFCS, 2013)

Coloured Modelling Spider Diagrams. - Paolo Bottoni; Andrew Fish; Alexander Heußner (Diagrams, 2014)

Annotating spiders with resource information. - Paolo Bottoni; Andrew Fish; Alexander Heußner (VL/HCC, 2014)

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model. - Alexander Heußner; Christopher M. Poskitt; Claudio Corrodi; Benjamin Morandi (GaM, 2015)

ω-Petri Nets: Algorithms and Complexity. - Gilles Geeraerts; Alexander Heußner; M. Praveen; Jean-François Raskin (Fundam. Informaticae, 2015)

On the Verification of Concurrent, Asynchronous Programs with Waiting Queues. - Gilles Geeraerts; Alexander Heußner; Jean-François Raskin (ACM Trans. Embed. Comput. Syst., 2015)

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. - Claudio Corrodi; Alexander Heußner; Christopher M. Poskitt (FASE, 2016)

Resource-aware policies. - Paolo Bottoni; Andrew Fish; Alexander Heußner; Francesco Parisi-Presicce (J. Vis. Lang. Comput., 2017)

Extracting and Modeling Knowledge about Aviation for Multilingual Semantic Applications in Industry 4.0. - Jos Lehmann; Alexander Heußner; Michael Shamiyeh; Sven Ziemer (ES, 2018)

A semantics comparison workbench for a concurrent, asynchronous, distributed programming language. - Claudio Corrodi; Alexander Heußner; Christopher M. Poskitt (Formal Aspects Comput., 2018)

Towards Data Awareness by Socio-technological Knowledge Management. - Alexander Heußner; Moritz Höser; Sven Ziemer (KMIS, 2019)