הטכניון מכון טכנולוגי לישראל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 Kravi Elad Benny Kimelfeld

Yaron Kanza
2020 Abstracts Theses Understanding the Context of Microactions on the Web
 2 Funaro Liran Assaf Schuster

Orna Agmon Ben-Yehud
2020 Abstracts Theses Market Driven Multi-Resource Allocation
 3 Riabzev Michael Yuval Ishai2020 Abstracts Theses Computation Verification for Noobs
 4 Livshits Ester Benny Kimelfeld2020 Abstracts  The Complexity of Database Inconsistency Measures
 5 Katz Omer Eran Yahav2019 Abstracts  Statistical Approaches to Reverse Engineering
 6 Geva Amir Ehud Rivlin

Hector Rotstein
2019 Abstracts  Sensory Routines for Indoor Autonomous Quad-Copter
 7 Kviatkovsky Igor Ehud Rivlin

Ilan Shimshoni
2019 Abstracts  Person Identification From Contextual Motion
 8 Kutiel Gilad Roy Schwartz

Dror Rawitz
2019 Abstracts  Approximation Algorithms for Submodular Maximization@and Network Design Problems
 9 Ezair Ben Gershon Elber2019 Abstracts  Advanced Geometric Methods in Machining and Additive@Manufacturing
 10 Ezuz Danielle Mirela Ben-Chen2019 Abstracts  Non Isometric Shape Correspondence
 11 Vitkin Edward Zohar Yakhini2019 Abstracts  Computational Aspects of Metabolic Processes:@Modeling, Analysis and Applications
 12 Geifman Yonatan Ran El-Yaniv2019 Abstracts  Uncertainty Estimation and its Applications in Deep Neural@Networks
 13 Dar Yehuda Alfred Bruckstein

Michael Elad
2019 Abstracts  New Methods for Signal Compression and Their Relations to@Restoration Problems
 14 Peleg Hila Eran Yahav2019 Abstracts  Program Synthesis for Programmers
 15 Yankelevsky Yael Michael Elad2019 Abstracts  Sparsity-Based Processing of Graph Structured Data
 16 Pai Gautam Ron Kimmel2019
 Learning for Numerical Geometry
 17 Massarwa Fady Gershon Elber2019 Abstracts  Trivariate volumes - Algorithms and Applications
 18 Peterfreund Liat Benny Kimelfeld2019 Abstracts  The Complexity of Relational Queries over Extractions from@Text
 19 Kolchinskyy Ilya Assaf Schuster2019 Abstracts  Lazy Evaluation Methods for Complex Event Processing
 20 Omari Adi Eran Yahav

Sharon Shoham-Buchbind
2018 Abstracts Theses Scalable Data Extraction via Program Synthesis
 21 Lalouche Gal Joseph Gil2018 Abstracts Theses The Consistency, Independence and Validity of Software@Complexity Metrics
 22 Lazerson Arnon Assaf Schuster2018 Abstracts Theses Efficient Monitoring of Distributed Data Streams
 23 Sela Matan Ron Kimmel2018 Abstracts  Shape Synthesis and Analysis by Deformable Models
 24 Sulam Jeremias Michael Elad2018 Abstracts Theses From Local to Global Sparse Modeling
 25 Gilad Eran Yoav Etsion2018 Abstracts Theses Parallel Execution using Memory Versioning and Renaming
 26 Shtern Alon Ron Kimmel2018 Abstracts Theses Shape Correspondence using Spectral Methods and Deep@Learning
 27 Kassner Yaron Roy Friedman2018 Abstracts Theses Frugal Counting
 28 Ahn Eunyong Tomer Shlomi2018 Abstracts  Characterization of Cellular Metabolism throughout the@Cell Cycle in Cancer: An Integrated Experimental-@Computational Approach
 29 Ben Bassat Ran Roy Friedman2018 Abstracts  Big Data Methods for Efficient Network Monitoring
 30 Shalah Mira Gill Barequet2018 Abstracts Theses Formulae and Growth Rates of Animals on Cubical and@Triangular Lattices
 31 Raviv Maya Hagit Attiya

