List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Capacity planning for dependable services Theoretical Computer Science | 2023-10-17 | Paper |
| A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic (available as arXiv preprint) | 2022-03-24 | Paper |
| Lower bounds for convergence function based clock synchronization Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 | 2017-09-29 | Paper |
| The message classification model Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing - PODC '98 | 2016-03-02 | Paper |
| Fail-awareness in timed asynchronous systems Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96 | 2015-09-11 | Paper |
| From causal to z-linearizable transactional memory Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing | 2014-03-13 | Paper |
| Extensible transactional memory testbed Journal of Parallel and Distributed Computing | 2012-03-07 | Paper |
| scientific article; zbMATH DE number 5657406 (Why is no real title available?) | 2010-01-13 | Paper |
| A Lazy Snapshot Algorithm with Eager Validation Lecture Notes in Computer Science | 2008-09-09 | Paper |
| scientific article; zbMATH DE number 1950696 (Why is no real title available?) | 2003-07-17 | Paper |
| Fail-awareness: An approach to construct fail-safe systems Real-Time Systems | 2003-07-01 | Paper |
| scientific article; zbMATH DE number 1129898 (Why is no real title available?) | 1998-03-17 | Paper |
Research outcomes over time
This page was built for person: Christof Fetzer
