PhD and MSc Theses

PhD and MSc Theses, since 1988

Advisor Professor Yoram Moses
Advisor’s Email
No of theses 16
Department Electrical Engineering
Department Web Site
Student’s Name Graduation Year Degree Abstracts Research Name
Ben-Zvi Ido 2011 PhD Abstracts Causality, Knowledge and Coordination in Distributed Systems
Mizrahi Tal 2016 PhD Abstracts Using Time in Software Defined Networks
Zamsky Arkady 1999 PhD Approximation and Randomization in Byzantine Agreement
Zamir Nitzan 2019 MSc Abstracts Belief Requirements in Probabilistic Systems
Saat Efi 2017 MSc Abstracts The Impact of Using Time in Software Defined Networks
Emmer Moshe 2013 MSc Abstracts Bounded Model Checking at Word Level via Encoding into Effectively Propositional Logic
Televitckiy Evgeny 2009 MSc Abstracts Rank Aggregation for Synthesis of Recommendation Lists
Mizrahi Tal 2006 MSc Abstracts Maintaining Simultaneously Consistent Views of a Distributed System using Common Knowledge
Trock Dan 2004 MSc Abstracts Sampling-Based Distributed Mining of Association Rules
Shimony Benny 2004 MSc Abstracts A New Correctness Proof of Gallager, Humblet and Spira’s Minimum Spanning Tree Protocol
Polyakov Sergey 2003 MSc Abstracts Researching the Java Memory Model
Patkin Katia 2015 MSc Abstracts A Priority-Based Analysis of Mutual Exclusion
Kiper Ron 2004 MSc Abstracts Hole Analysis Coverage Using BDD’S
Ben-Shoshan Yaron 2003 MSc Abstracts Labeling Fork-Join Task Graphs for Data Race Detection
Dan Asa 2018 MSc Abstracts Using Time Without Clocks
Guralnik Elena 2009 MSc Abstracts Safe Composition of Distributed Programs