הטכניון מכון טכנולוגי לישראל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 Kolchinskyy Ilya Assaf Schuster2019 Abstracts  Lazy Evaluation Methods for Complex Event Processing
 2 Massarwa Fady Gershon Elber2019 Abstracts  Trivariate volumes - Algorithms and Applications
 3 Yankelevsky Yael Michael Elad2019 Abstracts  Sparsity-Based Processing of Graph Structured Data
 4 Vitkin Edward Zohar Yakhini2019 Abstracts  Computational Aspects of Metabolic Processes:@Modeling, Analysis and Applications
 5 Dar Yehuda Alfred Bruckstein

Michael Elad
2019 Abstracts  New Methods for Signal Compression and Their Relations to@Restoration Problems
 6 Kutiel Gilad Roy Schwartz

Dror Rawitz
2019 Abstracts  Approximation Algorithms for Submodular Maximization@and Network Design Problems
 7 Katz Omer Eran Yahav2019 Abstracts  Statistical Approaches to Reversee Engineering
 8 Geva Amir Ehud Rivlin

Hector Rotstein
2019 Abstracts  Sensory Routines for Indoor Autonomous Quad-Copter
 9 Shalah Mira Gill Barequet2018 Abstracts  Formulae and Growth Rates of Animals on Cubical and@Triangular Lattices
 10 Omari Adi Eran Yahav

Sharon Shoham-Buchbind
2018 Abstracts  Scalable Data Extraction via Program Synthesis
 11 Kassner Yaron Roy Friedman2018 Abstracts  Frugal Counting
 12 Sulam Jeremias Michael Elad2018 Abstracts  From Local to Global Sparse Modeling
 13 Abasi Hassan Nader Bshouty2018 Abstracts  Exact Learning of Monotone Functions from Membership@Queries
 14 Horovitz Michal Eitan Yaakobi

Tuvi Etzion
2018 Abstracts  Coding Schemes for Non-Volatile Memories
 15 Lalouche Gal Joseph Gil2018 Abstracts  The Consistency, Independence and Validity of Software@Complexity Metrics
 16 Sela Matan Ron Kimmel2018 Abstracts  Shape Synthesis and Analysis by Deformable Models
 17 Shtern Alon Ron Kimmel2018 Abstracts  Shape Correspondence using Spectral Methods and Deep@Learning
 18 Lazerson Arnon Assaf Schuster2018 Abstracts  Efficient Monitoring of Distributed Data Streams
 19 Gilad Eran Yoav Etsion2018 Abstracts  Parallel Execution using Memory Versioning and Renaming
 20 Ahn Eunyong Tomer Shlomi2018 Abstracts  Characterization of Cellular Metabolism throughout the@Cell Cycle in Cancer: An Integrated Experimental-@Computational Approach
 21 Ben Bassat Ran Roy Friedman2018 Abstracts  Big Data Methods for Efficient Network Monitoring
 22 Raviv Maya Hagit Attiya

Adam Morrison
2018 Abstracts  Theoretical and Experimental Methods for Concurrent@Search Trees
 23 Schwartzman Gregory Keren Censor-Hillel2017 Abstracts Theses Algorithms for Environments with Uncertainty
 24 Kaplan Yohay Eliyahu Ben Sasson2017 Abstracts Theses Multi-Variate Abstractions of Algebraic Geometry Codes,@with Applications
 25 Meshman Yuri Eran Yahav2017 Abstracts Theses Extrapolation and Synthesis for Relaxed Memory Models
 26 Drachsler Cohen Dana Eran Yahav2017
 Exact Programming by Examples
 27 Raviv Netanel Tuvi Etzion2017 Abstracts Theses Subspace Codes and Distributed Storage Codes
 28 Azencot Omri Mirela Ben-Chen2017 Abstracts  Operator Representations in Geometry Processing
 29 Papyan Vardan Michael Elad2017 Abstracts Theses Global Versus Local Modeling of Signals
 30 Sainz David Roy Friedman2017 Abstracts Theses Efficient Information Transfer Leveraging Wireless@D2D Communication
 31 Sosnovich Adi Orna Grumberg2017 Abstracts Theses Finding Security Vulnerabilities in Network Protocols@Using Methods of Formal Verification
 32 Gabel Moshe Assaf Schuster

Daniel Keren
2017 Abstracts Theses Communication-Efficient Algorithms for Distributed@Stream Mining
 33 Bentov Iddo Eliyahu Ben Sasson2017 Abstracts Theses Bitcoin and Secure Computation with Money
 34 Yaniv Jonathan Joseph Naor2017 Abstracts Theses Job Scheduling Mechanisms for Cloud Computing
 35 Yehezkel Aviv Reuven Cohen2017 Abstracts  Generalizations of the Cardinality Estimation Problem and@Applications to Computer Networks
 36 Voloshin Ariella Shmuel Zaks

