הטכניון מכון טכנולוגי לישראל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 Katz Omer Eran Yahav2019 Abstracts  Statistical Approaches to Reversee Engineering
 2 Kviatkovsky Igor Ehud Rivlin

Ilan Shimshoni
2019 Abstracts  Person Identification From Contextual Motion
 3 Peleg Hila Eran Yahav2019 Abstracts  Program Synthesis for Programmers
 4 Dar Yehuda Alfred Bruckstein

Michael Elad
2019 Abstracts  New Methods for Signal Compression and Their Relations to@Restoration Problems
 5 Geva Amir Ehud Rivlin

Hector Rotstein
2019 Abstracts  Sensory Routines for Indoor Autonomous Quad-Copter
 6 Pai Gautam Ron Kimmel2019
 Learning for Numerical Geometry
 7 Vitkin Edward Zohar Yakhini2019 Abstracts  Computational Aspects of Metabolic Processes:@Modeling, Analysis and Applications
 8 Massarwa Fady Gershon Elber2019 Abstracts  Trivariate volumes - Algorithms and Applications
 9 Ezuz Danielle Mirela Ben-Chen2019 Abstracts  Non-Isometric Shape Correspondence
 10 Kolchinskyy Ilya Assaf Schuster2019 Abstracts  Lazy Evaluation Methods for Complex Event Processing
 11 Kutiel Gilad Roy Schwartz

Dror Rawitz
2019 Abstracts  Approximation Algorithms for Submodular Maximization@and Network Design Problems
 12 Yankelevsky Yael Michael Elad2019 Abstracts  Sparsity-Based Processing of Graph Structured Data
 13 Peterfreund Liat Benny Kimelfeld2019 Abstracts  The Complexity of Relational Queries over Extractions from@Text
 14 Geifman Yonatan Ran El-Yaniv2019 Abstracts  Uncertainty Estimation and its Applications in Deep Neural@Networks
 15 Ezair Ben Gershon Elber2019 Abstracts  Advanced Geometric Methods in Machining and Additive@Manufacturing
 16 Shalah Mira Gill Barequet2018 Abstracts  Formulae and Growth Rates of Animals on Cubical and@Triangular Lattices
 17 Sela Matan Ron Kimmel2018 Abstracts  Shape Synthesis and Analysis by Deformable Models
 18 Omari Adi Eran Yahav

Sharon Shoham-Buchbind
2018 Abstracts  Scalable Data Extraction via Program Synthesis
 19 Shtern Alon Ron Kimmel2018 Abstracts  Shape Correspondence using Spectral Methods and Deep@Learning
 20 Kassner Yaron Roy Friedman2018 Abstracts  Frugal Counting
 21 Sulam Jeremias Michael Elad2018 Abstracts  From Local to Global Sparse Modeling
 22 Lazerson Arnon Assaf Schuster2018 Abstracts  Efficient Monitoring of Distributed Data Streams
 23 Raviv Maya Hagit Attiya

Adam Morrison
2018 Abstracts  Theoretical and Experimental Methods for Concurrent@Search Trees
 24 Lalouche Gal Joseph Gil2018 Abstracts  The Consistency, Independence and Validity of Software@Complexity Metrics
 25 Ahn Eunyong Tomer Shlomi2018 Abstracts  Characterization of Cellular Metabolism throughout the@Cell Cycle in Cancer: An Integrated Experimental-@Computational Approach
 26 Gilad Eran Yoav Etsion2018 Abstracts  Parallel Execution using Memory Versioning and Renaming
 27 Ben Bassat Ran Roy Friedman2018 Abstracts  Big Data Methods for Efficient Network Monitoring
 28 Horovitz Michal Eitan Yaakobi

Tuvi Etzion
2018 Abstracts  Coding Schemes for Non-Volatile Memories
 29 Abasi Hassan Nader Bshouty2018 Abstracts  Exact Learning of Monotone Functions from Membership@Queries
 30 Yaniv Jonathan Joseph Naor2017 Abstracts Theses Job Scheduling Mechanisms for Cloud Computing
 31 Kaplan Yohay Eliyahu Ben Sasson2017 Abstracts Theses Multi-Variate Abstractions of Algebraic Geometry Codes,@with Applications
 32 Drachsler Cohen Dana Eran Yahav2017 Abstracts Theses Exact Programming by Examples
 33 Weissbrod Omer Dan Geiger

Rosset Saharon
2017 Abstracts  Linear and Generalized Linear Mixed Models for Genetic@Case Control Studies
 34 Meshman Yuri Eran Yahav2017 Abstracts Theses Extrapolation and Synthesis for Relaxed Memory Models
 35 Bentov Iddo Eliyahu Ben Sasson2017 Abstracts Theses Bitcoin and Secure Computation with Money
 36 Azencot Omri Mirela Ben-Chen2017 Abstracts  Operator Representations in Geometry Processing
 37 Paz Ami Keren Censor-Hillel2017 Abstracts  Distributed Distance Computation and Related Topics
 38 Voloshin Ariella Shmuel Zaks

