| Publication | Date of Publication | Type |
|---|
| Design of controllers for linear hybrid systems | 2024-06-21 | Paper |
| Performance driven distributed scheduling of parallel hybrid computations | 2011-07-27 | Paper |
| Real time programming. Languages, specification and verification. | 2010-06-08 | Paper |
| Compositional reactive semantics of SystemC and verification with RuleBase | 2010-06-02 | Paper |
| A proof system for a PGAS language | 2010-03-09 | Paper |
| Refinement calculus: A basis for translation validation, debugging and certification | 2006-04-28 | Paper |
| Trust management for \(e\)-transactions | 2005-11-08 | Paper |
| Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making | 2005-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736987 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417446 | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417386 | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766648 | 2002-06-17 | Paper |
| Compositional priority specification in real-time distributed systems. | 2002-02-18 | Paper |
| Formal verification of activity-based specification of protocols | 2001-10-01 | Paper |
| Transformational methodology for proving termination of logic programs | 1998-11-05 | Paper |
| An optimal multiprocessor real-time scheduling algorithm | 1997-01-01 | Paper |
| A methodology for proving termination of logic programs | 1994-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202945 | 1993-09-06 | Paper |
| Semantics of nondeterministic asynchronous broadcast networks | 1993-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694482 | 1993-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035671 | 1993-05-18 | Paper |
| Proof theory for exception handling in a tasking environment | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3796748 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789045 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3779734 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3031938 | 1987-01-01 | Paper |
| Correctness proof for the majority consensus algorithm | 1986-01-01 | Paper |
| A linear time algorithm for computing the convex hull of an ordered crossing polygon | 1984-01-01 | Paper |
| A simple livelock-free algorithm for packet switching | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3759944 | 1984-01-01 | Paper |
| A linear time algorithm for obtaining the convex hull of a simple polygon | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4749228 | 1982-01-01 | Paper |
| On a characterization of pushdown permuters | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4749226 | 1981-01-01 | Paper |
| Programmed OL-systems | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3886882 | 1980-01-01 | Paper |
| Precedence-regular grammars | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3908479 | 1979-01-01 | Paper |
| Boolean Matrix Method for the Construction of Hierarchical Graphs | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4144796 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4153604 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4170256 | 1978-01-01 | Paper |
| Precedence parsing using domolki's algorithm | 1977-01-01 | Paper |
| The structure generating function of some families of languages | 1976-01-01 | Paper |
| A note on linear precedence functions | 1976-01-01 | Paper |
| Necessary and sufficient conditions for a power language to be deterministic | 1975-01-01 | Paper |
| Algorithms for Constructing Hierarchical Graphs | 1974-01-01 | Paper |
