Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Koh Aoki
Bhupendra Singh
Silvia Scirpoli
Katariya, Sumeet
David J. Westover
Songhua Li
Sebastian Magda
David MacDonald
Patanamon Thongtanunam
Yasmine N. El-Glaly
Home
/
Author
/
MARIJANA LAZIC
Author Info
Open Visualization
Name
Affiliation
Papers
MARIJANA LAZIC
Vienna University of Technology, Austria
9
Collaborators
Citations
PageRank
16
0
3.04
Referers
Referees
References
0
80
26
Publications (9 rows)
Collaborators (16 rows)
Referers (0 rows)
Referees (80 rows)
Title
Citations
PageRank
Year
Holistic Verification of Blockchain Consensus.
0
0.34
2022
Verification of randomized consensus algorithms under round-rigid adversaries (Feb, 10.1007/s10009-020-00603-x, 2021)
0
0.34
2021
Verification of randomized consensus algorithms under round-rigid adversaries
0
0.34
2021
Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries.
0
0.34
2019
Wait-Free Solvability of Equality Negation Tasks.
0
0.34
2019
Verification Of Threshold-Based Distributed Algorithms By Decomposition To Decidable Logics
0
0.34
2019
Synthesis of Distributed Algorithms with Parameterized Threshold Guards.
0
0.34
2017
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms.
0
0.34
2017
Para2: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms.
0
0.34
2017
1