Hadas Shachnai
2017 Abstracts Theses Flexible Resource Allocation for Network Problems
 39 Gabel Moshe Assaf Schuster

Daniel Keren
2017 Abstracts Theses Communication-Efficient Algorithms for Distributed@Stream Mining
 40 Sosnovich Adi Orna Grumberg2017 Abstracts Theses Finding Security Vulnerabilities in Network Protocols@Using Methods of Formal Verification
 41 Sainz David Roy Friedman2017 Abstracts Theses Efficient Information Transfer Leveraging Wireless@D2D Communication
 42 Schwartzman Gregory Keren Censor-Hillel2017 Abstracts Theses Algorithms for Environments with Uncertainty
 43 Yehezkel Aviv Reuven Cohen2017 Abstracts  Generalizations of the Cardinality Estimation Problem and@Applications to Computer Networks
 44 Raviv Netanel Tuvi Etzion2017 Abstracts Theses Subspace Codes and Distributed Storage Codes
 45 Sebban Partush Nimrod Eran Yahav2017 Abstracts Theses Differential Program Analysis
 46 Papyan Vardan Michael Elad2017 Abstracts Theses Global Versus Local Modeling of Signals
 47 Genkin Daniel Yuval Ishai

Eran Tromer
2016 Abstracts Theses Secure Computation in Hostile Environments
 48 Verner Uri Assaf Schuster

Avi Mendelson
2016 Abstracts Theses Processing Real-time Data Streams on GPU-based@Systems
 49 Ophir Boaz Michael Elad2016 Abstracts Theses Multi Scale Dictionary Learning for Sparse Representation of@Images
 50 Cohen Nachshon Erez Petrank2016 Abstracts Theses Memory Management: From Theory to Practice
 51 Albagli-Kim Sivan Hadas Shachnai

Tamir Tamar
2016 Abstracts Theses Flexible Resource Allocation for Networks and Clouds
 52 Tepper Naama Tomer Shlomi2016 Abstracts Theses Computational Methods for Metabolic Network Analysis of@Metabolite Levels and Flux
 53 Moran Shay Amir Yehudayoff

Amir Shpilka
2016 Abstracts Theses Generalization and Simplification in Machine Learning
 54 Meller Yael Orna Grumberg

Karen Yorav
2016 Abstracts Theses Model Checking Techniques for Behavioral UML Models
 55 Shnaiderman Lila Oded Shmueli2016 Abstracts Theses Parallelism in Querying and Storage for Large XML@and Graph Databases
 56 Tamir Gal Hadas Shachnai2016 Abstracts Theses Algorithms for Combinatorial Reoptimization
 57 Weiss Mor Yuval Ishai2016 Abstracts Theses Secure Computation and Probabilistic Checking
 58 Sharov Artyom Ronny Roth2016 Abstracts Theses Coding for New Applications in Storage Media
 59 Libov Alexander Roy Friedman2016 Abstracts Theses Efficient Content Delivery in P2P Networks
 60 Turek Javier S. Irad Yavneh

Michael Elad
2015 Abstracts Theses Topics in Sparse Representation Modeling and@Applications
 61 Carmeli Yaniv Eli Biham2015 Abstracts Theses On Bugs and Ciphers: New Techniques in Cryptanalysis
 62 Zehavi Meirav Ron Pinter

Hadas Shachnai
2015 Abstracts Theses Algorithms for Parameterized Graph Problems with@Applications to Biological Network Queries
 63 Chen Shahar Joseph Naor

Niv Buchbinder
2015 Abstracts Theses Online Learning and Competitive Analysis: a Unified@Approach
 64 Hans Sandeep Hagit Attiya

Noam Rinetskey
2015 Abstracts Theses A Programming Language Approach to Transactional Memory@Consistency
 65 Talyansky Roman Alon Itai2015 Abstracts Theses Sample Complexity of Training Markov Chains
 66 Disenfeld Cynthia Shmuel Katz2015 Abstracts Theses Compositional Verification of Events and Responses
 67 Braginsky Anastasia Erez Petrank2015 Abstracts Theses Multi-Threaded Coordination Methods for Constructing@Non-Blocking Data Structures
 68 Timnat Shahar Erez Petrank2015 Abstracts Theses Practical Parallel Data Structures
 69 Dubrovina Karni Anastasia Ron Kimmel2015 Abstracts Theses Geometric Algorithms for Image and Surface Analysis
 70 Cohen Meir Ilan Shimshoni

Ehud Rivlin
2015 Abstracts Theses Observing the Observers: Social Context Analysis Using@Computer Vision
 71 Goldhirsh Yonatan Eldar Fischer2015 Abstracts Theses Algorithms for Property Testing and Related Problems
 72 Einziger Gil Roy Friedman2015 Abstracts Theses Approximate Compact Data Structures and Applications
 73 Ron-Zewi Noga Eliyahu Ben Sasson2014 Abstracts Theses Additivie Combinatorics Methods in Computational Complexity
 74 Giryes Raja Michael Elad2014 Abstracts Theses Sparsity Models for Signals: Theory and Applications
 75 Avigdor-Elgrabli Noa Yuval Rabani

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

