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 |
|---|---|---|
| Brief Announcement: Holistic Verification of Blockchain Consensus Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing | 2024-03-26 | Paper |
| Verification of threshold-based distributed algorithms by decomposition to decidable logics Computer Aided Verification | 2024-02-16 | Paper |
| Wait-free solvability of equality negation tasks | 2023-02-03 | Paper |
| Complexity of Verification and Synthesis of Threshold Automata 1517.68221 | 2022-12-22 | Paper |
| A reduction theorem for randomized distributed algorithms under weak adversaries | 2021-10-18 | Paper |
| A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks Journal of Logical and Algebraic Methods in Programming | 2021-08-03 | Paper |
| A dynamic epistemic logic analysis of the equality negation task (available as arXiv preprint) | 2020-07-08 | Paper |
| Finite generation of congruence preserving functions Monatshefte für Mathematik | 2016-09-16 | Paper |
Research outcomes over time
This page was built for person: Marijana Lazić
