Ph.D and MS.c Theses, since 1988. Advisor Professor Yoram Moses Advisor's Email moses@ee.technion.ac.il Advisor's Home-Site   No of theses 16 Department Electrical Engineering Department Web Site webee.technion.ac.il/hebrew No.   Student's Name Graduation Year Degree Abstracts Research Name  1 Info Zamir Nitzan 2019 MSc Abstracts Belief Requirements in Probabilistic Systems  2 Info Dan Asa 2018 MSc Abstracts Using Time Without Clocks  3 Info Saat Efi 2017 MSc Abstracts The Impact of Using Time in Software Defined Networks  4 Info Mizrahi Tal 2016 PhD Abstracts Using Time in Software Defined Networks  5 Info Patkin Katia 2015 MSc Abstracts A Priority-Based Analysis of Mutual Exclusion  6 Info Emmer Moshe 2013 MSc Abstracts Bounded Model Checking at Word Level via Encoding into Effectively Propositional Logic  7 Info Ben-Zvi Ido 2011 PhD Abstracts Causality, Knowledge and Coordination in Distributed Systems  8 Info Televitckiy Evgeny 2009 MSc Abstracts Rank Aggregation for Synthesis of Recommendation Lists  9 Info Guralnik Elena 2009 MSc Abstracts Safe Composition of Distributed Programs  10 Info Mizrahi Tal 2006 MSc Abstracts Maintaining Simultaneously Consistent Views of a Distributed System using Common Knowledge  11 Info Trock Dan 2004 MSc Abstracts Sampling-Based Distributed Mining of Association Rules  12 Info Kiper Ron 2004 MSc Abstracts Hole Analysis Coverage Using BDD'S  13 Info Shimony Benny 2004 MSc Abstracts A New Correctness Proof of Gallager, Humblet and Spira's Minimum Spanning Tree Protocol  14 Info Polyakov Sergey 2003 MSc Abstracts Researching the Java Memory Model  15 Info Ben-Shoshan Yaron 2003 MSc Abstracts Labeling Fork-Join Task Graphs for Data Race Detection  16 Info Zamsky Arkady 1999 PhD Approximation and Randomization in Byzantine Agreement Last updated on: Wednesday ,May 27, 2020