Eitan Yaakobi
2014 Abstracts Theses Algebraic and Geometric Problems for Non-Volatile Memory
 77 Amit Nadav Assaf Schuster

Dan Tsafrir
2014 Abstracts Theses Alleviating Virtualization Bottlenecks
 78 Adler Amir Michael Elad

Yacov Hel-Or
2014 Abstracts  Applications of Sparse and Redundant Representations to@Subspace Clustering and Signal Modeling
 79 Treister Eran Irad Yavneh2014 Abstracts Theses Aggregation-based Adaptive Algebraic Multigrid for@Sparse Linear Systems
 80 Vizel Yakir Orna Grumberg2014 Abstracts Theses SAT-Based Model Checking Using Interpolation and@IC3
 81 Glazer Assaf Shaul Markovitch

Michael Lindenbaum
2014 Abstracts Theses Learning Methods for Modeling High-Dimensional Distributions
 82 Leibovich Limor Zohar Yakhini2014 Abstracts Theses Statistical Assessment of Enrichment in Ranked Lists -@Algorithms and Applications in Motif Search
 83 Nahir Amir Dan Raz

Ariel Orda
2014 Abstracts Theses Design and Management of Complex Distributed Systems:@Optimization and Game-Theoretic Perspectives
 84 Rosman Guy Ron Kimmel2014 Abstracts Theses On Natural Parametrizations of Motion and Structure@Manifolds
 85 Poranne Roi Chaim Craig Gotsman2014 Abstracts Theses Topics in Shape Optimization and Exploration
 86 Kanizo Josef Hai Isaac Keslassy

David Hay
2014 Abstracts Theses Fast Decisions in High-Speed Networking Devices
 87 Haramaty Elad Amir Shpilka2014 Abstracts Theses Polynomial Testing and Related Questions
 88 Lavee Gal Ehud Rivlin2013 Abstracts Theses Understanding Events in Video
 89 Grebla Guy Reuven Cohen2013 Abstracts Theses Scheduling Algorithms for OFDMA Broadband Wireless@Networks
 90 Elor Yotam Alfred Bruckstein2013 Abstracts Theses Mathematical Analysis of Emergent Behavior in Multi-@Agent Systems
 91 Begleiter Ron Nir Ailon

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

Ziv Bar-Yossef
2013 Abstracts Theses Combined Search over Heterogeneous Repositories
 93 Levin Roy Yaron Kanza2013 Abstracts Theses Geospatial Route Search
 94 Radinsky Kira Shaul Markovitch

Nir Ailon
2013 Abstracts Theses Learning to Predict the Future Using Web Knowledge and@Dynamics
 95 Wiener Yair Ran El-Yaniv2013 Abstracts Theses Theoretical Foundations of Selective Prediction
 96 Lenz Keren Joseph Gil2013 Abstracts Theses Internal and External Mechanisms for Extending@Programming Languages
 97 Steinfeld Israel Zohar Yakhini2013 Abstracts Theses Data Analysis in Studies Combining Multiple@High-Throughput Measurement Technologies
 98 Levi Zohar Chaim Craig Gotsman2013 Abstracts Theses Techinques for Manipulating Volumetric and Polyhedral@3D Datasets
 99 Feldman Moran Joseph Naor2013 Abstracts Theses Maximization Problems with Submodular Objective Functions
 100 Agmon Ben-Yehuda Orna Assaf Schuster2013 Abstracts Theses Efficient, Non-Cooperative Sharing of Computing Resources
 101 Schwartz Roy Joseph Naor2012 Abstracts Theses Labelings and Partitions of Graphs
 102 Kotek Tomer Johann Makowsky2012 Abstracts Theses Definability of Combinatorial Functions
 103 Rozenberg Eyal Eldar Fischer2012 Abstracts Theses Lower Bounds and Structural Results in@Property Testing of Dense Combinatorial Structures
 104 Osherovich Eliyahu Irad Yavneh

Michael Zibulevsky
2012 Abstracts  Numerical Methods for Phase Retrieval
 105 Volkovich Ilya Amir Shpilka2012 Abstracts Theses Polynomial Identity Testing and its Relation to some@Algebraic Problems
 106 Levin Anna Reuven Cohen2012 Abstracts Theses Mobility Management Schemes for Improving TCP Performance@in the Next Generation Wireless Networks
 107 Kogan Alex Roy Friedman2012 Abstracts Theses Utilizing Multiple Radio Interfaces in Wireless@Networks
 108 Salman Tamer Yoram Baram2012 Abstracts Theses Quantum Neural Computation and Associative Memory
 109 Maman Itay Joseph Gil2012
 Formal Patterns in Java Programs
 110 Yadgar Gala Assaf Schuster2012 Abstracts Theses Multilevel Cache Management Based on Application Hints
 111 Raviv Dan Ron Kimmel2012 Abstracts Theses Invariant Metrics for Non-Rigid Shapes
 112 Viderman Michael Eliyahu Ben Sasson2012 Abstracts Theses Towards Lower Bounds on Locally Testable Codes
 113 Paskin-Cherniavsky Anat Yuval Ishai

