Christof Fetzer
From MaRDI portal
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
