1 

Zarivach Igor 
2018 
MSc 
Abstracts

The Cruncher: A solver for LargeScale MIP Problems 
2 

Damti Yanir 
2017 
MSc 
Abstracts

Adaptive Methods for Computing and Comparing Evolutionary Distances 
3 

Gronau Ilan 
2009 
PhD 
Abstracts

Reconstructing Phylogenetic Trees from Noisy Metrics 
4 

Yogev Sivan 
2006 
MSc 
Abstracts

Evaluation of Scoring Functions for Protein Multiple Sequence Alignment using Structural Alignments 
5 

Balter Dorit 
2004 
MSc 
Abstracts

Medical Records Confidentiality Problem 
6 

Lempel Ronny 
2003 
PhD 
Abstracts

Link Structure Analysis and Query Result Caching in Web Search Engines 
7 

Eilam Tamar 
2000 
PhD 

Cost versus Quality: Tradeoffs in Communication Networks 
8 

Snir Sagi 
1998 
MSc 

A Simple and Efficient Method for Network Decomposition And Synchronization 
9 

Rappoport Lihu 
1997 
PhD 

LockFree Implementations in the Asynchronous SharedMemory Model 
10 

Brit Hagit 
1994 
MSc 

Public Data Structures and Public Counters as a Special Case 
11 

Lubitch Ronit 
1993 
MSc 

Closed Schedvlers: Motivation Construction and Application 
12 

Navony Nechama 
1993 
MSc 

A Verge and Randomized Complexity of Distributed Problems 
13 

Yadin Irit 
1992 
MSc 

The Distributet Counter Problem 
14 

Dolev Shlomo 
1992 
PhD 

Self Stabilization of Dynamic Systems 
15 

Rinoenau Yael 
1991 
MSc 

An Efficient Algorithm for Maximum Dyramis Flow Problem 
16 

Biran Ofer 
1991 
PhD 

Distributed Tasks in the Presence of FailStop Failures 
17 

Dolev Shlomo 
1990 
MSc 

Self Stabilization of Dynamic Systems Assuming Only Read/ 
18 

Wolfstahl Yaron 
1989 
PhD 

Algorithms for Graph Embedding and Covering 
19 

Taubenfeld Gadi 
1988 
PhD 

An Axiomatic Approach for Proving Impossibility Results in 