הטכניון מכון טכנולוגי לישראלXyz
הטכניון מכון טכנולוגי לישראל - בית הספר ללימודי מוסמכים 
Ph.D Theses

DepartmentComputer Science
Department Web Site www.cs.technion.ac.il


No.   Student's Name Advisors Graduation
Year
Abstracts Theses Abstract Title
 1 Michal Horovitz Yaakobi Eitan

Etzion Tuvi
2018 Abstracts  Coding Schemes for Non-Volatile Memories
 2 Mira Shalah Barequet Gill2018 Abstracts  Formulae and Growth Rates of Animals on Cubical and@Triangular Lattices
 3 Jeremias Sulam Elad Michael2018 Abstracts  From Local to Global Sparse Modeling
 4 Gal Lalouche Gil Joseph2018 Abstracts  The Consistency, Independence and Validity of Software@Complexity Metrics
 5 Alon Shtern Kimmel Ron2018 Abstracts  Shape Correspondence using Spectral Methods and Deep@Learning
 6 Arnon Lazerson Schuster Assaf2018 Abstracts  Efficient Monitoring of Distributed Data Streams
 7 Yuri Meshman Yahav Eran2017 Abstracts Theses Extrapolation and Synthesis for Relaxed Memory Models
 8 Aviv Yehezkel Cohen Reuven2017 Abstracts  Generalizations of the Cardinality Estimation Problem and@Applications to Computer Networks
 9 Gregory Schwartzman Censor-Hillel Keren2017 Abstracts Theses Algorithms for Environments with Uncertainty
 10 Ariella Voloshin Zaks Shmuel

Shachnai Hadas
2017 Abstracts Theses Flexible Resource Allocation for Network Problems
 11 Nimrod Sebban Partush Yahav Eran2017 Abstracts Theses Differential Program Analysis
 12 Ami Paz Censor-Hillel Keren2017 Abstracts  Distributed Distance Computation and Related Topics
 13 Jonathan Yaniv Naor Joseph2017 Abstracts Theses Job Scheduling Mechanisms for Cloud Computing
 14 Omer Weissbrod Geiger Dan

Rosset Saharon
2017 Abstracts  Linear and Generalized Linear Mixed Models for Genetic@Case Control Studies
 15 Omri Azencot Ben-Chen Mirela2017 Abstracts  Operator Representations in Geometry Processing
 16 Netanel Raviv Etzion Tuvi2017 Abstracts Theses Subspace Codes and Distributed Storage Codes
 17 Dana Drachsler Cohen Yahav Eran2017
 Exact Programming by Examples
 18 Yohay Kaplan Ben Sasson Eliyahu2017 Abstracts Theses Multi-Variate Abstractions of Algebraic Geometry Codes,@with Applications
 19 Moshe Gabel Schuster Assaf

Daniel Keren
2017 Abstracts Theses Communication-Efficient Algorithms for Distributed@Stream Mining
 20 Iddo Bentov Ben Sasson Eliyahu2017 Abstracts Theses Bitcoin and Secure Computation with Money
 21 Vardan Papyan Elad Michael2017 Abstracts Theses Global Versus Local Modeling of Signals
 22 David Sainz Friedman Roy2017 Abstracts Theses Efficient Information Transfer Leveraging Wireless@D2D Communication
 23 Adi Sosnovich Grumberg Orna2017 Abstracts Theses Finding Security Vulnerabilities in Network Protocols@Using Methods of Formal Verification
 24 Alexander Libov Friedman Roy2016 Abstracts Theses Efficient Content Delivery in P2P Networks
 25 Gal Tamir Shachnai Hadas2016 Abstracts Theses Algorithms for Combinatorial Reoptimization
 26 Daniel Genkin Ishai Yuval

Tromer Eran
2016 Abstracts Theses Secure Computation in Hostile Environments
 27 Boaz Ophir Elad Michael2016 Abstracts Theses Multi Scale Dictionary Learning for Sparse Representation of@Images
 28 Shay Moran Yehudayoff Amir

Shpilka Amir
2016 Abstracts Theses Generalization and Simplification in Machine Learning
 29 Uri Verner Schuster Assaf

Mendelson Avi
2016 Abstracts Theses Processing Real-time Data Streams on GPU-based@Systems
 30 Artyom Sharov Roth Ronny2016 Abstracts Theses Coding for New Applications in Storage Media
 31 Yael Meller Grumberg Orna

Yorav Karen
2016 Abstracts Theses Model Checking Techniques for Behavioral UML Models
 32 Mor Weiss Ishai Yuval2016 Abstracts Theses Secure Computation and Probabilistic Checking
 33 Lila Shnaiderman Shmueli Oded2016 Abstracts Theses Parallelism in Querying and Storage for Large XML@and Graph Databases
 34 Sivan Albagli-Kim Shachnai Hadas

