הטכניון מכון טכנולוגי לישראל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 Alon Shtern Kimmel Ron2018 Abstracts  Shape Correspondence using Spectral Methods and Deep@Learning
 2 Yaron Kassner Friedman Roy2018 Abstracts  Frugal Counting
 3 Michal Horovitz Yaakobi Eitan

Etzion Tuvi
2018 Abstracts  Coding Schemes for Non-Volatile Memories
 4 Jeremias Sulam Elad Michael2018 Abstracts  From Local to Global Sparse Modeling
 5 Mira Shalah Barequet Gill2018 Abstracts  Formulae and Growth Rates of Animals on Cubical and@Triangular Lattices
 6 Hassan Abasi Bshouty Nader2018 Abstracts  Exact Learning of Monotone Functions from Membership@Queries
 7 Gal Lalouche Gil Joseph2018 Abstracts  The Consistency, Independence and Validity of Software@Complexity Metrics
 8 Matan Sela Kimmel Ron2018 Abstracts  Shape Synthesis and Analysis by Deformable Models
 9 Eran Gilad Etsion Yoav2018 Abstracts  Parallel Execution using Memory Versioning and Renaming
 10 Arnon Lazerson Schuster Assaf2018 Abstracts  Efficient Monitoring of Distributed Data Streams
 11 Aviv Yehezkel Cohen Reuven2017 Abstracts  Generalizations of the Cardinality Estimation Problem and@Applications to Computer Networks
 12 Gregory Schwartzman Censor-Hillel Keren2017 Abstracts Theses Algorithms for Environments with Uncertainty
 13 Ariella Voloshin Zaks Shmuel

Shachnai Hadas
2017 Abstracts Theses Flexible Resource Allocation for Network Problems
 14 Nimrod Sebban Partush Yahav Eran2017 Abstracts Theses Differential Program Analysis
 15 Yohay Kaplan Ben Sasson Eliyahu2017 Abstracts Theses Multi-Variate Abstractions of Algebraic Geometry Codes,@with Applications
 16 Ami Paz Censor-Hillel Keren2017 Abstracts  Distributed Distance Computation and Related Topics
 17 Jonathan Yaniv Naor Joseph2017 Abstracts Theses Job Scheduling Mechanisms for Cloud Computing
 18 Omer Weissbrod Geiger Dan

Rosset Saharon
2017 Abstracts  Linear and Generalized Linear Mixed Models for Genetic@Case Control Studies
 19 Omri Azencot Ben-Chen Mirela2017 Abstracts  Operator Representations in Geometry Processing
 20 Netanel Raviv Etzion Tuvi2017 Abstracts Theses Subspace Codes and Distributed Storage Codes
 21 Dana Drachsler Cohen Yahav Eran2017
 Exact Programming by Examples
 22 Yuri Meshman Yahav Eran2017 Abstracts Theses Extrapolation and Synthesis for Relaxed Memory Models
 23 Iddo Bentov Ben Sasson Eliyahu2017 Abstracts Theses Bitcoin and Secure Computation with Money
 24 David Sainz Friedman Roy2017 Abstracts Theses Efficient Information Transfer Leveraging Wireless@D2D Communication
 25 Vardan Papyan Elad Michael2017 Abstracts Theses Global Versus Local Modeling of Signals
 26 Moshe Gabel Schuster Assaf

Daniel Keren
2017 Abstracts Theses Communication-Efficient Algorithms for Distributed@Stream Mining
 27 Adi Sosnovich Grumberg Orna2017 Abstracts Theses Finding Security Vulnerabilities in Network Protocols@Using Methods of Formal Verification
 28 Naama Tepper Shlomi Tomer2016 Abstracts Theses Computational Methods for Metabolic Network Analysis of@Metabolite Levels and Flux
 29 Mor Weiss Ishai Yuval2016 Abstracts Theses Secure Computation and Probabilistic Checking
 30 Lila Shnaiderman Shmueli Oded2016 Abstracts Theses Parallelism in Querying and Storage for Large XML@and Graph Databases
 31 Gal Tamir Shachnai Hadas2016 Abstracts Theses Algorithms for Combinatorial Reoptimization
 32 Shay Moran Yehudayoff Amir

Shpilka Amir
2016 Abstracts Theses Generalization and Simplification in Machine Learning
 33 Daniel Genkin Ishai Yuval

Tromer Eran
2016 Abstracts Theses Secure Computation in Hostile Environments
 34 Boaz Ophir Elad Michael2016 Abstracts Theses Multi Scale Dictionary Learning for Sparse Representation of@Images
 35 Yael Meller Grumberg Orna

Yorav Karen
2016 Abstracts Theses Model Checking Techniques for Behavioral UML Models
 36 Uri Verner Schuster Assaf

