PhD Theses – Computer Science

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