Tamar Tamir
2016 Abstracts Theses Flexible Resource Allocation for Networks and Clouds
 35 Nachshon Cohen Petrank Erez2016 Abstracts Theses Memory Management: From Theory to Practice
 36 Naama Tepper Shlomi Tomer2016 Abstracts Theses Computational Methods for Metabolic Network Analysis of@Metabolite Levels and Flux
 37 Yaniv Carmeli Biham Eli2015 Abstracts Theses On Bugs and Ciphers: New Techniques in Cryptanalysis
 38 Sandeep Hans Attiya Hagit

Rinetskey Noam
2015 Abstracts Theses A Programming Language Approach to Transactional Memory@Consistency
 39 Yonatan Goldhirsh Fischer Eldar2015 Abstracts Theses Algorithms for Property Testing and Related Problems
 40 Gil Einziger Friedman Roy2015 Abstracts Theses Approximate Compact Data Structures and Applications
 41 Roman Talyansky Itai Alon2015 Abstracts Theses Sample Complexity of Training Markov Chains
 42 Shahar Timnat Petrank Erez2015 Abstracts Theses Practical Parallel Data Structures
 43 Meirav Zehavi Pinter Ron

Shachnai Hadas
2015 Abstracts Theses Algorithms for Parameterized Graph Problems with@Applications to Biological Network Queries
 44 Anastasia Braginsky Petrank Erez2015 Abstracts Theses Multi-Threaded Coordination Methods for Constructing@Non-Blocking Data Structures
 45 Cynthia Disenfeld Katz Shmuel2015 Abstracts Theses Compositional Verification of Events and Responses
 46 Javier S. Turek Yavneh Irad

Elad Michael
2015 Abstracts Theses Topics in Sparse Representation Modeling and@Applications
 47 Meir Cohen Shimshoni Ilan

Rivlin Ehud
2015 Abstracts Theses Observing the Observers: Social Context Analysis Using@Computer Vision
 48 Anastasia Dubrovina Karni Kimmel Ron2015 Abstracts Theses Geometric Algorithms for Image and Surface Analysis
 49 Shahar Chen Naor Joseph

Buchbinder Niv
2015 Abstracts Theses Online Learning and Competitive Analysis: a Unified@Approach
 50 Amir Nahir Raz Dan

Orda Ariel
2014 Abstracts Theses Design and Management of Complex Distributed Systems:@Optimization and Game-Theoretic Perspectives
 51 Assaf Glazer Markovitch Shaul

Lindenbaum Michael
2014 Abstracts Theses Learning Methods for Modeling High-Dimensional Distributions
 52 Limor Leibovich Yakhini Zohar2014 Abstracts Theses Statistical Assessment of Enrichment in Ranked Lists -@Algorithms and Applications in Motif Search
 53 Guy Rosman Kimmel Ron2014 Abstracts Theses On Natural Parametrizations of Motion and Structure@Manifolds
 54 Raja Giryes Elad Michael2014 Abstracts Theses Sparsity Models for Signals: Theory and Applications
 55 Nadav Amit Schuster Assaf

Tsafrir Dan
2014 Abstracts Theses Alleviating Virtualization Bottlenecks
 56 Noa Avigdor-Elgrabli Rabani Yuval

Shpilka Amir
2014 Abstracts Theses New Algorithms for the Reordering Buffer Management@Problem
 57 Elad Haramaty Shpilka Amir2014 Abstracts Theses Polynomial Testing and Related Questions
 58 Noga Ron-Zewi Ben Sasson Eliyahu2014 Abstracts Theses Additivie Combinatorics Methods in Computational Complexity
 59 Amir Adler Elad Michael

Yacov Hel-Or
2014 Abstracts  Applications of Sparse and Redundant Representations to@Subspace Clustering and Signal Modeling
 60 Josef Hai Kanizo Keslassy Isaac

Hay David
2014 Abstracts Theses Fast Decisions in High-Speed Networking Devices
 61 Sarit Buzaglo Etzion Tuvi

