הטכניון מכון טכנולוגי לישראלXyz
הטכניון מכון טכנולוגי לישראל - בית הספר ללימודי מוסמכים 
M.Sc Theses

DepartmentComputer Science
Department Web Site www.cs.technion.ac.il

No.   Student's Name Advisors Graduation
Abstracts Theses Abstract Title
 1 Shahar Harel Markovitch Shaul

Radinsky Kira
2019 Abstracts  Prototype-Based Chemical Design using Diversity-Driven@Generative Models
 2 Jonathan Zarecki Markovitch Shaul2019 Abstracts  Textual Membership Queries
 3 Alexander Kreimer Rivlin Ehud

Shimshoni Ilan
2019 Abstracts  Algorithms for Visual Odometry
 4 Marina Minkin Silberstein Mark2019 Abstracts  Improving Performance and Security of Intel SGX
 5 Itay Evron Soudry Daniel

Crammer Yacov
2019 Abstracts  Efficient Loss-Based Decoding on Graphs for Extreme@Classification
 6 Alon Brifman Elad Michael2019 Abstracts  Novel Image and Video Super-Resolution Relying on@Denoising Algorithms
 7 Yuval Nezri Cohen Reuven2019 Abstracts  Cardinality Estimation In a Virtualized Network Device Using@Online Machine Learning
 8 Dor Zohar Reichart Roi2019
 Label Expansio - Integrating Prior Knowledge to Large@Label Set Tasks
 9 Ofer Givoli Reichart Roi2019 Abstracts  Zero-Shot Semantic Parsing for Instructions
 10 Avner Elizarov Petrank Erez2019 Abstracts  LOFT: Lock-Free Transactional Data Structures
 11 Assaf Rosenbaum Biham Eli

Bitan Sara
2019 Abstracts  Trusted Execution Environments
 12 Nurit Devir Grumberg Orna

Markovitch Shaul
2019 Abstracts  Applying Machine Learning for Identifying Attacks@at Run-Time
 13 Dmitry Rabinovich Bruckstein Alfred2018 Abstracts  Gathering of Agents on a Line
 14 Sa'ar Zehavi Kushilevitz Eyal2018 Abstracts  On the Gap Between Deterministic Communication Complexity@and the Partition Number
 15 Michael Amir Bruckstein Alfred2018 Abstracts  Probabilistic Pursuits on Graphs
 16 Tamer Mour Kushilevitz Eyal2018 Abstracts  New Efficient Constructions for Distributed Oblivious RAM
 17 Barak Pat Gil Joseph

Kanza Yaron
2018 Abstracts  Geosocial Search: Finding Places based on Geotagged@Social-Media Posts
 18 Eden Saig Ben Sasson Eliyahu2018 Abstracts  Modeling Collaborative Discovery
 19 Ori Marcovitch Gil Joseph2018 Abstracts  A Nano Patterns Language for Java
 20 Gil Kupfer Tsafrir Dan

Nadav Amit
2018 Abstracts  IOMMU-Resistant DMA Attacks
 21 Netanel Kligler Tal Ayellet2018 Abstracts  On Visibility and Image Processing
 22 Tamir Carmeli Cohen Reuven2018 Abstracts  Detection of BGP Hijacking Using TTL Analysis
 23 Evgeny Moroshko Cohen Reuven2018 Abstracts  Sampling-on-Demand in SDN
 24 Uzi Cohen Kimelfeld Benny2018 Abstracts  Query Engine System for Probabilistic Preferences
 25 Tal Shor Geiger Dan2018 Abstracts  SciLMM: Computing Heritability with Millions of@Individuals
 26 Nahum Farchi Ben-Chen Mirela2018 Abstracts  Integer-Only Cross Field Computation
 27 Majd Omari Ishai Yuval2018 Abstracts  The Complexity of Identifying Cheaters
 28 Nurit Moscovici Petrank Erez2018 Abstracts  A GPU-Friendly Skiplist Algorithm
 29 Dan Rasin Grumberg Orna

Shoham-Buchbind Sharon
2018 Abstracts  Modular Verification of Concurrent Programs via@Sequential Model Checking
 30 Igor Zarivach Moran Shlomo

Yossi Shiloach
2018 Abstracts  The Cruncher: A solver for Large-Scale MIP Problems
 31 Sarai Duek Markovitch Shaul2018 Abstracts  Automatic Generation of Language-Independent Features@for Cross-Lingual Classification
 32 Arthur Kiyanovski Tsafrir Dan2018 Abstracts  The Real Difference Between Emulation and Paravirtualization@of High-Throughput I/0 Devices
 33 Maya Levy Yaakobi Eitan2018
 Mutually Uncorrelated Codes for DNA Storage
 34 Hilal Asi Yaakobi Eitan2018 Abstracts  Constructions of PIR and Batch Codes for Distributed@Storage
 35 Seri Khoury Censor-Hillel Keren2018 Abstracts  New Lower Bounds for the CONGEST Model
 36 Yufei Zheng Barequet Gill2018 Abstracts  Two Researches on Lattice Animals
 37 Itamar Talmi Zelnik-Manor Lihi2018 Abstracts  Template Matching with Deformable Diversity Smiliarity
 38 Noam Ravid Kimelfeld Benny2018 Abstracts  Ranked Enumeration of Tree Decompositions
 39 Amit Fuchs Mendelson Avi2018 Abstracts  Fault-Tolerant Operanting System for Many-Core@Processors
 40 Gili Yavneh Attiya Hagit2018 Abstracts  Remote Memory References at Block Granularity
 41 Roman Shor Yaakobi Eitan

Yadgar Gala

Schuster Assaf
2018 Abstracts  Efficiently Combining Confidentiality and@Availability in Distributed Storage Systems
 42 Dalia Alperovich Yakhini Zohar

Mandel-Gutfreun Yael
2018 Abstracts  Efficient Search for Optimally Enriched Combination of@Ranked Lists
 43 Ali Tabaja Cohen Reuven2018
 A Network Layer Attack for the Price of a Physical@Layer Attack in a Wireless Mesh Network with@Application to RPL
 44 Anna Trostanetski Grumberg Orna2018 Abstracts  Modular Demand-Driven Analysis of Semantic Difference@for Program Versions
 45 Yuval Dagan Filmus Yuval2018 Abstracts  Twenty Questions Game Using Restricted Sets of@Questions
 46 Niv Hooker Etzion Tuvi2018 Abstracts  On the Existence of the q-Fano Planes
 47 Waseem Makhoul Bshouty Nader2018 Abstracts  On Polynomial Time Constructions of Minimum Height@Decision Tree
 48 Amit Gross El-Yaniv Ran2018 Abstracts  Usages of Selective Regression
 49 Snir Cohen Mannor Shie2018 Abstracts  Restricted Optimism
 50 Roei Gelbhart El-Yaniv Ran2018 Abstracts  The Relationship Between Agnostic Selective Classification@Active Learning and the Disagreement Coefficient
 51 Dan Elbaz Zibulevsky Michael2018 Abstracts  Speech Signals Frequency Modulation Decoding via Deep@Neural Networks
 52 Rivka Malca Reichart Roi2018 Abstracts  Neural Transition Based Parsing of Web Queries: An@Entity Based Approach
 53 Yoav Nahshon Kimelfeld Benny2018 Abstracts  Relational Framework for information Extraction
 54 Lior Friedman Markovitch Shaul2017 Abstracts Theses Recursive Feature Generation for Knowledge-Based@Induction
 55 Matan Liram Yadgar Gala

Schuster Assaf

Yaakobi Eitan
2017 Abstracts Theses Evaluating Zigzag Code in a Distributed Storage System
 56 Evgenya Pergament Ben Sasson Eliyahu2017 Abstracts Theses Algebraic RAM
 57 Tal Regev Indelman Vadim2017 Abstracts Theses Multi- Robot Decentralized Belief Space Planning in@Unknown Environments
 58 Eyal Moscovici Tsafrir Dan2017 Abstracts Theses Towards Sidecore Management for Virtualized Environments
 59 Ran Breuer Kimmel Ron2017 Abstracts  A Deep Learning Perspective on the Origine of Facial@Expressions
 60 Ran Bernstein Schuster Assaf2017 Abstracts Theses Laban Movement Analysis and LDA Distributed Monitoring
 61 Tehila Mayzels Etsion Yoav2017 Abstracts Theses Software Management of Hardware Memory Versioning
 62 Naama Haramaty Krasne Kushilevitz Eyal

Ishai Yuval
2017 Abstracts Theses Low-Complexity Cryptographic Hash Functions
 63 Yanir Damti Moran Shlomo

Gronau Ilan

Yavneh Irad
2017 Abstracts Theses Adaptive Methods for Computing and Comparing Evolutionary@Distances
 64 Itay Hazan Kushilevitz Eyal2017 Abstracts Theses Two-Party Direct-Sum Questions through the Lens of@Multiparty Communication Complexity
 65 Gal Sheffi Petrank Erez2017 Abstracts Theses A Scalable Linearizable Multi-Index Table
 66 Avi Kaplan Lindenbaum Michael

Avraham Tamar
2017 Abstracts Theses Interpreting the Ratio Criterion for Matching SIFT@Descriptors
 67 Tomer Levy Gil Joseph2017 Abstracts Theses Fajita - a Fluent API for Automatic Generation of Fluent@APIs in Java
 68 Matan Hamilis Ben Sasson Eliyahu

Silberstein Mark
2017 Abstracts Theses Parallel Additive Fast Fourier Transform Algorithms
 69 Rina Levy Censor-Hillel Keren

Shachnai Hadas
2017 Abstracts  Fast Distributed Approximation for Max-Cut
 70 Boris Pismenny Schuster Assaf

Orna Agmon Ben-Yehud
2017 Abstracts  Market Driven Queueing
 71 Ran Koretzki Schuster Assaf

Yaakobi Eitan
2017 Abstracts  Improving SSD-based Caches Lifetime with Write-Once@Memory Codes
 72 Gal Cohen Raz Dan2017 Abstracts Theses On routing schemes that are robust to changes in@bandwidth demand
 73 Gal Maor Ben Sasson Eliyahu2017 Abstracts Theses Information Theory and Privacy Related Questions in@Communication Comlexity
 74 Michael Balber Shlomi Tomer2017
 Constraint-Based Isotope Tracing (CBIT): Inferring Flux@Constraints from Isotopic Tracing Data
 75 Rotem Liss Mor Tal2017 Abstracts Theses Entanglement and Geometrical Distances in Quantum@Information and Quantum Cryptography
 76 Roni Licher Friedman Roy2017 Abstracts Theses Hardening Cassandra Against Byzantine Failures
 77 Elad Richardson Kimmel Ron2017 Abstracts Theses Learning to Reconstruct Face Geometries
 78 Yi Ren Elad Michael2017 Abstracts Theses Example-Based Image Synthesis via Randomized Patch-Matching
 79 Areej Costa Bshouty Nader2017 Abstracts Theses Exact Learning of Juntas from Membership Queries
 80 Yoni Choukroun Kimmel Ron2017 Abstracts Theses On Elliptic Operators and Non-Rigid Shapes
 81 Iddo Zmiry Gil Joseph2016 Abstracts Theses Lola - A Programming Language for Augmenting Programming@Languages
 82 Avi Stiefel Barequet Gill2016 Abstracts Theses Motion Planning in the Presence of Mobile Obstacles
 83 Alexandre Djerbetian Ben-Chen Mirela2016 Abstracts Theses Tangent Vector Fields on Triangulated Surfaces - An@Edge-Based Approach
 84 Evgeny Abramovich Yahav Eran2016 Abstracts Theses Static Mining of Common Concurrency Patterns
 85 Ilya Lesokhin Tsafrir Dan2016 Abstracts Theses I/O Page Faults
 86 Arie Rond Elad Michael2016 Abstracts Theses Handling poisson Inverse Problems by the Plug-and-Play@Priors Scheme
 87 Erez Timnat Naor Joseph2016 Abstracts Theses The List Update Problem
 88 Nir Hershko Elber Gershon2016 Abstracts  3D Augmentations of 2D Maps
 89 Shir Yadid Yahav Eran2016 Abstracts Theses Extracting Code from Programming Tutorial Videos
 90 Jalil Moraney Raz Dan2016 Abstracts Theses Efficient Detection of Flow Anomalies with Limited@Monitoring Resources
 91 Noam Segev El-Yaniv Ran2016 Abstracts Theses Transfer Learning using Decision Forests
 92 Anat Berkman David Harel