Mendelson Avi
2016 Abstracts Theses Processing Real-time Data Streams on GPU-based@Systems
 37 Alexander Libov Friedman Roy2016 Abstracts Theses Efficient Content Delivery in P2P Networks
 38 Nachshon Cohen Petrank Erez2016 Abstracts Theses Memory Management: From Theory to Practice
 39 Sivan Albagli-Kim Shachnai Hadas

Tamar Tamir
2016 Abstracts Theses Flexible Resource Allocation for Networks and Clouds
 40 Artyom Sharov Roth Ronny2016 Abstracts Theses Coding for New Applications in Storage Media
 41 Cynthia Disenfeld Katz Shmuel2015 Abstracts Theses Compositional Verification of Events and Responses
 42 Yaniv Carmeli Biham Eli2015 Abstracts Theses On Bugs and Ciphers: New Techniques in Cryptanalysis
 43 Javier S. Turek Yavneh Irad

Elad Michael
2015 Abstracts Theses Topics in Sparse Representation Modeling and@Applications
 44 Shahar Timnat Petrank Erez2015 Abstracts Theses Practical Parallel Data Structures
 45 Yonatan Goldhirsh Fischer Eldar2015 Abstracts Theses Algorithms for Property Testing and Related Problems
 46 Meir Cohen Shimshoni Ilan

Rivlin Ehud
2015 Abstracts Theses Observing the Observers: Social Context Analysis Using@Computer Vision
 47 Anastasia Dubrovina Karni Kimmel Ron2015 Abstracts Theses Geometric Algorithms for Image and Surface Analysis
 48 Meirav Zehavi Pinter Ron

Shachnai Hadas
2015 Abstracts Theses Algorithms for Parameterized Graph Problems with@Applications to Biological Network Queries
 49 Sandeep Hans Attiya Hagit

Rinetskey Noam
2015 Abstracts Theses A Programming Language Approach to Transactional Memory@Consistency
 50 Gil Einziger Friedman Roy2015 Abstracts Theses Approximate Compact Data Structures and Applications
 51 Shahar Chen Naor Joseph

Buchbinder Niv
2015 Abstracts Theses Online Learning and Competitive Analysis: a Unified@Approach
 52 Anastasia Braginsky Petrank Erez2015 Abstracts Theses Multi-Threaded Coordination Methods for Constructing@Non-Blocking Data Structures
 53 Roman Talyansky Itai Alon2015 Abstracts Theses Sample Complexity of Training Markov Chains
 54 Raja Giryes Elad Michael2014 Abstracts Theses Sparsity Models for Signals: Theory and Applications
 55 Josef Hai Kanizo Keslassy Isaac

Hay David
2014 Abstracts Theses Fast Decisions in High-Speed Networking Devices
 56 Noga Ron-Zewi Ben Sasson Eliyahu2014 Abstracts Theses Additivie Combinatorics Methods in Computational Complexity
 57 Eran Treister Yavneh Irad2014 Abstracts Theses Aggregation-based Adaptive Algebraic Multigrid for@Sparse Linear Systems
 58 Amir Nahir Raz Dan

Orda Ariel
2014 Abstracts Theses Design and Management of Complex Distributed Systems:@Optimization and Game-Theoretic Perspectives
 59 Noa Avigdor-Elgrabli Rabani Yuval

Shpilka Amir
2014 Abstracts Theses New Algorithms for the Reordering Buffer Management@Problem
 60 Sarit Buzaglo Etzion Tuvi

Yaakobi Eitan
2014 Abstracts Theses Algebraic and Geometric Problems for Non-Volatile Memory
 61 Amir Adler Elad Michael

Yacov Hel-Or
2014 Abstracts  Applications of Sparse and Redundant Representations to@Subspace Clustering and Signal Modeling
 62 Elad Haramaty Shpilka Amir2014 Abstracts Theses Polynomial Testing and Related Questions
 63 Nadav Amit Schuster Assaf

Tsafrir Dan
2014 Abstracts Theses Alleviating Virtualization Bottlenecks
 64 Roi Poranne Gotsman Chaim Craig2014 Abstracts Theses Topics in Shape Optimization and Exploration
 65 Guy Rosman Kimmel Ron2014 Abstracts Theses On Natural Parametrizations of Motion and Structure@Manifolds
 66 Limor Leibovich Yakhini Zohar2014 Abstracts Theses Statistical Assessment of Enrichment in Ranked Lists -@Algorithms and Applications in Motif Search
 67 Assaf Glazer Markovitch Shaul