Adam Morrison
2018 Abstracts  Theoretical and Experimental Methods for Concurrent@Search Trees
 32 Abasi Hassan Nader Bshouty2018 Abstracts Theses Exact Learning of Monotone Functions from Membership@Queries
 33 Horovitz Michal Eitan Yaakobi

Tuvi Etzion
2018 Abstracts Theses Coding Schemes for Non-Volatile Memories
 34 Bentov Iddo Eliyahu Ben Sasson2017 Abstracts Theses Bitcoin and Secure Computation with Money
 35 Kaplan Yohay Eliyahu Ben Sasson2017 Abstracts Theses Multi-Variate Abstractions of Algebraic Geometry Codes,@with Applications
 36 Raviv Netanel Tuvi Etzion2017 Abstracts Theses Subspace Codes and Distributed Storage Codes
 37 Azencot Omri Mirela Ben-Chen2017 Abstracts Theses Operator Representations in Geometry Processing
 38 Paz Ami Keren Censor-Hillel2017 Abstracts Theses Distributed Distance Computation and Related Topics
 39 Drachsler Cohen Dana Eran Yahav2017 Abstracts Theses Exact Programming by Examples
 40 Sebban Partush Nimrod Eran Yahav2017 Abstracts Theses Differential Program Analysis
 41 Papyan Vardan Michael Elad2017 Abstracts Theses Global Versus Local Modeling of Signals
 42 Weissbrod Omer Dan Geiger

Rosset Saharon
2017 Abstracts  Linear and Generalized Linear Mixed Models for Genetic@Case Control Studies
 43 Meshman Yuri Eran Yahav2017 Abstracts Theses Extrapolation and Synthesis for Relaxed Memory Models
 44 Voloshin Ariella Shmuel Zaks

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

Daniel Keren
2017 Abstracts Theses Communication-Efficient Algorithms for Distributed@Stream Mining
 46 Sosnovich Adi Orna Grumberg2017 Abstracts Theses Finding Security Vulnerabilities in Network Protocols@Using Methods of Formal Verification
 47 Yaniv Jonathan Joseph Naor2017 Abstracts Theses Job Scheduling Mechanisms for Cloud Computing
 48 Sainz David Roy Friedman2017 Abstracts Theses Efficient Information Transfer Leveraging Wireless@D2D Communication
 49 Schwartzman Gregory Keren Censor-Hillel2017 Abstracts Theses Algorithms for Environments with Uncertainty
 50 Yehezkel Aviv Reuven Cohen2017 Abstracts Theses Generalizations of the Cardinality Estimation Problem and@Applications to Computer Networks
 51 Verner Uri Assaf Schuster

Avi Mendelson
2016 Abstracts Theses Processing Real-time Data Streams on GPU-based@Systems
 52 Weiss Mor Yuval Ishai2016 Abstracts Theses Secure Computation and Probabilistic Checking
 53 Sharov Artyom Ronny Roth2016 Abstracts Theses Coding for New Applications in Storage Media
 54 Ophir Boaz Michael Elad2016 Abstracts Theses Multi Scale Dictionary Learning for Sparse Representation of@Images
 55 Cohen Nachshon Erez Petrank2016 Abstracts Theses Memory Management: From Theory to Practice
 56 Tamir Gal Hadas Shachnai2016 Abstracts Theses Algorithms for Combinatorial Reoptimization
 57 Meller Yael Orna Grumberg

Karen Yorav
2016 Abstracts Theses Model Checking Techniques for Behavioral UML Models
 58 Moran Shay Amir Yehudayoff

Amir Shpilka
2016 Abstracts Theses Generalization and Simplification in Machine Learning
 59 Shnaiderman Lila Oded Shmueli2016 Abstracts Theses Parallelism in Querying and Storage for Large XML@and Graph Databases
 60 Libov Alexander Roy Friedman2016 Abstracts Theses Efficient Content Delivery in P2P Networks
 61 Genkin Daniel Yuval Ishai

Eran Tromer
2016 Abstracts Theses Secure Computation in Hostile Environments
 62 Tepper Naama Tomer Shlomi2016 Abstracts Theses Computational Methods for Metabolic Network Analysis of@Metabolite Levels and Flux
 63 Albagli-Kim Sivan Hadas Shachnai