Yahav Eran
2016 Abstracts Theses Scenario based programming for Mobile Applications
 93 Aviv Segall Ben-Chen Mirela2016 Abstracts Theses 2D Simulation and Mapping using the Cauchy-Green Complex@Barycentric Coordinates
 94 Karam Abdelkader Shoham-Buchbind Sharon

Grumberg Orna
2016 Abstracts Theses Automated Circular Assume-Guarantee Reasoning
 95 Omer Geiger Markovitch Shaul2016 Abstracts Theses Algorithmic Exam Generation
 96 Irena Grabovitch-Zuyev Bar-Yossef Ziv

Kanza Yaron
2016 Abstracts Theses Entity search in Facebook
 97 Jonathan Andre Wagner Hazan Elad2016 Abstracts Theses Multiplicative Approximation Algorithms for@Generalized Covering and Packing Problems
 98 Yael Mordechai Shachnai Hadas2016 Abstracts Theses Optimization and Reoptimization in Scheduling Problems
 99 Nitsan Chrizman Cherkassky Itai Alon2016 Abstracts Theses How to Construct Multilingual Domain Ontologies
 100 Yossi Kuperman Tsafrir Dan2015 Abstracts Theses vRio: Efficient Paravirtual Remote I/O
 101 Moshe Malka Tsafrir Dan2015 Abstracts Theses Rethinking the I/O Memory Management Unit (IOMMU)
 102 Meital Zilberstein Yahav Eran2015 Abstracts Theses Code Similarity via Natural Language Descriptions
 103 Eldar Aharoni Kushilevitz Eyal2015 Abstracts Theses Direct Sum Related Problems in Communication Complexity
 104 Alexander Nus Raz Dan2015 Abstracts Theses Migration Plans with Minimum Overall Migration Time
 105 Ran Ben Bassat Shachnai Hadas2015 Abstracts Theses Parameterized Automata Constructions and Their Applications
 106 Liat Peterfreund Kaminski Michael2015 Abstracts  Closure under Reversal of Languages over Infinite Alphabets:@A Case Study
 107 Ido Gonen Friedman Roy2015 Abstracts Theses Defending against Eclipse Attacks in Unstructured Overlays
 108 Raziel David Has Green Cohen Reuven2015 Abstracts Theses When a Router Tells Different Stories to Different@Neighbors: A New Partition Attack on Link-State@Routing Protocols
 109 Ella Bolshinsky Friedman Roy2015 Abstracts Theses Towards an Autonomous Sailing Trainer
 110 Shmuel Ben-Yehuda Tsafrir Dan2015 Abstracts  The nom Profit-Maximizing Operating System
 111 Nadia Labai Makowsky Johann2015 Abstracts Theses Definability and Hankel Matrices
 112 Noa Elad Naor Joseph2015 Abstracts Theses Online Semidefinite Programming
 113 Omer Peleg Tsafrir Dan2015 Abstracts  Utilizing the IOMMU Scalably
 114 Tariq Toukan Censor-Hillel Keren2015 Abstracts Theses Fault-Tolerant Information Spreading Algorithms
 115 Rami Jioussy Mendelson Avi

Wolff Ran
2015 Abstracts Theses Enhancing Energy-Performance for Power Constrained SoC@Systems
 116 Eitan Rosenfeld Tsafrir Dan

Michael Factor
2015 Abstracts Theses RAIDP: Replication with Intra-Disk Parity
 117 Eli Sennesh Gil Joseph2015 Abstracts Theses Unstructured Jumps and Compressed Size as Defect-Prediction@Metrics
 118 Gil Briskin Rivlin Ehud

Rotstein Hector
2015 Abstracts Theses Estimating Pose and Motion Using Bundle Adjustment and@Digital Elevation Model Consraints
 119 Eric Yudin Kimmel Ron

Yahav Eran
2015 Abstracts Theses Improving Facial Expression Analysis via Intrinsic@Normalization of Surfaces
 120 Gregory Borodin Markovitch Shaul

Kanza Yaron
2015 Abstracts  Efficient Query Recommendation
 121 Rouven Strauss Elber Gershon2014 Abstracts Theses Geometric Multi-Covering
 122 Hassan Abasi Bshouty Nader2014 Abstracts Theses On r-Simple k-Path
 123 Dima Elenbogen Strichman Ofer

Katz Shmuel
2014 Abstracts Theses Proving Mutual Termination of Programs
 124 Maor Grinberg Elber Gershon2014 Abstracts Theses Comprehensive Free Handed 3D User Interface for Geometric@Design Systems
 125 David Wajc Ailon Nir

Shachnai Hadas

Naor Joseph
2014 Abstracts Theses Parameterizing P: Proximity to Easy Variants
 126 Eyal Kibar Friedman Roy2014 Abstracts Theses E-Wolf: A Distributed Online Social Network
 127 Nir Shmuel Hauser Friedman Roy2014 Abstracts Theses COARA: Code Offloading on Android with RMI and@Aspects
 128 Alaa Ghanayim Geiger Dan2014 Abstracts Theses Iterative Referencing for Improving the Interpretation@of DNA Sequence Data
 129 Nitzan Shapira Ben-Chen Mirela2014 Abstracts Theses Cross-Collection Map Inference by Intrinsic Alignment@Shape Spaces
 130 Denis Rybnikov Ben-Chen Mirela

Gotsman Chaim Craig
2014 Abstracts Theses A Semi-Automatic System for Non-Rigid Matching and@Temporally Coherent 3D Shading of Animation@Sequences
 131 Michael Baltaxe Lindenbaum Michael2014
 Probabilistic Local Variation Segmentation
 132 Yehonatan Goldman Rivlin Ehud

Shimshoni Ilan
2014 Abstracts Theses Robust Epipolar Geometry Estimation Using Noisy Pose@Priors
 133 Kayla Jacobs Itai Alon

Wintner Shalom
2014 Abstracts Theses Hebrew Acronym: Identification; Expansion and Disambiguation
 134 Elior Malul Gil Joseph

Etzion Opher
2014 Abstracts Theses Towards Temporal Correctness of Event Processing
 135 Ben Lee Volk Shpilka Amir2014 Abstracts Theses On the Structure of Boolean Functions with Small Spectral@Norm
 136 Yoav Kantor Friedman Roy2014 Abstracts Theses Combining Erasure-Code and Replication Redundancy Schemes@for Increased Storage and Repair Efficiency in@P2P Storage Systems
 137 Alexander Zlotnik Raz Dan2014 Abstracts Theses Efficient Use of Geographically Spread Cloud@Resources
 138 Boris Cherevatsky Shimshoni Ilan

Rivlin Ehud
2014 Abstracts Theses Estimating Epipolar Geometry for Mobile Robots
 139 Netanel Raviv Kushilevitz Eyal2013 Abstracts Theses Truth Table Minimization of Computational Models
 140 Shay Ben-Elazar Yakhini Zohar2013 Abstracts Theses Computational Methods for Analyzing Gene Regulation in@Model Organisms
 141 Assaf Israel Raz Dan2013 Abstracts Theses Cost Aware Fault Recovery in Clouds
 142 Dmitry Pidan El-Yaniv Ran2013 Abstracts Theses Selective Prediction with Hidden Markov Models
 143 Mordechai Porat Kantorowitz Eliezer2013 Abstracts Theses A Semantic Approach to User Interface Design
 144 Assaf Rappaport Raz Dan2013 Abstracts Theses Approximation Algorithms for Soft-Capacitated Connected@Facility Location Problems
 145 Omer Strulovich Ishai Yuval

Kushilevitz Eyal
2013 Abstracts Theses Lossy Chains and Fractional Secret Sharing
 146 Hanna Fadida Itai Alon

Wintner Shalom
2013 Abstracts Theses Automatic Extraction of Subcategorization Frames for@Hebrew
 147 Alon Mishne Yahav Eran2013 Abstracts Theses Programming with Millions of Examples - Scalable Static@Specification Mining
 148 Avishai Gretz Itai Alon

Wintner Shalom
2013 Abstracts Theses Syntactic Annotation of Hebrew CHILDES Corpora
 149 Pavel Gurevich Orenstein Meir

Mor Tal
2013 Abstracts Theses Experimental Quantum Key Distribution with Classical@Alice
 150 Karine Even Yahav Eran

Hana Chockler
2013 Abstracts Theses Finding Rate Numerical Stability Errors in Concurrent@Computations
 151 Raeda Naamneh Barequet Gill2013 Abstracts Theses Fair Multi-Label Reconstruction from Cross-Sections
 152 Ranit Gotsman Kanza Yaron2013 Abstracts Theses Generating Map-based Routes from GPS Trajectories and@their Compact Representation
 153 Yoav Haimovitch Crammer Yacov

Mannor Shie
2013 Abstracts Theses Large-Scale Semi-Supervised Sentiment Analysis
 154 Haggai Toledano Markovitch Shaul2013 Abstracts Theses Coverage-Driven Refinement of Conceptual Representations
 155 Eyal Posener Schuster Assaf2013 Abstracts Theses Dynamic Memory Allocation in Cloud Computers Using@Progressive Second Price Auction
 156 Ami Paz Attiya Hagit2013 Abstracts Theses Counting-Based Impossibility Proofs for Distributed Tasks
 157 Erez Druk Ishai Yuval2013 Abstracts Theses Linear Time Encodable Codes and Cryptography
 158 Amir Geva Heymann Michael2013 Abstracts Theses Far Field Surveillance Target Classification
 159 Yosi Atia Mor Tal2013 Abstracts Theses Algorithmic Cooling of Spins by Optimal Control
 160 Moshe Gabel Schuster Assaf

Ran Gilad-Bachrach
2013 Abstracts Theses Unsupervised Anomaly Detection in Large Datacenters
 161 Nadav Shragai Elber Gershon2013 Abstracts Theses Geometric Covering
 162 Sabih Agbaria Gil Joseph2013 Abstracts Theses On Incomplete Bug Fixes and Programmers' Intuition on@These
 163 Michael Beder Bar-Yehuda Reuven2013 Abstracts Theses Approximation Algorithms for Resource Scheduling and@Allocation Problems
 164 Roman Zeyde Yavneh Irad2013 Abstracts Theses Computational Electrokinetics
 165 Shaked Flur Grumberg Orna2013 Abstracts Theses Weak Omega Automata
 166 Igor Kviatkovsky Heymann Michael

Rivlin Ehud

Adam Amit
2012 Abstracts Theses Color Invariants for Person Re-Identification
 167 Dan Garber Hazan Elad2012 Abstracts Theses Approximating Semidefinite Programs in Sublinear Time
 168 Daniel Hurwitz Itai Alon2012
 Morphological and Lexical Decomposition as a Basis for@Identifying Multiword Expressions
 169 Carmi Grushko Kimmel Ron2012 Abstracts Theses Continuous Symmetries of Non-rigid Shapes
 170 Amit Portnoy Friedman Roy2012 Abstracts Theses TrustPack: a Decentralized Trust Management Framework
 171 Eyal Regev Bruckstein Alfred

Altshuler Yaniv
2012 Abstracts Theses Multi Agent Systems in Stochastic Dynamic Environments
 172 Muhammad Magadla Friedman Roy2012 Abstracts Theses Accelerating CIFS over Satellite Networks
 173 Naama Kraus Bar-Yossef Ziv

Markovitch Shaul
2012 Abstracts Theses Context-Aware Query Suggestion
 174 Tomer Koren Hazan Elad2012 Abstracts Theses Learning Linear Support Vector Machines in Sublinear Time
 175 Itamar Hartstein Zaks Shmuel