Lindenbaum Michael
2014 Abstracts Theses Learning Methods for Modeling High-Dimensional Distributions
 68 Yakir Vizel Grumberg Orna2014 Abstracts Theses SAT-Based Model Checking Using Interpolation and@IC3
 69 Keren Lenz Gil Joseph2013 Abstracts Theses Internal and External Mechanisms for Extending@Programming Languages
 70 Zohar Levi Gotsman Chaim Craig2013 Abstracts Theses Techinques for Manipulating Volumetric and Polyhedral@3D Datasets
 71 Moran Feldman Naor Joseph2013 Abstracts Theses Maximization Problems with Submodular Objective Functions
 72 Guy Grebla Cohen Reuven2013 Abstracts Theses Scheduling Algorithms for OFDMA Broadband Wireless@Networks
 73 Mirit Shalem Kanza Yaron

Bar-Yossef Ziv
2013 Abstracts Theses Combined Search over Heterogeneous Repositories
 74 Orna Agmon Ben-Yehuda Schuster Assaf2013 Abstracts Theses Efficient, Non-Cooperative Sharing of Computing Resources
 75 Roy Levin Kanza Yaron2013 Abstracts Theses Geospatial Route Search
 76 Yotam Elor Bruckstein Alfred2013 Abstracts Theses Mathematical Analysis of Emergent Behavior in Multi-@Agent Systems
 77 Ron Begleiter Ailon Nir

El-Yaniv Ran
2013 Abstracts Theses Theory and Practice of Active Learning
 78 Kira Radinsky Markovitch Shaul

Ailon Nir
2013 Abstracts Theses Learning to Predict the Future Using Web Knowledge and@Dynamics
 79 Israel Steinfeld Yakhini Zohar2013 Abstracts Theses Data Analysis in Studies Combining Multiple@High-Throughput Measurement Technologies
 80 Gal Lavee Rivlin Ehud2013 Abstracts Theses Understanding Events in Video
 81 Yair Wiener El-Yaniv Ran2013 Abstracts Theses Theoretical Foundations of Selective Prediction
 82 Alex Kogan Friedman Roy2012 Abstracts Theses Utilizing Multiple Radio Interfaces in Wireless@Networks
 83 Dan Raviv Kimmel Ron2012 Abstracts Theses Invariant Metrics for Non-Rigid Shapes
 84 Guy Sagy Schuster Assaf

Daniel Keren
2012 Abstracts Theses Geometric Methods for Analyzing and Monitoring@Large Distributed Data
 85 Michael Viderman Ben Sasson Eliyahu2012 Abstracts Theses Towards Lower Bounds on Locally Testable Codes
 86 Itay Maman Gil Joseph2012
 Formal Patterns in Java Programs
 87 Anat Paskin-Cherniavsky Ishai Yuval

Kushilevitz Eyal
2012 Abstracts Theses Secure Computation with Minimal Interaction
 88 Tomer Kotek Makowsky Johann2012 Abstracts Theses Definability of Combinatorial Functions
 89 Joseph Shtok Elad Michael

Zibulevsky Michael
2012
 Adaptive Reconstruction Algorithms in Computed Tomography
 90 Tamer Salman Baram Yoram2012 Abstracts Theses Quantum Neural Computation and Associative Memory
 91 Ron Rubinstein Elad Michael2012 Abstracts Theses Analysis and Synthesis Sparse Modeling Methods in Image@Processing
 92 Royi Ronen Shmueli Oded2012 Abstracts Theses Models and Methods for Advanced Web Applications@and Social Network Automation
 93 Gala Yadgar Schuster Assaf2012 Abstracts Theses Multilevel Cache Management Based on Application Hints
 94 Ilya Volkovich Shpilka Amir2012 Abstracts Theses Polynomial Identity Testing and its Relation to some@Algebraic Problems
 95 Eliyahu Osherovich Yavneh Irad

