PhD Theses – Computer Science

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