Salom Mordohay
2012 Abstracts Theses On the Complexity of the Regenerator Location@Problem - Treewidth and Other Parameters
 176 Haggai Eran Petrank Erez2012 Abstracts Theses A Study of Data Structures with a Deep Heap Shape
 177 Ariel Raviv Markovitch Shaul2012 Abstracts Theses Concept-Based Approach to Word-Sense Disambiguation
 178 Amir Abboud Schuster Assaf

Daniel Keren
2012 Abstracts Theses Monitoring General Functions in Distributed Systems with@Minimal Communication
 179 Avishay Tal Shpilka Amir2012 Abstracts Theses On The Minimal Fourier Degree of Symmetric Boolean@Functions
 180 David Ben-David Schuster Assaf

Daniel Keren
2012 Abstracts Theses Violation Resolution in Distributed Stream Networks
 181 Pavel Bar Schuster Assaf2012 Abstracts Theses Resource Management in Grid Environments
 182 Vadim Eisenberg Kanza Yaron2012 Abstracts Theses Programming Applications over the Semantic-Web
 183 Avihai Mejer Crammer Yacov2012 Abstracts Theses Confidence Estimation in Structured Predicition
 184 Uri Avraham Biham Eli

Dunkelman Orr
2012 Abstracts Theses ABC - A New Framework for Symmetric Block Ciphers
 185 Yuval Shimron Gil Joseph2012 Abstracts Theses Smaller Footprint for Java Collections
 186 Kolman Vornovitsky Domshlak Carmel2012 Abstracts Theses Abstractions for Devising Compact Controllers for MDPs
 187 Elad Gidron Keidar Idit2012 Abstracts Theses Exploiting Locality and NUMA in Scalable Conncurrent@Libraries
 188 Omer Levy Markovitch Shaul2012 Abstracts Theses Teaching Machines to Learn by Metaphor
 189 Ran Zemach Yavneh Irad2012 Abstracts Theses Algebraic Collocation Coarse Approximation (ACCA) in@Multigrid
 190 Alexandra Faynburd El-Yaniv Ran2012 Abstracts Theses Autoregressive Short-Term Prediction of Turning Points@Using Support Vector Regression
 191 Michael Kuperstein Yahav Eran

Martin Wechev
2012 Abstracts Theses Preserving Correctness Under Relaxed Memory Models
 192 Amit Bermano Gotsman Chaim Craig2011 Abstracts Theses Online Reconstruction of 3D Objects from Arbitrary Cross-@Section Data
 193 Gilad Kutiel Raz Dan

David Brietgand
2011 Abstracts Theses Cost-Aware Live Migration of Services in the Cloud
 194 Shachar Shem-Tov Bruckstein Alfred2011 Abstracts Theses Topics in Over-Parametrization Variational Methods
 195 Neer Roggel Friedman Roy2011 Abstracts Theses Anonymous Routing for Mobile Ad Hoc Networks
 196 Roi Adadi Shlomi Tomer2011 Abstracts Theses Prediction of Microbial Growth Rate versus Biomass Yield by@a Metabolic Network with Kinetic Parameters
 197 Anna Shulman Friedman Roy2011 Abstracts Theses A Density Driven Publish Subscribe Service for Mobile Ad-Hoc@Networks
 198 Tom Kolan Roth Ronny2011 Abstracts Theses Coding Techiques for Burst Errors
 199 David Yanay El-Yaniv Ran2011 Abstracts Theses Supervised Learning of Semantic Relatedness
 200 Gleb Polevoy Bar-Yehuda Reuven2011 Abstracts Theses Bandwidth Allocation in Cellular Networks with Multiple@Interferences
 201 Anat Hashavit Markovitch Shaul2011 Abstracts Theses Unbiased Rational Decision Making in Multiple-Adversary@Environments
 202 Ariel Kulik Shachnai Hadas2011 Abstracts Theses Submodular and Linear Maximization with Knapsack@Constraints
 203 Ilia Nudelman Cohen Reuven2011 Abstracts Theses Dependent UFP On a Shared Channel With Application to a@Network Centric Operation
 204 Omer Weissbrod Geiger Dan2011 Abstracts Theses Genetic Linkage Analysis in the Presence of Germline@Mosaicism
 205 Jonathan Yaniv Naor Joseph2011 Abstracts Theses Truthful Mechanisms for Value-Based Scheduling in Cloud@Computing
 206 Katherine Barabash Petrank Erez2011 Abstracts Theses Scalable Garbage Collection on Highly Parallel Platforms
 207 Edward Vitkin Shlomi Tomer2011 Abstracts Theses Functional Genomics Based Approach for Reconstruction of@Genome Scale Metabolic Network Models
 208 Daniel Genkin Kaminski Michael2011 Abstracts Theses Radical Lexicalization of Mildly Context-Sensitive@Languages
 209 Dmitry Zinenko Kutten Shay2011 Abstracts Theses Communication-Efficient Self-Stabilization
 210 Viacheslav Chernoy Zaks Shmuel

Salom Mordohay
2011 Abstracts Theses On the Performance of Dijkstra's Third Self-Stabilizing@Algorithm for Mutual Exclusion and Related@Algorithms
 211 Boaz Brickner Schuster Assaf

Daniel Keren
2011 Abstracts Theses Methods for Recognition by Graphical Style and Style@Synthesis Using Local Analysis
 212 Israel Shalom Naor Joseph2011 Abstracts Theses Online Load-Distance Balancing
 213 Anna Bendersky Petrank Erez2011 Abstracts Theses On the Limits of Partial Compaction
 214 Avishay Livne Schuster Assaf

Daniel Keren
2010 Abstracts Theses Monitoring Distributed Data Streams
 215 Raviv Elazar Shachnai Hadas2010 Abstracts Theses Algorithms for Two-Tier Scalable Data Upload
 216 Ofer Egozi Markovitch Shaul2010 Abstracts Theses Concept-Based Information Retrieval Using Explicit@Semantic Analysis
 217 Gil Cohen Shpilka Amir2010 Abstracts Theses On the Degree of Symmetric Functions on the Boolean@Cube
 218 Mordechai Nisenson El-Yaniv Ran2010 Abstracts Theses On the Foundations of Adversarial Single-Class@Classification
 219 Iddo Bentov Bshouty Nader2010 Abstracts Theses On Exact Learning from Random Walk
 220 Artiom Myaskouvskey Lindenbaum Michael2010 Abstracts Theses Using A Contrario Methology for Part-Based Object@Detection
 221 Artyom Sharov Roth Ronny2010 Abstracts Theses Coding Techniques for Multidimensional Constrained@Channels
 222 Silvina Rybnikov Shimshoni Ilan

Rivlin Ehud
2010 Abstracts  Building a Non-Euclidean Roadmap from a Small Set of Images
 223 Daniel Vainsencher Bruckstein Alfred2010 Abstracts Theses 2D Digital Balls
 224 Nir Kerem Itai Alon2010 Abstracts Theses Effects of Typicality on the Interpretation@of Reciprocal Expressions
 225 Shir Ben-Israel Ben Sasson Eliyahu2010 Abstracts Theses Symmetry Breaking Can Dramatically Reduce the Length of@Propositional Refutations
 226 Sofia Liberman Markovitch Shaul2010 Abstracts Theses Wikipedia-Based Compact Hierarchical Semantics for@Natural Language Processing
 227 Sagi Ben Moshe Fischer Eldar2010 Abstracts Theses Using Property Testing for Efficient Detection of@Nearly-Sorted relations
 228 Yael Meller Grumberg Orna2010 Abstracts Theses Multi Valued Abstraction and Compositional Model Checking
 229 Dan Albocher Elber Gershon2010 Abstracts Theses Real-Time Haptic Simulation for Surgical Procedures
 230 Noga Ron-Zewi Naor Joseph

Aharoni Ron
2010 Abstracts Theses Vector Representation of Graph Domination
 231 Masha Belchich Elber Gershon2010 Abstracts Theses Sketch Based Design of 2D and 3D Freeform Geometry
 232 Adam Carmi Kaminski Michael

Pinter Ron
2010 Abstracts Theses Adaptive Multi-Pass Parsing
 233 David Peles Lindenbaum Michael2010 Abstracts Theses Segmentation by Classification
 234 Yevgenia Alperin Katz Shmuel2010 Abstracts Theses Property Analysis and Automatic Detection of Aspect@Categories
 235 Yohai Devir Rabani Yuval2009 Abstracts Theses Intrinsic Regularization of Inverse Problems Involving@Non-Rigid Shapes
 236 Alexandra Skolozub Pinter Ron2009 Abstracts Theses Conditional Integration of Biological Pathways
 237 Ran Gelles Mor Tal2009 Abstracts Theses On the Security of Theoretical and Realistic Quantum@Key Distribution Schemes
 238 Aezalden Mhameed Raz Dan

Cohen Reuven
2009 Abstracts Theses Locally vs. Globally Optimized Flow-Based Content@Distribution to Mobile Nodes
 239 Nir Shemy Friedman Roy2009 Abstracts Theses QoS Enforcement for Web Services in Dynamic Networks
 240 Tali Shragai Gil Joseph2009 Abstracts Theses Empiric Evaluation of the Usability of Virtual Function@Calls within Constructors
 241 Raja Giryes Elad Michael

Eldar Yonina
2009 Abstracts Theses Automatic Parameter Tuning for Inverse Problems
 242 Michael Ryabtsev Strichman Ofer2009 Abstracts Theses Translation Validation: from Simulink to C
 243 Asenath Tal Barequet Gill2009 Abstracts Theses Algorithms for Heilbronn's Triangle Problem
 244 Lila Shnaiderman Shmueli Oded2009 Abstracts Theses Incermental Reclustering of Augmented XML Trees
 245 Ezer Bar-Aviv Rivlin Ehud2009 Abstracts Theses Function Based Object Categorization Using Simulation@of an Agent
 246 Anna Tzemach Geiger Dan2009 Abstracts Theses Preparing SNP Data For Genetic Linkage Analysis
 247 Evgeny Shaphir Pinter Ron

Wimer Shmuel
2009 Abstracts Theses Interconnect-Driven Cell-Based Migration of Integrated@Circuit Layout
 248 Kfir Karmon Schuster Assaf2009 Abstracts Theses Enforcing a Global Resource Quota in a grid Environment
 249 Yochay Tzur Tal Ayellet2009 Abstracts Theses Photogrammetric Texture Mapping Using Casual Images
 250 Noam Mori Friedman Roy2009 Abstracts Theses 3DLS:Density-Driven Data Location Service for Mobile@Ad-Hoc Networks
 251 Rotem Oshman Grumberg Orna2008 Abstracts Theses Bounded Model - Checking for Branching-Time@Logic
 252 Benny Godlin Strichman Ofer2008 Abstracts Theses Regression Verification: Theoretical and Implementation@Aspects
 253 Guy Rosman Kimmel Ron2008 Abstracts Theses Efficient Flattening in Manifold Learning and Image@Processing
 254 Ron Gross Kaminski Michael2008 Abstracts Theses Invariance under Stuttering in Branching-Time Temporal Logic
 255 Yuri Pekelny Gotsman Chaim Craig2008 Abstracts Theses Articulated Object Reconstruction and Motion Capture from@Depth Video
 256 Arie Orlovsky Raz Dan2008 Abstracts Theses Decentralized Enforcement of Security Policies for@Distributed Computational Systems
 257 Amjad Aboud Rabani Yuval2008 Abstracts Theses Correlation Clustering with Penalties and Approximating the@Recordering Buffer Management Problem
 258 Evelina Zarivach Gil Joseph2008 Abstracts Theses Evaluating Datalog Programs over Infinite and Founded@Databases
 259 Fady Massarwa Gotsman Chaim Craig