Zibulevsky Michael
2012 Abstracts  Numerical Methods for Phase Retrieval
 96 Anna Levin Cohen Reuven2012 Abstracts Theses Mobility Management Schemes for Improving TCP Performance@in the Next Generation Wireless Networks
 97 Zohar Karnin Shpilka Amir2012 Abstracts Theses Derandomization of Algebraic and Geometric Problems in@Theoretical Computer Science
 98 Eyal Rozenberg Fischer Eldar2012 Abstracts Theses Lower Bounds and Structural Results in@Property Testing of Dense Combinatorial Structures
 99 Roy Schwartz Naor Joseph2012 Abstracts Theses Labelings and Partitions of Graphs
 100 Natalia Silberstein Etzion Tuvi2011 Abstracts Theses Coding Theory and Projective Spaces
 101 Rafael Chen Biham Eli2011 Abstracts Theses New Techniques for Cryptanalysis of Cryptographic Hash@Functions
 102 Tamir Levy Litman Ami2011 Abstracts Theses On Merging Networks
 103 Ido Ben-Zvi Moses Yoram2011 Abstracts Theses Causality, Knowledge and Coordination in Distributed@Systems
 104 Matan Protter Elad Michael2011 Abstracts Theses Processing Images Sequences without Motion Estimation
 105 Amir Vaxman Barequet Gill2011 Abstracts Theses General Techniques for Interpolation, Reconstruction and@Morphing of Polyhedral Surfaces
 106 Eshcar Hillel Attiya Hagit2011 Abstracts Theses Concurrent Data Structures: Methodologies and@Inherent Limitations
 107 Emilia Katz Katz Shmuel2011 Abstracts Theses Analysis and Detection of Interactions among Aspects
 108 Ilia Averbouch Makowsky Johann2011 Abstracts Theses Completeness and Universality Properties of Graph@Invariants and Graph Polynomials
 109 Tamar Aizikowitz Kaminski Michael2011 Abstracts Theses Synchronized Alternating Pushdown Automata
 110 Gadi Aleksandrowicz Barequet Gill2011 Abstracts Theses Enumeration of Lattice Animals
 111 Hanna Mazzawi Bshouty Nader2011 Abstracts Theses Reconstructing Graphs Using Edge Counting Queries
 112 Arie Friedman Schuster Assaf2011 Abstracts Theses Privacy Preserving Data Mining
 113 Keren Censor Hillel Attiya Hagit2010 Abstracts Theses Probabilistic Methods in Distributed Computing
 114 Roman Sandler Lindenbaum Michael2010 Abstracts Theses Nonnegative Matrix Factorization for Segmentation Analysis
 115 Leonid Raskin Lindenbaum Michael

Rudzesky Mhchael
2010 Abstracts Theses Dimensionality Reduction for 3D Articulated Body Tracking@and Human Action Analysis
 116 Sivan Bercovici Geiger Dan2010 Abstracts Theses Mapping by Admixture Linkage Disequilibrium: New Criteria@and Algorithms
 117 Avraham Yadgar Grumberg Orna

Schuster Assaf
2010 Abstracts Theses New Approaches to Model Checking and to 3-Valued Abstraction@and Refinement
 118 Michal Holtzman Gazit Yavneh Irad2010 Abstracts  Multi Level Methods for Data Completion
 119 Oren Mishali Katz Shmuel2010 Abstracts Theses Using Aspects to Support the Software Process
 120 Mark Silberstein Geiger Dan

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

Wagner Israel
2010 Abstracts Theses Multi Agents Robotics in Dynamic Environments
 122 Itai Sharon Beja Oded

Pinter Ron
2010 Abstracts Theses Computational Methods for Metagenomic Analysis
 123 Boris Kapchits Cohen Reuven2010 Abstracts Theses On the Optimization of Wake-Up Frequencies in Sensor@Networks
 124 Noam Gordon Bruckstein Alfred

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

Gotsman Chaim Craig
2010 Abstracts Theses Hybrid Methods for Interactive Shape Manipulation
 126 Ilya Blayvas Kimmel Ron

Bruckstein Alfred
2009 Abstracts Theses On Accuracy Analysis of 3D Scanners, Binarization,@and Machine Learning
 127 Dmitry Pechyony El-Yaniv Ran2009 Abstracts Theses Theory and Practice of Transductive Learning
 128 Ilan Gronau Moran Shlomo2009 Abstracts Theses Reconstructing Phylogenetic Trees from Noisy Metrics
 129 Valentin Kravtsov Schuster Assaf2009 Abstracts Theses Service-Based Resource Brokering for Grid-Based Applications
 130 Tony Tan Kaminski Michael2009 Abstracts Theses Pebble Automata for Data Languages: Separation,@Decidability and Undecidability
 131 Sharon Shoham Buchbinder Grumberg Orna2009 Abstracts Theses Abstraction-Refinement and Modularity in Mu-Calculus@Model Checking
 132 Ido Tal Roth Ronny

Etzion Tuvi
2009 Abstracts Theses Coding and Bounds for Two-Dimensional Constraints
 133 Grigory Begelman Rivlin Ehud