Hadas Shachnai
2017 Abstracts Theses Flexible Resource Allocation for Network Problems
 37 Sebban Partush Nimrod Eran Yahav2017 Abstracts Theses Differential Program Analysis
 38 Weissbrod Omer Dan Geiger

Rosset Saharon
2017 Abstracts  Linear and Generalized Linear Mixed Models for Genetic@Case Control Studies
 39 Paz Ami Keren Censor-Hillel2017 Abstracts  Distributed Distance Computation and Related Topics
 40 Weiss Mor Yuval Ishai2016 Abstracts Theses Secure Computation and Probabilistic Checking
 41 Tamir Gal Hadas Shachnai2016 Abstracts Theses Algorithms for Combinatorial Reoptimization
 42 Shnaiderman Lila Oded Shmueli2016 Abstracts Theses Parallelism in Querying and Storage for Large XML@and Graph Databases
 43 Tepper Naama Tomer Shlomi2016 Abstracts Theses Computational Methods for Metabolic Network Analysis of@Metabolite Levels and Flux
 44 Genkin Daniel Yuval Ishai

Eran Tromer
2016 Abstracts Theses Secure Computation in Hostile Environments
 45 Ophir Boaz Michael Elad2016 Abstracts Theses Multi Scale Dictionary Learning for Sparse Representation of@Images
 46 Cohen Nachshon Erez Petrank2016 Abstracts Theses Memory Management: From Theory to Practice
 47 Moran Shay Amir Yehudayoff

Amir Shpilka
2016 Abstracts Theses Generalization and Simplification in Machine Learning
 48 Albagli-Kim Sivan Hadas Shachnai

Tamir Tamar
2016 Abstracts Theses Flexible Resource Allocation for Networks and Clouds
 49 Libov Alexander Roy Friedman2016 Abstracts Theses Efficient Content Delivery in P2P Networks
 50 Verner Uri Assaf Schuster

Avi Mendelson
2016 Abstracts Theses Processing Real-time Data Streams on GPU-based@Systems
 51 Meller Yael Orna Grumberg

Karen Yorav
2016 Abstracts Theses Model Checking Techniques for Behavioral UML Models
 52 Sharov Artyom Ronny Roth2016 Abstracts Theses Coding for New Applications in Storage Media
 53 Zehavi Meirav Ron Pinter

Hadas Shachnai
2015 Abstracts Theses Algorithms for Parameterized Graph Problems with@Applications to Biological Network Queries
 54 Dubrovina Karni Anastasia Ron Kimmel2015 Abstracts Theses Geometric Algorithms for Image and Surface Analysis
 55 Einziger Gil Roy Friedman2015 Abstracts Theses Approximate Compact Data Structures and Applications
 56 Goldhirsh Yonatan Eldar Fischer2015 Abstracts Theses Algorithms for Property Testing and Related Problems
 57 Braginsky Anastasia Erez Petrank2015 Abstracts Theses Multi-Threaded Coordination Methods for Constructing@Non-Blocking Data Structures
 58 Carmeli Yaniv Eli Biham2015 Abstracts Theses On Bugs and Ciphers: New Techniques in Cryptanalysis
 59 Talyansky Roman Alon Itai2015 Abstracts Theses Sample Complexity of Training Markov Chains
 60 Cohen Meir Ilan Shimshoni

Ehud Rivlin
2015 Abstracts Theses Observing the Observers: Social Context Analysis Using@Computer Vision
 61 Chen Shahar Joseph Naor

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

Noam Rinetskey
2015 Abstracts Theses A Programming Language Approach to Transactional Memory@Consistency
 63 Turek Javier S. Irad Yavneh

Michael Elad
2015 Abstracts Theses Topics in Sparse Representation Modeling and@Applications
 64 Disenfeld Cynthia Shmuel Katz2015 Abstracts Theses Compositional Verification of Events and Responses
 65 Timnat Shahar Erez Petrank2015 Abstracts Theses Practical Parallel Data Structures
 66 Avigdor-Elgrabli Noa Yuval Rabani

Amir Shpilka
2014 Abstracts Theses New Algorithms for the Reordering Buffer Management@Problem
 67 Adler Amir Michael Elad

Yacov Hel-Or
2014 Abstracts  Applications of Sparse and Redundant Representations to@Subspace Clustering and Signal Modeling
 68 Leibovich Limor Zohar Yakhini2014 Abstracts Theses Statistical Assessment of Enrichment in Ranked Lists -@Algorithms and Applications in Motif Search
 69 Poranne Roi Chaim Craig Gotsman2014 Abstracts Theses Topics in Shape Optimization and Exploration
 70 Giryes Raja Michael Elad2014 Abstracts Theses Sparsity Models for Signals: Theory and Applications
 71 Amit Nadav Assaf Schuster