Yaakobi Eitan
2014 Abstracts Theses Algebraic and Geometric Problems for Non-Volatile Memory
 62 Yakir Vizel Grumberg Orna2014 Abstracts Theses SAT-Based Model Checking Using Interpolation and@IC3
 63 Eran Treister Yavneh Irad2014 Abstracts Theses Aggregation-based Adaptive Algebraic Multigrid for@Sparse Linear Systems
 64 Roi Poranne Gotsman Chaim Craig2014 Abstracts Theses Topics in Shape Optimization and Exploration
 65 Guy Grebla Cohen Reuven2013 Abstracts Theses Scheduling Algorithms for OFDMA Broadband Wireless@Networks
 66 Israel Steinfeld Yakhini Zohar2013 Abstracts Theses Data Analysis in Studies Combining Multiple@High-Throughput Measurement Technologies
 67 Zohar Levi Gotsman Chaim Craig2013 Abstracts Theses Techinques for Manipulating Volumetric and Polyhedral@3D Datasets
 68 Keren Lenz Gil Joseph2013 Abstracts Theses Internal and External Mechanisms for Extending@Programming Languages
 69 Orna Agmon Ben-Yehuda Schuster Assaf2013 Abstracts Theses Efficient, Non-Cooperative Sharing of Computing Resources
 70 Moran Feldman Naor Joseph2013 Abstracts Theses Maximization Problems with Submodular Objective Functions
 71 Yotam Elor Bruckstein Alfred2013 Abstracts Theses Mathematical Analysis of Emergent Behavior in Multi-@Agent Systems
 72 Roy Levin Kanza Yaron2013 Abstracts Theses Geospatial Route Search
 73 Ron Begleiter Ailon Nir

El-Yaniv Ran
2013 Abstracts Theses Theory and Practice of Active Learning
 74 Mirit Shalem Kanza Yaron

Bar-Yossef Ziv
2013 Abstracts Theses Combined Search over Heterogeneous Repositories
 75 Kira Radinsky Markovitch Shaul

Ailon Nir
2013 Abstracts Theses Learning to Predict the Future Using Web Knowledge and@Dynamics
 76 Gal Lavee Rivlin Ehud2013 Abstracts Theses Understanding Events in Video
 77 Yair Wiener El-Yaniv Ran2013 Abstracts Theses Theoretical Foundations of Selective Prediction
 78 Eyal Rozenberg Fischer Eldar2012 Abstracts Theses Lower Bounds and Structural Results in@Property Testing of Dense Combinatorial Structures
 79 Alex Kogan Friedman Roy2012 Abstracts Theses Utilizing Multiple Radio Interfaces in Wireless@Networks
 80 Eliyahu Osherovich Yavneh Irad

Zibulevsky Michael
2012 Abstracts  Numerical Methods for Phase Retrieval
 81 Dan Raviv Kimmel Ron2012 Abstracts Theses Invariant Metrics for Non-Rigid Shapes
 82 Anna Levin Cohen Reuven2012 Abstracts Theses Mobility Management Schemes for Improving TCP Performance@in the Next Generation Wireless Networks
 83 Tamer Salman Baram Yoram2012 Abstracts Theses Quantum Neural Computation and Associative Memory
 84 Michael Viderman Ben Sasson Eliyahu2012 Abstracts Theses Towards Lower Bounds on Locally Testable Codes
 85 Anat Paskin-Cherniavsky Ishai Yuval

Kushilevitz Eyal
2012 Abstracts Theses Secure Computation with Minimal Interaction
 86 Gala Yadgar Schuster Assaf2012 Abstracts Theses Multilevel Cache Management Based on Application Hints
 87 Ilya Volkovich Shpilka Amir2012 Abstracts Theses Polynomial Identity Testing and its Relation to some@Algebraic Problems
 88 Roy Schwartz Naor Joseph2012 Abstracts Theses Labelings and Partitions of Graphs
 89 Tomer Kotek Makowsky Johann2012 Abstracts Theses Definability of Combinatorial Functions
 90 Itay Maman Gil Joseph2012
 Formal Patterns in Java Programs
 91 Guy Sagy Schuster Assaf

Daniel Keren
2012 Abstracts Theses Geometric Methods for Analyzing and Monitoring@Large Distributed Data
 92 Zohar Karnin Shpilka Amir2012 Abstracts Theses Derandomization of Algebraic and Geometric Problems in@Theoretical Computer Science
 93 Joseph Shtok Elad Michael

Zibulevsky Michael
2012
 Adaptive Reconstruction Algorithms in Computed Tomography
 94 Ron Rubinstein Elad Michael2012 Abstracts Theses Analysis and Synthesis Sparse Modeling Methods in Image@Processing
 95 Royi Ronen Shmueli Oded2012 Abstracts Theses Models and Methods for Advanced Web Applications@and Social Network Automation
 96 Eshcar Hillel Attiya Hagit2011 Abstracts Theses Concurrent Data Structures: Methodologies and@Inherent Limitations
 97 Tamar Aizikowitz Kaminski Michael2011 Abstracts Theses Synchronized Alternating Pushdown Automata
 98 Ilia Averbouch Makowsky Johann2011 Abstracts Theses Completeness and Universality Properties of Graph@Invariants and Graph Polynomials
 99 Matan Protter Elad Michael2011 Abstracts Theses Processing Images Sequences without Motion Estimation
 100 Amir Vaxman Barequet Gill2011 Abstracts Theses General Techniques for Interpolation, Reconstruction and@Morphing of Polyhedral Surfaces
 101 Rafael Chen Biham Eli2011 Abstracts Theses New Techniques for Cryptanalysis of Cryptographic Hash@Functions
 102 Arie Friedman Schuster Assaf2011 Abstracts Theses Privacy Preserving Data Mining
 103 Gadi Aleksandrowicz Barequet Gill2011 Abstracts Theses Enumeration of Lattice Animals
 104 Ido Ben-Zvi Moses Yoram2011 Abstracts Theses Causality, Knowledge and Coordination in Distributed@Systems
 105 Hanna Mazzawi Bshouty Nader2011 Abstracts Theses Reconstructing Graphs Using Edge Counting Queries
 106 Emilia Katz Katz Shmuel2011 Abstracts Theses Analysis and Detection of Interactions among Aspects
 107 Tamir Levy Litman Ami2011 Abstracts Theses On Merging Networks
 108 Natalia Silberstein Etzion Tuvi2011 Abstracts Theses Coding Theory and Projective Spaces
 109 Avraham Yadgar Grumberg Orna