Zibulevsky Michael
2009 Abstracts Theses Processing and Interpretation of Biological Microscopical@Images
 134 Roee Engelberg Naor Joseph2009 Abstracts Theses Stability in Multi-Agent Environments and Approximation@Algorithms for NP-Hard Graph Problems
 135 Konstantin Shagin Schuster Assaf2009 Abstracts Theses Execution of Monolithic Java Programs on Large@Non-Dedicated Collections of Commodity@Workstations
 136 Izchak Sharfman Schuster Assaf2009 Abstracts Theses A Geometric Approach to Detecting Global Properties@over Distributed Data
 137 Mirela Ben-Chen Gotsman Chaim Craig2009 Abstracts Theses Discrete Geometric Algorithms for Mesh Processing
 138 Gabriel Kliot Friedman Roy2009 Abstracts Theses Probabilistic Middleware Services in Wireless Mobile@Ad-Hoc Networks
 139 Yaniv Frishman Tal Ayellet2009 Abstracts Theses Graph Drawing Algorithms in Information Visualization
 140 Alexander Landau Cohen Reuven2009 Abstracts Theses Efficient Schemes for Estimating the Number of Affected@Nodes in Very Large Networks
 141 Ronen Lerner Rivlin Ehud2008 Abstracts Theses Constrained Pose and Motion Estimation
 142 Vadim Drabkin Friedman Roy2008 Abstracts Theses Dependable Communication Protocols in Ad-Hoc@Networks
 143 Alexander Bogomjakov Gotsman Chaim Craig2008 Abstracts Theses GPU-Assisted Geometry Processing for Novel View@Synthesis from Depth Video
 144 Liran Katzir Cohen Reuven2008 Abstracts Theses Scheduling Algorithms for Efficient Delivery of Synchronous@Traffic in Wireless Access Networks
 145 Tamar Zemach Ungarish Marius2008 Abstracts Theses Simulations of Non-Homogeneous Flow Fields Subject to@Rotation and Gravity Effects
 146 Niv Buchbinder Naor Joseph2008 Abstracts Theses Designing Competitive Online Algorithms@via a Primal-Dual Approach
 147 Rami Cohen Raz Dan2008 Abstracts Theses Internet Topology: From the Discovery Process to the Real@Picture
 148 Arie Matsliah Fischer Eldar2008 Abstracts Theses Property Testing and Combinatorial Approximation
 149 Orly Yahalom Fischer Eldar2008 Abstracts Theses Topics in Property Testing over Massively Parameterized@Models
 150 David Amzallag Naor Joseph

Raz Dan
2008 Abstracts Theses Approximation Algorithms For Optimization Problems@in Future Cellular Networks
 151 Gavriel Nakibly Cohen Reuven2008 Abstracts Theses Traffic Engineering in IP and MPLS Networks
 152 Omer Barkol Ishai Yuval

Roth Ronny
2008 Abstracts Theses Locally Decodable Codes and Their Applications
 153 Saher Esmeir Markovitch Shaul2008 Abstracts Theses Anytime Algorithms for Learning Anytime Classifiers
 154 Gilad Ben Avi Winter Yoad2008 Abstracts Theses Types and Meanings in Intensionality, Selection and@Quantifier Scope
 155 Ido Leichter Rivlin Ehud

Lindenbaum Michael
2008 Abstracts Theses Visual Tracking in a General Context via Tracker@Combination and Low-Level Cues
 156 Maria Artishchev-Zapolotsk Dinitz Yefim

Even Shimon (Deceased)

Litman Ami
2008 Abstracts Theses Compact Layouts for Some Interconnection Networks
 157 Oleg Rokhlenko Pinter Ron2008 Abstracts Theses Algorithms for Labeled Graph Matching with Applications@to Systems Biology
 158 Iddo Hanniel Elber Gershon2008 Abstracts Theses Robust Arrangements and Voronoi Diagrams of Free-form Curves@and Surfaces
 159 Tal Cohen Gil Joseph2007 Abstracts Theses Applying Aspect-Oriented Software Development to Middleware@Frameworks
 160 Dan Kenigsberg Mor Tal2007 Abstracts Theses Classicality and Quantumness in Quantum Information@Processing
 161 Alexander Bronstein Kimmel Ron2007 Abstracts Theses Numerical Geometry of Non-Rigid Objects:@Embedding Problems
 162 Tal Nir Bruckstein Alfred2007 Abstracts Theses Topics in Motion Analysis
 163 Tamar Avraham Lindenbaum Michael2007 Abstracts Theses Visual Attention Processes based on Stochastic Models:@Algrorithms and Bounds
 164 Yair Koren Yavneh Irad2007 Abstracts Theses Multiscale Methods for Image Processing
 165 Vitaly Skachek Roth Ronny2007 Abstracts Theses Low-Density Parity-Check Codes: Constructions and Bounds
 166 Alex Gontmakher Schuster Assaf2007 Abstracts Theses An Architecture and Programming Model for Extremely@Fine Grain Parallelization
 167 Michael Bronstein Kimmel Ron2007 Abstracts Theses Isometry-Invariant Surface Matching:@Numerical Algorithms and Applications
 168 Benny Applebaum Ishai Yuval

Kushilevitz Eyal
2007 Abstracts Theses Cryptography in Constant Parallel Time
 169 David Hay Attiya Hagit2007 Abstracts Theses Competitive Evaluation of Switch Architectures
 170 Ydo Wexler Geiger Dan2007 Abstracts Theses Variational Approximations for Probabilistic Graphical@Models
 171 Shiri Moran Litman Ami2007 Abstracts Theses Rate Based Sequences and Smooth Scheduling
 172 Gabriel Scalosub Naor Joseph

