PhD Theses – Computer Science

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