Marijana Lazić

Available identifiers

zbMath Open lazic.marijanaDBLP185/0660WikidataQ89493168 ScholiaQ89493168MaRDI QIDQ314479

List of research outcomes

Publication	Date of Publication	Type
Brief Announcement: Holistic Verification of Blockchain Consensus	2024-03-26	Paper
Verification of threshold-based distributed algorithms by decomposition to decidable logics	2024-02-16	Paper
Wait-free solvability of equality negation tasks	2023-02-03	Paper
Complexity of Verification and Synthesis of Threshold Automata	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	2021-08-03	Paper
A dynamic epistemic logic analysis of the equality negation task	2020-07-08	Paper
Finite generation of congruence preserving functions	2016-09-16	Paper

Research outcomes over time

This page was built for person: Marijana Lazić