Dan Tsafrir
2014 Abstracts Theses Alleviating Virtualization Bottlenecks
 72 Buzaglo Sarit Tuvi Etzion

Eitan Yaakobi
2014 Abstracts Theses Algebraic and Geometric Problems for Non-Volatile Memory
 73 Treister Eran Irad Yavneh2014 Abstracts Theses Aggregation-based Adaptive Algebraic Multigrid for@Sparse Linear Systems
 74 Haramaty Elad Amir Shpilka2014 Abstracts Theses Polynomial Testing and Related Questions
 75 Vizel Yakir Orna Grumberg2014 Abstracts Theses SAT-Based Model Checking Using Interpolation and@IC3
 76 Kanizo Josef Hai Isaac Keslassy

David Hay
2014 Abstracts Theses Fast Decisions in High-Speed Networking Devices
 77 Rosman Guy Ron Kimmel2014 Abstracts Theses On Natural Parametrizations of Motion and Structure@Manifolds
 78 Glazer Assaf Shaul Markovitch

Michael Lindenbaum
2014 Abstracts Theses Learning Methods for Modeling High-Dimensional Distributions
 79 Ron-Zewi Noga Eliyahu Ben Sasson2014 Abstracts Theses Additivie Combinatorics Methods in Computational Complexity
 80 Nahir Amir Dan Raz

Ariel Orda
2014 Abstracts Theses Design and Management of Complex Distributed Systems:@Optimization and Game-Theoretic Perspectives
 81 Elor Yotam Alfred Bruckstein2013 Abstracts Theses Mathematical Analysis of Emergent Behavior in Multi-@Agent Systems
 82 Radinsky Kira Shaul Markovitch

Nir Ailon
2013 Abstracts Theses Learning to Predict the Future Using Web Knowledge and@Dynamics
 83 Steinfeld Israel Zohar Yakhini2013 Abstracts Theses Data Analysis in Studies Combining Multiple@High-Throughput Measurement Technologies
 84 Lenz Keren Joseph Gil2013 Abstracts Theses Internal and External Mechanisms for Extending@Programming Languages
 85 Agmon Ben-Yehuda Orna Assaf Schuster2013 Abstracts Theses Efficient, Non-Cooperative Sharing of Computing Resources
 86 Feldman Moran Joseph Naor2013 Abstracts Theses Maximization Problems with Submodular Objective Functions
 87 Levin Roy Yaron Kanza2013 Abstracts Theses Geospatial Route Search
 88 Begleiter Ron Nir Ailon

Ran El-Yaniv
2013 Abstracts Theses Theory and Practice of Active Learning
 89 Grebla Guy Reuven Cohen2013 Abstracts Theses Scheduling Algorithms for OFDMA Broadband Wireless@Networks
 90 Lavee Gal Ehud Rivlin2013 Abstracts Theses Understanding Events in Video
 91 Shalem Mirit Yaron Kanza

Ziv Bar-Yossef
2013 Abstracts Theses Combined Search over Heterogeneous Repositories
 92 Levi Zohar Chaim Craig Gotsman2013 Abstracts Theses Techinques for Manipulating Volumetric and Polyhedral@3D Datasets
 93 Wiener Yair Ran El-Yaniv2013 Abstracts Theses Theoretical Foundations of Selective Prediction
 94 Ronen Royi Oded Shmueli2012 Abstracts Theses Models and Methods for Advanced Web Applications@and Social Network Automation
 95 Osherovich Eliyahu Irad Yavneh

Michael Zibulevsky
2012 Abstracts  Numerical Methods for Phase Retrieval
 96 Yadgar Gala Assaf Schuster2012 Abstracts Theses Multilevel Cache Management Based on Application Hints
 97 Shtok Joseph Michael Elad

Michael Zibulevsky
2012
 Adaptive Reconstruction Algorithms in Computed Tomography
 98 Kotek Tomer Johann Makowsky2012 Abstracts Theses Definability of Combinatorial Functions
 99 Maman Itay Joseph Gil2012
 Formal Patterns in Java Programs
 100 Paskin-Cherniavsky Anat Yuval Ishai

Eyal Kushilevitz
2012 Abstracts Theses Secure Computation with Minimal Interaction
 101 Karnin Zohar Amir Shpilka2012 Abstracts Theses Derandomization of Algebraic and Geometric Problems in@Theoretical Computer Science
 102 Salman Tamer Yoram Baram2012 Abstracts Theses Quantum Neural Computation and Associative Memory
 103 Raviv Dan Ron Kimmel2012 Abstracts Theses Invariant Metrics for Non-Rigid Shapes
 104 Sagy Guy Assaf Schuster