Schuster Assaf
2010 Abstracts Theses New Approaches to Model Checking and to 3-Valued Abstraction@and Refinement
 110 Keren Censor Hillel Attiya Hagit2010 Abstracts Theses Probabilistic Methods in Distributed Computing
 111 Itai Sharon Beja Oded

Pinter Ron
2010 Abstracts Theses Computational Methods for Metagenomic Analysis
 112 Sivan Bercovici Geiger Dan2010 Abstracts Theses Mapping by Admixture Linkage Disequilibrium: New Criteria@and Algorithms
 113 Oren Mishali Katz Shmuel2010 Abstracts Theses Using Aspects to Support the Software Process
 114 Boris Kapchits Cohen Reuven2010 Abstracts Theses On the Optimization of Wake-Up Frequencies in Sensor@Networks
 115 Leonid Raskin Lindenbaum Michael

Rudzesky Mhchael
2010 Abstracts Theses Dimensionality Reduction for 3D Articulated Body Tracking@and Human Action Analysis
 116 Noam Gordon Bruckstein Alfred

Wagner Israel
2010 Abstracts Theses Fundamental Problems in the Theory of Multi-Agent Robotics
 117 Ofir Weber Elber Gershon

Gotsman Chaim Craig
2010 Abstracts Theses Hybrid Methods for Interactive Shape Manipulation
 118 Mark Silberstein Geiger Dan

Schuster Assaf
2010 Abstracts Theses A Distributed System for Genetic Linkage Analysis
 119 Yaniv Altshuler Bruckstein Alfred

Wagner Israel
2010 Abstracts Theses Multi Agents Robotics in Dynamic Environments
 120 Michal Holtzman Gazit Yavneh Irad2010 Abstracts  Multi Level Methods for Data Completion
 121 Roman Sandler Lindenbaum Michael2010 Abstracts Theses Nonnegative Matrix Factorization for Segmentation Analysis
 122 Yaniv Frishman Tal Ayellet2009 Abstracts Theses Graph Drawing Algorithms in Information Visualization
 123 Alexander Landau Cohen Reuven2009 Abstracts Theses Efficient Schemes for Estimating the Number of Affected@Nodes in Very Large Networks
 124 Mirela Ben-Chen Gotsman Chaim Craig2009 Abstracts Theses Discrete Geometric Algorithms for Mesh Processing
 125 Roee Engelberg Naor Joseph2009 Abstracts Theses Stability in Multi-Agent Environments and Approximation@Algorithms for NP-Hard Graph Problems
 126 Gabriel Kliot Friedman Roy2009 Abstracts Theses Probabilistic Middleware Services in Wireless Mobile@Ad-Hoc Networks
 127 Grigory Begelman Rivlin Ehud

Zibulevsky Michael
2009 Abstracts Theses Processing and Interpretation of Biological Microscopical@Images
 128 Konstantin Shagin Schuster Assaf2009 Abstracts Theses Execution of Monolithic Java Programs on Large@Non-Dedicated Collections of Commodity@Workstations
 129 Izchak Sharfman Schuster Assaf2009 Abstracts Theses A Geometric Approach to Detecting Global Properties@over Distributed Data
 130 Ido Tal Roth Ronny

Etzion Tuvi
2009 Abstracts Theses Coding and Bounds for Two-Dimensional Constraints
 131 Ilan Gronau Moran Shlomo2009 Abstracts Theses Reconstructing Phylogenetic Trees from Noisy Metrics
 132 Sharon Shoham Buchbinder Grumberg Orna2009 Abstracts Theses Abstraction-Refinement and Modularity in Mu-Calculus@Model Checking
 133 Ilya Blayvas Kimmel Ron