Eyal Kushilevitz
2012 Abstracts Theses Secure Computation with Minimal Interaction
 114 Sagy Guy Assaf Schuster

Daniel Keren
2012 Abstracts Theses Geometric Methods for Analyzing and Monitoring@Large Distributed Data
 115 Karnin Zohar Amir Shpilka2012 Abstracts Theses Derandomization of Algebraic and Geometric Problems in@Theoretical Computer Science
 116 Shtok Joseph Michael Elad

Michael Zibulevsky
2012
 Adaptive Reconstruction Algorithms in Computed Tomography
 117 Rubinstein Ron Michael Elad2012 Abstracts Theses Analysis and Synthesis Sparse Modeling Methods in Image@Processing
 118 Ronen Royi Oded Shmueli2012 Abstracts Theses Models and Methods for Advanced Web Applications@and Social Network Automation
 119 Ben-Zvi Ido Yoram Moses2011 Abstracts Theses Causality, Knowledge and Coordination in Distributed@Systems
 120 Levy Tamir Ami Litman2011 Abstracts Theses On Merging Networks
 121 Hillel Eshcar Hagit Attiya2011 Abstracts Theses Concurrent Data Structures: Methodologies and@Inherent Limitations
 122 Aizikowitz Tamar Michael Kaminski2011 Abstracts Theses Synchronized Alternating Pushdown Automata
 123 Chen Rafael Eli Biham2011 Abstracts Theses New Techniques for Cryptanalysis of Cryptographic Hash@Functions
 124 Protter Matan Michael Elad2011 Abstracts Theses Processing Images Sequences without Motion Estimation
 125 Friedman Arie Assaf Schuster2011 Abstracts Theses Privacy Preserving Data Mining
 126 Vaxman Amir Gill Barequet2011 Abstracts Theses General Techniques for Interpolation, Reconstruction and@Morphing of Polyhedral Surfaces
 127 Averbouch Ilia Johann Makowsky2011 Abstracts Theses Completeness and Universality Properties of Graph@Invariants and Graph Polynomials
 128 Katz Emilia Shmuel Katz2011 Abstracts Theses Analysis and Detection of Interactions among Aspects
 129 Mazzawi Hanna Nader Bshouty2011 Abstracts Theses Reconstructing Graphs Using Edge Counting Queries
 130 Aleksandrowicz Gadi Gill Barequet2011 Abstracts Theses Enumeration of Lattice Animals
 131 Silberstein Natalia Tuvi Etzion2011 Abstracts Theses Coding Theory and Projective Spaces
 132 Sandler Roman Michael Lindenbaum2010 Abstracts Theses Nonnegative Matrix Factorization for Segmentation Analysis
 133 Gordon Noam Alfred Bruckstein

Israel Wagner
2010 Abstracts Theses Fundamental Problems in the Theory of Multi-Agent Robotics
 134 Mishali Oren Shmuel Katz2010 Abstracts Theses Using Aspects to Support the Software Process
 135 Altshuler Yaniv Alfred Bruckstein

Israel Wagner
2010 Abstracts Theses Multi Agents Robotics in Dynamic Environments
 136 Yadgar Avraham Orna Grumberg

Assaf Schuster
2010 Abstracts Theses New Approaches to Model Checking and to 3-Valued Abstraction@and Refinement
 137 Kapchits Boris Reuven Cohen2010 Abstracts Theses On the Optimization of Wake-Up Frequencies in Sensor@Networks
 138 Weber Ofir Gershon Elber

Chaim Craig Gotsman
2010 Abstracts Theses Hybrid Methods for Interactive Shape Manipulation
 139 Holtzman Gazit Michal Irad Yavneh2010 Abstracts  Multi Level Methods for Data Completion
 140 Bercovici Sivan Dan Geiger2010 Abstracts Theses Mapping by Admixture Linkage Disequilibrium: New Criteria@and Algorithms
 141 Silberstein Mark Dan Geiger

Assaf Schuster
2010 Abstracts Theses A Distributed System for Genetic Linkage Analysis
 142 Sharon Itai Oded Beja

Ron Pinter
2010 Abstracts Theses Computational Methods for Metagenomic Analysis
 143 Raskin Leonid Michael Lindenbaum

Mhchael Rudzesky
2010 Abstracts Theses Dimensionality Reduction for 3D Articulated Body Tracking@and Human Action Analysis
 144 Censor Hillel Keren Hagit Attiya2010 Abstracts Theses Probabilistic Methods in Distributed Computing
 145 Ben-Chen Mirela Chaim Craig Gotsman2009 Abstracts Theses Discrete Geometric Algorithms for Mesh Processing
 146 Kravtsov Valentin Assaf Schuster2009 Abstracts Theses Service-Based Resource Brokering for Grid-Based Applications
 147 Engelberg Roee Joseph Naor2009 Abstracts Theses Stability in Multi-Agent Environments and Approximation@Algorithms for NP-Hard Graph Problems
 148 Tal Ido Ronny Roth

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