Daniel Keren
2012 Abstracts Theses Geometric Methods for Analyzing and Monitoring@Large Distributed Data
 105 Kogan Alex Roy Friedman2012 Abstracts Theses Utilizing Multiple Radio Interfaces in Wireless@Networks
 106 Rozenberg Eyal Eldar Fischer2012 Abstracts Theses Lower Bounds and Structural Results in@Property Testing of Dense Combinatorial Structures
 107 Volkovich Ilya Amir Shpilka2012 Abstracts Theses Polynomial Identity Testing and its Relation to some@Algebraic Problems
 108 Viderman Michael Eliyahu Ben Sasson2012 Abstracts Theses Towards Lower Bounds on Locally Testable Codes
 109 Levin Anna Reuven Cohen2012 Abstracts Theses Mobility Management Schemes for Improving TCP Performance@in the Next Generation Wireless Networks
 110 Rubinstein Ron Michael Elad2012 Abstracts Theses Analysis and Synthesis Sparse Modeling Methods in Image@Processing
 111 Schwartz Roy Joseph Naor2012 Abstracts Theses Labelings and Partitions of Graphs
 112 Protter Matan Michael Elad2011 Abstracts Theses Processing Images Sequences without Motion Estimation
 113 Hillel Eshcar Hagit Attiya2011 Abstracts Theses Concurrent Data Structures: Methodologies and@Inherent Limitations
 114 Vaxman Amir Gill Barequet2011 Abstracts Theses General Techniques for Interpolation, Reconstruction and@Morphing of Polyhedral Surfaces
 115 Friedman Arie Assaf Schuster2011 Abstracts Theses Privacy Preserving Data Mining
 116 Chen Rafael Eli Biham2011 Abstracts Theses New Techniques for Cryptanalysis of Cryptographic Hash@Functions
 117 Silberstein Natalia Tuvi Etzion2011 Abstracts Theses Coding Theory and Projective Spaces
 118 Levy Tamir Ami Litman2011 Abstracts Theses On Merging Networks
 119 Averbouch Ilia Johann Makowsky2011 Abstracts Theses Completeness and Universality Properties of Graph@Invariants and Graph Polynomials
 120 Katz Emilia Shmuel Katz2011 Abstracts Theses Analysis and Detection of Interactions among Aspects
 121 Ben-Zvi Ido Yoram Moses2011 Abstracts Theses Causality, Knowledge and Coordination in Distributed@Systems
 122 Mazzawi Hanna Nader Bshouty2011 Abstracts Theses Reconstructing Graphs Using Edge Counting Queries
 123 Aizikowitz Tamar Michael Kaminski2011 Abstracts Theses Synchronized Alternating Pushdown Automata
 124 Aleksandrowicz Gadi Gill Barequet2011 Abstracts Theses Enumeration of Lattice Animals
 125 Gordon Noam Alfred Bruckstein

Israel Wagner
2010 Abstracts Theses Fundamental Problems in the Theory of Multi-Agent Robotics
 126 Bercovici Sivan Dan Geiger2010 Abstracts Theses Mapping by Admixture Linkage Disequilibrium: New Criteria@and Algorithms
 127 Kapchits Boris Reuven Cohen2010 Abstracts Theses On the Optimization of Wake-Up Frequencies in Sensor@Networks
 128 Sharon Itai Oded Beja

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

Mhchael Rudzesky
2010 Abstracts Theses Dimensionality Reduction for 3D Articulated Body Tracking@and Human Action Analysis
 130 Sandler Roman Michael Lindenbaum2010 Abstracts Theses Nonnegative Matrix Factorization for Segmentation Analysis
 131 Silberstein Mark Dan Geiger

Assaf Schuster
2010 Abstracts Theses A Distributed System for Genetic Linkage Analysis
 132 Censor Hillel Keren Hagit Attiya2010 Abstracts Theses Probabilistic Methods in Distributed Computing
 133 Altshuler Yaniv Alfred Bruckstein

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

Assaf Schuster
2010 Abstracts Theses New Approaches to Model Checking and to 3-Valued Abstraction@and Refinement
 135 Mishali Oren Shmuel Katz2010 Abstracts Theses Using Aspects to Support the Software Process
 136 Holtzman Gazit Michal Irad Yavneh2010 Abstracts  Multi Level Methods for Data Completion
 137 Weber Ofir Gershon Elber

