PhD and MSc Theses

PhD and MSc Theses, since 1988

Advisor PROF. Yoram Moses
Advisor's Email moses@ee.technion.ac.il
No of theses 18
Department Electrical and Computer Engineering
Department Web Site ece.technion.ac.il/?lang=he
Student's Name Graduation Year Degree Abstracts Research Name
Ben-Zvi Ido 2011 PhD Abstracts Causality, Knowledge and Coordination in Distributed Systems
Goren Guy 2023 PhD Abstracts On Non- Explicit Information Exchange in Distributed Computing
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
Livshits Ariel 2022 MSc Abstracts Probable Approximate Coordination
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
Shimony Benny 2004 MSc Abstracts A New Correctness Proof of Gallager, Humblet and Spira's Minimum Spanning Tree Protocol
Trock Dan 2004 MSc Abstracts Sampling-Based Distributed Mining of Association Rules
Kiper Ron 2004 MSc Abstracts Hole Analysis Coverage Using BDD'S
Polyakov Sergey 2003 MSc Abstracts Researching the Java Memory Model
Ben-Shoshan Yaron 2003 MSc Abstracts Labeling Fork-Join Task Graphs for Data Race Detection