| Publication | Date of Publication | Type |
|---|
Quadratically Constrained Quadratic Programs on Acyclic Graphs With Application to Power Flow
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Verification of distributed systems with local-global predicates
Formal Aspects of Computing | 2012-07-03 | Paper |
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
Lecture Notes in Computer Science | 2008-12-04 | Paper |
Convergence Verification: From Shared Memory to Partially Synchronous Systems
Lecture Notes in Computer Science | 2008-12-02 | Paper |
Specification transformers: a predicate transformer approach to composition
Acta Informatica | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 1759496 (Why is no real title available?) | 2002-06-25 | Paper |
An experiment in program composition and proof
Formal Methods in System Design | 2002-04-11 | Paper |
| scientific article; zbMATH DE number 1538924 (Why is no real title available?) | 2001-07-16 | Paper |
| scientific article; zbMATH DE number 1612492 (Why is no real title available?) | 2001-07-01 | Paper |
A unifying framework for distributed simulation
ACM Transactions on Modeling and Computer Simulation | 1996-04-28 | Paper |
Predicate transformers for reasoning about concurrent computation
Science of Computer Programming | 1995-07-25 | Paper |
FORTRAN M: A language for modular parallel programming
Journal of Parallel and Distributed Computing | 1995-07-06 | Paper |
Properties of concurrent programs
Formal Aspects of Computing | 1995-04-06 | Paper |
| scientific article; zbMATH DE number 194539 (Why is no real title available?) | 1993-06-05 | Paper |
Reasoning about continuous systems
Science of Computer Programming | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4047042 (Why is no real title available?) | 1987-01-01 | Paper |
Systolic algorithms as programs
Distributed Computing | 1986-01-01 | Paper |
How processes learn
Distributed Computing | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3926228 (Why is no real title available?) | 1985-01-01 | Paper |
On distributed search
Information Processing Letters | 1985-01-01 | Paper |
Distributed computation on graphs
Communications of the ACM | 1982-01-01 | Paper |
Termination Detection of Diffusing Computations in Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems | 1982-01-01 | Paper |
A Distributed Graph Algorithm: Knot Detection
ACM Transactions on Programming Languages and Systems | 1982-01-01 | Paper |
Proofs of Networks of Processes
IEEE Transactions on Software Engineering | 1981-01-01 | Paper |
Computational algorithms for product form queueing networks
Communications of the ACM | 1980-01-01 | Paper |
Deadlock absence proofs for networks of communicating processes
Information Processing Letters | 1979-01-01 | Paper |
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
IEEE Transactions on Software Engineering | 1979-01-01 | Paper |
The impact of distributions and disciplines on multiple processor systems
Communications of the ACM | 1979-01-01 | Paper |
Distributed simulation of networks
Computer Networks (1976) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3599480 (Why is no real title available?) | 1978-01-01 | Paper |
Models for parallel processing within programs
Communications of the ACM | 1978-01-01 | Paper |
Product Form and Local Balance in Queueing Networks
Journal of the ACM | 1977-01-01 | Paper |
Selecting Capacities in Computer Communication Systems
IEEE Transactions on Software Engineering | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3560751 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3566176 (Why is no real title available?) | 1977-01-01 | Paper |
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
Journal of the ACM | 1975-01-01 | Paper |
Approximate Analysis of Central Server Models
IBM Journal of Research and Development | 1975-01-01 | Paper |
A Survey of Analytic Models of Rollback and Recovery Stratergies
Computer | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3470021 (Why is no real title available?) | 1975-01-01 | Paper |
A comparison of list schedules for parallel processing systems
Communications of the ACM | 1974-01-01 | Paper |
The Capacitated Minimum Spanning Tree
Networks | 1973-01-01 | Paper |
Optimal Scheduling Strategies in a Multiprocessor System
IEEE Transactions on Computers | 1972-01-01 | Paper |
Rollback and Recovery Strategies for Computer Programs
IEEE Transactions on Computers | 1972-01-01 | Paper |
Optimization of Memory Hierarchies in Multiprogrammed Systems
Journal of the ACM | 1970-01-01 | Paper |
Optimization of information storage systems
Information and Control | 1968-01-01 | Paper |