Chaim Craig Gotsman
2010 Abstracts Theses Hybrid Methods for Interactive Shape Manipulation
 138 Tan Tony Michael Kaminski2009 Abstracts Theses Pebble Automata for Data Languages: Separation,@Decidability and Undecidability
 139 Shagin Konstantin Assaf Schuster2009 Abstracts Theses Execution of Monolithic Java Programs on Large@Non-Dedicated Collections of Commodity@Workstations
 140 Ben-Chen Mirela Chaim Craig Gotsman2009 Abstracts Theses Discrete Geometric Algorithms for Mesh Processing
 141 Landau Alexander Reuven Cohen2009 Abstracts Theses Efficient Schemes for Estimating the Number of Affected@Nodes in Very Large Networks
 142 Engelberg Roee Joseph Naor2009 Abstracts Theses Stability in Multi-Agent Environments and Approximation@Algorithms for NP-Hard Graph Problems
 143 Shoham Buchbinder Sharon Orna Grumberg2009 Abstracts Theses Abstraction-Refinement and Modularity in Mu-Calculus@Model Checking
 144 Gronau Ilan Shlomo Moran2009 Abstracts Theses Reconstructing Phylogenetic Trees from Noisy Metrics
 145 Kliot Gabriel Roy Friedman2009 Abstracts Theses Probabilistic Middleware Services in Wireless Mobile@Ad-Hoc Networks
 146 Tal Ido Ronny Roth

Tuvi Etzion
2009 Abstracts Theses Coding and Bounds for Two-Dimensional Constraints
 147 Kravtsov Valentin Assaf Schuster2009 Abstracts Theses Service-Based Resource Brokering for Grid-Based Applications
 148 Blayvas Ilya Ron Kimmel

Alfred Bruckstein
2009 Abstracts Theses On Accuracy Analysis of 3D Scanners, Binarization,@and Machine Learning
 149 Begelman Grigory Ehud Rivlin

Michael Zibulevsky
2009 Abstracts Theses Processing and Interpretation of Biological Microscopical@Images
 150 Sharfman Izchak Assaf Schuster2009 Abstracts Theses A Geometric Approach to Detecting Global Properties@over Distributed Data
 151 Frishman Yaniv Ayellet Tal2009 Abstracts Theses Graph Drawing Algorithms in Information Visualization
 152 Pechyony Dmitry Ran El-Yaniv2009 Abstracts Theses Theory and Practice of Transductive Learning
 153 Nakibly Gavriel Reuven Cohen2008 Abstracts Theses Traffic Engineering in IP and MPLS Networks
 154 Buchbinder Niv Joseph Naor2008 Abstracts Theses Designing Competitive Online Algorithms@via a Primal-Dual Approach
 155 Katzir Liran Reuven Cohen2008 Abstracts Theses Scheduling Algorithms for Efficient Delivery of Synchronous@Traffic in Wireless Access Networks
 156 Esmeir Saher Shaul Markovitch2008 Abstracts Theses Anytime Algorithms for Learning Anytime Classifiers
 157 Drabkin Vadim Roy Friedman2008 Abstracts Theses Dependable Communication Protocols in Ad-Hoc@Networks
 158 Barkol Omer Yuval Ishai

Ronny Roth
2008 Abstracts Theses Locally Decodable Codes and Their Applications
 159 Leichter Ido Ehud Rivlin

Michael Lindenbaum
2008 Abstracts Theses Visual Tracking in a General Context via Tracker@Combination and Low-Level Cues
 160 Hanniel Iddo Gershon Elber2008 Abstracts Theses Robust Arrangements and Voronoi Diagrams of Free-form Curves@and Surfaces
 161 Rokhlenko Oleg Ron Pinter2008 Abstracts Theses Algorithms for Labeled Graph Matching with Applications@to Systems Biology
 162 Ben Avi Gilad Yoad Winter2008 Abstracts Theses Types and Meanings in Intensionality, Selection and@Quantifier Scope
 163 Amzallag David Joseph Naor

Dan Raz
2008 Abstracts Theses Approximation Algorithms For Optimization Problems@in Future Cellular Networks
 164 Matsliah Arie Eldar Fischer2008 Abstracts Theses Property Testing and Combinatorial Approximation
 165 Cohen Rami Dan Raz2008 Abstracts Theses Internet Topology: From the Discovery Process to the Real@Picture
 166 Lerner Ronen Ehud Rivlin2008 Abstracts Theses Constrained Pose and Motion Estimation
 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 Zemach Tamar Marius Ungarish2008 Abstracts Theses Simulations of Non-Homogeneous Flow Fields Subject to@Rotation and Gravity Effects
 170 Artishchev-Zapolotsk Maria Yefim Dinitz

Shimon Even (Deceased)

Ami Litman
2008 Abstracts Theses Compact Layouts for Some Interconnection Networks
 171 Scalosub Gabriel Joseph Naor