Bruckstein Alfred
2009 Abstracts Theses On Accuracy Analysis of 3D Scanners, Binarization,@and Machine Learning
 134 Dmitry Pechyony El-Yaniv Ran2009 Abstracts Theses Theory and Practice of Transductive Learning
 135 Tony Tan Kaminski Michael2009 Abstracts Theses Pebble Automata for Data Languages: Separation,@Decidability and Undecidability
 136 Valentin Kravtsov Schuster Assaf2009 Abstracts Theses Service-Based Resource Brokering for Grid-Based Applications
 137 Ido Leichter Rivlin Ehud

Lindenbaum Michael
2008 Abstracts Theses Visual Tracking in a General Context via Tracker@Combination and Low-Level Cues
 138 Alexander Bogomjakov Gotsman Chaim Craig2008 Abstracts Theses GPU-Assisted Geometry Processing for Novel View@Synthesis from Depth Video
 139 Tamar Zemach Ungarish Marius2008 Abstracts Theses Simulations of Non-Homogeneous Flow Fields Subject to@Rotation and Gravity Effects
 140 Oleg Rokhlenko Pinter Ron2008 Abstracts Theses Algorithms for Labeled Graph Matching with Applications@to Systems Biology
 141 Liran Katzir Cohen Reuven2008 Abstracts Theses Scheduling Algorithms for Efficient Delivery of Synchronous@Traffic in Wireless Access Networks
 142 Gavriel Nakibly Cohen Reuven2008 Abstracts Theses Traffic Engineering in IP and MPLS Networks
 143 Iddo Hanniel Elber Gershon2008 Abstracts Theses Robust Arrangements and Voronoi Diagrams of Free-form Curves@and Surfaces
 144 Saher Esmeir Markovitch Shaul2008 Abstracts Theses Anytime Algorithms for Learning Anytime Classifiers
 145 Orly Yahalom Fischer Eldar2008 Abstracts Theses Topics in Property Testing over Massively Parameterized@Models
 146 Maria Artishchev-Zapolotsk Dinitz Yefim

Even Shimon (Deceased)

Litman Ami
2008 Abstracts Theses Compact Layouts for Some Interconnection Networks
 147 Niv Buchbinder Naor Joseph2008 Abstracts Theses Designing Competitive Online Algorithms@via a Primal-Dual Approach
 148 Vadim Drabkin Friedman Roy2008 Abstracts Theses Dependable Communication Protocols in Ad-Hoc@Networks
 149 David Amzallag Naor Joseph

Raz Dan
2008 Abstracts Theses Approximation Algorithms For Optimization Problems@in Future Cellular Networks
 150 Omer Barkol Ishai Yuval

Roth Ronny
2008 Abstracts Theses Locally Decodable Codes and Their Applications
 151 Arie Matsliah Fischer Eldar2008 Abstracts Theses Property Testing and Combinatorial Approximation
 152 Rami Cohen Raz Dan2008 Abstracts Theses Internet Topology: From the Discovery Process to the Real@Picture
 153 Gilad Ben Avi Winter Yoad2008 Abstracts Theses Types and Meanings in Intensionality, Selection and@Quantifier Scope
 154 Ronen Lerner Rivlin Ehud2008 Abstracts Theses Constrained Pose and Motion Estimation
 155 Tal Cohen Gil Joseph2007 Abstracts Theses Applying Aspect-Oriented Software Development to Middleware@Frameworks
 156 Dan Kenigsberg Mor Tal2007 Abstracts Theses Classicality and Quantumness in Quantum Information@Processing
 157 Yair Koren Yavneh Irad2007 Abstracts Theses Multiscale Methods for Image Processing
 158 Ron Zohar Geiger Dan2007 Abstracts Theses Flow Conservation Group Tracking
 159 Michael Bronstein Kimmel Ron2007 Abstracts Theses Isometry-Invariant Surface Matching:@Numerical Algorithms and Applications
 160 Gabriel Scalosub Naor Joseph

Raz Dan

Rosen Adi
2007 Abstracts Theses Routing and Scheduling Problems in Data Networks
 161 Shiri Moran Litman Ami2007 Abstracts Theses Rate Based Sequences and Smooth Scheduling
 162 Tamar Avraham Lindenbaum Michael2007 Abstracts Theses Visual Attention Processes based on Stochastic Models:@Algrorithms and Bounds
 163 Alexander Bronstein Kimmel Ron2007 Abstracts Theses Numerical Geometry of Non-Rigid Objects:@Embedding Problems
 164 Tal Nir Bruckstein Alfred2007 Abstracts Theses Topics in Motion Analysis
 165 Vitaly Skachek Roth Ronny2007 Abstracts Theses Low-Density Parity-Check Codes: Constructions and Bounds
 166 Doron Lipson Yakhini Zohar2007 Abstracts Theses Computational Aspects of DNA Copy Number Measurement
 167 David Hay Attiya Hagit2007 Abstracts Theses Competitive Evaluation of Switch Architectures
 168 Ydo Wexler Geiger Dan2007 Abstracts Theses Variational Approximations for Probabilistic Graphical@Models
 169 Alex Gontmakher Schuster Assaf2007 Abstracts Theses An Architecture and Programming Model for Extremely@Fine Grain Parallelization
 170 Benny Applebaum Ishai Yuval

