| What is the Natural Abstraction Level of an Algorithm? | 0 | 0.34 | 2021 |
| Models Versus Model Descriptions. | 0 | 0.34 | 2020 |
| Multi-level Language Descriptions. | 0 | 0.34 | 2016 |
| Verifying Group Authentication Protocols by Scyther. | 0 | 0.34 | 2016 |
| Model-Based Verification of the DMAMAC Protocol for Real-time Process Control. | 0 | 0.34 | 2015 |
| Mobile Systeme im Gesundheitswesen. | 0 | 0.34 | 2012 |
| Steigerung von Interaktivität, Individualität und Lernzufriedenheiten in einer universitären Massenveranstaltung durch mobile Endgeräte. | 0 | 0.34 | 2011 |
| Web 2.0 im Gesundheitswesen - Ein Literature Review zur Aufarbeitung aktueller Forschungsergebnisse zu Health 2.0 Anwendungen. | 1 | 0.36 | 2011 |
| Teaching Model Driven Language Handling. | 0 | 0.34 | 2010 |
| Quo Vadis Abstract State Machines? | 2 | 0.37 | 2008 |
| SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings | 22 | 2.96 | 2005 |
| Operational Semantics of Transactions | 11 | 0.72 | 2003 |
| Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models | 15 | 2.07 | 2001 |
| A Executable Formal Semantics for SDL-2000 | 0 | 0.34 | 2000 |
| On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine | 11 | 1.24 | 2000 |
| Towards a new formal SDL semantics - outline of an abstract state machines | 1 | 0.38 | 1999 |
| Different FDT's Confronted with Different ODP-Viewpoints of the Trader | 6 | 0.70 | 1993 |
| Eine Entwicklungsumgebung für SDL'92 | 0 | 0.34 | 1992 |
