2009 PHD Theses

• PHD-2009-01 Ido Tal (Ronny Roth, Tuvi Etzion): Coding and Bounds for Two-Dimensional Constraints
• PHD-2009-02 Yaniv Frishman (Ayellet Tal): Graph Drawing Algorithms in Information Visualization
• PHD-2009-03 Sharon Shoham (Orna Grumberg): Abstraction-Refinement and Modularity in mu-Calculus Model Checking
• PHD-2009-04 Dmitry Pechyony (Ran El-Yaniv): Theory and Practice of Transductive Learning
• PHD-2009-05 Gabriel Kliot (Roy Friedman): Probabilistic Middleware Services in Wireless Mobile Ad-Hoc Networks
• PHD-2009-06 Roee Engelberg (Prof. Seffi Naor): Stability in Multi-Agent Environments and Approximation Algorithms for NP-Hard Graph Problems
• PHD-2009-07 Tony Tan (Michael Kaminski): Pebble Automata for Data Languages: Separation, Decidability, and Undecidability
• PHD-2009-08 Grigory Begelman (Ehud Rivlin, Michael Zibulevsky): Processing and Interpretation of Biological Microscopical Images
• PHD-2009-09 Mirela Ben-Chen (Craig Gotsman): Discrete Geometric Algorithms for Mesh Processing
• PHD-2009-10 Ilan Gronau (Shlomo Moran): Reconstructing Phylogenetic Trees from Noisy Metrics
• PHD-2009-11 Konstantin Shagin (Assaf Schuster and Michael Factor): Execution of Monolithic Java Programs on Large Non-Dedicated Collections of Commodity Workstations
• PHD-2009-12 Valentin Kravtsov (Assaf Schuster): Service-based Resource Brokering for Grid-based Applications
• PHD-2009-13 Alexander Landau (Reuven Cohen): Efficient Schemes For Estimating The Number Of Affected Nodes In Very Large Networks
• PHD-2009-14 Ilya Blayvas (Prof. Ron Kimmel): On Accuracy Analysis of 3D Scanners, Binarization, and Machine Learning