PhD Theses – Computer Science

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