Tamir Tamar
2016 Abstracts Theses Flexible Resource Allocation for Networks and Clouds
 64 Talyansky Roman Alon Itai2015 Abstracts Theses Sample Complexity of Training Markov Chains
 65 Einziger Gil Roy Friedman2015 Abstracts Theses Approximate Compact Data Structures and Applications
 66 Braginsky Anastasia Erez Petrank2015 Abstracts Theses Multi-Threaded Coordination Methods for Constructing@Non-Blocking Data Structures
 67 Chen Shahar Joseph Naor

Niv Buchbinder
2015 Abstracts Theses Online Learning and Competitive Analysis: a Unified@Approach
 68 Zehavi Meirav Ron Pinter

Hadas Shachnai
2015 Abstracts Theses Algorithms for Parameterized Graph Problems with@Applications to Biological Network Queries
 69 Carmeli Yaniv Eli Biham2015 Abstracts Theses On Bugs and Ciphers: New Techniques in Cryptanalysis
 70 Turek Javier S. Irad Yavneh

Michael Elad
2015 Abstracts Theses Topics in Sparse Representation Modeling and@Applications
 71 Goldhirsh Yonatan Eldar Fischer2015 Abstracts Theses Algorithms for Property Testing and Related Problems
 72 Timnat Shahar Erez Petrank2015 Abstracts Theses Practical Parallel Data Structures
 73 Cohen Meir Ilan Shimshoni

Ehud Rivlin
2015 Abstracts Theses Observing the Observers: Social Context Analysis Using@Computer Vision
 74 Hans Sandeep Hagit Attiya

Noam Rinetskey
2015 Abstracts Theses A Programming Language Approach to Transactional Memory@Consistency
 75 Dubrovina Karni Anastasia Ron Kimmel2015 Abstracts Theses Geometric Algorithms for Image and Surface Analysis
 76 Disenfeld Cynthia Shmuel Katz2015 Abstracts Theses Compositional Verification of Events and Responses
 77 Avigdor-Elgrabli Noa Yuval Rabani

Amir Shpilka
2014 Abstracts Theses New Algorithms for the Reordering Buffer Management@Problem
 78 Vizel Yakir Orna Grumberg2014 Abstracts Theses SAT-Based Model Checking Using Interpolation and@IC3
 79 Adler Amir Michael Elad

Yacov Hel-Or
2014 Abstracts  Applications of Sparse and Redundant Representations to@Subspace Clustering and Signal Modeling
 80 Treister Eran Irad Yavneh2014 Abstracts Theses Aggregation-based Adaptive Algebraic Multigrid for@Sparse Linear Systems
 81 Giryes Raja Michael Elad2014 Abstracts Theses Sparsity Models for Signals: Theory and Applications
 82 Amit Nadav Assaf Schuster

Dan Tsafrir
2014 Abstracts Theses Alleviating Virtualization Bottlenecks
 83 Kanizo Josef Hai Isaac Keslassy

David Hay
2014 Abstracts Theses Fast Decisions in High-Speed Networking Devices
 84 Ron-Zewi Noga Eliyahu Ben Sasson2014 Abstracts Theses Additivie Combinatorics Methods in Computational Complexity
 85 Nahir Amir Dan Raz

Ariel Orda
2014 Abstracts Theses Design and Management of Complex Distributed Systems:@Optimization and Game-Theoretic Perspectives
 86 Buzaglo Sarit Tuvi Etzion

Eitan Yaakobi
2014 Abstracts Theses Algebraic and Geometric Problems for Non-Volatile Memory
 87 Poranne Roi Chaim Craig Gotsman2014 Abstracts Theses Topics in Shape Optimization and Exploration
 88 Glazer Assaf Shaul Markovitch