Kushilevitz Eyal
2007 Abstracts Theses Cryptography in Constant Parallel Time
 171 Erez Hadad Friedman Roy2006 Abstracts  Architectures for Fault-Tolerant Middleware Services
 172 Eyal Ackerman Barequet Gill

Pinter Ron
2006 Abstracts  Counting Problems for Geometric Structures: Rectangulations,@Floorplans, and Quasi-Planar Graphs
 173 Mordohay Salom Zaks Shmuel2006 Abstracts  Optimal Design Problems for Optical Networks
 174 Alon Spira Kimmel Ron2006 Abstracts  Geometric Image Evolution on Parametric Surfaces
 175 Harel Paz Petrank Erez

Hillel Kolodner
2006 Abstracts  Efficient Memory Management for Servers
 176 Evgeniy Gabrilovich Markovitch Shaul2006 Abstracts Theses Feature Generation for Textual Information Retrieval@Using World Knowledge
 177 Roie Melamed Keidar Idit2006 Abstracts  Scalable Services for Dynamic Wide-Area Environments
 178 Orr Dunkelman Biham Eli2006 Abstracts  Techniques for Cryptanalysis of Block Ciphers
 179 Elad Pinhas Barkan Biham Eli2006 Abstracts  Cryptanalysis of Ciphers and Protocols
 180 Sagi Schein Elber Gershon2006 Abstracts  Trivariate Functions in Solid Modeling, Medical Imaging@and Computer Graphics
 181 Michal Aharon Elad Michael2006 Abstracts Theses Overcomplete Dictionaries for Sparse Representation of@Signals
 182 Shirley Halevy Kushilevitz Eyal2006 Abstracts  Topics in Property-Testing
 183 Chaya Ben-Zaken Zilberstei Yakhini Zohar2006 Abstracts  Spotting Regulatory Elements by Micro-Arrays
 184 Octavian Soldea Rivlin Ehud

Elber Gershon
2006 Abstracts  Functional Reasoning in Image Understanding
 185 Firas Swidan Pinter Ron2006 Abstracts  Comparative Genomics: from Accurate Mapping to@Sorting by Weighted Reversals and Repeat-Annotated@Phylogenies
 186 Gideon Dov Greenspan Geiger Dan2005 Abstracts  A Bayesian Network Model of Haplotype Block Variation:@Inference and Application
 187 Lev Finkelstein Markovitch Shaul

Rivlin Ehud
2005 Abstracts  Offline Scheduling of Anytime Algorithms
 188 Ronit Nossenson Attiya Hagit2005 Abstracts  Stochastic Models for Web Servers
 189 Didi Sazbon Rivlin Ehud2005 Abstracts  Sensory Based Navigation Motivated by Biological Systems
 190 Esti Yeger-Lotem Pinter Ron

Hanah Margalit
2005 Abstracts  Computational Analysis of Integrated Networks of@Transcription Regulation and Protein-Protein@Interactions
 191 Ma'ayan Fishelson Geiger Dan2004 Abstracts  Efficient Genetic Linkage Computations for General Pedigrees
 192 Alexander Berengolts Lindenbaum Michael2004 Abstracts  Quantitative Approach for Characterizing the Difficulties@of Visual Tasks
 193 Tamir Heyman Grumberg Orna

Schuster Assaf
2004 Abstracts  Distributed Symbolic Model Checking
 194 Moshe Schwartz Etzion Tuvi2004 Abstracts  Tilings, Anticodes, and Multidimensional Coding
 195 Sagi Snir Chor Ben-Zion2004 Abstracts  Computational Issues in Phylogenetic Reconstruction:@Analytic Maximum Likelihood Solutions, and Convex@Recoloring
 196 Ran Wolff Schuster Assaf2004 Abstracts  Data Mining in Large-Scale Distributed Systems
 197 Julia Chuzhoy Naor Joseph2004 Abstracts  Hardness of Approximation and New Approximability Classes
 198 Zachi Karni Gotsman Chaim Craig2004 Abstracts  3D Mesh Processing Using Spectral Methods
 199 Dmitry Rusakov Geiger Dan2004 Abstracts  Bayesian Networks: Model Selection and Applications
 200 Yoav Zibin Gil Joseph2004 Abstracts  Efficient Algorithms for the Runtime Environment of Object@Oriented Languages
 201 Roman Goldenberg Rivlin Ehud

