Marijana Lazic

Identifiers

No identifiers captured yet.

Papers (2)

1. Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics cs.PL · 2019 · author #2
2. A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms cs.LO · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Giuliano Losa 1 shared papers
• Helmut Veith 1 shared papers
• Idan Berkovits 1 shared papers
• Igor Konnov 1 shared papers
• Josef Widder 1 shared papers
• Oded Padon 1 shared papers
• Sharon Shoham 1 shared papers