PhD Theses – Computer Science

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