Raz Dan

Rosen Adi
2007 Abstracts Theses Routing and Scheduling Problems in Data Networks
 173 Ron Zohar Geiger Dan2007 Abstracts Theses Flow Conservation Group Tracking
 174 Doron Lipson Yakhini Zohar2007 Abstracts Theses Computational Aspects of DNA Copy Number Measurement
 175 Sagi Schein Elber Gershon2006 Abstracts  Trivariate Functions in Solid Modeling, Medical Imaging@and Computer Graphics
 176 Erez Hadad Friedman Roy2006 Abstracts  Architectures for Fault-Tolerant Middleware Services
 177 Eyal Ackerman Barequet Gill

Pinter Ron
2006 Abstracts  Counting Problems for Geometric Structures: Rectangulations,@Floorplans, and Quasi-Planar Graphs
 178 Chaya Ben-Zaken Zilberstei Yakhini Zohar2006 Abstracts  Spotting Regulatory Elements by Micro-Arrays
 179 Harel Paz Petrank Erez

Hillel Kolodner
2006 Abstracts  Efficient Memory Management for Servers
 180 Octavian Soldea Rivlin Ehud

Elber Gershon
2006 Abstracts  Functional Reasoning in Image Understanding
 181 Roie Melamed Keidar Idit2006 Abstracts  Scalable Services for Dynamic Wide-Area Environments
 182 Alon Spira Kimmel Ron2006 Abstracts  Geometric Image Evolution on Parametric Surfaces
 183 Mordohay Salom Zaks Shmuel2006 Abstracts  Optimal Design Problems for Optical Networks
 184 Evgeniy Gabrilovich Markovitch Shaul2006 Abstracts Theses Feature Generation for Textual Information Retrieval@Using World Knowledge
 185 Firas Swidan Pinter Ron2006 Abstracts  Comparative Genomics: from Accurate Mapping to@Sorting by Weighted Reversals and Repeat-Annotated@Phylogenies
 186 Michal Aharon Elad Michael2006 Abstracts Theses Overcomplete Dictionaries for Sparse Representation of@Signals
 187 Elad Pinhas Barkan Biham Eli2006 Abstracts  Cryptanalysis of Ciphers and Protocols
 188 Shirley Halevy Kushilevitz Eyal2006 Abstracts  Topics in Property-Testing
 189 Orr Dunkelman Biham Eli2006 Abstracts  Techniques for Cryptanalysis of Block Ciphers
 190 Ronit Nossenson Attiya Hagit2005 Abstracts  Stochastic Models for Web Servers
 191 Lev Finkelstein Markovitch Shaul

Rivlin Ehud
2005 Abstracts  Offline Scheduling of Anytime Algorithms
 192 Didi Sazbon Rivlin Ehud2005 Abstracts  Sensory Based Navigation Motivated by Biological Systems
 193 Esti Yeger-Lotem Pinter Ron

Hanah Margalit
2005 Abstracts  Computational Analysis of Integrated Networks of@Transcription Regulation and Protein-Protein@Interactions
 194 Gideon Dov Greenspan Geiger Dan2005 Abstracts  A Bayesian Network Model of Haplotype Block Variation:@Inference and Application
 195 Yoav Zibin Gil Joseph2004 Abstracts  Efficient Algorithms for the Runtime Environment of Object@Oriented Languages
 196 Zachi Karni Gotsman Chaim Craig2004 Abstracts  3D Mesh Processing Using Spectral Methods
 197 Sagi Snir Chor Ben-Zion2004 Abstracts  Computational Issues in Phylogenetic Reconstruction:@Analytic Maximum Likelihood Solutions, and Convex@Recoloring
 198 Julia Chuzhoy Naor Joseph2004 Abstracts  Hardness of Approximation and New Approximability Classes
 199 Alexander Berengolts Lindenbaum Michael2004 Abstracts  Quantitative Approach for Characterizing the Difficulties@of Visual Tasks
 200 Tamir Heyman Grumberg Orna

Schuster Assaf
2004 Abstracts  Distributed Symbolic Model Checking
 201 Ma'ayan Fishelson Geiger Dan2004 Abstracts  Efficient Genetic Linkage Computations for General Pedigrees
 202 Moshe Schwartz Etzion Tuvi2004 Abstracts  Tilings, Anticodes, and Multidimensional Coding
 203 Dmitry Rusakov Geiger Dan2004 Abstracts  Bayesian Networks: Model Selection and Applications
 204 Ran Wolff Schuster Assaf2004 Abstracts  Data Mining in Large-Scale Distributed Systems
 205 Dror Rawitz Bar-Yehuda Reuven2003 Abstracts  Combinatorial and LP-Based Methods for Designing@Approximation Algorithms
 206 Stefan Resmerita Heymann Michael