Dan Raz

Adi Rosen
2007 Abstracts Theses Routing and Scheduling Problems in Data Networks
 172 Skachek Vitaly Ronny Roth2007 Abstracts Theses Low-Density Parity-Check Codes: Constructions and Bounds
 173 Bronstein Michael Ron Kimmel2007 Abstracts Theses Isometry-Invariant Surface Matching:@Numerical Algorithms and Applications
 174 Bronstein Alexander Ron Kimmel2007 Abstracts Theses Numerical Geometry of Non-Rigid Objects:@Embedding Problems
 175 Gontmakher Alex Assaf Schuster2007 Abstracts Theses An Architecture and Programming Model for Extremely@Fine Grain Parallelization
 176 Nir Tal Alfred Bruckstein2007 Abstracts Theses Topics in Motion Analysis
 177 Zohar Ron Dan Geiger2007 Abstracts Theses Flow Conservation Group Tracking
 178 Wexler Ydo Dan Geiger2007 Abstracts Theses Variational Approximations for Probabilistic Graphical@Models
 179 Moran Shiri Ami Litman2007 Abstracts Theses Rate Based Sequences and Smooth Scheduling
 180 Cohen Tal Joseph Gil2007 Abstracts Theses Applying Aspect-Oriented Software Development to Middleware@Frameworks
 181 Avraham Tamar Michael Lindenbaum2007 Abstracts Theses Visual Attention Processes based on Stochastic Models:@Algrorithms and Bounds
 182 Lipson Doron Zohar Yakhini2007 Abstracts Theses Computational Aspects of DNA Copy Number Measurement
 183 Koren Yair Irad Yavneh2007 Abstracts Theses Multiscale Methods for Image Processing
 184 Hay David Hagit Attiya2007 Abstracts Theses Competitive Evaluation of Switch Architectures
 185 Applebaum Benny Yuval Ishai

Eyal Kushilevitz
2007 Abstracts Theses Cryptography in Constant Parallel Time
 186 Kenigsberg Dan Tal Mor2007 Abstracts Theses Classicality and Quantumness in Quantum Information@Processing
 187 Ackerman Eyal Gill Barequet

Ron Pinter
2006 Abstracts  Counting Problems for Geometric Structures: Rectangulations,@Floorplans, and Quasi-Planar Graphs
 188 Hadad Erez Roy Friedman2006 Abstracts  Architectures for Fault-Tolerant Middleware Services
 189 Paz Harel Erez Petrank

Hillel Kolodner
2006 Abstracts  Efficient Memory Management for Servers
 190 Schein Sagi Gershon Elber2006 Abstracts  Trivariate Functions in Solid Modeling, Medical Imaging@and Computer Graphics
 191 Ben-Zaken Zilberstei Chaya Zohar Yakhini2006 Abstracts  Spotting Regulatory Elements by Micro-Arrays
 192 Spira Alon Ron Kimmel2006 Abstracts  Geometric Image Evolution on Parametric Surfaces
 193 Salom Mordohay Shmuel Zaks2006 Abstracts  Optimal Design Problems for Optical Networks
 194 Melamed Roie Idit Keidar2006 Abstracts  Scalable Services for Dynamic Wide-Area Environments
 195 Gabrilovich Evgeniy Shaul Markovitch2006 Abstracts Theses Feature Generation for Textual Information Retrieval@Using World Knowledge
 196 Aharon Michal Michael Elad2006 Abstracts Theses Overcomplete Dictionaries for Sparse Representation of@Signals
 197 Barkan Elad Pinhas Eli Biham2006 Abstracts  Cryptanalysis of Ciphers and Protocols
 198 Halevy Shirley Eyal Kushilevitz2006 Abstracts  Topics in Property-Testing
 199 Soldea Octavian Ehud Rivlin

Gershon Elber
2006 Abstracts  Functional Reasoning in Image Understanding
 200 Dunkelman Orr Eli Biham2006 Abstracts  Techniques for Cryptanalysis of Block Ciphers
 201 Swidan Firas Ron Pinter2006 Abstracts  Comparative Genomics: from Accurate Mapping to@Sorting by Weighted Reversals and Repeat-Annotated@Phylogenies
 202 Greenspan Gideon Dov Dan Geiger2005 Abstracts  A Bayesian Network Model of Haplotype Block Variation:@Inference and Application
 203 Yeger-Lotem Esti Ron Pinter

Hanah Margalit
2005 Abstracts  Computational Analysis of Integrated Networks of@Transcription Regulation and Protein-Protein@Interactions
 204 Sazbon Didi Ehud Rivlin2005 Abstracts  Sensory Based Navigation Motivated by Biological Systems
 205 Nossenson Ronit Hagit Attiya2005 Abstracts  Stochastic Models for Web Servers
 206 Finkelstein Lev Shaul Markovitch