Michael Zibulevsky
2009 Abstracts Theses Processing and Interpretation of Biological Microscopical@Images
 150 Shoham Buchbinder Sharon Orna Grumberg2009 Abstracts Theses Abstraction-Refinement and Modularity in Mu-Calculus@Model Checking
 151 Gronau Ilan Shlomo Moran2009 Abstracts Theses Reconstructing Phylogenetic Trees from Noisy Metrics
 152 Tan Tony Michael Kaminski2009 Abstracts Theses Pebble Automata for Data Languages: Separation,@Decidability and Undecidability
 153 Shagin Konstantin Assaf Schuster2009 Abstracts Theses Execution of Monolithic Java Programs on Large@Non-Dedicated Collections of Commodity@Workstations
 154 Pechyony Dmitry Ran El-Yaniv2009 Abstracts Theses Theory and Practice of Transductive Learning
 155 Sharfman Izchak Assaf Schuster2009 Abstracts Theses A Geometric Approach to Detecting Global Properties@over Distributed Data
 156 Blayvas Ilya Ron Kimmel

Alfred Bruckstein
2009 Abstracts Theses On Accuracy Analysis of 3D Scanners, Binarization,@and Machine Learning
 157 Kliot Gabriel Roy Friedman2009 Abstracts Theses Probabilistic Middleware Services in Wireless Mobile@Ad-Hoc Networks
 158 Landau Alexander Reuven Cohen2009 Abstracts Theses Efficient Schemes for Estimating the Number of Affected@Nodes in Very Large Networks
 159 Frishman Yaniv Ayellet Tal2009 Abstracts Theses Graph Drawing Algorithms in Information Visualization
 160 Amzallag David Joseph Naor

Dan Raz
2008 Abstracts Theses Approximation Algorithms For Optimization Problems@in Future Cellular Networks
 161 Drabkin Vadim Roy Friedman2008 Abstracts Theses Dependable Communication Protocols in Ad-Hoc@Networks
 162 Rokhlenko Oleg Ron Pinter2008 Abstracts Theses Algorithms for Labeled Graph Matching with Applications@to Systems Biology
 163 Artishchev-Zapolotsk Maria Yefim Dinitz

Shimon Even (Deceased)

Ami Litman
2008 Abstracts Theses Compact Layouts for Some Interconnection Networks
 164 Hanniel Iddo Gershon Elber2008 Abstracts Theses Robust Arrangements and Voronoi Diagrams of Free-form Curves@and Surfaces
 165 Nakibly Gavriel Reuven Cohen2008 Abstracts Theses Traffic Engineering in IP and MPLS Networks
 166 Matsliah Arie Eldar Fischer2008 Abstracts Theses Property Testing and Combinatorial Approximation
 167 Bogomjakov Alexander Chaim Craig Gotsman2008 Abstracts Theses GPU-Assisted Geometry Processing for Novel View@Synthesis from Depth Video
 168 Yahalom Orly Eldar Fischer2008 Abstracts Theses Topics in Property Testing over Massively Parameterized@Models
 169 Lerner Ronen Ehud Rivlin2008 Abstracts Theses Constrained Pose and Motion Estimation
 170 Katzir Liran Reuven Cohen2008 Abstracts Theses Scheduling Algorithms for Efficient Delivery of Synchronous@Traffic in Wireless Access Networks
 171 Cohen Rami Dan Raz2008 Abstracts Theses Internet Topology: From the Discovery Process to the Real@Picture
 172 Leichter Ido Ehud Rivlin

Michael Lindenbaum
2008 Abstracts Theses Visual Tracking in a General Context via Tracker@Combination and Low-Level Cues
 173 Esmeir Saher Shaul Markovitch2008 Abstracts Theses Anytime Algorithms for Learning Anytime Classifiers
 174 Barkol Omer Yuval Ishai

Ronny Roth
2008 Abstracts Theses Locally Decodable Codes and Their Applications
 175 Zemach Tamar Marius Ungarish2008 Abstracts Theses Simulations of Non-Homogeneous Flow Fields Subject to@Rotation and Gravity Effects
 176 Ben Avi Gilad Yoad Winter2008 Abstracts Theses Types and Meanings in Intensionality, Selection and@Quantifier Scope
 177 Buchbinder Niv Joseph Naor2008 Abstracts Theses Designing Competitive Online Algorithms@via a Primal-Dual Approach
 178 Skachek Vitaly Ronny Roth2007 Abstracts Theses Low-Density Parity-Check Codes: Constructions and Bounds
 179 Lipson Doron Zohar Yakhini2007 Abstracts Theses Computational Aspects of DNA Copy Number Measurement
 180 Avraham Tamar Michael Lindenbaum2007 Abstracts Theses Visual Attention Processes based on Stochastic Models:@Algrorithms and Bounds
 181 Gontmakher Alex Assaf Schuster2007 Abstracts Theses An Architecture and Programming Model for Extremely@Fine Grain Parallelization
 182 Bronstein Alexander Ron Kimmel2007 Abstracts Theses Numerical Geometry of Non-Rigid Objects:@Embedding Problems
 183 Wexler Ydo Dan Geiger2007 Abstracts Theses Variational Approximations for Probabilistic Graphical@Models
 184 Moran Shiri Ami Litman2007 Abstracts Theses Rate Based Sequences and Smooth Scheduling
 185 Bronstein Michael Ron Kimmel2007 Abstracts Theses Isometry-Invariant Surface Matching:@Numerical Algorithms and Applications
 186 Scalosub Gabriel Joseph Naor