Rivlin Ehud
2003 Abstracts  A Multi-Agent Approach to Control of Multi-Robotic@Systems
 207 Marcelo Sihman Katz Shmuel2003 Abstracts  Language and Proof Support for Superimpositions and@Aspects
 208 Vitaly Surazhsky Gotsman Chaim Craig2003 Abstracts  Morphing Piecewise Linear Shapes Using Convex@Representations
 209 Roman Goldenberg Rivlin Ehud

Kimmel Ron
2003 Abstracts  Motion Based Recognition
 210 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
 211 Mark Zlochin Baram Yoram2003 Abstracts  Adaptive Monte Carlo Methods for Bayesian Inference
 212 Ronny Lempel Moran Shlomo2003 Abstracts  Link Structure Analysis and Query Result Caching in Web@Search Engines
 213 Marcelo Glusman Katz Shmuel2003 Abstracts  Mechanizing Proofs of Computation Equivalence
 214 Ann Becker Geiger Dan2002
 Inference Algorithms with Application to Genetic@Analysis
 215 Adnan Agbaria Friedman Roy2002 Abstracts  Reliability in High Performance Distributed Computing@Systems
 216 Doron Bustan Grumberg Orna2002 Abstracts  Equivalence-Based Reductions and Checking for Preorders
 217 Roman Vitenberg Friedman Roy2002 Abstracts  Internet Wide Caching of Distributed Objects
 218 Eyal Felstaine Cohen Reuven2002 Abstracts  Scalable Routing in Hierarchical ATM Networks
 219 Gitit Ruckenstein Roth Ronny2002 Abstracts  Error Decoding Strategies for Algebraic Codes
 220 Niv Gilboa Chor Ben-Zion2001 Abstracts  Topics in Private Information Retrieval
 221 Anna Moss Naor Joseph

Rabani Yuval
2001
 High Profit for Low Cost: Approximation Algorithms in@Mode-Weighted Graphs
 222 David Konopnicki Shmueli Oded2001
 The Taming of the Web: Querying, Integration and Advanced@E-Commerce Applications
 223 Nadav Eiron Ben-David Shai2001
 Computational Learning in Models for Noisy Environments
 224 Ran Nelken Francez Nissim2001 Abstracts  Questions, Time and Natural Language Interfaces to Temporal@Databases
 225 Tamar Tamir Shachnai Hadas2001 Abstracts  Class-Constrained Resource Allocation Problems
 226 Arie Fouren Attiya Hagit2001 Abstracts  Adaptive Wait-Free Algorithms for Asynchronous Shared-@Memory Systems
 227 Yuval Ishai Krawczyk Hugo

Kushilevitz Eyal
2000
 Private Computation and Correlated Randomness
 228 Karen Yorav Grumberg Orna2000
 Exploiting Syntactic Structure for Automatic@Verification
 229 Tamar Eilam Moran Shlomo

Zaks Shmuel
2000
 Cost versus Quality: Tradeoffs in Communication Networks
 230 Ahron Kupershtok Even Shimon (Deceased)2000
 Some Improved Layouts for Interconnection Networks
 231 Ayal Itzkovitz Schuster Assaf1999
 Distributed Shared Memory: Bridging the Granularity Gap
 232 David Lorenz Gil Joseph1999
 Compilation of Source Code into Object-Oriented Patterns
 233 Elena Ravve Makowsky Johann1999
 Decomposition of Databases with Translation Schemes
 234 Udi Rotics Makowsky Johann1999
 Efficient Algorithms for Generally Intractable Graph@Problems Restricted to Specific Classes of Graphs
 235 Israel Wagner Bruckstein Alfred

Lindenbaum Michael
1999
 Ant Robotics: Search, Exploration and Covering@in Multi-a(Ge)Nt Systems
 236 Eli Minkov Ungarish Marius1998
 A Numerical Study of the Flow Around Particles@in Rotating Fluid
 237 Amir Ben-Dor Chor Ben-Zion1998
 Constructing Radiation Hybrid Maps of the Human Genome
 238 David Carmel Markovitch Shaul

?
1998
 Model-Based Learning of Interaction Strategies in@Multi-Agent Systems
 239 Leonid Zosin Naor Joseph1998
 Relaxed Multi-Commodity Flow and Its Application to the@Design of Approximation Algorithms
 240 Jeffrey Fayman Rivlin Ehud1998
 Reliable, Robust and Effective Active Vision
 241 Yshay Kamon Rivlin Ehud