Ehud Rivlin
2005 Abstracts  Offline Scheduling of Anytime Algorithms
 207 Chuzhoy Julia Joseph Naor2004 Abstracts  Hardness of Approximation and New Approximability Classes
 208 Snir Sagi Ben-Zion Chor2004 Abstracts  Computational Issues in Phylogenetic Reconstruction:@Analytic Maximum Likelihood Solutions, and Convex@Recoloring
 209 Fishelson Ma'ayan Dan Geiger2004 Abstracts  Efficient Genetic Linkage Computations for General Pedigrees
 210 Berengolts Alexander Michael Lindenbaum2004 Abstracts  Quantitative Approach for Characterizing the Difficulties@of Visual Tasks
 211 Wolff Ran Assaf Schuster2004 Abstracts  Data Mining in Large-Scale Distributed Systems
 212 Karni Zachi Chaim Craig Gotsman2004 Abstracts  3D Mesh Processing Using Spectral Methods
 213 Heyman Tamir Orna Grumberg

Assaf Schuster
2004 Abstracts  Distributed Symbolic Model Checking
 214 Schwartz Moshe Tuvi Etzion2004 Abstracts  Tilings, Anticodes, and Multidimensional Coding
 215 Zibin Yoav Joseph Gil2004 Abstracts  Efficient Algorithms for the Runtime Environment of Object@Oriented Languages
 216 Rusakov Dmitry Dan Geiger2004 Abstracts  Bayesian Networks: Model Selection and Applications
 217 Resmerita Stefan Michael Heymann

Ehud Rivlin
2003 Abstracts  A Multi-Agent Approach to Control of Multi-Robotic@Systems
 218 Zlochin Mark Yoram Baram2003 Abstracts  Adaptive Monte Carlo Methods for Bayesian Inference
 219 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
 220 Glusman Marcelo Shmuel Katz2003 Abstracts  Mechanizing Proofs of Computation Equivalence
 221 Lempel Ronny Shlomo Moran2003 Abstracts  Link Structure Analysis and Query Result Caching in Web@Search Engines
 222 Surazhsky Vitaly Chaim Craig Gotsman2003 Abstracts  Morphing Piecewise Linear Shapes Using Convex@Representations
 223 Rawitz Dror Reuven Bar-Yehuda2003 Abstracts  Combinatorial and LP-Based Methods for Designing@Approximation Algorithms
 224 Sihman Marcelo Shmuel Katz2003 Abstracts  Language and Proof Support for Superimpositions and@Aspects
 225 Goldenberg Roman Ehud Rivlin

Ron Kimmel
2003 Abstracts  Motion Based Recognition
 226 Felstaine Eyal Reuven Cohen2002 Abstracts  Scalable Routing in Hierarchical ATM Networks
 227 Bustan Doron Orna Grumberg2002 Abstracts  Equivalence-Based Reductions and Checking for Preorders
 228 Agbaria Adnan Roy Friedman2002 Abstracts  Reliability in High Performance Distributed Computing@Systems
 229 Vitenberg Roman Roy Friedman2002 Abstracts  Internet Wide Caching of Distributed Objects
 230 Becker Ann Dan Geiger2002
 Inference Algorithms with Application to Genetic@Analysis
 231 Ruckenstein Gitit Ronny Roth2002 Abstracts  Error Decoding Strategies for Algebraic Codes
 232 Tamir Tamar Hadas Shachnai2001 Abstracts  Class-Constrained Resource Allocation Problems
 233 Gilboa Niv Ben-Zion Chor2001 Abstracts  Topics in Private Information Retrieval
 234 Nelken Ran Nissim Francez2001 Abstracts  Questions, Time and Natural Language Interfaces to Temporal@Databases
 235 Eiron Nadav Shai Ben-David2001
 Computational Learning in Models for Noisy Environments
 236 Moss Anna Joseph Naor

Yuval Rabani
2001
 High Profit for Low Cost: Approximation Algorithms in@Mode-Weighted Graphs
 237 Fouren Arie Hagit Attiya2001 Abstracts  Adaptive Wait-Free Algorithms for Asynchronous Shared-@Memory Systems
 238 Konopnicki David Oded Shmueli2001
 The Taming of the Web: Querying, Integration and Advanced@E-Commerce Applications
 239 Yorav Karen Orna Grumberg2000
 Exploiting Syntactic Structure for Automatic@Verification
 240 Kupershtok Ahron Shimon Even (Deceased)2000
 Some Improved Layouts for Interconnection Networks
 241 Eilam Tamar Shlomo Moran

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