Dan Raz

Adi Rosen
2007 Abstracts Theses Routing and Scheduling Problems in Data Networks
 187 Zohar Ron Dan Geiger2007 Abstracts Theses Flow Conservation Group Tracking
 188 Kenigsberg Dan Tal Mor2007 Abstracts Theses Classicality and Quantumness in Quantum Information@Processing
 189 Nir Tal Alfred Bruckstein2007 Abstracts Theses Topics in Motion Analysis
 190 Koren Yair Irad Yavneh2007 Abstracts Theses Multiscale Methods for Image Processing
 191 Hay David Hagit Attiya2007 Abstracts Theses Competitive Evaluation of Switch Architectures
 192 Applebaum Benny Yuval Ishai

Eyal Kushilevitz
2007 Abstracts Theses Cryptography in Constant Parallel Time
 193 Cohen Tal Joseph Gil2007 Abstracts Theses Applying Aspect-Oriented Software Development to Middleware@Frameworks
 194 Dunkelman Orr Eli Biham2006 Abstracts  Techniques for Cryptanalysis of Block Ciphers
 195 Melamed Roie Idit Keidar2006 Abstracts  Scalable Services for Dynamic Wide-Area Environments
 196 Paz Harel Erez Petrank

Hillel Kolodner
2006 Abstracts  Efficient Memory Management for Servers
 197 Hadad Erez Roy Friedman2006 Abstracts  Architectures for Fault-Tolerant Middleware Services
 198 Soldea Octavian Ehud Rivlin

Gershon Elber
2006 Abstracts  Functional Reasoning in Image Understanding
 199 Ackerman Eyal Gill Barequet

Ron Pinter
2006 Abstracts  Counting Problems for Geometric Structures: Rectangulations,@Floorplans, and Quasi-Planar Graphs
 200 Schein Sagi Gershon Elber2006 Abstracts  Trivariate Functions in Solid Modeling, Medical Imaging@and Computer Graphics
 201 Ben-Zaken Zilberstei Chaya Zohar Yakhini2006 Abstracts  Spotting Regulatory Elements by Micro-Arrays
 202 Spira Alon Ron Kimmel2006 Abstracts  Geometric Image Evolution on Parametric Surfaces
 203 Salom Mordohay Shmuel Zaks2006 Abstracts  Optimal Design Problems for Optical Networks
 204 Barkan Elad Pinhas Eli Biham2006 Abstracts  Cryptanalysis of Ciphers and Protocols
 205 Gabrilovich Evgeniy Shaul Markovitch2006 Abstracts Theses Feature Generation for Textual Information Retrieval@Using World Knowledge
 206 Aharon Michal Michael Elad2006 Abstracts Theses Overcomplete Dictionaries for Sparse Representation of@Signals
 207 Swidan Firas Ron Pinter2006 Abstracts  Comparative Genomics: from Accurate Mapping to@Sorting by Weighted Reversals and Repeat-Annotated@Phylogenies
 208 Halevy Shirley Eyal Kushilevitz2006 Abstracts  Topics in Property-Testing
 209 Sazbon Didi Ehud Rivlin2005 Abstracts  Sensory Based Navigation Motivated by Biological Systems
 210 Greenspan Gideon Dov Dan Geiger2005 Abstracts  A Bayesian Network Model of Haplotype Block Variation:@Inference and Application
 211 Nossenson Ronit Hagit Attiya2005 Abstracts  Stochastic Models for Web Servers
 212 Yeger-Lotem Esti Ron Pinter

Hanah Margalit
2005 Abstracts  Computational Analysis of Integrated Networks of@Transcription Regulation and Protein-Protein@Interactions
 213 Finkelstein Lev Shaul Markovitch

Ehud Rivlin
2005 Abstracts  Offline Scheduling of Anytime Algorithms
 214 Heyman Tamir Orna Grumberg

