1 |
|
Zamir Nitzan |
2019 |
MSc |
Abstracts
|
Belief Requirements in Probabilistic Systems |
2 |
|
Dan Asa |
2018 |
MSc |
Abstracts
|
Using Time Without Clocks |
3 |
|
Saat Efi |
2017 |
MSc |
Abstracts
|
The Impact of Using Time in Software Defined Networks |
4 |
|
Mizrahi Tal |
2016 |
PhD |
Abstracts
|
Using Time in Software Defined Networks |
5 |
|
Patkin Katia |
2015 |
MSc |
Abstracts
|
A Priority-Based Analysis of Mutual Exclusion |
6 |
|
Emmer Moshe |
2013 |
MSc |
Abstracts
|
Bounded Model Checking at Word Level via Encoding into Effectively Propositional Logic |
7 |
|
Ben-Zvi Ido |
2011 |
PhD |
Abstracts
|
Causality, Knowledge and Coordination in Distributed Systems |
8 |
|
Televitckiy Evgeny |
2009 |
MSc |
Abstracts
|
Rank Aggregation for Synthesis of Recommendation Lists |
9 |
|
Guralnik Elena |
2009 |
MSc |
Abstracts
|
Safe Composition of Distributed Programs |
10 |
|
Mizrahi Tal |
2006 |
MSc |
Abstracts
|
Maintaining Simultaneously Consistent Views of a Distributed System using Common Knowledge |
11 |
|
Trock Dan |
2004 |
MSc |
Abstracts
|
Sampling-Based Distributed Mining of Association Rules |
12 |
|
Kiper Ron |
2004 |
MSc |
Abstracts
|
Hole Analysis Coverage Using BDD'S |
13 |
|
Shimony Benny |
2004 |
MSc |
Abstracts
|
A New Correctness Proof of Gallager, Humblet and Spira's Minimum Spanning Tree Protocol |
14 |
|
Polyakov Sergey |
2003 |
MSc |
Abstracts
|
Researching the Java Memory Model |
15 |
|
Ben-Shoshan Yaron |
2003 |
MSc |
Abstracts
|
Labeling Fork-Join Task Graphs for Data Race Detection |
16 |
|
Zamsky Arkady |
1999 |
PhD |
|
Approximation and Randomization in Byzantine Agreement |