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