Assaf Schuster
2004 Abstracts  Distributed Symbolic Model Checking
 215 Wolff Ran Assaf Schuster2004 Abstracts  Data Mining in Large-Scale Distributed Systems
 216 Karni Zachi Chaim Craig Gotsman2004 Abstracts  3D Mesh Processing Using Spectral Methods
 217 Zibin Yoav Joseph Gil2004 Abstracts  Efficient Algorithms for the Runtime Environment of Object@Oriented Languages
 218 Rusakov Dmitry Dan Geiger2004 Abstracts  Bayesian Networks: Model Selection and Applications
 219 Schwartz Moshe Tuvi Etzion2004 Abstracts  Tilings, Anticodes, and Multidimensional Coding
 220 Chuzhoy Julia Joseph Naor2004 Abstracts  Hardness of Approximation and New Approximability Classes
 221 Berengolts Alexander Michael Lindenbaum2004 Abstracts  Quantitative Approach for Characterizing the Difficulties@of Visual Tasks
 222 Fishelson Ma'ayan Dan Geiger2004 Abstracts  Efficient Genetic Linkage Computations for General Pedigrees
 223 Snir Sagi Ben-Zion Chor2004 Abstracts  Computational Issues in Phylogenetic Reconstruction:@Analytic Maximum Likelihood Solutions, and Convex@Recoloring
 224 Rawitz Dror Reuven Bar-Yehuda2003 Abstracts  Combinatorial and LP-Based Methods for Designing@Approximation Algorithms
 225 Freund Ari Joseph Naor2003 Abstracts  On-Line and Off-Line Approximation Algorithms for Various@Resource Allocation and Scheduling Problems and@for the Multiway Cut Problem
 226 Zlochin Mark Yoram Baram2003 Abstracts  Adaptive Monte Carlo Methods for Bayesian Inference
 227 Lempel Ronny Shlomo Moran2003 Abstracts  Link Structure Analysis and Query Result Caching in Web@Search Engines
 228 Goldenberg Roman Ehud Rivlin

Ron Kimmel
2003 Abstracts  Motion Based Recognition
 229 Surazhsky Vitaly Chaim Craig Gotsman2003 Abstracts  Morphing Piecewise Linear Shapes Using Convex@Representations
 230 Glusman Marcelo Shmuel Katz2003 Abstracts  Mechanizing Proofs of Computation Equivalence
 231 Resmerita Stefan Michael Heymann

Ehud Rivlin
2003 Abstracts  A Multi-Agent Approach to Control of Multi-Robotic@Systems
 232 Sihman Marcelo Shmuel Katz2003 Abstracts  Language and Proof Support for Superimpositions and@Aspects
 233 Vitenberg Roman Roy Friedman2002 Abstracts  Internet Wide Caching of Distributed Objects
 234 Ruckenstein Gitit Ronny Roth2002 Abstracts  Error Decoding Strategies for Algebraic Codes
 235 Agbaria Adnan Roy Friedman2002 Abstracts  Reliability in High Performance Distributed Computing@Systems
 236 Felstaine Eyal Reuven Cohen2002 Abstracts  Scalable Routing in Hierarchical ATM Networks
 237 Bustan Doron Orna Grumberg2002 Abstracts  Equivalence-Based Reductions and Checking for Preorders
 238 Becker Ann Dan Geiger2002
 Inference Algorithms with Application to Genetic@Analysis
 239 Tamir Tamar Hadas Shachnai2001 Abstracts  Class-Constrained Resource Allocation Problems
 240 Fouren Arie Hagit Attiya2001 Abstracts  Adaptive Wait-Free Algorithms for Asynchronous Shared-@Memory Systems
 241 Konopnicki David Oded Shmueli2001
 The Taming of the Web: Querying, Integration and Advanced@E-Commerce Applications
 242 Eiron Nadav Shai Ben-David2001
 Computational Learning in Models for Noisy Environments
 243 Gilboa Niv Ben-Zion Chor2001 Abstracts  Topics in Private Information Retrieval
 244 Moss Anna Joseph Naor

Yuval Rabani
2001
 High Profit for Low Cost: Approximation Algorithms in@Mode-Weighted Graphs
 245 Nelken Ran Nissim Francez2001 Abstracts  Questions, Time and Natural Language Interfaces to Temporal@Databases
 246 Yorav Karen Orna Grumberg2000
 Exploiting Syntactic Structure for Automatic@Verification
 247 Eilam Tamar Shlomo Moran

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

Eyal Kushilevitz
2000
 Private Computation and Correlated Randomness
 249 Kupershtok Ahron Shimon Even (Deceased)2000
 Some Improved Layouts for Interconnection Networks
 250 Lorenz David Joseph Gil1999
 Compilation of Source Code into Object-Oriented Patterns
 251 Rotics Udi Johann Makowsky1999
 Efficient Algorithms for Generally Intractable Graph@Problems Restricted to Specific Classes of Graphs
 252 Ravve Elena Johann Makowsky1999
 Decomposition of Databases with Translation Schemes
 253 Itzkovitz Ayal Assaf Schuster1999
 Distributed Shared Memory: Bridging the Granularity Gap
 254 Wagner Israel Alfred Bruckstein

Michael Lindenbaum
1999
 Ant Robotics: Search, Exploration and Covering@in Multi-a(Ge)Nt Systems
 255 Sudarsky Oded Chaim Craig Gotsman1998
 Dynamic Scene Occlusion Culling
 256 Zosin Leonid Joseph Naor1998
 Relaxed Multi-Commodity Flow and Its Application to the@Design of Approximation Algorithms
 257 Kamon Yshay Ehud Rivlin

Elon Rimon
1998
 Locally Optimal Sensor Based Robot Navigation
 258 Ben-Dor Amir Ben-Zion Chor1998
 Constructing Radiation Hybrid Maps of the Human Genome
 259 Fayman Jeffrey Ehud Rivlin1998
 Reliable, Robust and Effective Active Vision
 260 Carmel David Shaul Markovitch