Kimmel Ron
2003 Abstracts  Motion Based Recognition
 202 Marcelo Glusman Katz Shmuel2003 Abstracts  Mechanizing Proofs of Computation Equivalence
 203 Mark Zlochin Baram Yoram2003 Abstracts  Adaptive Monte Carlo Methods for Bayesian Inference
 204 Vitaly Surazhsky Gotsman Chaim Craig2003 Abstracts  Morphing Piecewise Linear Shapes Using Convex@Representations
 205 Dror Rawitz Bar-Yehuda Reuven2003 Abstracts  Combinatorial and LP-Based Methods for Designing@Approximation Algorithms
 206 Marcelo Sihman Katz Shmuel2003 Abstracts  Language and Proof Support for Superimpositions and@Aspects
 207 Ronny Lempel Moran Shlomo2003 Abstracts  Link Structure Analysis and Query Result Caching in Web@Search Engines
 208 Stefan Resmerita Heymann Michael

Rivlin Ehud
2003 Abstracts  A Multi-Agent Approach to Control of Multi-Robotic@Systems
 209 Ari Freund Naor Joseph2003 Abstracts  On-Line and Off-Line Approximation Algorithms for Various@Resource Allocation and Scheduling Problems and@for the Multiway Cut Problem
 210 Doron Bustan Grumberg Orna2002 Abstracts  Equivalence-Based Reductions and Checking for Preorders
 211 Roman Vitenberg Friedman Roy2002 Abstracts  Internet Wide Caching of Distributed Objects
 212 Gitit Ruckenstein Roth Ronny2002 Abstracts  Error Decoding Strategies for Algebraic Codes
 213 Adnan Agbaria Friedman Roy2002 Abstracts  Reliability in High Performance Distributed Computing@Systems
 214 Ann Becker Geiger Dan2002
 Inference Algorithms with Application to Genetic@Analysis
 215 Eyal Felstaine Cohen Reuven2002 Abstracts  Scalable Routing in Hierarchical ATM Networks
 216 Tamar Tamir Shachnai Hadas2001 Abstracts  Class-Constrained Resource Allocation Problems
 217 Ran Nelken Francez Nissim2001 Abstracts  Questions, Time and Natural Language Interfaces to Temporal@Databases
 218 Nadav Eiron Ben-David Shai2001
 Computational Learning in Models for Noisy Environments
 219 Anna Moss Naor Joseph

Rabani Yuval
2001
 High Profit for Low Cost: Approximation Algorithms in@Mode-Weighted Graphs
 220 Arie Fouren Attiya Hagit2001 Abstracts  Adaptive Wait-Free Algorithms for Asynchronous Shared-@Memory Systems
 221 David Konopnicki Shmueli Oded2001
 The Taming of the Web: Querying, Integration and Advanced@E-Commerce Applications
 222 Niv Gilboa Chor Ben-Zion2001 Abstracts  Topics in Private Information Retrieval
 223 Tamar Eilam Moran Shlomo

Zaks Shmuel
2000
 Cost versus Quality: Tradeoffs in Communication Networks
 224 Yuval Ishai Krawczyk Hugo

Kushilevitz Eyal
2000
 Private Computation and Correlated Randomness
 225 Ahron Kupershtok Even Shimon (Deceased)2000
 Some Improved Layouts for Interconnection Networks
 226 Karen Yorav Grumberg Orna2000
 Exploiting Syntactic Structure for Automatic@Verification
 227 Udi Rotics Makowsky Johann1999
 Efficient Algorithms for Generally Intractable Graph@Problems Restricted to Specific Classes of Graphs
 228 Elena Ravve Makowsky Johann1999
 Decomposition of Databases with Translation Schemes
 229 Ayal Itzkovitz Schuster Assaf1999
 Distributed Shared Memory: Bridging the Granularity Gap
 230 Israel Wagner Bruckstein Alfred

Lindenbaum Michael
1999
 Ant Robotics: Search, Exploration and Covering@in Multi-a(Ge)Nt Systems
 231 David Lorenz Gil Joseph1999
 Compilation of Source Code into Object-Oriented Patterns
 232 Leonid Zosin Naor Joseph1998
 Relaxed Multi-Commodity Flow and Its Application to the@Design of Approximation Algorithms
 233 David Carmel Markovitch Shaul

?
1998
 Model-Based Learning of Interaction Strategies in@Multi-Agent Systems
 234 Yshay Kamon Rivlin Ehud

Rimon Elon
1998
 Locally Optimal Sensor Based Robot Navigation
 235 Oded Sudarsky Gotsman Chaim Craig1998
 Dynamic Scene Occlusion Culling
 236 Jeffrey Fayman Rivlin Ehud1998
 Reliable, Robust and Effective Active Vision
 237 Amir Ben-Dor Chor Ben-Zion1998
 Constructing Radiation Hybrid Maps of the Human Genome
 238 Eli Minkov Ungarish Marius1998
 A Numerical Study of the Flow Around Particles@in Rotating Fluid
 239 Shalom Wintner Francez Nissim1997
 An Abstract Machine for Unification Grammars with@Applications to an HPSG Grammar for Hebrew
 240 Lihu Rappoport Moran Shlomo1997
 Lock-Free Implementations in the Asynchronous@Shared-Memory Model
 241 Arnon Amir Lindenbaum Michael