Michael Lindenbaum
2014 Abstracts Theses Learning Methods for Modeling High-Dimensional Distributions
 89 Leibovich Limor Zohar Yakhini2014 Abstracts Theses Statistical Assessment of Enrichment in Ranked Lists -@Algorithms and Applications in Motif Search
 90 Rosman Guy Ron Kimmel2014 Abstracts Theses On Natural Parametrizations of Motion and Structure@Manifolds
 91 Haramaty Elad Amir Shpilka2014 Abstracts Theses Polynomial Testing and Related Questions
 92 Elor Yotam Alfred Bruckstein2013 Abstracts Theses Mathematical Analysis of Emergent Behavior in Multi-@Agent Systems
 93 Lavee Gal Ehud Rivlin2013 Abstracts Theses Understanding Events in Video
 94 Feldman Moran Joseph Naor2013 Abstracts Theses Maximization Problems with Submodular Objective Functions
 95 Grebla Guy Reuven Cohen2013 Abstracts Theses Scheduling Algorithms for OFDMA Broadband Wireless@Networks
 96 Steinfeld Israel Zohar Yakhini2013 Abstracts Theses Data Analysis in Studies Combining Multiple@High-Throughput Measurement Technologies
 97 Levin Roy Yaron Kanza2013 Abstracts Theses Geospatial Route Search
 98 Begleiter Ron Nir Ailon

Ran El-Yaniv
2013 Abstracts Theses Theory and Practice of Active Learning
 99 Wiener Yair Ran El-Yaniv2013 Abstracts Theses Theoretical Foundations of Selective Prediction
 100 Radinsky Kira Shaul Markovitch

Nir Ailon
2013 Abstracts Theses Learning to Predict the Future Using Web Knowledge and@Dynamics
 101 Levi Zohar Chaim Craig Gotsman2013 Abstracts Theses Techinques for Manipulating Volumetric and Polyhedral@3D Datasets
 102 Shalem Mirit Yaron Kanza

Ziv Bar-Yossef
2013 Abstracts Theses Combined Search over Heterogeneous Repositories
 103 Agmon Ben-Yehuda Orna Assaf Schuster2013 Abstracts Theses Efficient, Non-Cooperative Sharing of Computing Resources
 104 Lenz Keren Joseph Gil2013 Abstracts Theses Internal and External Mechanisms for Extending@Programming Languages
 105 Kotek Tomer Johann Makowsky2012 Abstracts Theses Definability of Combinatorial Functions
 106 Kogan Alex Roy Friedman2012 Abstracts Theses Utilizing Multiple Radio Interfaces in Wireless@Networks
 107 Viderman Michael Eliyahu Ben Sasson2012 Abstracts Theses Towards Lower Bounds on Locally Testable Codes
 108 Levin Anna Reuven Cohen2012 Abstracts Theses Mobility Management Schemes for Improving TCP Performance@in the Next Generation Wireless Networks
 109 Osherovich Eliyahu Irad Yavneh

Michael Zibulevsky
2012 Abstracts  Numerical Methods for Phase Retrieval
 110 Rubinstein Ron Michael Elad2012 Abstracts Theses Analysis and Synthesis Sparse Modeling Methods in Image@Processing
 111 Maman Itay Joseph Gil2012
 Formal Patterns in Java Programs
 112 Karnin Zohar Amir Shpilka2012 Abstracts Theses Derandomization of Algebraic and Geometric Problems in@Theoretical Computer Science
 113 Sagy Guy Assaf Schuster

Daniel Keren
2012 Abstracts Theses Geometric Methods for Analyzing and Monitoring@Large Distributed Data
 114 Salman Tamer Yoram Baram2012 Abstracts Theses Quantum Neural Computation and Associative Memory
 115 Raviv Dan Ron Kimmel2012 Abstracts Theses Invariant Metrics for Non-Rigid Shapes
 116 Paskin-Cherniavsky Anat Yuval Ishai

Eyal Kushilevitz
2012 Abstracts Theses Secure Computation with Minimal Interaction
 117 Shtok Joseph Michael Elad

