( en | de | ru )

 

Disambiguation of "Heußner, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Extracting and Modeling Knowledge about Aviation for Multilingual Semantic Applications in Industry 4.0.

, , , and . ES, page 56-60. IEEE, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Karl Heußner

Karl Heußner

Stefan Heußner

Pia Heußner

Jörn Heußner

 

Other publications of authors with the same name

Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems., , and . SPIN, volume 5578 of Lecture Notes in Computer Science, page 107-124. Springer, (2009)McScM: A General Framework for the Verification of Communicating Machines., , and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 478-484. Springer, (2012)Reachability in Higher-Order-Counters., and . MFCS, volume 8087 of Lecture Notes in Computer Science, page 528-539. Springer, (2013)Safety Verification of Communicating One-Counter Machines., , and . FSTTCS, volume 18 of LIPIcs, page 224-235. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Reachability Analysis of Communicating Pushdown Systems., , , and . FoSSaCS, volume 6014 of Lecture Notes in Computer Science, page 267-281. Springer, (2010)Queue-Dispatch Asynchronous Systems., , and . ACSD, page 150-159. IEEE Computer Society, (2013)ω-Petri Nets., , , and . Petri Nets, volume 7927 of Lecture Notes in Computer Science, page 49-69. Springer, (2013)On the Verification of Concurrent, Asynchronous Programs with Waiting Queues., , and . ACM Trans. Embed. Comput. Syst., 14 (3): 58:1-58:26 (2015)Conceptual Graphs with Relators and Roles A GFO Coined View onto CG's Relations.. ICCS Supplement, volume 354 of CEUR Workshop Proceedings, page 25-32. CEUR-WS.org, (2008)Towards Data Awareness by Socio-technological Knowledge Management., , and . KMIS, page 291-298. ScitePress, (2019)