Bruckstein Alfred
1997
 A Quantitative Approach to Perceptual Grouping@in Computer Vision
 242 Ornan Gerstel Segall Adrian

Zaks Shmuel
1996
 Virtual Path Design in ATM Networks
 243 Ophir Rachman Attiya Hagit1996
 Decision Problems for Implementing Distributed Snapshots
 244 Amos Beimel Chor Ben-Zion1996
 Secure Schemes for Secret Sharing and Key Distribution
 245 Eli Dichterman Ben David Shay1996
 Learning with Restricted Focus of Attention
 246 Yona Hollander Itai Alon1996
 Search Algorithms for Cache Memory
 247 Orna Kupferman-Bernholtz Grumberg Orna1995
 Model Checking for Branching-Time Temporal Logics
 248 Sara Bittan Etzion Tuvi1995
 Lower Bounds on the Sizes of Constant Weight@Error Correcting Codes
 249 Erez Petrank Goldreich Oded1995
 Knowledge Complexity versus Computational Complexity@and the Hardness of Approximations
 250 Guy Even Chor Ben-Zion1995
 Design of VLSI Circuits Using Retiming
 251 Lea Goldin Berry Daniel1994
 An Environment for Aiding Requirements Analysts@in Requirements Elicitation for Large@Software Systems
 252 Oran Sharon Segall Adrian1994
 Protocols for Spatial and Slot Reuse@in Bus Networks
 253 Lior Shabtay Segall Adrian1994
 Memory Efficient Network Synchronization Techniques
 254 Anne Weill Israeli Moshe (Deceased)1994
 Low-Communication Algorithms for the Parallel Solution@of Partial Differential Equations on@Message-Passing Machines
 255 Roy Friedman Attiya Hagit1994
 Consistency Conditions for Distributed Shared Memories
 256 Eyal Shifroni Uzi Ornan

?
1993
 Flexible User Modeling in Inter Active Guidence System
 257 Ido Dagan Uzi Ornan

Itai Alon
1993
 Multilingual Comparison: Automatic Resolution of Ambiguitie
 258 Yachin Pnueli Bruckstein Alfred1993
 Halftone Methods: Beyond Grid Based Methods
 259 Avner Schwarz Berry Daniel

Shaviv Edna
1992
 Representing and Solving the Automated Bvilding Design (Abd)
 260 Limor Fix Francez Nissim1992
 Semantics Drinen Decompositions for the Verification of
 261 Shlomo Dolev Moran Shlomo

Israel Amos
1992
 Self Stabilization of Dynamic Systems
 262 Reuven Cohen Segall Adrian1991
 Distributed Protocols for the Mac Loyer of Ring Networus
 263 Amir Herzberg Goldreich Oded

Segall Adrian
1991
 Communication Networks in the Presence of Faults
 264 Hadas Shachnai Itai Alon

?
1991
 Keeping Linear Self Organizing Lists Under Counter Schemes
 265 Sergio Raysbaum Even Shimon (Deceased)1991
 On the Performance of Distributed Networks Controlled by a
 266 Eyal Kushilevitz Chor Ben-Zion1991
 Privacy in Distributed Systems
 267 Ofer Biran Zaks Shmuel

Moran Shlomo
1991
 Distributed Tasks in the Presence of Fail-Stop Failures
 268 Shmuel Sagiv Rodeh Michael

Francez Nissim
1991
 Circular Attribute Grammars and Their Application to Data
 269 Gabriel Matsliach Shmueli Oded1991
 Design and Evaluation of Storage Stractures for Modern
 270 Sergio Raysbaum Missing advisors 1991
 On the Performance of Distributed Networks Controlled by a
 271 Hugo Krawczxk Goldreich Oded1990
 Pseudorandomness and Compuiati Onal Difficulty
 272 Gyuri Benedek Itai Alon1989
 Learnability of Concept Classes by Sampling
 273 Yoelle Maarek Berry Daniel1989
 Vsing Structural Information for Managing Very Large
 274 Yaron Wolfstahl Moran Shlomo

Pinter Shlomit
1989
 Algorithms for Graph Embedding and Covering
 275 Nader Bshouty Kaminski Michael1989
 Bounds on Multiplicative Complexity of Sets of Bilinear Form
 276 Gadi Taubenfeld Moran Shlomo

Katz Shmuel
1988
 An Axiomatic Approach for Proving Impossibility Results in


276 abstract theses title found in the Department Computer Science
Last updated on: Monday ,June 18, 2018