PhD and MSc Theses

PhD and MSc Theses, since 1988

Advisor PROF. Yoram Moses
Advisor’s Email
No of theses 16
Department Electrical and Computers 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
Dan Asa 2018 MSc Abstracts Using Time Without Clocks
Saat Efi 2017 MSc Abstracts The Impact of Using Time in Software Defined Networks
Patkin Katia 2015 MSc Abstracts A Priority-Based Analysis of Mutual Exclusion
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
Guralnik Elena 2009 MSc Abstracts Safe Composition of Distributed Programs
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
Kiper Ron 2004 MSc Abstracts Hole Analysis Coverage Using BDD’S
Shimony Benny 2004 MSc Abstracts A New Correctness Proof of Gallager, Humblet and Spira’s Minimum Spanning Tree Protocol
Ben-Shoshan Yaron 2003 MSc Abstracts Labeling Fork-Join Task Graphs for Data Race Detection
Polyakov Sergey 2003 MSc Abstracts Researching the Java Memory Model