Michael Zibulevsky
2012
 Adaptive Reconstruction Algorithms in Computed Tomography
 118 Volkovich Ilya Amir Shpilka2012 Abstracts Theses Polynomial Identity Testing and its Relation to some@Algebraic Problems
 119 Ronen Royi Oded Shmueli2012 Abstracts Theses Models and Methods for Advanced Web Applications@and Social Network Automation
 120 Yadgar Gala Assaf Schuster2012 Abstracts Theses Multilevel Cache Management Based on Application Hints
 121 Rozenberg Eyal Eldar Fischer2012 Abstracts Theses Lower Bounds and Structural Results in@Property Testing of Dense Combinatorial Structures
 122 Schwartz Roy Joseph Naor2012 Abstracts Theses Labelings and Partitions of Graphs
 123 Levy Tamir Ami Litman2011 Abstracts Theses On Merging Networks
 124 Vaxman Amir Gill Barequet2011 Abstracts Theses General Techniques for Interpolation, Reconstruction and@Morphing of Polyhedral Surfaces
 125 Friedman Arie Assaf Schuster2011 Abstracts Theses Privacy Preserving Data Mining
 126 Ben-Zvi Ido Yoram Moses2011 Abstracts Theses Causality, Knowledge and Coordination in Distributed@Systems
 127 Protter Matan Michael Elad2011 Abstracts Theses Processing Images Sequences without Motion Estimation
 128 Chen Rafael Eli Biham2011 Abstracts Theses New Techniques for Cryptanalysis of Cryptographic Hash@Functions
 129 Aizikowitz Tamar Michael Kaminski2011 Abstracts Theses Synchronized Alternating Pushdown Automata
 130 Hillel Eshcar Hagit Attiya2011 Abstracts Theses Concurrent Data Structures: Methodologies and@Inherent Limitations
 131 Averbouch Ilia Johann Makowsky2011 Abstracts Theses Completeness and Universality Properties of Graph@Invariants and Graph Polynomials
 132 Katz Emilia Shmuel Katz2011 Abstracts Theses Analysis and Detection of Interactions among Aspects
 133 Mazzawi Hanna Nader Bshouty2011 Abstracts Theses Reconstructing Graphs Using Edge Counting Queries
 134 Aleksandrowicz Gadi Gill Barequet2011 Abstracts Theses Enumeration of Lattice Animals
 135 Silberstein Natalia Tuvi Etzion2011 Abstracts Theses Coding Theory and Projective Spaces
 136 Sandler Roman Michael Lindenbaum2010 Abstracts Theses Nonnegative Matrix Factorization for Segmentation Analysis
 137 Gordon Noam Alfred Bruckstein

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

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

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

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

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

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

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

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

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

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

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

Shimon Even (Deceased)

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

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

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

Dan Raz

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

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

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

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

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

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

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

Assaf Schuster
2004 Abstracts  Distributed Symbolic Model Checking
 219 Wolff Ran Assaf Schuster2004 Abstracts  Data Mining in Large-Scale Distributed Systems
 220 Karni Zachi Chaim Craig Gotsman2004 Abstracts  3D Mesh Processing Using Spectral Methods
 221 Zibin Yoav Joseph Gil2004 Abstracts  Efficient Algorithms for the Runtime Environment of Object@Oriented Languages
 222 Rusakov Dmitry Dan Geiger2004 Abstracts  Bayesian Networks: Model Selection and Applications
 223 Fishelson Ma'ayan Dan Geiger2004 Abstracts  Efficient Genetic Linkage Computations for General Pedigrees
 224 Chuzhoy Julia Joseph Naor2004 Abstracts  Hardness of Approximation and New Approximability Classes
 225 Berengolts Alexander Michael Lindenbaum2004 Abstracts  Quantitative Approach for Characterizing the Difficulties@of Visual Tasks
 226 Schwartz Moshe Tuvi Etzion2004 Abstracts  Tilings, Anticodes, and Multidimensional Coding
 227 Snir Sagi Ben-Zion Chor2004 Abstracts  Computational Issues in Phylogenetic Reconstruction:@Analytic Maximum Likelihood Solutions, and Convex@Recoloring
 228 Rawitz Dror Reuven Bar-Yehuda2003 Abstracts  Combinatorial and LP-Based Methods for Designing@Approximation Algorithms
 229 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
 230 Goldenberg Roman Ehud Rivlin