Elber Gershon
2008 Abstracts Theses Papercrafts from 3D Polygonal Models
 260 Li-Tal Mashiach Bar-Yossef Ziv2008 Abstracts Theses Local Approximation of PageRank and Reverse PageRank
 261 Ari Shotland Friedman Roy2008 Abstracts Theses Efficient Route Discovery in Hybrid Networks
 262 Guy Flysher Bar-Yehuda Reuven2008 Abstracts Theses Approximation Algorithms for Partial Capacitated@Covering Problems
 263 Eitan Yaakobi Etzion Tuvi2008 Abstracts Theses Codes for Correcting Multi-Dimensional Bursts
 264 Gil Gattegno Shimshoni Ilan

Lindenbaum Michael
2008 Abstracts Theses Object Recognition Using Geometric Hashing Extensions
 265 Andrey Klinger Tennenholtz Moshe2008 Abstracts Theses Stability against Group Deviations in Non-Cooperative@Computation
 266 Bennyamin Yoshpa Orda Ariel

Schuster Assaf
2008 Abstracts Theses Economic Aspects of QoS in Grid Computing
 267 Alex Kogan Attiya Hagit2008 Abstracts Theses Efficient and Robust Local Mutual Exclusion in Mobile Ad-@Hoc Networks
 268 Adi Mano Pinter Ron2008 Abstracts Theses Building Phylogenetic Trees Based on Biochemical Pathways
 269 Roy Fox Tennenholtz Moshe2008 Abstracts Theses Reinforcement Learning in Partially Observable Decision@Processes
 270 Ishay Goldin Bruckstein Alfred2008 Abstracts Theses Vesicles and Amoebae: On Globally Constrained Shape@Deformation
 271 Einav Itamar Itai Alon2008 Abstracts Theses Using Movie Subtitles for Creating Statistical Alignment@Models
 272 Haim Kermany Petrank Erez2008 Abstracts Theses The Compressor: Concurrent, Incremental, and Parallel@Compaction
 273 Yulia Dubov Kaminski Michael2008 Abstracts Theses Infinite Alphabet Pushdown Automata: Various Approaches and@Comparison of Their Consequences
 274 Mark Ginzburg Bruckstein Alfred2008 Abstracts Theses Holographic Video-Scene Watermarking in the@3D-DFT Domain
 275 Tal Zamir Schuster Assaf

Michael Factor
2008 Abstracts Theses Speculative Lock Acquisition for Fault-Tolerant Distributed@Systems
 276 Saeb Mansour Itai Alon

Winter Yoad
2008 Abstracts Theses Combining Character and Morpheme Based Models for Part-of-@Speech Tagging of Semitic Languages
 277 Dan Raviv Kimmel Ron2008 Abstracts Theses Symmetries of Non-rigid Shapes
 278 Anan Marie Domshlak Carmel

Gal Avigdor
2008 Abstracts Theses Second Line Schema Matchers
 279 Zvi Devir Lindenbaum Michael2008 Abstracts Theses Generalized Blind Sampling of Images
 280 Yan Tsitrin Uzi Ornan2007 Abstracts Theses Master-Slave Dependency Model and its Application to the@Hebrew Understanding
 281 Laurence Bisht Bshouty Nader2007 Abstracts Theses On Optimal Learning Algorithms for Multiplicity Automata
 282 Omer Yehezkely Shachnai Hadas2007 Abstracts Theses Approximation Schemes for Packing with Item@Fragmentation
 283 Alina Shaikhet Barequet Gill2007 Abstracts Theses The On-Line Heilbronn's Triangle Problem in d Dimensions
 284 Hanna Mazzawi Bshouty Nader2007 Abstracts Theses Learning Composed Classes with a Small Number of Mistakes
 285 Eliyahu Osherovich Bruckstein Alfred2007 Abstracts Theses Ant Robotics: Covering Continuous Domains by Multi-A(ge)nt@Systems
 286 Gregory Shklover Schuster Assaf2007 Abstracts Theses Explicitly-Parallel Code Compilation Methods for Shared-@Context Architecture
 287 Dmitry Datsenko Elad Michael2007 Abstracts Theses Example-based Regularization in Inverse Problems
 288 Michael Pechuk Rivlin Ehud2007 Abstracts Theses Function-based Object Recognition
 289 Yaron Goren Ishai Yuval2007 Abstracts Theses Basing Weak Public-Key Cryptography on Strong One-Way@Functions
 290 Shay Ohayon Rivlin Ehud2007 Abstracts Theses A Computational Analysis of Biological Behavior:@Interactions of Gaze Control and Visual Attention
 291 Roman Gershman Strichman Ofer2007 Abstracts Theses Improvements of SAT Solving Techniques
 292 Yonit Magid Makowsky Johann2007 Abstracts Theses BSS Model of Computation over the Reals and Choice Operator
 293 Benjamin Grimberg Kaminski Michael2007 Abstracts Theses Minimal Model semantics for First-Order Ground Non-Monotonic@Modal Logic
 294 Ido Guy Bar-Yossef Ziv2007 Abstracts Theses Cluster Ranking with an Application to Mining@Mailbox Networks
 295 Alik Zamansky Barequet Gill2007 Abstracts Theses A Framework for Surface Reconstruction of Sparsely-@Sampled Objects
 296 Iddit Shalem Yavneh Irad2007 Abstracts Theses Multilevel Two-dimensional Phase Unwrapping
 297 Sela Mador-Haim Winter Yoad2007 Abstracts Theses Natural Language Interface for Geographical Information@Systems
 298 Eran Eden Yakhini Zohar2007 Abstracts Theses Discovering Motifs in Ranked Lists of DNA Sequences
 299 Amir Rubinstein Pinter Ron

Kassir Yona
2007 Abstracts Theses Faithful Modeling of Transient Behavior in Developmental@Pathways
 300 Erez Brickner Bruckstein Alfred

Wagner Israel
2007 Abstracts Theses The Populating Problem@A Study in Multi-Nano-Robotics
 301 Olga Rozenfeld Tennenholtz Moshe2007 Abstracts Theses Strong Equilibrium in Congestion Games
 302 Ehab Wattad Bshouty Nader2006 Abstracts Theses On Exact Learning Halfspaces with Random Consistent@Hypothesis Oracle
 303 Gil Ratsaby Mor Tal2006 Abstracts Theses Quantum Advantage, even without Entanglement
 304 Keren Censor Hillel Etzion Tuvi2006 Abstracts  Constrained Codes for Two-Dimensional Channels
 305 Sivan Sabato Winter Yoad2006 Abstracts  The Semantics of Reciprocal Expressions in Natural@Language
 306 Asaf Henig Raz Dan2006 Abstracts  The Transcoders' Placement Problem over Multicast Networks
 307 Jacob Subag Elber Gershon2006 Abstracts  Piecewise Developable Surface Approximation of General NURBS@Surfaces, with Global Error Bounds
 308 Ido Feldman Bar-Yehuda Reuven2006 Abstracts  A 2+Epsilon Approximation Algorithm for Convex Recoloring@of Trees
 309 Roman Feldman Dori Dov2006 Abstracts  Designing Data Warehouse with Object-Process Methodology
 310 Itai Sharon Yona Golan

El-Yaniv Ran
2006 Abstracts  Similarity Detection for Low Complexity and Remotely@Related Proteins
 311 Daniel Zeitlin Kaminski Michael2006 Abstracts  Look-Ahead Finite-Memory Automata
 312 Amir Adler Markovitch Shaul

Ariel Felner
2006 Abstracts  Reducing Memory Requirements for Pattern Databases
 313 Bella Dubrov Ishai Yuval2006 Abstracts  On the Randomness Complexity of Efficient Sampling
 314 Ofir Avni Rivlin Ehud2006 Abstracts Theses Biologically Motivated Modeling and Imitating the@Chameleon's Vision System
 315 Sivan Yogev Moran Shlomo2006 Abstracts  Evaluation of Scoring Functions for Protein Multiple@Sequence Alignment using Structural Alignments
 316 Denis Krivitski Schuster Assaf2006 Abstracts  A Local Facility Location Algorithm for Large-Scale@Distributed Systems
 317 Emilia Katz Katz Shmuel2006 Abstracts  Verifying Scenario-Based Aspect Specifications
 318 Avishay Sidlesky Barequet Gill

Gotsman Chaim Craig
2006 Abstracts Theses Polygon Reconstruction from Line Cross-Sections
 319 Liza Fireman Petrank Erez2006 Abstracts  The Complexity of SIMD Alignment
 320 Alexander Shraer Keidar Idit2006 Abstracts  Timeliness, Failure-Detectors and Consensus Performance
 321 Alexander Lyakas Kantorowitz Eliezer2006 Abstracts  Specification-Oriented Construction of Web Information@Systems
 322 Jonathan Naor Barequet Gill2006 Abstracts  d-Dimensional Variants of Heilbronn's Triangle Problem
 323 Shimon Golan Gal Avigdor

Pinter Ron
2006 Abstracts  Efficient Algorithms for Computing Resource Availability@in WAA Environments
 324 Dolev Dotan Pinter Ron2006 Abstracts  HyperFlow: a Visual, Ontology-Based Query and Data-Flow@Language for End-User Information Analysis
 325 Dimitry Kloper Barequet Gill

Gotsman Chaim Craig
2006 Abstracts  Geometries and Topologies of Triangulations of Point Sets
 326 Amir Vaxman Barequet Gill2006 Abstracts Theses Nonlinear Interpolation between Slices
 327 Roman Golubchyck Lindenbaum Michael2006 Abstracts  Improving the Saliency Algorithm by Grouping Cues@Optimization
 328 Oleg Polonsky Gotsman Chaim Craig2006 Abstracts  What's in an Image? Towards the Computation of Good Views@for Three-Dimensional Objects
 329 Max Goldman Katz Shmuel2006 Abstracts  Modular Verification of Aspects
 330 Rachel Brel Grumberg Orna2006 Abstracts  Automatic Refinement and Vacuity Detection for Symbolic@Trajectory Evaluation
 331 Sharon Krisher Shmueli Oded2006 Abstracts  On XML Schema Identity Constraints
 332 Tal Lerner Gur Moshe

Rivlin Ehud
2006 Abstracts  Motion Correction in fMRI Images
 333 Nela Gurevich Markovitch Shaul

Rivlin Ehud
2006 Abstracts  Automatic Generation of Near Misses for Active@Learning of Visual Concepts
 334 Yacov Estrin Katz Shmuel2006 Abstracts  Expert System On Translations among Formal Verification@Tools in VeriTech
 335 Guy Sela Elber Gershon2006 Abstracts  Exploiting the Free-Form Deformation Function as a Geometric@Modeling Tool
 336 Oren Katzengold Mendelson Avi

Schuster Assaf
2006 Abstracts  Effective Use of Trace Caches
 337 Roman Sandler Missing advisors 2005
 Gabor Filters Analysis for Texture Segmentation
 338 Roy Frank Penn Michal2005 Abstracts  Revenue-Maximizing Allocations in Constrained Multi-Object@and Combinatorial Auctions
 339 Gregory Dardyk Yavneh Irad2005 Abstracts  Robust Nonlinear Multigrid Methods
 340 Haggai Yedidya Pinter Ron2005
 Performance Evaluation of Data Caches Organizations@for SMT Processors
 341 Saar Pilosof Raz Dan2005
 TCP Fairness over Wireless LAN
 342 Roman Barsky Wagner Israel2005 Abstracts  Electromigration-dependent Parametric Yield Estimation
 343 Alon Flaisher Missing advisors 2005
 Enhanced Vacuity Detection in Linear Temporal Logic
 344 Assaf Harel Kantorowitz Eliezer2005 Abstracts  Estimating the Number of Faults Remaining in Software Code@Document Inspected with Iterative Code@Reviews
 345 Ron Begleiter El-Yaniv Ran2005 Abstracts  Can Theory Meet Practice in Sequence Prediction?
 346 Guy Korland Friedman Roy2005 Abstracts  Location Awareness in Wireless Ad-Hoc Networks@(or How to RLISE a TIGR?)
 347 Alex Goryachev Barequet Gill2005 Abstracts  Offset-Polygon and Annulus Placement Problems
 348 Roy Bar-Haim Winter Yoad2005 Abstracts  Part-of-Speech Tagging for Hebrew and other@Semitic Languages
 349 Nili Ifergan Grumberg Orna2005 Abstracts  Achieving High Speedups in Distributed Reachability@Analysis through Asynchronous Computation
 350 Vadim Galperin Baram Yoram2005 Abstracts  In-Line Regression by Support Vectors with Application to@Head Motion Anticipation from EMG Signals
 351 Oren Shnitzer Markovitch Shaul2005 Abstracts  Self-Consistent Batch Classification
 352 Mark Matusevich Geiger Dan2005 Abstracts  Off-Line Improvement of Generic Group Trackers
 353 Constantine Elster Raz Dan2005 Abstracts  Efficient Monitoring of QOS Parameters
 354 Eyal Gordon Rosen Adi2005 Abstracts  Competitive Throughput Analysis of Greedy Protocols@on Directed Acyclic Networks
 355 Oleg Izmerly Mor Tal2005 Abstracts  Modern Cryptography in a Quantum World
 356 Rotem Bennet Bshouty Nader2005 Abstracts  Improved Learning with Corrupt Oracles
 357 Tamer Salman Baram Yoram

