| Publication | Date of Publication | Type |
|---|
| Design of controllers for linear hybrid systems | 2024-06-21 | Paper |
Performance driven distributed scheduling of parallel hybrid computations
Theoretical Computer Science | 2011-07-27 | Paper |
| Real time programming. Languages, specification and verification. | 2010-06-08 | Paper |
Compositional reactive semantics of SystemC and verification with RuleBase
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems | 2010-06-02 | Paper |
A proof system for a PGAS language
Concurrency, Compositionality, and Correctness | 2010-03-09 | Paper |
Refinement calculus: A basis for translation validation, debugging and certification
Theoretical Computer Science | 2006-04-28 | Paper |
Trust management for \(e\)-transactions
Sādhanā | 2005-11-08 | Paper |
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
Lecture Notes in Computer Science | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 2086506 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1955820 (Why is no real title available?) | 2003-07-29 | Paper |
| scientific article; zbMATH DE number 1955776 (Why is no real title available?) | 2003-07-29 | Paper |
| scientific article; zbMATH DE number 1696505 (Why is no real title available?) | 2002-06-17 | Paper |
Compositional priority specification in real-time distributed systems.
Sādhanā | 2002-02-18 | Paper |
Formal verification of activity-based specification of protocols
Journal of Parallel and Distributed Computing | 2001-10-01 | Paper |
Transformational methodology for proving termination of logic programs
The Journal of Logic Programming | 1998-11-05 | Paper |
An optimal multiprocessor real-time scheduling algorithm
Journal of Parallel and Distributed Computing | 1997-01-01 | Paper |
A methodology for proving termination of logic programs
The Journal of Logic Programming | 1994-09-19 | Paper |
| scientific article; zbMATH DE number 408800 (Why is no real title available?) | 1993-09-06 | Paper |
Semantics of nondeterministic asynchronous broadcast networks
Information and Computation | 1993-08-30 | Paper |
| scientific article; zbMATH DE number 218889 (Why is no real title available?) | 1993-08-08 | Paper |
| scientific article; zbMATH DE number 176506 (Why is no real title available?) | 1993-05-18 | Paper |
Proof theory for exception handling in a tasking environment
Acta Informatica | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4062591 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4052987 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4041249 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4130031 (Why is no real title available?) | 1987-01-01 | Paper |
Correctness proof for the majority consensus algorithm
Information Sciences | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4009827 (Why is no real title available?) | 1984-01-01 | Paper |
A linear time algorithm for computing the convex hull of an ordered crossing polygon
Pattern Recognition | 1984-01-01 | Paper |
A simple livelock-free algorithm for packet switching
Science of Computer Programming | 1984-01-01 | Paper |
A linear time algorithm for obtaining the convex hull of a simple polygon
Pattern Recognition | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3806962 (Why is no real title available?) | 1982-01-01 | Paper |
On a characterization of pushdown permuters
Theoretical Computer Science | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3806958 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3692670 (Why is no real title available?) | 1980-01-01 | Paper |
Programmed OL-systems
Information Sciences | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3718563 (Why is no real title available?) | 1979-01-01 | Paper |
Precedence-regular grammars
International Journal of Computer Mathematics | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3574977 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3586485 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3604375 (Why is no real title available?) | 1978-01-01 | Paper |
Boolean Matrix Method for the Construction of Hierarchical Graphs
IEEE Transactions on Systems, Man, and Cybernetics | 1978-01-01 | Paper |
Precedence parsing using domolki's algorithm
International Journal of Computer Mathematics | 1977-01-01 | Paper |
The structure generating function of some families of languages
Information and Control | 1976-01-01 | Paper |
A note on linear precedence functions
Information Processing Letters | 1976-01-01 | Paper |
Necessary and sufficient conditions for a power language to be deterministic
International Journal of Computer Mathematics | 1975-01-01 | Paper |
Algorithms for Constructing Hierarchical Graphs
IEEE Transactions on Systems, Man, and Cybernetics | 1974-01-01 | Paper |