Rimon Elon
1998
 Locally Optimal Sensor Based Robot Navigation
 242 Oded Sudarsky Gotsman Chaim Craig1998
 Dynamic Scene Occlusion Culling
 243 Shalom Wintner Francez Nissim1997
 An Abstract Machine for Unification Grammars with@Applications to an HPSG Grammar for Hebrew
 244 Lihu Rappoport Moran Shlomo1997
 Lock-Free Implementations in the Asynchronous@Shared-Memory Model
 245 Arnon Amir Lindenbaum Michael

Bruckstein Alfred
1997
 A Quantitative Approach to Perceptual Grouping@in Computer Vision
 246 Eli Dichterman Ben David Shay1996
 Learning with Restricted Focus of Attention
 247 Yona Hollander Itai Alon1996
 Search Algorithms for Cache Memory
 248 Ophir Rachman Attiya Hagit1996
 Decision Problems for Implementing Distributed Snapshots
 249 Amos Beimel Chor Ben-Zion1996
 Secure Schemes for Secret Sharing and Key Distribution
 250 Ornan Gerstel Segall Adrian

Zaks Shmuel
1996
 Virtual Path Design in ATM Networks
 251 Guy Even Chor Ben-Zion1995
 Design of VLSI Circuits Using Retiming
 252 Orna Kupferman-Bernholtz Grumberg Orna1995
 Model Checking for Branching-Time Temporal Logics
 253 Erez Petrank Goldreich Oded1995
 Knowledge Complexity versus Computational Complexity@and the Hardness of Approximations
 254 Sara Bittan Etzion Tuvi1995
 Lower Bounds on the Sizes of Constant Weight@Error Correcting Codes
 255 Anne Weill Israeli Moshe (Deceased)1994
 Low-Communication Algorithms for the Parallel Solution@of Partial Differential Equations on@Message-Passing Machines
 256 Roy Friedman Attiya Hagit1994
 Consistency Conditions for Distributed Shared Memories
 257 Lea Goldin Berry Daniel1994
 An Environment for Aiding Requirements Analysts@in Requirements Elicitation for Large@Software Systems
 258 Lior Shabtay Segall Adrian1994
 Memory Efficient Network Synchronization Techniques
 259 Oran Sharon Segall Adrian1994
 Protocols for Spatial and Slot Reuse@in Bus Networks
 260 Eyal Shifroni Uzi Ornan

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

Itai Alon
1993
 Multilingual Comparison: Automatic Resolution of Ambiguitie
 262 Yachin Pnueli Bruckstein Alfred1993
 Halftone Methods: Beyond Grid Based Methods
 263 Limor Fix Francez Nissim1992
 Semantics Drinen Decompositions for the Verification of
 264 Shlomo Dolev Moran Shlomo

Israel Amos
1992
 Self Stabilization of Dynamic Systems
 265 Avner Schwarz Berry Daniel

Shaviv Edna
1992
 Representing and Solving the Automated Bvilding Design (Abd)
 266 Shmuel Sagiv Rodeh Michael

Francez Nissim
1991
 Circular Attribute Grammars and Their Application to Data
 267 Sergio Raysbaum Missing advisors 1991
 On the Performance of Distributed Networks Controlled by a
 268 Ofer Biran Zaks Shmuel

Moran Shlomo
1991
 Distributed Tasks in the Presence of Fail-Stop Failures
 269 Eyal Kushilevitz Chor Ben-Zion1991
 Privacy in Distributed Systems
 270 Sergio Raysbaum Even Shimon (Deceased)1991
 On the Performance of Distributed Networks Controlled by a
 271 Gabriel Matsliach Shmueli Oded1991
 Design and Evaluation of Storage Stractures for Modern
 272 Reuven Cohen Segall Adrian1991
 Distributed Protocols for the Mac Loyer of Ring Networus
 273 Amir Herzberg Goldreich Oded

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

?
1991
 Keeping Linear Self Organizing Lists Under Counter Schemes
 275 Hugo Krawczxk Goldreich Oded1990
 Pseudorandomness and Compuiati Onal Difficulty
 276 Nader Bshouty Kaminski Michael1989
 Bounds on Multiplicative Complexity of Sets of Bilinear Form
 277 Gyuri Benedek Itai Alon1989
 Learnability of Concept Classes by Sampling
 278 Yaron Wolfstahl Moran Shlomo

Pinter Shlomit
1989
 Algorithms for Graph Embedding and Covering
 279 Yoelle Maarek Berry Daniel1989
 Vsing Structural Information for Managing Very Large
 280 Gadi Taubenfeld Moran Shlomo

Katz Shmuel
1988
 An Axiomatic Approach for Proving Impossibility Results in


280 abstract theses title found in the Department Computer Science
Last updated on: Monday ,October 22, 2018