Bruckstein Alfred
2005 Abstracts  Learning Polynomial Generating Rules Using Support Vector@Machines
 358 Orly Meir Strichman Ofer2005 Abstracts  A Decision Procedure for Equality Logic
 359 Genady Beryozkin Francez Nissim2005 Abstracts  Plural Semantics for Control Sentences in LFG's "Glue"@Interface
 360 Michael Slavkin Itai Alon2005 Abstracts  Detecting Data Structures from Traces
 361 Orit Eden Ungarish Marius

Elber Gershon
2005 Abstracts  Simulation and Visualization of Gravity Currents
 362 Lawrance Khoury Bshouty Nader2005 Abstracts  Learning with Errors in Answers to Membership Queries
 363 Shimon Landa Naor Joseph2005 Abstracts  Combinatorial Approximation Algorithms for the Fractional@Set-Cover Problem
 364 Shadi Saba Yavneh Irad

Sheffer Alla

Gotsman Chaim Craig
2005 Abstracts  Barycentric Spherical Embeddings - Algorithms and Theory
 365 Jonathan Laserson Bar-Yehuda Reuven2005 Abstracts  Approximations Algorithms for Sorting Buffers
 366 Gil Yarom Sasson Ben-Shaul Z.2005 Abstracts  D-SEDA Distributed Staged Event-Driven Architecture
 367 Michael Bronstein Kimmel Ron2005 Abstracts  Three-Dimensional Face Recognition
 368 Amnon Shochot Cohen Reuven2005 Abstracts  Extending BGP to Support the Concept of "Global AS"
 369 Vladimir Getselevich Raz Dan2004 Abstracts  Enabling Efficient Fast Track Services in Active Networks
 370 Dan Guez Rosen Adi2004 Abstracts  Scheduling Time-Constrained Communication in Input@Queued Switches
 371 Avraham Yadgar Grumberg Orna

Schuster Assaf
2004 Abstracts  Solving All-SAT Problem for Reachability Analysis
 372 Zvi Gutterman Yavneh Irad

Gil Joseph
2004 Abstracts  Symbolic Pre-Computation for Numerical Applications
 373 Evgeny Yakersberg Barequet Gill2004 Abstracts  Morphing between Geometric Shapes using a Straight-Skeleton-@Based Interpolation
 374 Moran Gavish Lindenbaum Michael2004 Abstracts  A Sequential Algorithm for Face Recognition
 375 Israel Gutter Uzi Ornan2004 Abstracts  Sentence Parsing in Hebrew by Semantic Features
 376 Maxim Mogilnitsky Israeli Moshe (Deceased)

Sheffer Alla
2004 Abstracts  Efficient, Low Distortion, Conformal Parameterization@of Large Meshes
 377 Michael Tsirkin Rosen Adi2004 Abstracts  Delivery Times in Packet Networks under Full Load
 378 Yoram Talmor Schuster Assaf2004 Abstracts  Higher Performance DSM by Peaking Network Utilization
 379 Vadim Iosevich Schuster Assaf2004 Abstracts  Distributed Shared Memory: To Relax or not to Relax?
 380 Zvi Avidor Attiya Hagit2004 Abstracts  n-Set Consensus when Inputs are Restricted
 381 Alexander Dvorkin Raz Dan2004 Abstracts  Ensuring End-to-End Delay in the DiffServ Model
 382 Oren Souroujon El-Yaniv Ran2004 Abstracts  Iterative Double Clustering: An Information-Theoretic@Algorithm for Clustering Textual Data
 383 Michal Aharon Elad Michael

Kimmel Ron
2004 Abstracts  Representation Analysis and Synthesis of Lip Images Using@Dimensionality Reduction
 384 Wisam Kadry Pinter Ron2004 Abstracts  Simulation of Metabolic Pathways
 385 Micha Moffie Barequet Gill2004 Abstracts  Counting Polyominoes in Two and Three Dimensions
 386 Sharon Shoham Buchbinder Grumberg Orna2004 Abstracts  A Game-Based Framework for CTL Counterexamples and@Abstraction-Refinement
 387 Alon Altman Winter Yoad2004 Abstracts  Computation and Specification of Scope Dominance with@Monotone Quantifiers in Natural Language
 388 Galina Tcharny Friedman Roy2004 Abstracts  Fuzzy Group Communication in Mobile Ad Hoc Networks
 389 Yaniv Kaplan Attiya Hagit2004 Abstracts  Lower Bounds for Adaptive Collect and Related Objects
 390 Anna Bekkerman Gil Joseph2004 Abstracts  Conflict Resolution and Operator Priorities in Extended BNF
 391 Roy Schwartz Naor Joseph2004 Abstracts  Circular Arrangements
 392 Simon Polak Baram Yoram2004 Abstracts  Head Motion Anticipation for Virtual-Environment@Applications Using Kinematics and EMG Energy
 393 Asaf Amit Markovitch Shaul2004 Abstracts  Learning to Cooperete with Application to Bridge@Bidding
 394 Dorit Balter Moran Shlomo2004 Abstracts  Medical Records Confidentiality Problem
 395 Niv Buchbinder Petrank Erez2004 Abstracts  Lower and Upper Bounds on Obtaining History Independence
 396 Amir Bar-Or Schuster Assaf2004 Abstracts  Hierarchical Decision Tree Induction for Highly Dimensional@Data in Large-Scale Distributed Systems
 397 Idan Zach Attiya Hagit2004 Abstracts  Fully Adaptive Shared Memory Algorithms
 398 Yuval Scharf Barequet Gill2004 Abstracts  Covering Points with a Polygon
 399 Kobi Luz El-Yaniv Ran

