| Publication | Date of Publication | Type |
|---|
| Quadratically Constrained Quadratic Programs on Acyclic Graphs With Application to Power Flow | 2017-09-21 | Paper |
| Verification of distributed systems with local-global predicates | 2012-07-03 | Paper |
| A Formalized Theory for Verifying Stability and Convergence of Automata in PVS | 2008-12-04 | Paper |
| Convergence Verification: From Shared Memory to Partially Synchronous Systems | 2008-12-02 | Paper |
| Specification transformers: a predicate transformer approach to composition | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536450 | 2002-06-25 | Paper |
| An experiment in program composition and proof | 2002-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4519351 | 2001-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721100 | 2001-07-01 | Paper |
| A unifying framework for distributed simulation | 1996-04-28 | Paper |
| Predicate transformers for reasoning about concurrent computation | 1995-07-25 | Paper |
| FORTRAN M: A language for modular parallel programming | 1995-07-06 | Paper |
| Properties of concurrent programs | 1995-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4692502 | 1993-06-05 | Paper |
| Reasoning about continuous systems | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783500 | 1987-01-01 | Paper |
| How processes learn | 1986-01-01 | Paper |
| Systolic algorithms as programs | 1986-01-01 | Paper |
| On distributed search | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3700821 | 1985-01-01 | Paper |
| Termination Detection of Diffusing Computations in Communicating Sequential Processes | 1982-01-01 | Paper |
| A Distributed Graph Algorithm: Knot Detection | 1982-01-01 | Paper |
| Distributed computation on graphs | 1982-01-01 | Paper |
| Proofs of Networks of Processes | 1981-01-01 | Paper |
| Computational algorithms for product form queueing networks | 1980-01-01 | Paper |
| Deadlock absence proofs for networks of communicating processes | 1979-01-01 | Paper |
| Distributed Simulation: A Case Study in Design and Verification of Distributed Programs | 1979-01-01 | Paper |
| The impact of distributions and disciplines on multiple processor systems | 1979-01-01 | Paper |
| Distributed simulation of networks | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4166220 | 1978-01-01 | Paper |
| Models for parallel processing within programs | 1978-01-01 | Paper |
| Product Form and Local Balance in Queueing Networks | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4131663 | 1977-01-01 | Paper |
| Selecting Capacities in Computer Communication Systems | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138143 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4054672 | 1975-01-01 | Paper |
| Approximate Analysis of Central Server Models | 1975-01-01 | Paper |
| A Survey of Analytic Models of Rollback and Recovery Stratergies | 1975-01-01 | Paper |
| Open, Closed, and Mixed Networks of Queues with Different Classes of Customers | 1975-01-01 | Paper |
| A comparison of list schedules for parallel processing systems | 1974-01-01 | Paper |
| The Capacitated Minimum Spanning Tree | 1973-01-01 | Paper |
| Optimal Scheduling Strategies in a Multiprocessor System | 1972-01-01 | Paper |
| Rollback and Recovery Strategies for Computer Programs | 1972-01-01 | Paper |
| Optimization of Memory Hierarchies in Multiprogrammed Systems | 1970-01-01 | Paper |
| Optimization of information storage systems | 1968-01-01 | Paper |
