| Publication | Date of Publication | Type |
|---|
Faster possibility detection by combining two approaches
Distributed Algorithms | 2023-12-01 | Paper |
Recursive rules with aggregation: a simple unified semantics
Journal Of Logic And Computation | 2023-01-04 | Paper |
Recursive rules with aggregation: a simple unified semantics
(available as arXiv preprint) | 2022-07-01 | Paper |
Knowledge of uncertain worlds: programming with logical constraints
Journal Of Logic And Computation | 2022-02-08 | Paper |
| scientific article; zbMATH DE number 7455720 (Why is no real title available?) | 2022-01-11 | Paper |
Founded semantics and constraint semantics of logic rules
Journal Of Logic And Computation | 2020-12-15 | Paper |
| Detecting global predicates in distributed systems with clocks | 2020-12-03 | Paper |
Neural flocking: MPC-based supervised learning of flocking controllers
(available as arXiv preprint) | 2020-09-23 | Paper |
Knowledge of uncertain worlds: programming with logical constraints
(available as arXiv preprint) | 2020-05-06 | Paper |
Formal verification of Multi-Paxos for distributed consensus
(available as arXiv preprint) | 2020-01-03 | Paper |
Leader election in asynchronous distributed systems
IEEE Transactions on Computers | 2018-07-09 | Paper |
Founded semantics and constraint semantics of logic rules
(available as arXiv preprint) | 2018-04-06 | Paper |
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles
Formal Methods in System Design | 2017-09-08 | Paper |
Compositional branching-time measurements
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
\textsc{InterAspect}: aspect-oriented instrumentation with GCC
Formal Methods in System Design | 2014-03-28 | Paper |
Policy analysis for administrative role-based access control
Theoretical Computer Science | 2012-01-04 | Paper |
Optimistic synchronization-based state-space reduction
Formal Methods in System Design | 2006-11-17 | Paper |
Automated analysis of fault-tolerance in distributed systems
Formal Methods in System Design | 2006-02-20 | Paper |
Dynamic programming via static incrementalization
Higher-Order and Symbolic Computation | 2003-08-21 | Paper |
Eliminating dead code on recursive data.
Science of Computer Programming | 2003-08-07 | Paper |
| scientific article; zbMATH DE number 1956603 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1953023 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1832226 (Why is no real title available?) | 2002-11-19 | Paper |
Strengthening invariants for efficient computation
Science of Computer Programming | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1744966 (Why is no real title available?) | 2002-05-23 | Paper |
| scientific article; zbMATH DE number 1670562 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1670782 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1479608 (Why is no real title available?) | 2000-07-20 | Paper |
Verifying programs that use causally-ordered message-passing
Science of Computer Programming | 1995-07-04 | Paper |