Baram Yoram
2004 Abstracts  Online Choice of Active Learning Algorithms
 400 Oleg Rokhlenko Pinter Ron2004 Abstracts  Tree-Based Comparison of Metabolic Pathways
 401 Alexander Glikson Makowsky Johann2004 Abstracts  Verification of Generally Intractable Graph Properties on@Graphs Generated by Graph Grammars
 402 Anna Zamansky )Lifshits( Francez Nissim2004 Abstracts  A 'Natural Logic' Inference System Based on the Lambek@Calculus
 403 Amir Sasson Keidar Idit2004 Abstracts  Understanding and Mitigating the Effects of Denail-of-@Service Attacks on Secure Gossip-Based Multicast
 404 Tali Sapir Gotsman Chaim Craig

Vishkin Uzi
2004 Abstracts  Parallel Raytracing Using the XMT Paradigm
 405 Baruch Gilburd Schuster Assaf2004 Abstracts  A Privacy Model and Privacy-Preserving Algorithms for Data@Mining in Large-Scale Distributed Systems
 406 Michael Lifshits Rivlin Ehud2004 Abstracts  Vision-Based Navigation on Microscopic Images
 407 Philip Derbeko El-Yaniv Ran2004 Abstracts  Explicit Learning Curves for Transduction and Application@to Clustering and Compression Algorithms
 408 Carmen Rotstein Winter Yoad2004 Abstracts  A Semantic Framework for Total and Partial Adjectives
 409 Yael Merksamer Etzion Tuvi2004 Abstracts  Two Dimensional Cluster Error-Correcting Codes
 410 Tatyana Veksler Francez Nissim2004 Abstracts  Automata and Type-Logical Grammars
 411 Rami Cohen Raz Dan2004 Abstracts  Time Dependent Multi Scheduling of Multicast
 412 Alina Skarbovsky Raz Dan2004 Abstracts  Performance Evaluation and Modeling of TCP over Cellular@Wireless Links
 413 Erez Louidor Roth Ronny2004 Abstracts  Lowest-Density MDS Codes over Super-Alphabets
 414 Avraham Owshanko Bshouty Nader2003 Abstracts  Learning Finite Automata, Using Incomplete Membership@Queries
 415 Mirela Ben-Chen Gotsman Chaim Craig2003 Abstracts  On the Optimality of Spectreal Mesh Compression
 416 Doron Lipson Yakhini Zohar

Sivan Uri
2003 Abstracts  Optimization Problems in Design of Oligonucleotides for@Hybridization Based Methods
 417 Avraham Kenigsberg Kimmel Ron

Yavneh Irad
2003 Abstracts  A Multigraid Approach for Fast Geodesic Activ Contour
 418 Uri Dekel Gil Joseph2003 Abstracts  Revealing JAVA Class Structure with Concept Lattices
 419 Amnon Heiman Geiger Dan

Admon Arie
2003 Abstracts  Protein Identification via Mass Spectrometry
 420 Mirit Berg Katz Shmuel2003 Abstracts  Property Transformations for Translations
 421 Yael Gavish Petrank Erez2003 Abstracts  Cache-Conscious Garbage Collection for Servers
 422 Dafna Szarfman Petrank Erez2003 Abstracts  Reducing Cache Conflicts via Garbage Collection
 423 Hezi Azatchi Petrank Erez2003 Abstracts  Integrating Generations with Advanced Reference Counting@Collectors
 424 Sharon Keidar Grumberg Orna2003 Abstracts  Combining Symmetry Reduction and Under-Approximation for@Symbolic Model Checking
 425 Alon Kama Friedman Roy2003 Abstracts  Transparent Fault-Tolerant Java Virtual Machine
 426 Ido Tal Roth Ronny2003 Abstracts  List Decoding of Lee Metric Codes
 427 Nadav Golbandi Litman Ami2003 Abstracts  Characterization and Classification of Butterfly Like@Networks
 428 Ydo Wexler Geiger Dan2003 Abstracts  Finding Approximate Tandem Repeats in Genomic Sequences
 429 Efrat Jaeger Francez Nissim

Wintner Shalom
2003 Abstracts  Unification Grammars and Off-Line Parsability
 430 Gabriel Scalosub Rabani Yuval2003 Abstracts  Bicriteria Approximation Tradeoff for the Node-Cost Budget@Problem
 431 Tzafrir Cohen Petrank Erez2003 Abstracts  Responsive Round Complexity and Concurrent Zero-Knowledge
 432 Adi Bar-Lev Bruckstein Alfred

Elber Gershon
2003 Abstracts  virtual marionettes: a system for real-time animation@in 3D
 433 Ya'akov Broom Geiger Dan2003 Abstracts  Bayesian Classification and Clustering via DAG Hierarchies
 434 Oren Sifri Sheffer Alla

Gotsman Chaim Craig
2003 Abstracts  Surface Meshing Using Geodesic Distances
 435 Roni Raab Gotsman Chaim Craig

Sheffer Alla
2003 Abstracts  Virtual Woodwork: Making Toys from Geometric Models
 436 Dmitry Davidov Markovitch Shaul2003 Abstracts  Multiple-Goal Heuristic Search Algorithms
 437 Igor Katsman Rivlin Ehud2003 Abstracts  Biologically Motivated Modeling and Simulation of Animals@Vision Activities
 438 Alexander Goldin Gotsman Chaim Craig2003 Abstracts  Geometric Message-Filtering Protocols for Distributed Multi-@Agent Environments
 439 Daniel Brunstein Barequet Gill

Gotsman Chaim Craig
2003 Abstracts  Animating a Camera for Viewing a Planar Polygon
 440 Uriel Cohen Gil Joseph2003 Abstracts  Object Relations and Syntactic Mechanisms in Design Patterns
 441 Eliyahu Pozniansky Schuster Assaf2003 Abstracts  Efficient On-the-Fly Data Race Detection in Multithreaded@C++ Programs
 442 Vladislav Kraevoy Sheffer Alla

Gotsman Chaim Craig
2003 Abstracts  Matchmaker: Constructing Constrained Texture Maps
 443 Constantine Shapiro Katz Shmuel2003 Abstracts  Object-Oriented Implementation of Reconciliations
 444 Boris Veytsal Kantorowitz Eliezer

Friedman Roy
2003 Abstracts  Model Driven Help Systems Generation
 445 Ron Bekkerman Winter Yoad

El-Yaniv Ran
2003 Abstracts  Distributional Clustering of Words for Text Categorization
 446 Dmitry Livshitz Bruckstein Alfred2003 Abstracts  Robotic Self Location Using Three Dimensional Fiducials@and Omnidirectional Cameras
 447 Leonid Beliak Israeli Moshe (Deceased)2003 Abstracts  Adaptive Calculation of Variable Coefficients Elliptic@Differential Equations via@Wavelets
 448 Evgeny Panman Raz Dan2003 Abstracts  Efficient Data Collection Algorithm
 449 Hilla Atzmon Friedman Roy2002
 Replacement Policies for Internet Wide Caching of@Distributed Objects
 450 Vadim Gleizer Schuster Assaf2002 Abstracts  Optimizing Sharing Patterns and Locality via Thread@Migration
 451 Emil Kohn Schuster Assaf2002 Abstracts  A Transparent DSM System
 452 Vitaly Feldman Bshouty Nader2002
 On Using Extended Statistical Queries to Avoid@Membership Queries
 453 Alexandr Kaplan Shimshoni Ilan

Rivlin Ehud
2002 Abstracts  Finding Epipolar Geometry from Two Color Images
 454 Keren Bendel Bar-Yehuda Reuven2002
 Applications of the Local-Ratio Technique: A Survey
 455 Dan Kenigsberg Biham Eli2002
 Grover's Quantum Search Algorithm and Mixed States
 456 Yaroslav Fedorov Winter Yoad2002
 Implementing and Extending Natural Logic
 457 Ziv Nevo El-Yaniv Ran2002
 On Online Learning of Decision Lists
 458 Eyal Hameiri Shimshoni Ilan

Lindenbaum Michael
 Estimating the Principal Curvatures and the Darboux Frame@from Real 3D Range Data and its Application to the@Recovery of Primitives
 459 Tal Cohen Gil Joseph2002
 Self-Calibration of Metrics of Java Methods towards the@Discovery of the Common Programming Practice
 460 Roni Ram Raz Dan2002 Abstracts  Efficient Distribution of Email Messages
 461 Lior Ron Baram Yoram2002
 A Visual Feedback System
 462 Ran Yaroshinsky El-Yaniv Ran2002
 Smooth Online Learning of Expert Advice
 463 Vladislav Kalinovsky Schuster Assaf

Friedman Roy
2002 Abstracts  Symphony: Managing Virtual Servers
 464 Asi Elad Kimmel Ron2002 Abstracts  On Surface Flattening via MDS and FMMTD
 465 Sagi Katz Grumberg Orna2002
 Techniques for Increasing Coverage of Formal Verification
 466 Irit Katriel Itai Alon2002
 Implicit Data Structures based on Local Reorganizations
 467 Sally Tadmor Kantorowitz Eliezer

Friedman Roy
2002 Abstracts  A Framework for Interactive Information Systems
 468 Robert Parham Baram Yoram2002
 Solving the Dynamic Conflict between N Moving Objects@Using Neural Networks
 469 Gilad Ben Avi Winter Yoad2002 Abstracts  Monotonicity Properties of Plural Quantifiers in Natural@Language
 470 Elena Tulchinsky Gil Joseph2002
 Positive Semantics of Projections in Venn-Euler Diagrams
 471 Yaniv Hamo Cohen Reuven2002
 Balanced Packet Discard for Improving TCP Performance in@ATM Networks
 472 Assaf Shatil Markovitch Shaul2002
 Speedup Learning for Repair-Based Search by Identifying@Redundant Steps
 473 Liav Adi Kimmel Ron2002
 Fast Computation of Geodesic Distances: Graphic@Applications
 474 Shlomit Koyfman Francez Nissim2002
 Semantic Invariance of Algorithms for Nominal Anaphora@Resolution
 475 Ronit Reger Markovitch Shaul2002 Abstracts  Learning and Exploiting Relative Weaknesses of Opponent@Agents
 476 Yosef Firstenberg Katz Shmuel

Shmueli Oded
 Selective Caching for Acceleration Purposes of@Intermediate Results in Object-Oriented Programs
 477 Ari Frank Geiger Dan

Yakhini Zohar
2002 Abstracts  A New Branch and Bound Feature Selection Algorithm
 478 Dor Laor Friedman Roy2002
 Soft Real-Time Layered Group Communication
 479 Dmitry Gavinsky Bshouty Nader2002 Abstracts  Boosting with Polynomially Bounded Distributions
 480 Irina Shapira Shachnai Hadas2001
 Scheduling Splitting Intervals
 481 Shiri Moran Litman Ami2001
 Fast, Minimal, and Oblivious Routing Algorithms on the Mesh@with Bounded Queues
 482 Alexander Bogomjakov Gotsman Chaim Craig2001
 Optimized Polygon Traversal of Progressive Meshes for@Vertex Caching
 483 Julia Mosin Kaminski Michael2001
 Base Dependence of Extensions for Open Default Theories
 484 Tzach Levyatan Markovitch Shaul2001
 Anytime Search by Improving Highest-Utility Solution@Segments
 485 Alexander Gaysinsky Shachnai Hadas2001
 Caching Integrated with Pipelined Prefetching
 486 Zehavit Kehat Bar-Yehuda Reuven2001
 Approximating the Dense Set-Cover Problem
 487 Boris Epelman Elber Gershon2001
 Remote Geometrical Modeling
 488 Rafi Tayar Even Shimon (Deceased)2001
 Scanning Directed Eulerian Mazes by a Finite-State Robot
 489 Noam Rinetskey Sagiv Shmuel

Grumberg Orna
 Interprocedural Shape Analysis
 490 Boris Kronrod Gotsman Chaim Craig2001
 Topics in Compression of 3d Models
 491 Ilya Ekshtein Gotsman Chaim Craig2001 Abstracts  Texture Mapping Using Constrained Parametrization
 492 Alexander Gorovoy Itai Alon

Gil Joseph
 Applying Data Compression Algorithms to Software@Engineering
 493 Julia Chuzhoy Rabani Yuval2001
 Hardness of Approximation and New Approximability Classes
 494 Barak Hermesh Bruckstein Alfred2001
 Fiducials for Precise Location Estimation
 495 Natalie Eckel Gil Joseph2001
 Empirical Study of Object-Layout Strategies and@Optimization Techniqes
 496 Yuri Tsoglin Gil Joseph2001
 JAMOOS - an Object Oriented Language for Grammars
 497 Vladimir Furman Biham Eli2001
 Cryptanalysis of Some Modern Blockciphers
 498 Dina Tal Uzi Ornan2001
 Analysis and Use of Subcategorization of Verbs in Validation@of Hebrew Sentences
 499 Yan Sorkin Gil Joseph2001
 CD-Edit- A Constraint Diagrams' Editor
 500 Eli Almog Shachnai Hadas2001
 Scheduling Accesses to Shared Memory by a Bus Arbiter:@The k-client Problem Revisited
 501 Vita Bortnikov Attiya Hagit2001
 Adaptive Algorithms for Mutual Exclusion
 502 Shirley Halevy Roth Ronny2001
 Two-Dimensional Coding for Recording Channels
 503 Gregory Shakhnarovich El-Yaniv Ran

Baram Yoram
 Statistical Data Cloning for Machine Learning
 504 Svetlana Kronrod Friedman Roy2001
 Probablistic Scalable Application Placement in Distributed@Systems
 505 Shlomo Livne Markovitch Shaul

Grumberg Orna
 Machine Learning for Efficient BDD Variable Ordering@in Verification
 506 Yosseff Levanoni Petrank Erez2001
 On-The-Fly Garbage Collection via Sliding Views
 507 Lior Leiba Shmueli Oded2001
 Towards Automatic Electronic Commerce: EContracts Framework@Specification and Preliminary Implementation
 508 Oren Zeev Ben Mordejai Schuster Assaf2001
 Efficient Integration of On-the-fly Data Race Detection in@Distributed Shared Memory and Symmetric@Multiprocessor Environments
 509 Yoav Katz Shachnai Hadas2001
 Scheduling with Batching and Incompatible Job Families
 510 Vladimir Yanovski Bruckstein Alfred2001
 Simple Agents for Complex Tasks
 511 Dmitry Kogan Missing advisors 2000
 Remote Reference Counting: Distributed Garbage Collection@With Low Communication and Computation Overhead
 512 Shiri Manor Friedman Roy2000
 Scalable Multicast in a Logical Hypercube
 513 Dmitry Levinson Itai Alon2000
 Corpus-Based Methods for Word Sense Disambiguation
 514 Ariella Voloshin Missing advisors 2000
 A Unified Approach to Computing Domination Sets and@Independence Sets for Intervals on a Line
 515 Gal Vardi Uzi Ornan2000
 Analysis and Generation of Hebrew Nouns with Derivational@Morphemes
 516 Guy Froimovich Rivlin Ehud

Shimshoni Ilan
 Object Classification from Range Images
 517 Patrick Chouraqui Elber Gershon2000
 Surface Reconstruction with Triangular Bezier@Patches from Range Measurements
 518 Guy Rey Kaminski Michael2000
 First-Order Non-Monotonic Logic
 519 Victoria Skoblikov Francez Nissim2000
 Feature-Based Computational Lexicon of Hebrew Vrebs
 520 Igor Dozorets Gath Isak

Shachnai Hadas
 Computer-Based Model for Speaker Recognition by a Human@Listener
 521 Dmitry Rusakov Markovitch Shaul

Lindenbaum Michael
 Selective Sampling for Nearest Neighbor Classifiers
 522 Erel Segal Itai Alon2000
 Hebrew Morphological Analyzer for Hebrew Undotted@Texts
 523 Omer Barkol Missing advisors 2000
 Tighter Lower Bounds for Nearest Neighbor Search and@Related Problems in the Cell Probe Model
 524 Guy Lebanon Bruckstein Alfred2000
 Moire Pattern Synthesis
 525 Nitzan Niv Schuster Assaf2000
 Dynamic Adaptation of the Sharing Granularity in Dsm Systems
 526 Gil Zigelman Kimmel Ron2000
 Texture Mapping by Surface Flattening Via Mds
 527 Yael Zbar Kaminski Michael2000
 Open Default Theories
 528 Shay Artzi Kaminski Michael2000
 Lower Bounds on the Complexity of Polynomail@Multiplication Over Finite Fields
 529 Lea Shalev Missing advisors 1999
 Load Sharing in Distributed Shared Memory Systems
 530 Vitaly Surazhsky Gotsman Chaim Craig1999
 Morphing Planar Triangulations
 531 Oleg Frenkel Missing advisors 1999
 Multicast Group Synchronization in Atm
 532 Michael Plavnik Missing advisors 1999
 Surface Design Using Global Second Order Differential@Constraints
 533 Arkady Estrin Missing advisors 1999
 A Comparison Between First-Order Temporal Logic and Temporal@Logic of Actions
 534 Ilia Gretskin Missing advisors 1999
 Java Interface for Irit Solid Modeler
 535 Anatoly Koyfman Missing advisors 1999
 Facilitating Generation of Help Systems
 536 Alla Gorbach Missing advisors 1999
 Computing in Anonymous Asynchronous Shared Memory
 537 Lior Arzi Kantorowitz Eliezer1999
 Probabilistic Model for Predicting the Efficiency of a Fault@Detection Process in a Software Requirement@Document
 538 Arie Tal Kaminski Michael1999
 Decidability of Inclusion for Unification Based@Automata
 539 Shai Rubin Missing advisors 1999
 Using Virtual Cache Lines for Higher Data Cache@Performance
 540 Amit Cohen Missing advisors 1999
 A Dynamic Approach for Efficient Tcp Buffer Allocation
 541 Arnon Netzer Gotsman Chaim Craig1999
 Mosaicing Video Sequences
 542 Sharon Or Missing advisors 1999
 Encapsulating Real-Time in Failure Detectors
 543 Octavian Soldea Missing advisors 1999
 Algorithms on Continued Fractions
 544 Dror Rawitz Missing advisors 1999
 Combinatorial and LP-based Methods for Designing@Approximation Algorithms
 545 Costa Touma Bar-Yehuda Reuven

Gotsman Chaim Craig
 Triangle Mesh Compression
 546 Alon Ravid Missing advisors 1999
 A Method for Extracting and Stating Software Requirements@That a User Interface Prototype Contains
 547 Michael Gertelman Kantorowitz Eliezer1999
 Automatic User Interface Generation from a Given Domain@Model
 548 Avigail Orni Missing advisors 1999
 Measuring the Locality of Space-Filling Curves
 549 Ronit Nossenson Missing advisors 1999
 Dynamic Maintenance of Connectivity Classes of a Graph Using@Decomposition Into 3-Components
 550 Yuri Miroshnik Missing advisors 1999
 Skew-Tolerant Clocking Techniques
 551 Dan Rosenstein Missing advisors 1999
 Feature Generation Using General Constructor Functions
 552 Ronny Lempel Missing advisors 1999
 Finding Authoritative Sites on the Www (and Other@Hyperlinked Media) by Analyzing the Web's Link-@Structure
 553 Marina Biberstein Missing advisors 1999
 Constructions and Bounds for Blot-Correcting Codes
 554 Alon Raviv Elber Gershon1999
 Three Dimensional Freeform Sculpting Via Zero Sets@Of Scalar Trivariate Functions
 555 Yohai Makbily Bar-Yehuda Reuven

Gotsman Chaim Craig
 Message Filtering for Geometric Distributed Virtual@Environments
 556 Boris Rabinovich Gotsman Chaim Craig1998
 Visualization of Large Terrains in Resource-Limited@Computing Environments
 557 Sagi Snir Moran Shlomo1998
 A Simple and Efficient Method for Network Decomposition@And Synchronization
 558 Tali Yatzkar Litman Ami1998
 Lower Bound on the Bisection Width of the Butterfly@Network
 559 Harry Hornreich Berry Daniel1998
 A Case Study of Software Reengineering
 560 Vitaly Skachek Etzion Tuvi

Roth Ronny
 Coding for Spectral-Null Constraints
 561 Anna Gringauze Rabani Yuval

Ben David Shay
 The Complexity of Propositional Proofs
 562 Eyal Dagan Attiya Hagit1998
 Universal Operations: Unary Versus Binary
 563 Jacob Eckel Katz Shmuel

Gil Joseph
 A Framework for Static Checking of Design Level Traits
 564 Mira Yaniv Shachnai Hadas1998
 Dynamic Schemes for Specualtive Code Execution
 565 Amit Reisman Gotsman Chaim Craig

Schuster Assaf
 Animation Using Parallel Progressive Ray-Tracing
 566 Ari Freund Naor Joseph1998
 On-Line Assignment with Load Balancing
 567 Inna Bianu-Minei Cohen Reuven1998
 Increasing the Performance of Tcp Over a Unidirectional@Geostationary Satellite Channel
 568 Beery Holstein Gil Joseph1997
 T++ : Test Case Generator Using Code Abstraction
 569 Ziv Mador Chor Ben-Zion1997
 The Probed Partial Digest Problem - Algorithms and Number@Of Solutions
 570 Kirill Shoikhet Geiger Dan1997
 Optimal Triangulations Via Mininal Separators
 571 Boris Zemlyak Lindenbaum Michael

Bruckstein Alfred
 Direct Depth from Axial Camera Motion
 572 Fanny Faina Shpilberg Berry Daniel1997
 Wd-Pic, a Wysiwyg Direct-Manipulation Pic
 573 Tal Drory Etzion Opher1997
 Consistency Maintenance by Self Stabilization in Active@Temporal Databases
 574 Roman Talyansky Etzion Tuvi

Roth Ronny
 Coding for Two-Dimensional Constraints
 575 Ehud Aharoni Cohen Reuven1997
 Restricted Dynamic Steiner Trees for Scalable Multicast in@Datagram Networks
 576 Yuval Ishai Kushilevitz Eyal1997
 Characterizing Perfect Privacy
 577 Leonid Voldman Gil Joseph1997
 Using Smart Terminals to Effectively Enhance Commuication@Throughput
 578 Roman Kazinnik Elber Gershon1997
 Free-Form Surface Editing Using Multiresolution@Decomposition
 579 Nadav Eiron Ben David Shay1996
 Variants of Mistake Bound Learning Algorithms
 580 Ohad Ben-Shahar Rivlin Ehud1996
 To Push Or Not to Push: on the Rearrangement of@Movable Objects by a Mobile Robot
 581 Maxim Goldin Schuster Assaf1996
 Weak Consistency Distributed Shared Memory System@Design
 582 Olga Tebelev Elber Gershon

 Volumetric Computer Graphics in Surgery Process Planning
 583 Ilan Evron Cohen Reuven1996
 Reliable Signaling in Atm Networks Over Parallel Signaling@Vc Connections
 584 Gitit Ruckenstein Roth Ronny1996
 Encoding for Input-Constrained Channels
 585 Galia Givaty Kushilevitz Eyal1996
 Learning Subclasses of Dnf Formulas and Disjunctions@Of Threshold Functions Using Queries
 586 Ishai Rabinovitz Even Shimon (Deceased)1996
 Random and Deterministic Approximation Algorithms for@Covering Problems.
 587 Alexander Dubrovsky Schuster Assaf1996
 Load Balancing in Distributed Shared Memory System
 588 David Barta Gil Joseph1996
 A System for Document Reuse
 589 Shmuel Cohen Elber Gershon1996
 Matching of Curves in Computer Aided Geometric@Design and Computer Graphics
 590 Eli Stein Cohen Reuven1996
 An Efficient Approach for Emulating a Token-Ring Lan@Over An Atm Network
 591 Ofra Hod Etzion Tuvi

Roth Ronny
 Constructions for Error-Correcting Codes and Covering Codes
 592 Hillel Miller Katz Shmuel1996
 Saving Space by Fully Exploiting Invisible Transitions
 593 Juliana Sheinerman Ben David Shay1996
 Consequence Relations for Default Reasoning Without the@'and' Rule
 594 David Konopnicki Shmueli Oded1996
 Information Gathering in the World-Wide Web: the W3ql Query@Language and the W3qs System
 595 Anna Moss Lindenbaum Michael1996
 Quantifying the Reliability of Feature-Based Object@Recognition
 596 Boris Farizon Itai Alon1996
 Dynamic Data Management in Parallel Ray Tracing
 597 Michael Kliot Rivlin Ehud

Bruckstein Alfred
 Local Multivalued Invariant Signatures and Their Usage in@Pictorial Databases
 598 Guy Bashkansky Uzi Ornan1996
 Monolingual Translator Workstation
 599 Yigal Bejerano Segall Adrian1995
 Setup and Maintenance of a Multi-Point Conversation
 600 Ronen Hod Roth Ronny1995
 Coding Methods for Imput Constraind Channels
 601 Boaz Tamir Naor Joseph1995
 K-Connected Graphp Partitions and Approximation Algorithms@For Covering Problems
 602 Rinat Rappoport Attiya Hagit1995
 The Level of Handshake Required for Establishing@Connection
 603 Karen Holtz Kantorowitz Eliezer1995
 Semrel - a Semantic Relationship Model for Object@Oriented Databases
 604 Amir Eliaz Geiger Dan1995
 Handwriting Recognition Via Short Line Segments
 605 Tamar Tamir Attiya Hagit1995
 Local Labeling and Resource Allocation Using Preprocessing
 606 Nira Shavitt Mendelson Avi

 Mapping Dynamic Parallel Programs Into Parallel Systems
 607 Noam Paz Shmueli Oded1995
 Ursus: An Advanced Neural Network Environment
 608 Artur Zavalkovsky Kantorowitz Eliezer1995
 Mys - An Object Oriented Database Management System in the@Mach Operating System Environment
 609 Irina Notkin Gotsman Chaim Craig1995
 Parallel Adaptive Ray Tracing
 610 Elena Ravve Makowsky Johann1995
 Model Cheking for Various Notions of Product
 611 Segev Wasserkrug Baram Yoram1995
 Neural Network Design for Classification
 612 Ann Becker Geiger Dan1995
 Optimization of Bayesian Inference and Approximation@Algorithms for the Weighted Vertex Feedback Set@Problem
 613 Michael Kariv Gotsman Chaim Craig1995
 Model-Based Compression of Synthetic Animation Sequences
 614 Polina Golland Lindenbaum Michael

Bruckstein Alfred
 Use of Color for Optical Flow Estimation
 615 Ahron Kupershtok Even Shimon (Deceased)1995
 The Hypercube - Features Generalizations and Embedding Sets@Of Numbers in It
 616 Asaf Shirazi Israel Amos1995
 Efficient Wait-Free Implementations of Atomic Snapshot@Memories
 617 Michal Jacovi Ben David Shay1994
 Learmnning in the Limit and Non-Uniform
 618 Allon Adir Katz Shmuel

Francez Nissim
 Compiling Programs with Multiparty-Interactions and Teams
 619 Benjamin Gershon Yoeli Michael (Deceased)

Grumberg Orna
 Synthesis of Concurrent Systems
 620 Amir Ben-Dor Chor Ben-Zion1994
 On the Complexity of Computing the Permanent
 621 Zvi Berkovich ?1994
 Sematic Debugging of Black Boxes
 622 Irit Rosdeutscher Markovitch Shaul1994
 Systematic Experimentation with Macro-Learning
 623 David Lorenz Markovitch Shaul1994
 Learning in Games Using Symbolic Classification
 624 Oren Brezner Ben David Shay

Francez Nissim
 Expectation Semantucs for Modal Logic
 625 Shoham Ben-David Katz Shmuel1994
 Using Graphs to Represent Equivalence Classes of Parallel
 626 Amnon Shaham Israel Amos1994
 Implementation of Multi-Writer Multi-Reader Atomic Register
 627 Baruch Katz Rodeh Michael1994
 Minimzing the Performance Degradation Due to Conditional
 628 Hagit Brit Moran Shlomo1994
 Public Data Structures and Public Counters as a Special Case
 629 Gilad Granot Even Shimon (Deceased)1994
 Planar Geid Drawings of Graphs with Few Bends in Eahe Edge
 630 Offer Zimerman Mendelson Avi1994
 Using "Write"Only Cache" for Improring "Cacne Based" Systems
 631 Ishai Ben-Aroya Schuster Assaf1994
 Bounds and Algorithms for Deflection Routing
 632 Arie Ben Ephraim Geiger Dan1994
 Pattern Recognition Using Similarity Networks
 633 Leonid Zosin Chor Ben-Zion1994
 Privacy of Symmetric Functions
 634 Evgeny Roytman Gotsman Chaim Craig1994
 Dynamic Color Quantization of Animation Sequences
 635 Galit Shemesh Schuster Assaf1994
 Upper & Lower Bounds in Reconfigurable Networks
 636 Tal Djerassi-Shintel Attiya Hagit1994
 Lower Bounds for Decision Problems in Semi-Sjnchronous
 637 Yael Abarbanel Naor Joseph1994
 Algorithms for Dynamic Graphs
 638 Mordechai Frances Ben David Shay

Litman Ami
 Measuers of Complexity of Classes of Sets and Their
 639 David Carmel Markovitch Shaul1994
 Learning Models of Strategy's Strategy in Game Playing
 640 Oded Lempel Litman Ami1994
 Dual Round Retiming
 641 Yaron Sella Markovitch Shaul1993
 Learning of Resource Allocation Strategies for Game Playing
 642 Ariel Kahan Goldreich Oded1993
 Zero Knowledge Proofs with Constant Number of Iterations
 643 Shai Halevi Schuster Assaf1993
 Greedy Hot-Potato Routing
 644 Lev Finkelstein Markovitch Shaul1993
 Learning to Play by Acquiring Move-Patterns
 645 Netta Aizenbud Katz Shmuel

Attiya Hagit
 Self-Stabilization of Fault-Tolerant Distributed Algorithms
 646 Tatiana Orenstein Kohavi Zvi

Pomeranz Irith
 Using Partial Scan for Testing of Digital Sequential Circoir
 647 Abraham Sharell Makowsky Johann1993
 On the Average Gomplexity of Sat for Fiat Distributions
 648 Ilan Ronel ?1993
 Topolgy Design Capacity Allocation and Route Assignment
 649 Moshe Levinger Uzi Ornan1993
 Morphological Disambiguation in Hebrew
 650 Ronit Lubitch Moran Shlomo1993
 Closed Schedvlers: Motivation Construction and Application
 651 Noam Shintel Yoeli Michael (Deceased)1993
 Synthesis of Modular Delay-Insensitive Netwerks from Petri
 652 Arnon Amir Bruckstein Alfred1993
 Depth from Structured Lisht and Axial Motion
 653 Ophir Munk Bar-on Ilan1993
 A New Parallel Factorization A= Ddtbc for Band Symmetric
 654 Shaul Silvian Marcus Markovitch Shaul1993
 Estimation of Lexical Relations Using Word Similarities
 655 Mircea Namolaru ?1993
 Compilation Techniques for Distributed Constraint Languages
 656 Alon Efrat Itai Alon

Bar-Yehuda Reuven
 Dynamically Maintainhg the Ceter of a
 657 Ronit Fraiman Ben David Shay1993
 Complexity of Learning by Distances
 658 Nechama Navony Moran Shlomo1993
 A Verge and Randomized Complexity of Distributed Problems
 659 Yishay Brown ?1993
 Common Sense Maps Generator
 660 Elana Zamir Uzi Ornan1992
 Semantic Parser for Context Free Sentences in Hebrew
 661 Avigdor Pollak Bar-on Ehud1992
 From Neural Networks to Production Rvles and Back
 662 Dror Sneh Goldreich Oded1992
 The Complexity of Global Computation in the Presence of
 663 Nir Dvir Katz Shmuel1992
 Freezing - Interaction Between Concurrent Distributed Algs.
 664 Erez Petrank Goldreich Oded1992
 The Knowledge Complexity of Interactive Proofs
 665 Ruben Hasson Makowsky Johann1992
 A Comparison of Data Models Forcomplex Objects
 666 Ze'ev Collin Katz Shmuel

 A Self Stabilizing Distributed Solution
 667 Isaac Nativ Kantorowitz Eliezer1992
 Consistent Database with Non-Serialized Queries
 668 Ophir Rachman Chor Ben-Zion1992
 Wait Free Randomized Consensus
 669 Yardena Peres Shmueli Oded1992
 Implementation of the Grid File System
 670 Merav Michaeli-Aaroni Chor Ben-Zion1992
 A Generalization of Group Testing
 671 Amos Beimel Chor Ben-Zion1992
 Ideal Secret Sharing Schemes
 672 Lee-Bath Nelson Chor Ben-Zion1992
 Characterization of Distributed Interactive Tasks
 673 Yaniv Barguri Makowsky Johann1992
 The Hierarchy of Transitive Closure
 674 Eran Aharonson Attiya Hagit1992
 The Structure of Counting Networks
 675 Irit Yadin Moran Shlomo1992
 The Distributet Counter Problem
 676 Yoram Singer Dan Chazan1992
 Non Parametric Methods for Speech Consonants Recognition
 677 Michal Dvir Ben David Shay1992
 Incompleteness and the Theory of Computer Science
 678 Ran Canetti Goldreich Oded1992
 A Tradeoff Between Randomness and Commonication Complexity
 679 Meir Pinhasov Israel Amos1991
 A Linear-Time Bounded Concurrent Time-Stamp Scheme
 680 Raanan Grinwald Bar-Yehuda Reuven1991
 Merging Polygons with Holes
 681 Guy Even Goldreich Oded1991
 Construction of Small Probability Spaces
 682 Yair Amir ?1991
 Customer Scheguling Under Qveueing and Delay Constraints
 683 Anat Helman Israeli Moshe (Deceased)

Ungarish Marius
 Parallel Solution of An Elliptic Eguation in Twd Dimentidns
 684 Hana De-Lion Grumberg Orna1991
 Real Time Temporal Logics
 685 Shalom Wintner Uzi Ornan1991
 Syntactic Analysis of Hebrew Sentences
 686 Johny Srouji Berry Daniel1991
 Adaptaticn of the Unix Ditroff for Formatting Arabic Text
 687 Yael Rinoenau Moran Shlomo

Israel Amos
 An Efficient Algorithm for Maximum Dyramis Flow Problem
 688 Eli Dichterman Ben David Shay1991
 Derandomizing Online Algorithms
 689 Miriam Sharon Itai Alon1991
 Learning Automata
 690 Ron Resnik Israeli Moshe (Deceased)

Ungarish Marius
 Nuerical Analysis of Two-Phase Rotating Flow
 691 Michel Adar Bar-on Ehud1991
 An Interactive Graphical Development System for Orject
 692 Gil Shurek Grumberg Orna1991
 Modular Computer Aided Verification of Concurrent Systems
 693 Nir Solel ?1991
 Efficient Algorithms for Disjoint Paths Steiner Tree
 694 Rami Marelly Grumberg Orna1991
 Automatic Verifier of Distributed Algorithms
 695 Lyor Goldstein Uzi Ornan1990
 Generation and Analysis of the Possession Inflexion of
 696 Netta Shani Chor Ben-Zion1990
 On the Privocy Gdp in Dense Symmetric Functions
 697 Marc Elie Jalfon Israel Amos1990
 Self Stabilizing Random Algorithms on Distributed Uniform Sy
 698 Yuval Neeman Francez Nissim1990
 Domain Archetype - a Eeasiblit Y Study
 699 Elan Neeman Segall Adrian1990
 Route Setmp and Takedown in a Funnel Network
 700 Ady Tal ?1990
 Vertex Disjoint Paths in Series Paraller Graphs
 701 Robert Geva Paz Azaria1990
 Representation of Irrelevance Relations by Graphs
 702 Sergio Fogel Bar-Yehuda Reuven1990
 Ray Shooting: Searching and Counting Queries
 703 Erela Amit Bar-on Ehud1990
 Machine Learning Algorithm for Diagnosing Misconceptions
 704 Ariel Calo Makowsky Johann1990
 The Expressive Power of the Transitive Closure
 705 Dan Kimmel Even Shimon (Deceased)1990
 Simulation Project on Ibm/pc for Electronic Wallet
 706 Rivka Licht Etzion Tuvi1990
 Realization of Permutations in a Shuffle-Exchange Network
 707 Lior Moscovici Chor Ben-Zion1990
 Implementing Distributed Tasks in Presence of Failures
 708 Michal Shany-Klein Uzi Ornan1990
 Generating & Analyzing Segolatenoun Inflection in Hebrew
 709 Shimon Yanai Berry Daniel1990
 Environment for Translating "Metafont"to"Postscrcpt"
 710 Doron Cohen Etzion Tuvi1990
 Combinatorical Designs Derived from Constant Weight Godes
 711 Iris Bezalel Yoeli Michael (Deceased)1990
 Structured Design of Delay-Insensitive Controllers
 712 Eyal Ben-Chanoch Bar-Yehuda Reuven1990
 Covering Polygons with Squares
 713 Shlomo Dolev Israel Amos

Moran Shlomo
 Self Stabilization of Dynamic Systems Assuming Only Read/
 714 Mordkhai Lempel Paz Azaria1990
 Modular Lattices - An Algorithmic Approach
 715 Gidon Yona Israel Amos

Ben David Shay
 Verification of Protocols Fur Sharfd Registers Systems by G
 716 Zeiev Shtapler Grumberg Orna1990
 Automatic Verification of Distributed Algorithms
 717 Osnat Meir ?

 Analysis of the Performance of the Exponential Pxramid
 718 Moshe Molcho Zaks Shmuel1990
 Distributed Algorithms with a Fault Detection Ring
 719 Sara Bittan Zaks Shmuel1990
 Linear Broadcast Routing
 720 Ruthi Erez Berry Daniel1990
 An Interactive Iaterpretes Withgraphic Display of Program
 721 Shmuel Ur Paz Azaria1990
 Graphoids: Graph Representation and Membership Problems
 722 Oran Sharon Segall Adrian1990
 Session Management and Organization in Broadcast Networks
 723 Moises Sananes Kantorowitz Eliezer1989
 Dros a Distributed Replicated Data Systam
 724 Alon Lavie Uzi Ornan

Itai Alon
 Two Level Morphology for Hebrew
 725 Laurent Fournier ?1989
 Performance Evalualion of Priorilized Token Sing Local
 726 Simona Cohen-Rabinovici ?1989
 Parallelization Strategies in Knowledge Bases
 727 Amir Rahat Shmueli Oded1989
 Logic Programming in a Distributed Euvironment
 728 Zvi Ostfeld ?1989
 Des Trees Construction:characterizations and Sequential and
 729 Yael Gafni Ben David Shay1989
 Semantics for a "Knowing at Most" Operator
 730 Ofrit Lesser Rom Raphael1989
 Routing by Controlled Flooding
 731 Gil Sideman ?1989
 Evaluation of Hop by Hop Vs End to End Go Back-N Protocol
 732 Gil Allon Berry Daniel1989
 Towauosabi Divectional Operating System
 733 Raz Rafaeli Ben David Shay1989
 Global Time in Distributed Systems
 734 Eyal Kushilevitz Goldreich Oded1989
 Perfect Zero-Knowledge Proofs
 735 Tony Wolfman Berry Daniel1989
 ""Flo" a Language for Typesetting Flowcharts
 736 Yael Shemesh Francez Nissim1989
 Relation Recognizing Automatta
 737 David Goldfeld Etzion Tuvi1989
 Eguivalence of Interconnection Netnorus
 738 Ehud Hausman Kantorowitz Eliezer

Itai Alon
 Erd Raseb Natural Qvery Langvage
 739 Tziporet Koren Goldreich Oded1989
 On the Construction of Pseudo Random Block Ciphers
 740 Oren Hurvitz Itai Alon1989
 Janus Automata as a Model for the Intelligent Scan Problem
 741 Itay Kariv ?1989
 Hierarchical Symbolic Indices in General Purpose
 742 Abraham Nathan Ginosar Ran1989
 Compilation of Fcp to Carmel and Its Performance Analysis
 743 Gabriel Matsliach Shmueli Oded1989
 Fitting Traditional Search Structures to New Architectures.
 744 Esther Leyzerovitch Grumberg Orna1989
 Impiementing Superimpositions for Occam
 745 Uri Habusha Berry Daniel1989
 Vi Iv a Ri-Directional Version of the Vi Full-Screen Edito
 746 Iris Reicher Yoeli Michael (Deceased)1988
 Verification and Synthesis of Asynchronous Circuits
 747 Ameen Abu-Hanna ?1988
 An Integrated Deep-Shallow Expert System for Multi-Leuel
 748 Zeev Becker Berry Daniel1988
 An Adaptation of the Unix Ditroff for Rormatting Tri-Directi
 749 Daniel Fischer Pinter Shlomit1988
 Maintenance of Unreliable Distributed Systems

749 abstract theses title found in the Department Computer Science
Last updated on: Tuesday ,June 18, 2019