Eyal Kushilevitz
2000
 Private Computation and Correlated Randomness
 243 Itzkovitz Ayal Assaf Schuster1999
 Distributed Shared Memory: Bridging the Granularity Gap
 244 Lorenz David Joseph Gil1999
 Compilation of Source Code into Object-Oriented Patterns
 245 Wagner Israel Alfred Bruckstein

Michael Lindenbaum
1999
 Ant Robotics: Search, Exploration and Covering@in Multi-a(Ge)Nt Systems
 246 Rotics Udi Johann Makowsky1999
 Efficient Algorithms for Generally Intractable Graph@Problems Restricted to Specific Classes of Graphs
 247 Ravve Elena Johann Makowsky1999
 Decomposition of Databases with Translation Schemes
 248 Sudarsky Oded Chaim Craig Gotsman1998
 Dynamic Scene Occlusion Culling
 249 Kamon Yshay Ehud Rivlin

Elon Rimon
1998
 Locally Optimal Sensor Based Robot Navigation
 250 Ben-Dor Amir Ben-Zion Chor1998
 Constructing Radiation Hybrid Maps of the Human Genome
 251 Fayman Jeffrey Ehud Rivlin1998
 Reliable, Robust and Effective Active Vision
 252 Zosin Leonid Joseph Naor1998
 Relaxed Multi-Commodity Flow and Its Application to the@Design of Approximation Algorithms
 253 Minkov Eli Marius Ungarish1998
 A Numerical Study of the Flow Around Particles@in Rotating Fluid
 254 Carmel David Shaul Markovitch

?
1998
 Model-Based Learning of Interaction Strategies in@Multi-Agent Systems
 255 Wintner Shalom Nissim Francez1997
 An Abstract Machine for Unification Grammars with@Applications to an HPSG Grammar for Hebrew
 256 Amir Arnon Michael Lindenbaum

Alfred Bruckstein
1997
 A Quantitative Approach to Perceptual Grouping@in Computer Vision
 257 Rappoport Lihu Shlomo Moran1997
 Lock-Free Implementations in the Asynchronous@Shared-Memory Model
 258 Dichterman Eli Shay Ben David1996
 Learning with Restricted Focus of Attention
 259 Hollander Yona Alon Itai1996
 Search Algorithms for Cache Memory
 260 Gerstel Ornan Adrian Segall

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

Alon Itai
1993
 Multilingual Comparison: Automatic Resolution of Ambiguitie
 273 Shifroni Eyal Uzi Ornan

?
1993
 Flexible User Modeling in Inter Active Guidence System
 274 Pnueli Yachin Alfred Bruckstein1993
 Halftone Methods: Beyond Grid Based Methods
 275 Schwarz Avner Daniel Berry

Edna Shaviv
1992
 Representing and Solving the Automated Bvilding Design (Abd)
 276 Dolev Shlomo Shlomo Moran

Amos Israel
1992
 Self Stabilization of Dynamic Systems
 277 Fix Limor Nissim Francez1992
 Semantics Drinen Decompositions for the Verification of
 278 Sagiv Shmuel Michael Rodeh

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

Shlomo Moran
1991
 Distributed Tasks in the Presence of Fail-Stop Failures
 280 Kushilevitz Eyal Ben-Zion Chor1991
 Privacy in Distributed Systems
 281 Cohen Reuven Adrian Segall1991
 Distributed Protocols for the Mac Loyer of Ring Networus
 282 Herzberg Amir Oded Goldreich

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

?
1991
 Keeping Linear Self Organizing Lists Under Counter Schemes
 284 Sergio Raysbaum Missing advisors 1991
 On the Performance of Distributed Networks Controlled by a
 285 Raysbaum Sergio Shimon Even (Deceased)1991
 On the Performance of Distributed Networks Controlled by a
 286 Matsliach Gabriel Oded Shmueli1991
 Design and Evaluation of Storage Stractures for Modern
 287 Krawczxk Hugo Oded Goldreich1990
 Pseudorandomness and Compuiati Onal Difficulty
 288 Maarek Yoelle Daniel Berry1989
 Vsing Structural Information for Managing Very Large
 289 Benedek Gyuri Alon Itai1989
 Learnability of Concept Classes by Sampling
 290 Wolfstahl Yaron Shlomo Moran

Shlomit Pinter
1989
 Algorithms for Graph Embedding and Covering
 291 Bshouty Nader Michael Kaminski1989
 Bounds on Multiplicative Complexity of Sets of Bilinear Form
 292 Taubenfeld Gadi Shlomo Moran

Shmuel Katz
1988
 An Axiomatic Approach for Proving Impossibility Results in


292 abstract theses title found in the Department Computer Science
Last updated on: Tuesday ,July 23, 2019