PhD Theses – Computer Science

Department Computer Science
Department Web Site www.cs.technion.ac.il
Student Name Graduation Year Advisors Abstarcts Research Name
Yankelevsky Yael 2019 Michael Elad Abstracts Sparsity-Based Processing of Graph Structured Data
Dar Yehuda 2019 Alfred Bruckstein, Michael Elad, Abstracts New Methods for Signal Compression and Their Relations to Restoration Problems
Kolchinskyy Ilya 2019 Assaf Schuster Abstracts Lazy Evaluation Methods for Complex Event Processing
Kviatkovsky Igor 2019 Ehud Rivlin, Abstracts Person Identification From Contextual Motion
Massarwa Fady 2019 Gershon Elber Abstracts Trivariate volumes – Algorithms and Applications
Katz Omer 2019 Eran Yahav Abstracts Statistical Approaches to Reversee Engineering
Ezair Ben 2019 Gershon Elber Abstracts Advanced Geometric Methods in Machining and Additive Manufacturing
Sela Matan 2018 Ron Kimmel Abstracts Shape Synthesis and Analysis by Deformable Models
Kutiel Gilad 2019 Roy Schwartz, Dror Rawitz, Abstracts Approximation Algorithms for Submodular Maximization and Network Design Problems
Omari Adi 2018 Eran Yahav, Sharon Shoham-Buchbind, Abstracts Scalable Data Extraction via Program Synthesis
Kassner Yaron 2018 Roy Friedman Abstracts Frugal Counting
Abasi Hassan 2018 Nader Bshouty Abstracts Exact Learning of Monotone Functions from Membership Queries
Raviv Maya 2018 Hagit Attiya, Adam Morrison, Abstracts Theoretical and Experimental Methods for Concurrent Search Trees
Ben Bassat Ran 2018 Roy Friedman Abstracts Big Data Methods for Efficient Network Monitoring
Lazerson Arnon 2018 Assaf Schuster Abstracts Efficient Monitoring of Distributed Data Streams
Shalah Mira 2018 Gill Barequet Abstracts Formulae and Growth Rates of Animals on Cubical and Triangular Lattices
Gilad Eran 2018 Yoav Etsion Abstracts Parallel Execution using Memory Versioning and Renaming
Drachsler Cohen Dana 2017 Eran Yahav Abstracts Exact Programming by Examples
Raviv Netanel 2017 Tuvi Etzion Abstracts Subspace Codes and Distributed Storage Codes
Azencot Omri 2017 Mirela Ben-Chen Abstracts Operator Representations in Geometry Processing
Sainz David 2017 Roy Friedman Abstracts Efficient Information Transfer Leveraging Wireless D2D Communication
Sosnovich Adi 2017 Orna Grumberg Abstracts Finding Security Vulnerabilities in Network Protocols Using Methods of Formal Verification
Gabel Moshe 2017 Assaf Schuster, Daniel Keren, Abstracts Communication-Efficient Algorithms for Distributed Stream Mining
Vitkin Edward 2019 Zohar Yakhini Abstracts Computational Aspects of Metabolic Processes: Modeling, Analysis and Applications
Geva Amir 2019 Ehud Rivlin, Hector Rotstein, Abstracts Sensory Routines for Indoor Autonomous Quad-Copter
Schwartzman Gregory 2017 Keren Censor-Hillel Abstracts Algorithms for Environments with Uncertainty
Horovitz Michal 2018 Eitan Yaakobi, Tuvi Etzion, Abstracts Coding Schemes for Non-Volatile Memories
Sebban Partush Nimrod 2017 Eran Yahav Abstracts Differential Program Analysis
Ahn Eunyong 2018 Tomer Shlomi Abstracts Characterization of Cellular Metabolism throughout the Cell Cycle in Cancer: An Integrated Experimental- Computational Approach
Weissbrod Omer 2017 Dan Geiger, Rosset Saharon, Abstracts Linear and Generalized Linear Mixed Models for Genetic Case Control Studies
Kaplan Yohay 2017 Eliyahu Ben Sasson Abstracts Multi-Variate Abstractions of Algebraic Geometry Codes, with Applications
Voloshin Ariella 2017 Shmuel Zaks, Hadas Shachnai, Abstracts Flexible Resource Allocation for Network Problems
Yaniv Jonathan 2017 Joseph Naor Abstracts Job Scheduling Mechanisms for Cloud Computing
Papyan Vardan 2017 Michael Elad Abstracts Global Versus Local Modeling of Signals
Yehezkel Aviv 2017 Reuven Cohen Abstracts Generalizations of the Cardinality Estimation Problem and Applications to Computer Networks
Sulam Jeremias 2018 Michael Elad Abstracts From Local to Global Sparse Modeling
Lalouche Gal 2018 Joseph Gil Abstracts The Consistency, Independence and Validity of Software Complexity Metrics
Shtern Alon 2018 Ron Kimmel Abstracts Shape Correspondence using Spectral Methods and Deep Learning
Meshman Yuri 2017 Eran Yahav Abstracts Extrapolation and Synthesis for Relaxed Memory Models
Bentov Iddo 2017 Eliyahu Ben Sasson Abstracts Bitcoin and Secure Computation with Money
Paz Ami 2017 Keren Censor-Hillel Abstracts Distributed Distance Computation and Related Topics
Weiss Mor 2016 Yuval Ishai Abstracts Secure Computation and Probabilistic Checking
Tamir Gal 2016 Hadas Shachnai Abstracts Algorithms for Combinatorial Reoptimization
Shnaiderman Lila 2016 Oded Shmueli Abstracts Parallelism in Querying and Storage for Large XML and Graph Databases
Meller Yael 2016 Orna Grumberg, Karen Yorav, Abstracts Model Checking Techniques for Behavioral UML Models
Verner Uri 2016 Assaf Schuster, Avi Mendelson, Abstracts Processing Real-time Data Streams on GPU-based Systems
Tepper Naama 2016 Tomer Shlomi Abstracts Computational Methods for Metabolic Network Analysis of Metabolite Levels and Flux
Ophir Boaz 2016 Michael Elad Abstracts Multi Scale Dictionary Learning for Sparse Representation of Images
Cohen Nachshon 2016 Erez Petrank Abstracts Memory Management: From Theory to Practice
Moran Shay 2016 Amir Yehudayoff, Amir Shpilka, Abstracts Generalization and Simplification in Machine Learning
Albagli-Kim Sivan 2016 Hadas Shachnai, Tamir Tamar, Abstracts Flexible Resource Allocation for Networks and Clouds
Libov Alexander 2016 Roy Friedman Abstracts Efficient Content Delivery in P2P Networks
Genkin Daniel 2016 Yuval Ishai, Eran Tromer, Abstracts Secure Computation in Hostile Environments
Sharov Artyom 2016 Ronny Roth Abstracts Coding for New Applications in Storage Media
Goldhirsh Yonatan 2015 Eldar Fischer Abstracts Algorithms for Property Testing and Related Problems
Timnat Shahar 2015 Erez Petrank Abstracts Practical Parallel Data Structures
Einziger Gil 2015 Roy Friedman Abstracts Approximate Compact Data Structures and Applications
Chen Shahar 2015 Joseph Naor, Niv Buchbinder, Abstracts Online Learning and Competitive Analysis: a Unified Approach
Dubrovina Karni Anastasia 2015 Ron Kimmel Abstracts Geometric Algorithms for Image and Surface Analysis
Zehavi Meirav 2015 Ron Pinter, Hadas Shachnai, Abstracts Algorithms for Parameterized Graph Problems with Applications to Biological Network Queries
Cohen Meir 2015 Ehud Rivlin, Abstracts Observing the Observers: Social Context Analysis Using Computer Vision
Hans Sandeep 2015 Hagit Attiya, Noam Rinetskey, Abstracts A Programming Language Approach to Transactional Memory Consistency
Disenfeld Cynthia 2015 Shmuel Katz Abstracts Compositional Verification of Events and Responses
Turek Javier S. 2015 Irad Yavneh, Michael Elad, Abstracts Topics in Sparse Representation Modeling and Applications
Braginsky Anastasia 2015 Erez Petrank Abstracts Multi-Threaded Coordination Methods for Constructing Non-Blocking Data Structures
Carmeli Yaniv 2015 Eli Biham Abstracts On Bugs and Ciphers: New Techniques in Cryptanalysis
Talyansky Roman 2015 Alon Itai Abstracts Sample Complexity of Training Markov Chains
Leibovich Limor 2014 Zohar Yakhini Abstracts Statistical Assessment of Enrichment in Ranked Lists – Algorithms and Applications in Motif Search
Ron-Zewi Noga 2014 Eliyahu Ben Sasson Abstracts Additivie Combinatorics Methods in Computational Complexity
Giryes Raja 2014 Michael Elad Abstracts Sparsity Models for Signals: Theory and Applications
Buzaglo Sarit 2014 Tuvi Etzion, Eitan Yaakobi, Abstracts Algebraic and Geometric Problems for Non-Volatile Memory
Kanizo Josef Hai 2014 Isaac Keslassy, David Hay, Abstracts Fast Decisions in High-Speed Networking Devices
Glazer Assaf 2014 Shaul Markovitch, Michael Lindenbaum, Abstracts Learning Methods for Modeling High-Dimensional Distributions
Nahir Amir 2014 Dan Raz, Ariel Orda, Abstracts Design and Management of Complex Distributed Systems: Optimization and Game-Theoretic Perspectives
Avigdor-Elgrabli Noa 2014 Yuval Rabani, Amir Shpilka, Abstracts New Algorithms for the Reordering Buffer Management Problem
Adler Amir 2014 Michael Elad, Yacov Hel-Or, Abstracts Applications of Sparse and Redundant Representations to Subspace Clustering and Signal Modeling
Poranne Roi 2014 Chaim Craig Gotsman Abstracts Topics in Shape Optimization and Exploration
Treister Eran 2014 Irad Yavneh Abstracts Aggregation-based Adaptive Algebraic Multigrid for Sparse Linear Systems
Amit Nadav 2014 Assaf Schuster, Dan Tsafrir, Abstracts Alleviating Virtualization Bottlenecks
Vizel Yakir 2014 Orna Grumberg Abstracts SAT-Based Model Checking Using Interpolation and IC3
Rosman Guy 2014 Ron Kimmel Abstracts On Natural Parametrizations of Motion and Structure Manifolds
Haramaty Elad 2014 Amir Shpilka Abstracts Polynomial Testing and Related Questions
Feldman Moran 2013 Joseph Naor Abstracts Maximization Problems with Submodular Objective Functions
Begleiter Ron 2013 Nir Ailon, Ran El-Yaniv, Abstracts Theory and Practice of Active Learning
Levi Zohar 2013 Chaim Craig Gotsman Abstracts Techinques for Manipulating Volumetric and Polyhedral 3D Datasets
Shalem Mirit 2013 Yaron Kanza, Ziv Bar-Yossef, Abstracts Combined Search over Heterogeneous Repositories
Agmon Ben-Yehuda Orna 2013 Assaf Schuster Abstracts Efficient, Non-Cooperative Sharing of Computing Resources
Grebla Guy 2013 Reuven Cohen Abstracts Scheduling Algorithms for OFDMA Broadband Wireless Networks
Elor Yotam 2013 Alfred Bruckstein Abstracts Mathematical Analysis of Emergent Behavior in Multi- Agent Systems
Lavee Gal 2013 Ehud Rivlin Abstracts Understanding Events in Video
Lenz Keren 2013 Joseph Gil Abstracts Internal and External Mechanisms for Extending Programming Languages
Levin Roy 2013 Yaron Kanza Abstracts Geospatial Route Search
Wiener Yair 2013 Ran El-Yaniv Abstracts Theoretical Foundations of Selective Prediction
Radinsky Kira 2013 Shaul Markovitch, Nir Ailon, Abstracts Learning to Predict the Future Using Web Knowledge and Dynamics
Steinfeld Israel 2013 Zohar Yakhini Abstracts Data Analysis in Studies Combining Multiple High-Throughput Measurement Technologies
Rubinstein Ron 2012 Michael Elad Abstracts Analysis and Synthesis Sparse Modeling Methods in Image Processing
Shtok Joseph 2012 Michael Elad, Michael Zibulevsky, Abstracts Adaptive Reconstruction Algorithms in Computed Tomography
Salman Tamer 2012 Yoram Baram Abstracts Quantum Neural Computation and Associative Memory
Rozenberg Eyal 2012 Eldar Fischer Abstracts Lower Bounds and Structural Results in Property Testing of Dense Combinatorial Structures
Sagy Guy 2012 Assaf Schuster, Daniel Keren, Abstracts Geometric Methods for Analyzing and Monitoring Large Distributed Data
Karnin Zohar 2012 Amir Shpilka Abstracts Derandomization of Algebraic and Geometric Problems in Theoretical Computer Science
Viderman Michael 2012 Eliyahu Ben Sasson Abstracts Towards Lower Bounds on Locally Testable Codes
Maman Itay 2012 Joseph Gil Abstracts Formal Patterns in Java Programs
Kotek Tomer 2012 Johann Makowsky Abstracts Definability of Combinatorial Functions
Ronen Royi 2012 Oded Shmueli Abstracts Models and Methods for Advanced Web Applications and Social Network Automation
Kogan Alex 2012 Roy Friedman Abstracts Utilizing Multiple Radio Interfaces in Wireless Networks
Levin Anna 2012 Reuven Cohen Abstracts Mobility Management Schemes for Improving TCP Performance in the Next Generation Wireless Networks
Schwartz Roy 2012 Joseph Naor Abstracts Labelings and Partitions of Graphs
Yadgar Gala 2012 Assaf Schuster Abstracts Multilevel Cache Management Based on Application Hints
Raviv Dan 2012 Ron Kimmel Abstracts Invariant Metrics for Non-Rigid Shapes
Volkovich Ilya 2012 Amir Shpilka Abstracts Polynomial Identity Testing and its Relation to some Algebraic Problems
Paskin-Cherniavsky Anat 2012 Yuval Ishai, Eyal Kushilevitz, Abstracts Secure Computation with Minimal Interaction
Levy Tamir 2011 Ami Litman Abstracts On Merging Networks
Ben-Zvi Ido 2011 Yoram Moses Abstracts Causality, Knowledge and Coordination in Distributed Systems
Chen Rafael 2011 Eli Biham Abstracts New Techniques for Cryptanalysis of Cryptographic Hash Functions
Friedman Arie 2011 Assaf Schuster Abstracts Privacy Preserving Data Mining
Aleksandrowicz Gadi 2011 Gill Barequet Abstracts Enumeration of Lattice Animals
Katz Emilia 2011 Shmuel Katz Abstracts Analysis and Detection of Interactions among Aspects
Vaxman Amir 2011 Gill Barequet Abstracts General Techniques for Interpolation, Reconstruction and Morphing of Polyhedral Surfaces
Hillel Eshcar 2011 Hagit Attiya Abstracts Concurrent Data Structures: Methodologies and Inherent Limitations
Protter Matan 2011 Michael Elad Abstracts Processing Images Sequences without Motion Estimation
Aizikowitz Tamar 2011 Michael Kaminski Abstracts Synchronized Alternating Pushdown Automata
Censor Hillel Keren 2010 Hagit Attiya Abstracts Probabilistic Methods in Distributed Computing
Altshuler Yaniv 2010 Alfred Bruckstein, Israel Wagner, Abstracts Multi Agents Robotics in Dynamic Environments
Bercovici Sivan 2010 Dan Geiger Abstracts Mapping by Admixture Linkage Disequilibrium: New Criteria and Algorithms
Kapchits Boris 2010 Reuven Cohen Abstracts On the Optimization of Wake-Up Frequencies in Sensor Networks
Yadgar Avraham 2010 Orna Grumberg, Assaf Schuster, Abstracts New Approaches to Model Checking and to 3-Valued Abstraction and Refinement
Gordon Noam 2010 Alfred Bruckstein, Israel Wagner, Abstracts Fundamental Problems in the Theory of Multi-Agent Robotics
Mishali Oren 2010 Shmuel Katz Abstracts Using Aspects to Support the Software Process
Holtzman Gazit Michal 2010 Irad Yavneh Abstracts Multi Level Methods for Data Completion
Sandler Roman 2010 Michael Lindenbaum Abstracts Nonnegative Matrix Factorization for Segmentation Analysis
Weber Ofir 2010 Gershon Elber, Chaim Craig Gotsman, Abstracts Hybrid Methods for Interactive Shape Manipulation
Sharon Itai 2010 Oded Beja, Ron Pinter, Abstracts Computational Methods for Metagenomic Analysis
Begelman Grigory 2009 Ehud Rivlin, Michael Zibulevsky, Abstracts Processing and Interpretation of Biological Microscopical Images
Frishman Yaniv 2009 Ayellet Tal Abstracts Graph Drawing Algorithms in Information Visualization
Shoham Buchbinder Sharon 2009 Orna Grumberg Abstracts Abstraction-Refinement and Modularity in Mu-Calculus Model Checking
Pechyony Dmitry 2009 Ran El-Yaniv Abstracts Theory and Practice of Transductive Learning
Kravtsov Valentin 2009 Assaf Schuster Abstracts Service-Based Resource Brokering for Grid-Based Applications
Sharfman Izchak 2009 Assaf Schuster Abstracts A Geometric Approach to Detecting Global Properties over Distributed Data
Engelberg Roee 2009 Joseph Naor Abstracts Stability in Multi-Agent Environments and Approximation Algorithms for NP-Hard Graph Problems
Ben-Chen Mirela 2009 Chaim Craig Gotsman Abstracts Discrete Geometric Algorithms for Mesh Processing
Landau Alexander 2009 Reuven Cohen Abstracts Efficient Schemes for Estimating the Number of Affected Nodes in Very Large Networks
Shagin Konstantin 2009 Assaf Schuster Abstracts Execution of Monolithic Java Programs on Large Non-Dedicated Collections of Commodity Workstations
Tal Ido 2009 Ronny Roth, Tuvi Etzion, Abstracts Coding and Bounds for Two-Dimensional Constraints
Blayvas Ilya 2009 Ron Kimmel, Alfred Bruckstein, Abstracts On Accuracy Analysis of 3D Scanners, Binarization, and Machine Learning
Buchbinder Niv 2008 Joseph Naor Abstracts Designing Competitive Online Algorithms via a Primal-Dual Approach
Yahalom Orly 2008 Eldar Fischer Abstracts Topics in Property Testing over Massively Parameterized Models
Lerner Ronen 2008 Ehud Rivlin Abstracts Constrained Pose and Motion Estimation
Katzir Liran 2008 Reuven Cohen Abstracts Scheduling Algorithms for Efficient Delivery of Synchronous Traffic in Wireless Access Networks
Esmeir Saher 2008 Shaul Markovitch Abstracts Anytime Algorithms for Learning Anytime Classifiers
Cohen Rami 2008 Dan Raz Abstracts Internet Topology: From the Discovery Process to the Real Picture
Ben Avi Gilad 2008 Yoad Winter Abstracts Types and Meanings in Intensionality, Selection and Quantifier Scope
Matsliah Arie 2008 Eldar Fischer Abstracts Property Testing and Combinatorial Approximation
Artishchev-Zapolotsk Maria 2008 Yefim Dinitz, Shimon Even (Deceased), Ami Litman, Abstracts Compact Layouts for Some Interconnection Networks
Leichter Ido 2008 Ehud Rivlin, Michael Lindenbaum, Abstracts Visual Tracking in a General Context via Tracker Combination and Low-Level Cues
Hanniel Iddo 2008 Gershon Elber Abstracts Robust Arrangements and Voronoi Diagrams of Free-form Curves and Surfaces
Bogomjakov Alexander 2008 Chaim Craig Gotsman Abstracts GPU-Assisted Geometry Processing for Novel View Synthesis from Depth Video
Drabkin Vadim 2008 Roy Friedman Abstracts Dependable Communication Protocols in Ad-Hoc Networks
Barkol Omer 2008 Yuval Ishai, Ronny Roth, Abstracts Locally Decodable Codes and Their Applications
Kenigsberg Dan 2007 Tal Mor Abstracts Classicality and Quantumness in Quantum Information Processing
Applebaum Benny 2007 Yuval Ishai, Eyal Kushilevitz, Abstracts Cryptography in Constant Parallel Time
Lipson Doron 2007 Zohar Yakhini Abstracts Computational Aspects of DNA Copy Number Measurement
Nir Tal 2007 Alfred Bruckstein Abstracts Topics in Motion Analysis
Koren Yair 2007 Irad Yavneh Abstracts Multiscale Methods for Image Processing
Skachek Vitaly 2007 Ronny Roth Abstracts Low-Density Parity-Check Codes: Constructions and Bounds
Bronstein Alexander 2007 Ron Kimmel Abstracts Numerical Geometry of Non-Rigid Objects: Embedding Problems
Hay David 2007 Hagit Attiya Abstracts Competitive Evaluation of Switch Architectures
Gontmakher Alex 2007 Assaf Schuster Abstracts An Architecture and Programming Model for Extremely Fine Grain Parallelization
Avraham Tamar 2007 Michael Lindenbaum Abstracts Visual Attention Processes based on Stochastic Models: Algrorithms and Bounds
Moran Shiri 2007 Ami Litman Abstracts Rate Based Sequences and Smooth Scheduling
Wexler Ydo 2007 Dan Geiger Abstracts Variational Approximations for Probabilistic Graphical Models
Scalosub Gabriel 2007 Joseph Naor, Dan Raz, Adi Rosen, Abstracts Routing and Scheduling Problems in Data Networks
Soldea Octavian 2006 Ehud Rivlin, Gershon Elber, Abstracts Functional Reasoning in Image Understanding
Dunkelman Orr 2006 Eli Biham Abstracts Techniques for Cryptanalysis of Block Ciphers
Salom Mordohay 2006 Shmuel Zaks Abstracts Optimal Design Problems for Optical Networks
Spira Alon 2006 Ron Kimmel Abstracts Geometric Image Evolution on Parametric Surfaces
Paz Harel 2006 Erez Petrank, Hillel Kolodner, Abstracts Efficient Memory Management for Servers
Osherovich Eliyahu 2012 Irad Yavneh, Michael Zibulevsky, Abstracts Numerical Methods for Phase Retrieval
Ben-Zaken Zilberstei Chaya 2006 Zohar Yakhini Abstracts Spotting Regulatory Elements by Micro-Arrays
Silberstein Natalia 2011 Tuvi Etzion Abstracts Coding Theory and Projective Spaces
Schein Sagi 2006 Gershon Elber Abstracts Trivariate Functions in Solid Modeling, Medical Imaging and Computer Graphics
Mazzawi Hanna 2011 Nader Bshouty Abstracts Reconstructing Graphs Using Edge Counting Queries
Hadad Erez 2006 Roy Friedman Abstracts Architectures for Fault-Tolerant Middleware Services
Averbouch Ilia 2011 Johann Makowsky Abstracts Completeness and Universality Properties of Graph Invariants and Graph Polynomials
Gabrilovich Evgeniy 2006 Shaul Markovitch Abstracts Feature Generation for Textual Information Retrieval Using World Knowledge
Swidan Firas 2006 Ron Pinter Abstracts Comparative Genomics: from Accurate Mapping to Sorting by Weighted Reversals and Repeat-Annotated Phylogenies
Silberstein Mark 2010 Dan Geiger, Assaf Schuster, Abstracts A Distributed System for Genetic Linkage Analysis
Raskin Leonid 2010 Michael Lindenbaum, Mhchael Rudzesky, Abstracts Dimensionality Reduction for 3D Articulated Body Tracking and Human Action Analysis
Ackerman Eyal 2006 Gill Barequet, Ron Pinter, Abstracts Counting Problems for Geometric Structures: Rectangulations, Floorplans, and Quasi-Planar Graphs
Tan Tony 2009 Michael Kaminski Abstracts Pebble Automata for Data Languages: Separation, Decidability and Undecidability
Gronau Ilan 2009 Shlomo Moran Abstracts Reconstructing Phylogenetic Trees from Noisy Metrics
Kliot Gabriel 2009 Roy Friedman Abstracts Probabilistic Middleware Services in Wireless Mobile Ad-Hoc Networks
Nakibly Gavriel 2008 Reuven Cohen Abstracts Traffic Engineering in IP and MPLS Networks
Amzallag David 2008 Joseph Naor, Dan Raz, Abstracts Approximation Algorithms For Optimization Problems in Future Cellular Networks
Rokhlenko Oleg 2008 Ron Pinter Abstracts Algorithms for Labeled Graph Matching with Applications to Systems Biology
Zemach Tamar 2008 Marius Ungarish Abstracts Simulations of Non-Homogeneous Flow Fields Subject to Rotation and Gravity Effects
Bronstein Michael 2007 Ron Kimmel Abstracts Isometry-Invariant Surface Matching: Numerical Algorithms and Applications
Zohar Ron 2007 Dan Geiger Abstracts Flow Conservation Group Tracking
Cohen Tal 2007 Joseph Gil Abstracts Applying Aspect-Oriented Software Development to Middleware Frameworks
Halevy Shirley 2006 Eyal Kushilevitz Abstracts Topics in Property-Testing
Melamed Roie 2006 Idit Keidar Abstracts Scalable Services for Dynamic Wide-Area Environments
Aharon Michal 2006 Michael Elad Abstracts Overcomplete Dictionaries for Sparse Representation of Signals
Barkan Elad Pinhas 2006 Eli Biham Abstracts Cryptanalysis of Ciphers and Protocols
Greenspan Gideon Dov 2005 Dan Geiger Abstracts A Bayesian Network Model of Haplotype Block Variation: Inference and Application
Finkelstein Lev 2005 Shaul Markovitch, Ehud Rivlin, Abstracts Offline Scheduling of Anytime Algorithms
Nossenson Ronit 2005 Hagit Attiya Abstracts Stochastic Models for Web Servers
Sazbon Didi 2005 Ehud Rivlin Abstracts Sensory Based Navigation Motivated by Biological Systems
Yeger-Lotem Esti 2005 Ron Pinter, Hanah Margalit, Abstracts Computational Analysis of Integrated Networks of Transcription Regulation and Protein-Protein Interactions
Karni Zachi 2004 Chaim Craig Gotsman Abstracts 3D Mesh Processing Using Spectral Methods
Wolff Ran 2004 Assaf Schuster Abstracts Data Mining in Large-Scale Distributed Systems
Heyman Tamir 2004 Orna Grumberg, Assaf Schuster, Abstracts Distributed Symbolic Model Checking
Berengolts Alexander 2004 Michael Lindenbaum Abstracts Quantitative Approach for Characterizing the Difficulties of Visual Tasks
Snir Sagi 2004 Ben-Zion Chor Abstracts Computational Issues in Phylogenetic Reconstruction: Analytic Maximum Likelihood Solutions, and Convex Recoloring
Fishelson Ma'ayan 2004 Dan Geiger Abstracts Efficient Genetic Linkage Computations for General Pedigrees
Rusakov Dmitry 2004 Dan Geiger Abstracts Bayesian Networks: Model Selection and Applications
Chuzhoy Julia 2004 Joseph Naor Abstracts Hardness of Approximation and New Approximability Classes
Zibin Yoav 2004 Joseph Gil Abstracts Efficient Algorithms for the Runtime Environment of Object Oriented Languages
Schwartz Moshe 2004 Tuvi Etzion Abstracts Tilings, Anticodes, and Multidimensional Coding
Resmerita Stefan 2003 Michael Heymann, Ehud Rivlin, Abstracts A Multi-Agent Approach to Control of Multi-Robotic Systems
Zlochin Mark 2003 Yoram Baram Abstracts Adaptive Monte Carlo Methods for Bayesian Inference
Glusman Marcelo 2003 Shmuel Katz Abstracts Mechanizing Proofs of Computation Equivalence
Lempel Ronny 2003 Shlomo Moran Abstracts Link Structure Analysis and Query Result Caching in Web Search Engines
Rawitz Dror 2003 Reuven Bar-Yehuda Abstracts Combinatorial and LP-Based Methods for Designing Approximation Algorithms
Freund Ari 2003 Joseph Naor Abstracts On-Line and Off-Line Approximation Algorithms for Various Resource Allocation and Scheduling Problems and for the Multiway Cut Problem
Goldenberg Roman 2003 Ehud Rivlin, Ron Kimmel, Abstracts Motion Based Recognition
Sihman Marcelo 2003 Shmuel Katz Abstracts Language and Proof Support for Superimpositions and Aspects
Surazhsky Vitaly 2003 Chaim Craig Gotsman Abstracts Morphing Piecewise Linear Shapes Using Convex Representations
Agbaria Adnan 2002 Roy Friedman Abstracts Reliability in High Performance Distributed Computing Systems
Bustan Doron 2002 Orna Grumberg Abstracts Equivalence-Based Reductions and Checking for Preorders
Felstaine Eyal 2002 Reuven Cohen Abstracts Scalable Routing in Hierarchical ATM Networks
Becker Ann 2002 Dan Geiger Abstracts Inference Algorithms with Application to Genetic Analysis
Vitenberg Roman 2002 Roy Friedman Abstracts Internet Wide Caching of Distributed Objects
Ruckenstein Gitit 2002 Ronny Roth Abstracts Error Decoding Strategies for Algebraic Codes
Fouren Arie 2001 Hagit Attiya Abstracts Adaptive Wait-Free Algorithms for Asynchronous Shared- Memory Systems
Gilboa Niv 2001 Ben-Zion Chor Abstracts Topics in Private Information Retrieval
Konopnicki David 2001 Oded Shmueli Abstracts The Taming of the Web: Querying, Integration and Advanced E-Commerce Applications
Nelken Ran 2001 Nissim Francez Abstracts Questions, Time and Natural Language Interfaces to Temporal Databases
Tamir Tamar 2001 Hadas Shachnai Abstracts Class-Constrained Resource Allocation Problems
Eiron Nadav 2001 Shai Ben-David Abstracts Computational Learning in Models for Noisy Environments
Moss Anna 2001 Joseph Naor, Yuval Rabani, Abstracts High Profit for Low Cost: Approximation Algorithms in Mode-Weighted Graphs
Yorav Karen 2000 Orna Grumberg Abstracts Exploiting Syntactic Structure for Automatic Verification
Kupershtok Ahron 2000 Shimon Even (Deceased) Abstracts Some Improved Layouts for Interconnection Networks
Eilam Tamar 2000 Shlomo Moran, Shmuel Zaks, Abstracts Cost versus Quality: Tradeoffs in Communication Networks
Ishai Yuval 2000 Hugo Krawczyk, Eyal Kushilevitz, Abstracts Private Computation and Correlated Randomness
Ravve Elena 1999 Johann Makowsky Abstracts Decomposition of Databases with Translation Schemes
Itzkovitz Ayal 1999 Assaf Schuster Abstracts Distributed Shared Memory: Bridging the Granularity Gap
Lorenz David 1999 Joseph Gil Abstracts Compilation of Source Code into Object-Oriented Patterns
Wagner Israel 1999 Alfred Bruckstein, Michael Lindenbaum, Abstracts Ant Robotics: Search, Exploration and Covering in Multi-a(Ge)Nt Systems
Rotics Udi 1999 Johann Makowsky Abstracts Efficient Algorithms for Generally Intractable Graph Problems Restricted to Specific Classes of Graphs
Carmel David 1998 Shaul Markovitch, Abstracts Model-Based Learning of Interaction Strategies in Multi-Agent Systems
Minkov Eli 1998 Marius Ungarish Abstracts A Numerical Study of the Flow Around Particles in Rotating Fluid
Fayman Jeffrey 1998 Ehud Rivlin Abstracts Reliable, Robust and Effective Active Vision
Sudarsky Oded 1998 Chaim Craig Gotsman Abstracts Dynamic Scene Occlusion Culling
Zosin Leonid 1998 Joseph Naor Abstracts Relaxed Multi-Commodity Flow and Its Application to the Design of Approximation Algorithms
Kamon Yshay 1998 Ehud Rivlin, Elon Rimon, Abstracts Locally Optimal Sensor Based Robot Navigation
Ben-Dor Amir 1998 Ben-Zion Chor Abstracts Constructing Radiation Hybrid Maps of the Human Genome
Amir Arnon 1997 Michael Lindenbaum, Alfred Bruckstein, Abstracts A Quantitative Approach to Perceptual Grouping in Computer Vision
Rappoport Lihu 1997 Shlomo Moran Abstracts Lock-Free Implementations in the Asynchronous Shared-Memory Model
Wintner Shalom 1997 Nissim Francez Abstracts An Abstract Machine for Unification Grammars with Applications to an HPSG Grammar for Hebrew
Dichterman Eli 1996 Shay Ben David Abstracts Learning with Restricted Focus of Attention
Hollander Yona 1996 Alon Itai Abstracts Search Algorithms for Cache Memory
Gerstel Ornan 1996 Adrian Segall, Shmuel Zaks, Abstracts Virtual Path Design in ATM Networks
Beimel Amos 1996 Ben-Zion Chor Abstracts Secure Schemes for Secret Sharing and Key Distribution
Even Guy 1995 Ben-Zion Chor Abstracts Design of VLSI Circuits Using Retiming
Petrank Erez 1995 Oded Goldreich Abstracts Knowledge Complexity versus Computational Complexity and the Hardness of Approximations
Kupferman-Bernholtz Orna 1995 Orna Grumberg Abstracts Model Checking for Branching-Time Temporal Logics
Goldin Lea 1994 Daniel Berry Abstracts An Environment for Aiding Requirements Analysts in Requirements Elicitation for Large Software Systems
Weill Anne 1994 Moshe Israeli (Deceased) Abstracts Low-Communication Algorithms for the Parallel Solution of Partial Differential Equations on Message-Passing Machines
Sharon Oran 1994 Adrian Segall Abstracts Protocols for Spatial and Slot Reuse in Bus Networks
Shabtay Lior 1994 Adrian Segall Abstracts Memory Efficient Network Synchronization Techniques
Dagan Ido 1993 Uzi Ornan, Alon Itai, Abstracts Multilingual Comparison: Automatic Resolution of Ambiguitie
Shifroni Eyal 1993 Uzi Ornan, Abstracts Flexible User Modeling in Inter Active Guidence System
Pnueli Yachin 1993 Alfred Bruckstein Abstracts Halftone Methods: Beyond Grid Based Methods
Fix Limor 1992 Nissim Francez Abstracts Semantics Drinen Decompositions for the Verification of
Schwarz Avner 1992 Daniel Berry, Edna Shaviv, Abstracts Representing and Solving the Automated Bvilding Design (Abd)
Sergio Raysbaum 1991 Abstracts On the Performance of Distributed Networks Controlled by a
Rachman Ophir 1996 Hagit Attiya Abstracts Decision Problems for Implementing Distributed Snapshots
Bittan Sara 1995 Tuvi Etzion Abstracts Lower Bounds on the Sizes of Constant Weight Error Correcting Codes
Friedman Roy 1994 Hagit Attiya Abstracts Consistency Conditions for Distributed Shared Memories
Dolev Shlomo 1992 Shlomo Moran, Amos Israel, Abstracts Self Stabilization of Dynamic Systems
Sagiv Shmuel 1991 Michael Rodeh, Nissim Francez, Abstracts Circular Attribute Grammars and Their Application to Data
Shachnai Hadas 1991 Alon Itai, Abstracts Keeping Linear Self Organizing Lists Under Counter Schemes
Raysbaum Sergio 1991 Shimon Even (Deceased) Abstracts On the Performance of Distributed Networks Controlled by a
Cohen Reuven 1991 Adrian Segall Abstracts Distributed Protocols for the Mac Loyer of Ring Networus
Herzberg Amir 1991 Oded Goldreich, Adrian Segall, Abstracts Communication Networks in the Presence of Faults
Matsliach Gabriel 1991 Oded Shmueli Abstracts Design and Evaluation of Storage Stractures for Modern
Krawczxk Hugo 1990 Oded Goldreich Abstracts Pseudorandomness and Compuiati Onal Difficulty
Benedek Gyuri 1989 Alon Itai Abstracts Learnability of Concept Classes by Sampling
Wolfstahl Yaron 1989 Shlomo Moran, Shlomit Pinter, Abstracts Algorithms for Graph Embedding and Covering
Bshouty Nader 1989 Michael Kaminski Abstracts Bounds on Multiplicative Complexity of Sets of Bilinear Form
Taubenfeld Gadi 1988 Shlomo Moran, Shmuel Katz, Abstracts An Axiomatic Approach for Proving Impossibility Results in
Biran Ofer 1991 Shmuel Zaks, Shlomo Moran, Abstracts Distributed Tasks in the Presence of Fail-Stop Failures
Kushilevitz Eyal 1991 Ben-Zion Chor Abstracts Privacy in Distributed Systems
Maarek Yoelle 1989 Daniel Berry Abstracts Vsing Structural Information for Managing Very Large