?
1998
 Model-Based Learning of Interaction Strategies in@Multi-Agent Systems
 261 Minkov Eli Marius Ungarish1998
 A Numerical Study of the Flow Around Particles@in Rotating Fluid
 262 Wintner Shalom Nissim Francez1997
 An Abstract Machine for Unification Grammars with@Applications to an HPSG Grammar for Hebrew
 263 Amir Arnon Michael Lindenbaum

Alfred Bruckstein
1997
 A Quantitative Approach to Perceptual Grouping@in Computer Vision
 264 Rappoport Lihu Shlomo Moran1997
 Lock-Free Implementations in the Asynchronous@Shared-Memory Model
 265 Rachman Ophir Hagit Attiya1996
 Decision Problems for Implementing Distributed Snapshots
 266 Dichterman Eli Shay Ben David1996
 Learning with Restricted Focus of Attention
 267 Hollander Yona Alon Itai1996
 Search Algorithms for Cache Memory
 268 Gerstel Ornan Adrian Segall

Shmuel Zaks
1996
 Virtual Path Design in ATM Networks
 269 Beimel Amos Ben-Zion Chor1996
 Secure Schemes for Secret Sharing and Key Distribution
 270 Even Guy Ben-Zion Chor1995
 Design of VLSI Circuits Using Retiming
 271 Kupferman-Bernholtz Orna Orna Grumberg1995
 Model Checking for Branching-Time Temporal Logics
 272 Bittan Sara Tuvi Etzion1995
 Lower Bounds on the Sizes of Constant Weight@Error Correcting Codes
 273 Petrank Erez Oded Goldreich1995
 Knowledge Complexity versus Computational Complexity@and the Hardness of Approximations
 274 Weill Anne Moshe Israeli (Deceased)1994
 Low-Communication Algorithms for the Parallel Solution@of Partial Differential Equations on@Message-Passing Machines
 275 Shabtay Lior Adrian Segall1994
 Memory Efficient Network Synchronization Techniques
 276 Friedman Roy Hagit Attiya1994
 Consistency Conditions for Distributed Shared Memories
 277 Goldin Lea Daniel Berry1994
 An Environment for Aiding Requirements Analysts@in Requirements Elicitation for Large@Software Systems
 278 Sharon Oran Adrian Segall1994
 Protocols for Spatial and Slot Reuse@in Bus Networks
 279 Shifroni Eyal Uzi Ornan

?
1993
 Flexible User Modeling in Inter Active Guidence System
 280 Pnueli Yachin Alfred Bruckstein1993
 Halftone Methods: Beyond Grid Based Methods
 281 Dagan Ido Uzi Ornan

Alon Itai
1993
 Multilingual Comparison: Automatic Resolution of Ambiguitie
 282 Schwarz Avner Daniel Berry

Edna Shaviv
1992
 Representing and Solving the Automated Bvilding Design (Abd)
 283 Fix Limor Nissim Francez1992
 Semantics Drinen Decompositions for the Verification of
 284 Dolev Shlomo Shlomo Moran

Amos Israel
1992
 Self Stabilization of Dynamic Systems
 285 Herzberg Amir Oded Goldreich

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

?
1991
 Keeping Linear Self Organizing Lists Under Counter Schemes
 287 Raysbaum Sergio Shimon Even (Deceased)1991
 On the Performance of Distributed Networks Controlled by a
 288 Kushilevitz Eyal Ben-Zion Chor1991
 Privacy in Distributed Systems
 289 Sergio Raysbaum Missing advisors 1991
 On the Performance of Distributed Networks Controlled by a
 290 Sagiv Shmuel Michael Rodeh

Nissim Francez
1991
 Circular Attribute Grammars and Their Application to Data
 291 Biran Ofer Shmuel Zaks

Shlomo Moran
1991
 Distributed Tasks in the Presence of Fail-Stop Failures
 292 Matsliach Gabriel Oded Shmueli1991
 Design and Evaluation of Storage Stractures for Modern
 293 Cohen Reuven Adrian Segall1991
 Distributed Protocols for the Mac Loyer of Ring Networus
 294 Krawczxk Hugo Oded Goldreich1990
 Pseudorandomness and Compuiati Onal Difficulty
 295 Bshouty Nader Michael Kaminski1989
 Bounds on Multiplicative Complexity of Sets of Bilinear Form
 296 Wolfstahl Yaron Shlomo Moran

Shlomit Pinter
1989
 Algorithms for Graph Embedding and Covering
 297 Benedek Gyuri Alon Itai1989
 Learnability of Concept Classes by Sampling
 298 Maarek Yoelle Daniel Berry1989
 Vsing Structural Information for Managing Very Large
 299 Taubenfeld Gadi Shlomo Moran

Shmuel Katz
1988
 An Axiomatic Approach for Proving Impossibility Results in


299 abstract theses title found in the Department Computer Science
Last updated on: Monday ,February 17, 2020