Ron Kimmel
2003 Abstracts  Motion Based Recognition
 231 Zlochin Mark Yoram Baram2003 Abstracts  Adaptive Monte Carlo Methods for Bayesian Inference
 232 Lempel Ronny Shlomo Moran2003 Abstracts  Link Structure Analysis and Query Result Caching in Web@Search Engines
 233 Sihman Marcelo Shmuel Katz2003 Abstracts  Language and Proof Support for Superimpositions and@Aspects
 234 Surazhsky Vitaly Chaim Craig Gotsman2003 Abstracts  Morphing Piecewise Linear Shapes Using Convex@Representations
 235 Glusman Marcelo Shmuel Katz2003 Abstracts  Mechanizing Proofs of Computation Equivalence
 236 Resmerita Stefan Michael Heymann

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

Yuval Rabani
2001
 High Profit for Low Cost: Approximation Algorithms in@Mode-Weighted Graphs
 249 Nelken Ran Nissim Francez2001 Abstracts  Questions, Time and Natural Language Interfaces to Temporal@Databases
 250 Eilam Tamar Shlomo Moran

Shmuel Zaks
2000
 Cost versus Quality: Tradeoffs in Communication Networks
 251 Yorav Karen Orna Grumberg2000
 Exploiting Syntactic Structure for Automatic@Verification
 252 Kupershtok Ahron Shimon Even (Deceased)2000
 Some Improved Layouts for Interconnection Networks
 253 Ishai Yuval Hugo Krawczyk

Eyal Kushilevitz
2000
 Private Computation and Correlated Randomness
 254 Rotics Udi Johann Makowsky1999
 Efficient Algorithms for Generally Intractable Graph@Problems Restricted to Specific Classes of Graphs
 255 Lorenz David Joseph Gil1999
 Compilation of Source Code into Object-Oriented Patterns
 256 Ravve Elena Johann Makowsky1999
 Decomposition of Databases with Translation Schemes
 257 Itzkovitz Ayal Assaf Schuster1999
 Distributed Shared Memory: Bridging the Granularity Gap
 258 Wagner Israel Alfred Bruckstein

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

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

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

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

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

Alon Itai
1993
 Multilingual Comparison: Automatic Resolution of Ambiguitie
 284 Pnueli Yachin Alfred Bruckstein1993
 Halftone Methods: Beyond Grid Based Methods
 285 Shifroni Eyal Uzi Ornan

?
1993
 Flexible User Modeling in Inter Active Guidence System
 286 Schwarz Avner Daniel Berry

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

Amos Israel
1992
 Self Stabilization of Dynamic Systems
 289 Biran Ofer Shmuel Zaks

Shlomo Moran
1991
 Distributed Tasks in the Presence of Fail-Stop Failures
 290 Sergio Raysbaum Missing advisors 1991
 On the Performance of Distributed Networks Controlled by a
 291 Sagiv Shmuel Michael Rodeh

Nissim Francez
1991
 Circular Attribute Grammars and Their Application to Data
 292 Herzberg Amir Oded Goldreich

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

?
1991
 Keeping Linear Self Organizing Lists Under Counter Schemes
 294 Raysbaum Sergio Shimon Even (Deceased)1991
 On the Performance of Distributed Networks Controlled by a
 295 Kushilevitz Eyal Ben-Zion Chor1991
 Privacy in Distributed Systems
 296 Matsliach Gabriel Oded Shmueli1991
 Design and Evaluation of Storage Stractures for Modern
 297 Cohen Reuven Adrian Segall1991
 Distributed Protocols for the Mac Loyer of Ring Networus
 298 Krawczxk Hugo Oded Goldreich1990
 Pseudorandomness and Compuiati Onal Difficulty
 299 Wolfstahl Yaron Shlomo Moran

Shlomit Pinter
1989
 Algorithms for Graph Embedding and Covering
 300 Bshouty Nader Michael Kaminski1989
 Bounds on Multiplicative Complexity of Sets of Bilinear Form
 301 Benedek Gyuri Alon Itai1989
 Learnability of Concept Classes by Sampling
 302 Maarek Yoelle Daniel Berry1989
 Vsing Structural Information for Managing Very Large
 303 Taubenfeld Gadi Shlomo Moran

Shmuel Katz
1988
 An Axiomatic Approach for Proving Impossibility Results in


303 abstract theses title found in the Department Computer Science
Last updated on: Thursday ,May 28, 2020