הטכניון מכון טכנולוגי לישראלXyz
הטכניון מכון טכנולוגי לישראל - בית הספר ללימודי מוסמכים 
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 Zamir Nitzan 2019 MSc Abstracts Belief Requirements in Probabilistic Systems
 2 Dan Asa 2018 MSc Abstracts Using Time Without Clocks
 3 Saat Efi 2017 MSc Abstracts The Impact of Using Time in Software Defined Networks
 4 Mizrahi Tal 2016 PhD Abstracts Using Time in Software Defined Networks
 5 Patkin Katia 2015 MSc Abstracts A Priority-Based Analysis of Mutual Exclusion
 6 Emmer Moshe 2013 MSc Abstracts Bounded Model Checking at Word Level via Encoding into Effectively Propositional Logic
 7 Ben-Zvi Ido 2011 PhD Abstracts Causality, Knowledge and Coordination in Distributed Systems
 8 Televitckiy Evgeny 2009 MSc Abstracts Rank Aggregation for Synthesis of Recommendation Lists
 9 Guralnik Elena 2009 MSc Abstracts Safe Composition of Distributed Programs
 10 Mizrahi Tal 2006 MSc Abstracts Maintaining Simultaneously Consistent Views of a Distributed System using Common Knowledge
 11 Trock Dan 2004 MSc Abstracts Sampling-Based Distributed Mining of Association Rules
 12 Kiper Ron 2004 MSc Abstracts Hole Analysis Coverage Using BDD'S
 13 Shimony Benny 2004 MSc Abstracts A New Correctness Proof of Gallager, Humblet and Spira's Minimum Spanning Tree Protocol
 14 Polyakov Sergey 2003 MSc Abstracts Researching the Java Memory Model
 15 Ben-Shoshan Yaron 2003 MSc Abstracts Labeling Fork-Join Task Graphs for Data Race Detection
 16 Zamsky Arkady 1999 PhD
Approximation and Randomization in Byzantine Agreement

Last updated on: Wednesday ,May 27, 2020