M.Sc Theses Department: Computer Science Department Web Site: www.cs.technion.ac.il No. Student's Name Advisors Graduation Year Abstracts Theses Abstract Title 0 Omer Strulovich Yuval Ishai 2013 Abstracts Theses Lossy Chains and Fractional Secret Sharing Kushilevitz Eyal 1 Haggai Toledano Markovitch Shaul 2013 Abstracts Theses Coverage-Driven Refinement of Conceptual Representations 2 Dmitry Pidan El-Yaniv Ran 2013 Abstracts Theses Selective Prediction with Hidden Markov Models 3 Alon Mishne Yahav Eran 2013 Abstracts Theses Programming with Millions of Examples - Scalable Static Specification Mining 4 Yosi Atia Mor Tal 2013 Abstracts Theses Algorithmic Cooling of Spins by Optimal Control 5 Shay Ben-Elazar Zohar Yakhini 2013 Abstracts Computational Methods for Analyzing Gene Regulation in Model Organisms 6 Mordechai Porat Kantorowitz Eliezer 2013 Abstracts Theses A Semantic Approach to User Interface Design 7 Michael Beder Bar-Yehuda Reuven 2013 Abstracts Theses Approximation Algorithms for Resource Scheduling and Allocation Problems 8 Yoav Haimovitch Crammer Yacov 2013 Abstracts Theses Large-Scale Semi-Supervised Sentiment Analysis Mannor Shie 9 Hanna Fadida Itai Alon 2013 Abstracts Automatic Extraction of Subcategorization Frames for Hebrew Shuly Winter 10 Ranit Gotsman Kanza Yaron 2013 Abstracts Generating Map-based Routes from GPS Trajectories and their Compact Representation 11 Muhammad Magadla Friedman Roy 2012 Abstracts Theses Accelerating CIFS over Satellite Networks 12 Avishay Tal Shpilka Amir 2012 Abstracts Theses On The Minimal Fourier Degree of Symmetric Boolean Functions 13 Daniel Hurwitz Itai Alon 2012 Morphological and Lexical Decomposition as a Basis for Identifying Multiword Expressions 14 Elad Gidron Idit Keidar 2012 Abstracts Theses Exploiting Locality and NUMA in Scalable Conncurrent Libraries 15 Alexandra Faynburd El-Yaniv Ran 2012 Abstracts Theses Autoregressive Short-Term Prediction of Turning Points Using Support Vector Regression 16 Eyal Regev Bruckstein Alfred 2012 Abstracts Theses Multi Agent Systems in Stochastic Dynamic Environments Yaniv Altschueler 17 Avihai Mejer Crammer Yacov 2012 Abstracts Theses Confidence Estimation in Structured Predicition 18 Igor Kviatkovsky Heymann Michael 2012 Abstracts Theses Color Invariants for Person Re-Identification Rivlin Ehud Amit Adam 19 Kolman Vornovitsky Domshlak Carmel 2012 Abstracts Theses Abstractions for Devising Compact Controllers for MDPs 20 Carmi Grushko Kimmel Ron 2012 Abstracts Theses Continuous Symmetries of Non-rigid Shapes 21 Pavel Bar Schuster Assaf 2012 Abstracts Theses Resource Management in Grid Environments 22 Amit Portnoy Friedman Roy 2012 Abstracts Theses TrustPack: a Decentralized Trust Management Framework 23 Haggai Eran Petrank Erez 2012 Abstracts Theses A Study of Data Structures with a Deep Heap Shape 24 Uri Avraham Biham Eli 2012 Abstracts Theses ABC - A New Framework for Symmetric Block Ciphers Or Donkelman 25 Dan Garber Hazan Elad 2012 Abstracts Theses Approximating Semidefinite Programs in Sublinear Time 26 Ran Zemach Yavneh Irad 2012 Abstracts Theses Algebraic Collocation Coarse Approximation (ACCA) in Multigrid 27 David Ben-David Schuster Assaf 2012 Abstracts Theses Violation Resolution in Distributed Stream Networks Daniel Keren 28 Yuval Shimron Gil Joseph 2012 Abstracts Theses Smaller Footprint for Java Collections 29 Naama Kraus Bar-Yossef Ziv 2012 Abstracts Theses Context-Aware Query Suggestion Markovitch Shaul 30 Amir Abboud Schuster Assaf 2012 Abstracts Theses Monitoring General Functions in Distributed Systems with Minimal Communication Daniel Keren 31 Ariel Raviv Markovitch Shaul 2012 Abstracts Theses Concept-Based Approach to Word-Sense Disambiguation 32 Omer Levy Markovitch Shaul 2012 Abstracts Theses Teaching Machines to Learn by Metaphor 33 Itamar Hartstein Zaks Shmuel 2012 Abstracts Theses On the Complexity of the Regenerator Location Problem - Treewidth and Other Parameters ? 34 Tomer Koren Hazan Elad 2012 Abstracts Theses Learning Linear Support Vector Machines in Sublinear Time 35 Vadim Eisenberg Kanza Yaron 2012 Abstracts Theses Programming Applications over the Semantic-Web 36 Michael Kuperstein Yahav Eran 2012 Abstracts Theses Preserving Correctness Under Relaxed Memory Models Martin Wechev 37 Omer Weissbrod Geiger Dan 2011 Abstracts Theses Genetic Linkage Analysis in the Presence of Germline Mosaicism 38 Roi Adadi Shlomi Tomer 2011 Abstracts Theses Prediction of Microbial Growth Rate versus Biomass Yield by a Metabolic Network with Kinetic Parameters 39 Anna Shulman Friedman Roy 2011 Abstracts Theses A Density Driven Publish Subscribe Service for Mobile Ad-Hoc Networks 40 Tom Kolan Roth Ronny 2011 Abstracts Theses Coding Techiques for Burst Errors 41 Ariel Kulik Shachnai Hadas 2011 Submodular and Linear Maximization with Knapsack Constraints 42 Anat Hashavit Markovitch Shaul 2011 Abstracts Theses Unbiased Rational Decision Making in Multiple-Adversary Environments 43 Boaz Brickner Schuster Assaf 2011 Abstracts Theses Methods for Recognition by Graphical Style and Style Synthesis Using Local Analysis Daniel Keren 44 Anna Bendersky Petrank Erez 2011 Abstracts Theses On the Limits of Partial Compaction 45 Daniel Genkin Kaminski Michael 2011 Abstracts Theses Radical Lexicalization of Mildly Context-Sensitive Languages 46 Jonathan Yaniv Naor Joseph 2011 Abstracts Theses Truthful Mechanisms for Value-Based Scheduling in Cloud Computing 47 Katherine Barabash Petrank Erez 2011 Abstracts Theses Scalable Garbage Collection on Highly Parallel Platforms 48 Ilia Nudelman Cohen Reuven 2011 Abstracts Theses Dependent UFP On a Shared Channel With Application to a Network Centric Operation 49 Israel Shalom Naor Joseph 2011 Abstracts Theses Online Load-Distance Balancing 50 Viacheslav Chernoy Zaks Shmuel 2011 Abstracts Theses On the Performance of Dijkstra's Third Self-Stabilizing Algorithm for Mutual Exclusion and Related Algorithms ? 51 Edward Vitkin Shlomi Tomer 2011 Abstracts Theses Functional Genomics Based Approach for Reconstruction of Genome Scale Metabolic Network Models 52 Dmitry Zinenko Kutten Shay 2011 Abstracts Theses Communication-Efficient Self-Stabilization 53 Neer Roggel Friedman Roy 2011 Abstracts Theses Anonymous Routing for Mobile Ad Hoc Networks 54 Shachar Shem-Tov Bruckstein Alfred 2011 Abstracts Theses Topics in Over-Parametrization Variational Methods 55 Gleb Polevoy Bar-Yehuda Reuven 2011 Abstracts Theses Bandwidth Allocation in Cellular Networks with Multiple Interferences 56 Gilad Kutiel Raz Dan 2011 Abstracts Theses Cost-Aware Live Migration of Services in the Cloud ? 57 Amit Bermano Gotsman Chaim Craig 2011 Abstracts Theses Online Reconstruction of 3D Objects from Arbitrary Cross- Section Data 58 David Yanay El-Yaniv Ran 2011 Abstracts Theses Supervised Learning of Semantic Relatedness 59 Adam Carmi Kaminski Michael 2010 Abstracts Theses Adaptive Multi-Pass Parsing Pinter Ron 60 Yael Meller Grumberg Orna 2010 Abstracts Theses Multi Valued Abstraction and Compositional Model Checking 61 Artyom Sharov Roth Ronny 2010 Abstracts Theses Coding Techniques for Multidimensional Constrained Channels 62 Masha Belchich Elber Gershon 2010 Abstracts Theses Sketch Based Design of 2D and 3D Freeform Geometry 63 Shir Ben-Israel Ben Sasson Eliyahu 2010 Abstracts Theses Symmetry Breaking Can Dramatically Reduce the Length of Propositional Refutations 64 David Peles Lindenbaum Michael 2010 Abstracts Theses Segmentation by Classification 65 Artiom Myaskouvskey Lindenbaum Michael 2010 Abstracts Theses Using A Contrario Methology for Part-Based Object Detection 66 Dan Albocher Elber Gershon 2010 Abstracts Theses Real-Time Haptic Simulation for Surgical Procedures 67 Mordechai Nisenson El-Yaniv Ran 2010 Abstracts Theses On the Foundations of Adversarial Single-Class Classification 68 Gil Cohen Shpilka Amir 2010 Abstracts Theses On the Degree of Symmetric Functions on the Boolean Cube 69 Raviv Elazar Shachnai Hadas 2010 Abstracts Theses Algorithms for Two-Tier Scalable Data Upload 70 Avishay Livne Schuster Assaf 2010 Abstracts Theses Monitoring Distributed Data Streams Daniel Keren 71 Ofer Egozi Markovitch Shaul 2010 Abstracts Theses Concept-Based Information Retrieval Using Explicit Semantic Analysis 72 Silvina Rybnikov Shimshoni Ilan 2010 Abstracts Building a Non-Euclidean Roadmap from a Small Set of Images Rivlin Ehud 73 Daniel Vainsencher Bruckstein Alfred 2010 Abstracts Theses 2D Digital Balls 74 Sofia Liberman Markovitch Shaul 2010 Abstracts Theses Wikipedia-Based Compact Hierarchical Semantics for Natural Language Processing 75 Yevgenia Alperin Katz Shmuel 2010 Abstracts Theses Property Analysis and Automatic Detection of Aspect Categories 76 Sagi Ben Moshe Fischer Eldar 2010 Abstracts Theses Using Property Testing for Efficient Detection of Nearly-Sorted relations 77 Nir Kerem Itai Alon 2010 Abstracts Theses Effects of Typicality on the Interpretation of Reciprocal Expressions 78 Iddo Bentov Bshouty Nader 2010 Abstracts Theses On Exact Learning from Random Walk 79 Noga Zewi Naor Joseph 2010 Abstracts Theses Vector Representation of Graph Domination Aharoni Ron 80 Kfir Karmon Schuster Assaf 2009 Abstracts Theses Enforcing a Global Resource Quota in a grid Environment 81 Evgeny Shaphir Pinter Ron 2009 Abstracts Theses Interconnect-Driven Cell-Based Migration of Integrated Circuit Layout Shmuel Wimer 82 Yochay Tzur Tal Ayellet 2009 Abstracts Theses Photogrammetric Texture Mapping Using Casual Images 83 Aezalden Mhameed Raz Dan 2009 Abstracts Theses Locally vs. Globally Optimized Flow-Based Content Distribution to Mobile Nodes Cohen Reuven 84 Raja Giryes Elad Michael 2009 Abstracts Theses Automatic Parameter Tuning for Inverse Problems Eldar Yonina 85 Michael Ryabtsev Strichman Ofer 2009 Abstracts Theses Translation Validation: from Simulink to C 86 Asenath Tal Barequet Gill 2009 Abstracts Theses Algorithms for Heilbronn's Triangle Problem 87 Noam Mori Friedman Roy 2009 Abstracts Theses 3DLS:Density-Driven Data Location Service for Mobile Ad-Hoc Networks 88 Tali Shragai Gil Joseph 2009 Abstracts Theses Empiric Evaluation of the Usability of Virtual Function Calls within Constructors 89 Yohai Devir Rabani Yuval 2009 Abstracts Theses Intrinsic Regularization of Inverse Problems Involving Non-Rigid Shapes 90 Nir Shemy Friedman Roy 2009 Abstracts Theses QoS Enforcement for Web Services in Dynamic Networks 91 Alexandra Skolozub Pinter Ron 2009 Abstracts Theses Conditional Integration of Biological Pathways 92 Anna Tzemach Geiger Dan 2009 Abstracts Theses Preparing SNP Data For Genetic Linkage Analysis 93 Ran Gelles Mor Tal 2009 Abstracts Theses On the Security of Theoretical and Realistic Quantum Key Distribution Schemes 94 Lila Shnaiderman Shmueli Oded 2009 Abstracts Theses Incermental Reclustering of Augmented XML Trees 95 Ezer Bar-Aviv Rivlin Ehud 2009 Abstracts Theses Function Based Object Categorization Using Simulation of an Agent 96 Li-Tal Mashiach Bar-Yossef Ziv 2008 Abstracts Theses Local Approximation of PageRank and Reverse PageRank 97 Evelina Zarivach Gil Joseph 2008 Abstracts Theses Evaluating Datalog Programs over Infinite and Founded Databases 98 Guy Flysher Bar-Yehuda Reuven 2008 Abstracts Theses Approximation Algorithms for Partial Capacitated Covering Problems 99 Bennyamin Yoshpa Orda Ariel 2008 Abstracts Theses Economic Aspects of QoS in Grid Computing Schuster Assaf 100 Ari Shotland Friedman Roy 2008 Abstracts Theses Efficient Route Discovery in Hybrid Networks 101 Benny Godlin Strichman Ofer 2008 Abstracts Theses Regression Verification: Theoretical and Implementation Aspects 102 Guy Rosman Kimmel Ron 2008 Abstracts Theses Efficient Flattening in Manifold Learning and Image Processing 103 Zvi Devir Lindenbaum Michael 2008 Abstracts Theses Generalized Blind Sampling of Images 104 Saeb Mansour Itai Alon 2008 Abstracts Theses Combining Character and Morpheme Based Models for Part-of- Speech Tagging of Semitic Languages Winter Yoad 105 Haim Kermany Petrank Erez 2008 Abstracts Theses The Compressor: Concurrent, Incremental, and Parallel Compaction 106 Dan Raviv Kimmel Ron 2008 Abstracts Theses Symmetries of Non-rigid Shapes 107 Roy Fox Tennenholtz Moshe 2008 Abstracts Theses Reinforcement Learning in Partially Observable Decision Processes 108 Ishay Goldin Bruckstein Alfred 2008 Abstracts Theses Vesicles and Amoebae: On Globally Constrained Shape Deformation 109 Rotem Oshman Grumberg Orna 2008 Abstracts Theses Bounded Model - Checking for Branching-Time Logic 110 Amjad Aboud Rabani Yuval 2008 Abstracts Theses Correlation Clustering with Penalties and Approximating the Recordering Buffer Management Problem 111 Einav Itamar Itai Alon 2008 Abstracts Theses Using Movie Subtitles for Creating Statistical Alignment Models 112 Gil Gattegno Shimshoni Ilan 2008 Abstracts Theses Object Recognition Using Geometric Hashing Extensions Lindenbaum Michael 113 Ron Gross Kaminski Michael 2008 Abstracts Theses Invariance under Stuttering in Branching-Time Temporal Logic 114 Adi Mano Pinter Ron 2008 Abstracts Theses Building Phylogenetic Trees Based on Biochemical Pathways 115 Eitan Yaakobi Etzion Tuvi 2008 Abstracts Theses Codes for Correcting Multi-Dimensional Bursts 116 Tal Zamir Schuster Assaf 2008 Abstracts Theses Speculative Lock Acquisition for Fault-Tolerant Distributed Systems Michael Factor 117 Anan Marie Domshlak Carmel 2008 Abstracts Theses Second Line Schema Matchers Gal Avigdor 118 Fady Massarwi Gotsman Chaim Craig 2008 Abstracts Theses Papercrafts from 3D Polygonal Models Elber Gershon 119 Alex Kogan Attiya Hagit 2008 Abstracts Theses Efficient and Robust Local Mutual Exclusion in Mobile Ad- Hoc Networks 120 Yulia Dubov Kaminski Michael 2008 Abstracts Theses Infinite Alphabet Pushdown Automata: Various Approaches and Comparison of Their Consequences 121 Arie Orlovsky Raz Dan 2008 Abstracts Theses Decentralized Enforcement of Security Policies for Distributed Computational Systems 122 Andrey Klinger Tennenholtz Moshe 2008 Abstracts Theses Stability against Group Deviations in Non-Cooperative Computation 123 Mark Ginzburg Bruckstein Alfred 2008 Abstracts Theses Holographic Video-Scene Watermarking in the 3D-DFT Domain 124 Yuri Pekelny Gotsman Chaim Craig 2008 Abstracts Theses Articulated Object Reconstruction and Motion Capture from Depth Video 125 Benjamin Grimberg Kaminski Michael 2007 Abstracts Theses Minimal Model semantics for First-Order Ground Non-Monotonic Modal Logic 126 Shay Ohayon Rivlin Ehud 2007 Abstracts Theses A Computational Analysis of Biological Behavior: Interactions of Gaze Control and Visual Attention 127 Eliyahu Osherovich Bruckstein Alfred 2007 Abstracts Theses Ant Robotics: Covering Continuous Domains by Multi-A(ge)nt Systems 128 Laurence Bisht Bshouty Nader 2007 Abstracts Theses On Optimal Learning Algorithms for Multiplicity Automata 129 Gregory Shklover Schuster Assaf 2007 Abstracts Theses Explicitly-Parallel Code Compilation Methods for Shared- Context Architecture 130 Yaron Goren Yuval Ishai 2007 Abstracts Theses Basing Weak Public-Key Cryptography on Strong One-Way Functions 131 Ido Guy Bar-Yossef Ziv 2007 Abstracts Theses Cluster Ranking with an Application to Mining Mailbox Networks 132 Roman Gershman Strichman Ofer 2007 Abstracts Theses Improvements of SAT Solving Techniques 133 Alik Zamansky Barequet Gill 2007 Abstracts Theses A Framework for Surface Reconstruction of Sparsely- Sampled Objects 134 Yan Tsitrin Uzi Ornan 2007 Abstracts Theses Master-Slave Dependency Model and its Application to the Hebrew Understanding 135 Yonit Magid Johann Makowsky 2007 Abstracts Theses BSS Model of Computation over the Reals and Choice Operator 136 Hanna Mazzawi Bshouty Nader 2007 Abstracts Theses Learning Composed Classes with a Small Number of Mistakes 137 Eran Eden Zohar Yakhini 2007 Abstracts Theses Discovering Motifs in Ranked Lists of DNA Sequences 138 Erez Brickner Bruckstein Alfred 2007 Abstracts Theses The Populating Problem A Study in Multi-Nano-Robotics Israel a Wagner 139 Dmitry Datsenko Elad Michael 2007 Abstracts Theses Example-based Regularization in Inverse Problems 140 Sela Mador-Haim Winter Yoad 2007 Abstracts Theses Natural Language Interface for Geographical Information Systems 141 Iddit Shalem Yavneh Irad 2007 Abstracts Theses Multilevel Two-dimensional Phase Unwrapping 142 Omer Yehezkely Shachnai Hadas 2007 Abstracts Theses Approximation Schemes for Packing with Item Fragmentation 143 Michael Pechuk Rivlin Ehud 2007 Abstracts Theses Function-based Object Recognition 144 Alina Shaikhet Barequet Gill 2007 Abstracts Theses The On-Line Heilbronn's Triangle Problem in d Dimensions 145 Amir Rubinstein Pinter Ron 2007 Abstracts Theses Faithful Modeling of Transient Behavior in Developmental Pathways Kassir Yona 146 Olga Rozenfeld Tennenholtz Moshe 2007 Abstracts Theses Strong Equilibrium in Congestion Games 147 Asaf Henig Raz Dan 2006 Abstracts The Transcoders' Placement Problem over Multicast Networks 148 Guy Sela Elber Gershon 2006 Abstracts Exploiting the Free-Form Deformation Function as a Geometric Modeling Tool 149 Oren Katzengold Mendelson Abraham 2006 Abstracts Effective Use of Trace Caches Schuster Assaf 150 Sivan Sabato Winter Yoad 2006 Abstracts The Semantics of Reciprocal Expressions in Natural Language 151 Jacob Subag Elber Gershon 2006 Abstracts Piecewise Developable Surface Approximation of General NURBS Surfaces, with Global Error Bounds 152 Oleg Polonsky Gotsman Chaim Craig 2006 Abstracts What's in an Image? Towards the Computation of Good Views for Three-Dimensional Objects 153 Denis Krivitski Schuster Assaf 2006 Abstracts A Local Facility Location Algorithm for Large-Scale Distributed Systems 154 Gil Ratsaby Mor Tal 2006 Abstracts Theses Quantum Advantage, even without Entanglement 155 Rachel Tzoref Grumberg Orna 2006 Abstracts Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation 156 Amir Vaxman Barequet Gill 2006 Abstracts Theses Nonlinear Interpolation between Slices 157 Ido Feldman Bar-Yehuda Reuven 2006 Abstracts A 2+Epsilon Approximation Algorithm for Convex Recoloring of Trees 158 Alexander Lyakas Kantorowitz Eliezer 2006 Abstracts Specification-Oriented Construction of Web Information Systems 159 Daniel Zeitlin Kaminski Michael 2006 Abstracts Look-Ahead Finite-Memory Automata 160 Bella Dubrov Yuval Ishai 2006 Abstracts On the Randomness Complexity of Efficient Sampling 161 Roman Golubchyck Lindenbaum Michael 2006 Abstracts Improving the Saliency Algorithm by Grouping Cues Optimization 162 Jonathan Naor Barequet Gill 2006 Abstracts d-Dimensional Variants of Heilbronn's Triangle Problem 163 Max Goldman Katz Shmuel 2006 Abstracts Modular Verification of Aspects 164 Keren Censor Hillel Etzion Tuvi 2006 Abstracts Constrained Codes for Two-Dimensional Channels 165 Shimon Golan Gal Avigdor 2006 Abstracts Efficient Algorithms for Computing Resource Availability in WAA Environments Pinter Ron 166 Sivan Yogev Moran Shlomo 2006 Abstracts Evaluation of Scoring Functions for Protein Multiple Sequence Alignment using Structural Alignments 167 Ofir Avni Rivlin Ehud 2006 Abstracts Theses Biologically Motivated Modeling and Imitating the Chameleon's Vision System 168 Itai Sharon Yona Golan 2006 Abstracts Similarity Detection for Low Complexity and Remotely Related Proteins El-Yaniv Ran 169 Emilia Katz Katz Shmuel 2006 Abstracts Verifying Scenario-Based Aspect Specifications 170 Sharon Krisher Shmueli Oded 2006 Abstracts On XML Schema Identity Constraints 171 Dolev Dotan Pinter Ron 2006 Abstracts HyperFlow: a Visual, Ontology-Based Query and Data-Flow Language for End-User Information Analysis 172 Amir Adler Markovitch Shaul 2006 Abstracts Reducing Memory Requirements for Pattern Databases Ariel Felner 173 Yacov Estrin Katz Shmuel 2006 Abstracts Expert System On Translations among Formal Verification Tools in VeriTech 174 Dimitry Kloper Barequet Gill 2006 Abstracts Geometries and Topologies of Triangulations of Point Sets Gotsman Chaim Craig 175 Liza Fireman Petrank Erez 2006 Abstracts The Complexity of SIMD Alignment 176 Tal Lerner Gur Moshe 2006 Abstracts Motion Correction in fMRI Images Rivlin Ehud 177 Ehab Wattad Bshouty Nader 2006 Abstracts Theses On Exact Learning Halfspaces with Random Consistent Hypothesis Oracle 178 Avishay Sidlesky Barequet Gill 2006 Abstracts Theses Polygon Reconstruction from Line Cross-Sections Gotsman Chaim Craig 179 Alexander Shraer Idit Keidar 2006 Abstracts Timeliness, Failure-Detectors and Consensus Performance 180 Roman Feldman Dori Dov 2006 Abstracts Designing Data Warehouse with Object-Process Methodology 181 Nela Gurevich Markovitch Shaul 2006 Abstracts Automatic Generation of Near Misses for Active Learning of Visual Concepts Rivlin Ehud 182 Roman Barsky Israel a Wagner 2005 Abstracts Electromigration-dependent Parametric Yield Estimation 183 Guy Korland Friedman Roy 2005 Abstracts Location Awareness in Wireless Ad-Hoc Networks (or How to RLISE a TIGR?) 184 Michael Bronstein Kimmel Ron 2005 Abstracts Three-Dimensional Face Recognition 185 Ron Begleiter El-Yaniv Ran 2005 Abstracts Can Theory Meet Practice in Sequence Prediction? 186 Amnon Shochot Cohen Reuven 2005 Abstracts Extending BGP to Support the Concept of "Global AS" 187 Constantine Elster Raz Dan 2005 Abstracts Efficient Monitoring of QOS Parameters 188 Assaf Harel Kantorowitz Eliezer 2005 Abstracts Estimating the Number of Faults Remaining in Software Code Document Inspected with Iterative Code Reviews 189 Roy Frank Penn Michal 2005 Abstracts Revenue-Maximizing Allocations in Constrained Multi-Object and Combinatorial Auctions 190 Rotem Bennet Bshouty Nader 2005 Abstracts Improved Learning with Corrupt Oracles 191 Haggai Yedidya Pinter Ron 2005 Performance Evaluation of Data Caches Organizations for SMT Processors 192 Saar Pilosof Raz Dan 2005 TCP Fairness over Wireless LAN 193 Genady Beryozkin Francez Nissim 2005 Abstracts Plural Semantics for Control Sentences in LFG's "Glue" Interface 194 Orly Meir Strichman Ofer 2005 Abstracts A Decision Procedure for Equality Logic 195 Shadi Saba Yavneh Irad 2005 Abstracts Barycentric Spherical Embeddings - Algorithms and Theory Sheffer Alla Gotsman Chaim Craig 196 Alex Goryachev Barequet Gill 2005 Abstracts Offset-Polygon and Annulus Placement Problems 197 Gil Yarom Sasson Ben-Shaul Z. 2005 Abstracts D-SEDA Distributed Staged Event-Driven Architecture 198 Alon Flaisher Missing advisors 2005 Enhanced Vacuity Detection in Linear Temporal Logic 199 Oleg Izmerly Mor Tal 2005 Abstracts Modern Cryptography in a Quantum World 200 Eyal Gordon Rosen Adi 2005 Abstracts Competitive Throughput Analysis of Greedy Protocols on Directed Acyclic Networks 201 Shimon Landa Naor Joseph 2005 Abstracts Combinatorial Approximation Algorithms for the Fractional Set-Cover Problem 202 Roman Sandler Missing advisors 2005 Gabor Filters Analysis for Texture Segmentation 203 Gregory Dardyk Yavneh Irad 2005 Abstracts Robust Nonlinear Multigrid Methods 204 Michael Slavkin Itai Alon 2005 Abstracts Detecting Data Structures from Traces 205 Mark Matusevich Geiger Dan 2005 Abstracts Off-Line Improvement of Generic Group Trackers 206 Oren Shnitzer Markovitch Shaul 2005 Abstracts Self-Consistent Batch Classification 207 Jonathan Laserson Bar-Yehuda Reuven 2005 Abstracts Approximations Algorithms for Sorting Buffers 208 Lawrance Khoury Bshouty Nader 2005 Abstracts Learning with Errors in Answers to Membership Queries 209 Nili Ifergan Grumberg Orna 2005 Abstracts Achieving High Speedups in Distributed Reachability Analysis through Asynchronous Computation 210 Roy Bar-Haim Winter Yoad 2005 Abstracts Part-of-Speech Tagging for Hebrew and other Semitic Languages 211 Orit Eden Ungarish Marius 2005 Abstracts Simulation and Visualization of Gravity Currents Elber Gershon 212 Tamer Salman Baram Yoram 2005 Abstracts Learning Polynomial Generating Rules Using Support Vector Machines Bruckstein Alfred 213 Vadim Galperin Baram Yoram 2005 Abstracts In-Line Regression by Support Vectors with Application to Head Motion Anticipation from EMG Signals 214 Alina Skarbovsky Raz Dan 2004 Abstracts Performance Evaluation and Modeling of TCP over Cellular Wireless Links 215 Amir Bar-Or Schuster Assaf 2004 Abstracts Hierarchical Decision Tree Induction for Highly Dimensional Data in Large-Scale Distributed Systems 216 Yael Merksamer Etzion Tuvi 2004 Abstracts Two Dimensional Cluster Error-Correcting Codes 217 Philip Derbeko El-Yaniv Ran 2004 Abstracts Explicit Learning Curves for Transduction and Application to Clustering and Compression Algorithms 218 Simon Polak Baram Yoram 2004 Abstracts Head Motion Anticipation for Virtual-Environment Applications Using Kinematics and EMG Energy 219 Michal Aharon Elad Michael 2004 Abstracts Representation Analysis and Synthesis of Lip Images Using Dimensionality Reduction Kimmel Ron 220 Avraham Yadgar Grumberg Orna 2004 Abstracts Solving All-SAT Problem for Reachability Analysis Schuster Assaf 221 Dan Guez Rosen Adi 2004 Abstracts Scheduling Time-Constrained Communication in Input Queued Switches 222 Vadim Iosevich Schuster Assaf 2004 Abstracts Distributed Shared Memory: To Relax or not to Relax? 223 Evgeny Yakersberg Barequet Gill 2004 Abstracts Morphing between Geometric Shapes using a Straight-Skeleton- Based Interpolation 224 Sharon Shoham Buchbinder Grumberg Orna 2004 Abstracts A Game-Based Framework for CTL Counterexamples and Abstraction-Refinement 225 Tali Sapir Gotsman Chaim Craig 2004 Abstracts Parallel Raytracing Using the XMT Paradigm Vishkin Uzi 226 Alexander Dvorkin Raz Dan 2004 Abstracts Ensuring End-to-End Delay in the DiffServ Model 227 Wisam Kadry Pinter Ron 2004 Abstracts Simulation of Metabolic Pathways 228 Dorit Balter Moran Shlomo 2004 Abstracts Medical Records Confidentiality Problem 229 Yoram Talmor Schuster Assaf 2004 Abstracts Higher Performance DSM by Peaking Network Utilization 230 Maxim Mogilnitsky Israeli Moshe (Deceased) 2004 Abstracts Efficient, Low Distortion, Conformal Parameterization of Large Meshes Sheffer Alla 231 Anna Zamansky )Lifshits( Francez Nissim 2004 Abstracts A 'Natural Logic' Inference System Based on the Lambek Calculus 232 Alon Altman Winter Yoad 2004 Abstracts Computation and Specification of Scope Dominance with Monotone Quantifiers in Natural Language 233 Tatyana Veksler Francez Nissim 2004 Abstracts Automata and Type-Logical Grammars 234 Roy Schwartz Naor Joseph 2004 Abstracts Circular Arrangements 235 Alexander Glikson Johann Makowsky 2004 Abstracts Verification of Generally Intractable Graph Properties on Graphs Generated by Graph Grammars 236 Vladimir Getselevich Raz Dan 2004 Abstracts Enabling Efficient Fast Track Services in Active Networks 237 Zvi Gutterman Yavneh Irad 2004 Abstracts Symbolic Pre-Computation for Numerical Applications Gil Joseph 238 Michael Tsirkin Rosen Adi 2004 Abstracts Delivery Times in Packet Networks under Full Load 239 Baruch Gilburd Schuster Assaf 2004 Abstracts A Privacy Model and Privacy-Preserving Algorithms for Data Mining in Large-Scale Distributed Systems 240 Yaniv Kaplan Attiya Hagit 2004 Abstracts Lower Bounds for Adaptive Collect and Related Objects 241 Asaf Amit Markovitch Shaul 2004 Abstracts Learning to Cooperete with Application to Bridge Bidding 242 Anna Bekkerman Gil Joseph 2004 Abstracts Conflict Resolution and Operator Priorities in Extended BNF 243 Michael Lifshits Rivlin Ehud 2004 Abstracts Vision-Based Navigation on Microscopic Images 244 Carmen Rotstein Winter Yoad 2004 Abstracts A Semantic Framework for Total and Partial Adjectives 245 Amir Sasson Idit Keidar 2004 Abstracts Understanding and Mitigating the Effects of Denail-of- Service Attacks on Secure Gossip-Based Multicast 246 Micha Moffie Barequet Gill 2004 Abstracts Counting Polyominoes in Two and Three Dimensions 247 Oleg Rokhlenko Pinter Ron 2004 Abstracts Tree-Based Comparison of Metabolic Pathways 248 Israel Gutter Uzi Ornan 2004 Abstracts Sentence Parsing in Hebrew by Semantic Features 249 Oren Souroujon El-Yaniv Ran 2004 Abstracts Iterative Double Clustering: An Information-Theoretic Algorithm for Clustering Textual Data 250 Galina Tcharny Friedman Roy 2004 Abstracts Fuzzy Group Communication in Mobile Ad Hoc Networks 251 Zvi Avidor Attiya Hagit 2004 Abstracts n-Set Consensus when Inputs are Restricted 252 Yuval Scharf Barequet Gill 2004 Abstracts Covering Points with a Polygon 253 Idan Zach Attiya Hagit 2004 Abstracts Fully Adaptive Shared Memory Algorithms 254 Niv Buchbinder Petrank Erez 2004 Abstracts Lower and Upper Bounds on Obtaining History Independence 255 Rami Cohen Raz Dan 2004 Abstracts Time Dependent Multi Scheduling of Multicast 256 Kobi Luz El-Yaniv Ran 2004 Abstracts Online Choice of Active Learning Algorithms Baram Yoram 257 Moran Gavish Lindenbaum Michael 2004 Abstracts A Sequential Algorithm for Face Recognition 258 Erez Louidor Roth Ronny 2004 Abstracts Lowest-Density MDS Codes over Super-Alphabets 259 Vladislav Kraevoy Sheffer Alla 2003 Abstracts Matchmaker: Constructing Constrained Texture Maps Gotsman Chaim Craig 260 Ydo Wexler Geiger Dan 2003 Abstracts Finding Approximate Tandem Repeats in Genomic Sequences 261 Igor Katsman Rivlin Ehud 2003 Abstracts Biologically Motivated Modeling and Simulation of Animals Vision Activities 262 Uriel Cohen Gil Joseph 2003 Abstracts Object Relations and Syntactic Mechanisms in Design Patterns 263 Efrat Jaeger Francez Nissim 2003 Abstracts Unification Grammars and Off-Line Parsability Shuly Winter 264 Sharon Keidar Grumberg Orna 2003 Abstracts Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking 265 Daniel Brunstein Barequet Gill 2003 Abstracts Animating a Camera for Viewing a Planar Polygon Gotsman Chaim Craig 266 Mirela Ben-Chen Gotsman Chaim Craig 2003 Abstracts On the Optimality of Spectreal Mesh Compression 267 Adi Bar-Lev Bruckstein Alfred 2003 Abstracts virtual marionettes: a system for real-time animation in 3D Elber Gershon 268 Evgeny Panman Raz Dan 2003 Abstracts Efficient Data Collection Algorithm 269 Ya'akov Broom Geiger Dan 2003 Abstracts Bayesian Classification and Clustering via DAG Hierarchies 270 Hezi Azatchi Petrank Erez 2003 Abstracts Integrating Generations with Advanced Reference Counting Collectors 271 Gabriel Scalosub Rabani Yuval 2003 Abstracts Bicriteria Approximation Tradeoff for the Node-Cost Budget Problem 272 Nadav Golbandi Litman Ami 2003 Abstracts Characterization and Classification of Butterfly Like Networks 273 Amnon Heiman Geiger Dan 2003 Abstracts Protein Identification via Mass Spectrometry Admon Arie 274 Avraham Owshanko Bshouty Nader 2003 Abstracts Learning Finite Automata, Using Incomplete Membership Queries 275 Alexander Goldin Gotsman Chaim Craig 2003 Abstracts Geometric Message-Filtering Protocols for Distributed Multi- Agent Environments 276 Dafna Szarfman Petrank Erez 2003 Abstracts Reducing Cache Conflicts via Garbage Collection 277 Doron Lipson Zohar Yakhini 2003 Abstracts Optimization Problems in Design of Oligonucleotides for Hybridization Based Methods Sivan Uri 278 Ron Bekkerman Winter Yoad 2003 Abstracts Distributional Clustering of Words for Text Categorization El-Yaniv Ran 279 Oren Sifri Sheffer Alla 2003 Abstracts Surface Meshing Using Geodesic Distances Gotsman Chaim Craig 280 Leonid Beliak Israeli Moshe (Deceased) 2003 Abstracts Adaptive Calculation of Variable Coefficients Elliptic Differential Equations via Wavelets 281 Tzafrir Cohen Petrank Erez 2003 Abstracts Responsive Round Complexity and Concurrent Zero-Knowledge 282 Ido Tal Roth Ronny 2003 Abstracts List Decoding of Lee Metric Codes 283 Avraham Kenigsberg Kimmel Ron 2003 Abstracts A Multigraid Approach for Fast Geodesic Activ Contour Yavneh Irad 284 Mirit Berg Katz Shmuel 2003 Abstracts Property Transformations for Translations 285 Alon Kama Friedman Roy 2003 Abstracts Transparent Fault-Tolerant Java Virtual Machine 286 Dmitry Davidov Markovitch Shaul 2003 Abstracts Multiple-Goal Heuristic Search Algorithms 287 Roni Raab Gotsman Chaim Craig 2003 Abstracts Virtual Woodwork: Making Toys from Geometric Models Sheffer Alla 288 Yael Gavish Petrank Erez 2003 Abstracts Cache-Conscious Garbage Collection for Servers 289 Eliyahu Pozniansky Schuster Assaf 2003 Abstracts Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs 290 Dmitry Livshitz Bruckstein Alfred 2003 Abstracts Robotic Self Location Using Three Dimensional Fiducials and Omnidirectional Cameras 291 Uri Dekel Gil Joseph 2003 Abstracts Revealing JAVA Class Structure with Concept Lattices 292 Constantine Shapiro Katz Shmuel 2003 Abstracts Object-Oriented Implementation of Reconciliations 293 Boris Veytsal Kantorowitz Eliezer 2003 Abstracts Model Driven Help Systems Generation Friedman Roy 294 Irit Katriel Itai Alon 2002 Implicit Data Structures based on Local Reorganizations 295 Tal Cohen Gil Joseph 2002 Self-Calibration of Metrics of Java Methods towards the Discovery of the Common Programming Practice 296 Keren Bendel Bar-Yehuda Reuven 2002 Applications of the Local-Ratio Technique: A Survey 297 Vadim Gleizer Schuster Assaf 2002 Abstracts Optimizing Sharing Patterns and Locality via Thread Migration 298 Ronit Reger Markovitch Shaul 2002 Abstracts Learning and Exploiting Relative Weaknesses of Opponent Agents 299 Liav Adi Kimmel Ron 2002 Fast Computation of Geodesic Distances: Graphic Applications 300 Asi Elad Kimmel Ron 2002 Abstracts On Surface Flattening via MDS and FMMTD 301 Assaf Shatil Markovitch Shaul 2002 Speedup Learning for Repair-Based Search by Identifying Redundant Steps 302 Roni Ram Raz Dan 2002 Abstracts Efficient Distribution of Email Messages 303 Vladislav Kalinovsky Schuster Assaf 2002 Abstracts Symphony: Managing Virtual Servers Friedman Roy 304 Ziv Nevo El-Yaniv Ran 2002 On Online Learning of Decision Lists 305 Eyal Hameiri Shimshoni Ilan 2002 Estimating the Principal Curvatures and the Darboux Frame from Real 3D Range Data and its Application to the Recovery of Primitives Lindenbaum Michael 306 Alexandr Kaplan Shimshoni Ilan 2002 Abstracts Finding Epipolar Geometry from Two Color Images Rivlin Ehud 307 Dmitry Gavinsky Bshouty Nader 2002 Abstracts Boosting with Polynomially Bounded Distributions 308 Shlomit Koyfman Francez Nissim 2002 Semantic Invariance of Algorithms for Nominal Anaphora Resolution 309 Emil Kohn Schuster Assaf 2002 Abstracts A Transparent DSM System 310 Vitaly Feldman Bshouty Nader 2002 On Using Extended Statistical Queries to Avoid Membership Queries 311 Yaniv Hamo Cohen Reuven 2002 Balanced Packet Discard for Improving TCP Performance in ATM Networks 312 Lior Ron Baram Yoram 2002 A Visual Feedback System 313 Yaroslav Fedorov Winter Yoad 2002 Implementing and Extending Natural Logic 314 Sagi Katz Grumberg Orna 2002 Techniques for Increasing Coverage of Formal Verification 315 Dor Laor Friedman Roy 2002 Soft Real-Time Layered Group Communication 316 Gilad Ben-Avi Winter Yoad 2002 Abstracts Monotonicity Properties of Plural Quantifiers in Natural Language 317 Robert Parham Baram Yoram 2002 Solving the Dynamic Conflict between N Moving Objects Using Neural Networks 318 Sally Tadmor Kantorowitz Eliezer 2002 Abstracts A Framework for Interactive Information Systems Friedman Roy 319 Elena Tulchinsky Gil Joseph 2002 Positive Semantics of Projections in Venn-Euler Diagrams 320 Ari Frank Geiger Dan 2002 Abstracts A New Branch and Bound Feature Selection Algorithm Zohar Yakhini 321 Ran Yaroshinsky El-Yaniv Ran 2002 Smooth Online Learning of Expert Advice 322 Hilla Atzmon Friedman Roy 2002 Replacement Policies for Internet Wide Caching of Distributed Objects 323 Dan Kenigsberg Biham Eli 2002 Grover's Quantum Search Algorithm and Mixed States 324 Yosef Firstenberg Katz Shmuel 2002 Selective Caching for Acceleration Purposes of Intermediate Results in Object-Oriented Programs Shmueli Oded 325 Svetlana Kronrod Friedman Roy 2001 Probablistic Scalable Application Placement in Distributed Systems 326 Rafi Tayar Even Shimon (Deceased) 2001 Scanning Directed Eulerian Mazes by a Finite-State Robot 327 Julia Chuzhoy Rabani Yuval 2001 Hardness of Approximation and New Approximability Classes 328 Ilya Ekshtein Gotsman Chaim Craig 2001 Abstracts Texture Mapping Using Constrained Parametrization 329 Natalie Eckel Gil Joseph 2001 Empirical Study of Object-Layout Strategies and Optimization Techniqes 330 Yuri Tsoglin Gil Joseph 2001 JAMOOS - an Object Oriented Language for Grammars 331 Noam Rinetskey ? 2001 Interprocedural Shape Analysis Grumberg Orna 332 Boris Epelman Elber Gershon 2001 Remote Geometrical Modeling 333 Barak Hermesh Bruckstein Alfred 2001 Fiducials for Precise Location Estimation 334 Boris Kronrod Gotsman Chaim Craig 2001 Topics in Compression of 3d Models 335 Vladimir Yanovski Bruckstein Alfred 2001 Simple Agents for Complex Tasks 336 Eli Almog Shachnai Hadas 2001 Scheduling Accesses to Shared Memory by a Bus Arbiter: The k-client Problem Revisited 337 Lior Leiba Shmueli Oded 2001 Towards Automatic Electronic Commerce: EContracts Framework Specification and Preliminary Implementation 338 Vita Bortnikov Attiya Hagit 2001 Adaptive Algorithms for Mutual Exclusion 339 Yan Sorkin Gil Joseph 2001 CD-Edit- A Constraint Diagrams' Editor 340 Shlomo Livne Markovitch Shaul 2001 Machine Learning for Efficient BDD Variable Ordering in Verification Grumberg Orna 341 Alexander Gaysinsky Shachnai Hadas 2001 Caching Integrated with Pipelined Prefetching 342 Vladimir Furman Biham Eli 2001 Cryptanalysis of Some Modern Blockciphers 343 Yoav Katz Shachnai Hadas 2001 Scheduling with Batching and Incompatible Job Families 344 Alexander Bogomjakov Gotsman Chaim Craig 2001 Optimized Polygon Traversal of Progressive Meshes for Vertex Caching 345 Dina Tal Uzi Ornan 2001 Analysis and Use of Subcategorization of Verbs in Validation of Hebrew Sentences 346 Shiri Moran Litman Ami 2001 Fast, Minimal, and Oblivious Routing Algorithms on the Mesh with Bounded Queues 347 Zehavit Kehat Bar-Yehuda Reuven 2001 Approximating the Dense Set-Cover Problem 348 Gregory Shakhnarovich El-Yaniv Ran 2001 Statistical Data Cloning for Machine Learning Baram Yoram 349 Oren Zeev Ben Mordejai Schuster Assaf 2001 Efficient Integration of On-the-fly Data Race Detection in Distributed Shared Memory and Symmetric Multiprocessor Environments 350 Tzach Levyatan Markovitch Shaul 2001 Anytime Search by Improving Highest-Utility Solution Segments 351 Alexander Gorovoy Itai Alon 2001 Applying Data Compression Algorithms to Software Engineering Gil Joseph 352 Shirley Halevy Roth Ronny 2001 Two-Dimensional Coding for Recording Channels 353 Yosseff Levanoni Petrank Erez 2001 On-The-Fly Garbage Collection via Sliding Views 354 Irina Shapira Shachnai Hadas 2001 Scheduling Splitting Intervals 355 Julia Mosin Kaminski Michael 2001 Base Dependence of Extensions for Open Default Theories 356 Yael Zbar Kaminski Michael 2000 Open Default Theories 357 Gal Vardi Uzi Ornan 2000 Analysis and Generation of Hebrew Nouns with Derivational Morphemes 358 Guy Rey Kaminski Michael 2000 First-Order Non-Monotonic Logic 359 Guy Froimovich Rivlin Ehud 2000 Object Classification from Range Images Shimshoni Ilan 360 Gil Zigelman Kimmel Ron 2000 Texture Mapping by Surface Flattening Via Mds 361 Erel Segal Itai Alon 2000 Hebrew Morphological Analyzer for Hebrew Undotted Texts 362 Guy Lebanon Bruckstein Alfred 2000 Moire Pattern Synthesis 363 Shiri Manor Friedman Roy 2000 Scalable Multicast in a Logical Hypercube 364 Nitzan Niv Schuster Assaf 2000 Dynamic Adaptation of the Sharing Granularity in Dsm Systems 365 Omer Barkol Missing advisors 2000 Tighter Lower Bounds for Nearest Neighbor Search and Related Problems in the Cell Probe Model 366 Igor Dozorets Gath Isak 2000 Computer-Based Model for Speaker Recognition by a Human Listener Shachnai Hadas 367 Dmitry Kogan Missing advisors 2000 Remote Reference Counting: Distributed Garbage Collection With Low Communication and Computation Overhead 368 Dmitry Levinson Itai Alon 2000 Corpus-Based Methods for Word Sense Disambiguation 369 Shay Artzi Kaminski Michael 2000 Lower Bounds on the Complexity of Polynomail Multiplication Over Finite Fields 370 Ariella Voloshin Missing advisors 2000 A Unified Approach to Computing Domination Sets and Independence Sets for Intervals on a Line 371 Dmitry Rusakov Markovitch Shaul 2000 Selective Sampling for Nearest Neighbor Classifiers Lindenbaum Michael 372 Victoria Skoblikov Francez Nissim 2000 Feature-Based Computational Lexicon of Hebrew Vrebs 373 Patrick Chouraqui Elber Gershon 2000 Surface Reconstruction with Triangular Bezier Patches from Range Measurements 374 Lior Arzi Kantorowitz Eliezer 1999 Probabilistic Model for Predicting the Efficiency of a Fault Detection Process in a Software Requirement Document 375 Shai Rubin Missing advisors 1999 Using Virtual Cache Lines for Higher Data Cache Performance 376 Dror Rawitz Missing advisors 1999 Combinatorial and LP-based Methods for Designing Approximation Algorithms 377 Marina Biberstein Missing advisors 1999 Constructions and Bounds for Blot-Correcting Codes 378 Alla Gorbach Missing advisors 1999 Computing in Anonymous Asynchronous Shared Memory 379 Arie Tal Kaminski Michael 1999 Decidability of Inclusion for Unification Based Automata 380 Arkady Estrin Missing advisors 1999 A Comparison Between First-Order Temporal Logic and Temporal Logic of Actions 381 Yuri Miroshnik Missing advisors 1999 Skew-Tolerant Clocking Techniques 382 Arnon Netzer Gotsman Chaim Craig 1999 Mosaicing Video Sequences 383 Costa Touma Bar-Yehuda Reuven 1999 Triangle Mesh Compression Gotsman Chaim Craig 384 Amit Cohen Missing advisors 1999 A Dynamic Approach for Efficient Tcp Buffer Allocation 385 Ronit Nossenson Missing advisors 1999 Dynamic Maintenance of Connectivity Classes of a Graph Using Decomposition Into 3-Components 386 Yohai Makbily Bar-Yehuda Reuven 1999 Message Filtering for Geometric Distributed Virtual Environments Gotsman Chaim Craig 387 Alon Raviv Elber Gershon 1999 Three Dimensional Freeform Sculpting Via Zero Sets Of Scalar Trivariate Functions 388 Sharon Or Missing advisors 1999 Encapsulating Real-Time in Failure Detectors 389 Octavian Soldea Missing advisors 1999 Algorithms on Continued Fractions 390 Avigail Orni Missing advisors 1999 Measuring the Locality of Space-Filling Curves 391 Lea Shalev Missing advisors 1999 Load Sharing in Distributed Shared Memory Systems 392 Michael Gertelman Kantorowitz Eliezer 1999 Automatic User Interface Generation from a Given Domain Model 393 Ronny Lempel Missing advisors 1999 Finding Authoritative Sites on the Www (and Other Hyperlinked Media) by Analyzing the Web's Link- Structure 394 Anatoly Koyfman Missing advisors 1999 Facilitating Generation of Help Systems 395 Dan Rosenstein Missing advisors 1999 Feature Generation Using General Constructor Functions 396 Ilia Gretskin Missing advisors 1999 Java Interface for Irit Solid Modeler 397 Alon Ravid Missing advisors 1999 A Method for Extracting and Stating Software Requirements That a User Interface Prototype Contains 398 Oleg Frenkel Missing advisors 1999 Multicast Group Synchronization in Atm 399 Vitaly Surazhsky Gotsman Chaim Craig 1999 Morphing Planar Triangulations 400 Michael Plavnik Missing advisors 1999 Surface Design Using Global Second Order Differential Constraints 401 Jacob Eckel Katz Shmuel 1998 A Framework for Static Checking of Design Level Traits Gil Joseph 402 Mira Yaniv Shachnai Hadas 1998 Dynamic Schemes for Specualtive Code Execution 403 Harry Hornreich Berry Daniel 1998 A Case Study of Software Reengineering 404 Vitaly Skachek Etzion Tuvi 1998 Coding for Spectral-Null Constraints Roth Ronny 405 Ari Freund Naor Joseph 1998 On-Line Assignment with Load Balancing 406 Inna Bianu-Minei Cohen Reuven 1998 Increasing the Performance of Tcp Over a Unidirectional Geostationary Satellite Channel 407 Boris Rabinovich Gotsman Chaim Craig 1998 Visualization of Large Terrains in Resource-Limited Computing Environments 408 Amit Reisman Gotsman Chaim Craig 1998 Animation Using Parallel Progressive Ray-Tracing Schuster Assaf 409 Eyal Dagan Attiya Hagit 1998 Universal Operations: Unary Versus Binary 410 Tali Yatzkar Litman Ami 1998 Lower Bound on the Bisection Width of the Butterfly Network 411 Sagi Snir Moran Shlomo 1998 A Simple and Efficient Method for Network Decomposition And Synchronization 412 Anna Gringauze Rabani Yuval 1998 The Complexity of Propositional Proofs ? 413 Yuval Ishai Kushilevitz Eyal 1997 Characterizing Perfect Privacy 414 Roman Kazinnik Elber Gershon 1997 Free-Form Surface Editing Using Multiresolution Decomposition 415 Roman Talyansky Etzion Tuvi 1997 Coding for Two-Dimensional Constraints Roth Ronny 416 Boris Zemlyak Lindenbaum Michael 1997 Direct Depth from Axial Camera Motion Bruckstein Alfred 417 Beery Holstein Gil Joseph 1997 T++ : Test Case Generator Using Code Abstraction 418 Tal Drory Etzion Opher 1997 Consistency Maintenance by Self Stabilization in Active Temporal Databases 419 Ziv Mador Chor Ben-Zion 1997 The Probed Partial Digest Problem - Algorithms and Number Of Solutions 420 Fanny Faina Shpilberg Berry Daniel 1997 Wd-Pic, a Wysiwyg Direct-Manipulation Pic 421 Kirill Shoikhet Geiger Dan 1997 Optimal Triangulations Via Mininal Separators 422 Leonid Voldman Gil Joseph 1997 Using Smart Terminals to Effectively Enhance Commuication Throughput 423 Ehud Aharoni Cohen Reuven 1997 Restricted Dynamic Steiner Trees for Scalable Multicast in Datagram Networks 424 David Barta Gil Joseph 1996 A System for Document Reuse 425 Maxim Goldin Schuster Assaf 1996 Weak Consistency Distributed Shared Memory System Design 426 Gitit Ruckenstein Roth Ronny 1996 Encoding for Input-Constrained Channels 427 Ilan Evron Cohen Reuven 1996 Reliable Signaling in Atm Networks Over Parallel Signaling Vc Connections 428 Ohad Ben-Shahar Rivlin Ehud 1996 To Push Or Not to Push: on the Rearrangement of Movable Objects by a Mobile Robot 429 Galia Givaty Kushilevitz Eyal 1996 Learning Subclasses of Dnf Formulas and Disjunctions Of Threshold Functions Using Queries 430 Boris Farizon Itai Alon 1996 Dynamic Data Management in Parallel Ray Tracing 431 Nadav Eiron ? 1996 Variants of Mistake Bound Learning Algorithms 432 David Konopnicki Shmueli Oded 1996 Information Gathering in the World-Wide Web: the W3ql Query Language and the W3qs System 433 Michael Kliot Rivlin Ehud 1996 Local Multivalued Invariant Signatures and Their Usage in Pictorial Databases Bruckstein Alfred 434 Olga Tebelev Elber Gershon 1996 Volumetric Computer Graphics in Surgery Process Planning ? 435 Shmuel Cohen Elber Gershon 1996 Matching of Curves in Computer Aided Geometric Design and Computer Graphics 436 Juliana Sheinerman ? 1996 Consequence Relations for Default Reasoning Without the 'and' Rule 437 Alexander Dubrovsky Schuster Assaf 1996 Load Balancing in Distributed Shared Memory System 438 Eli Stein Cohen Reuven 1996 An Efficient Approach for Emulating a Token-Ring Lan Over An Atm Network 439 Guy Bashkansky Uzi Ornan 1996 Monolingual Translator Workstation 440 Hillel Miller Katz Shmuel 1996 Saving Space by Fully Exploiting Invisible Transitions 441 Ishai Rabinovitz Even Shimon (Deceased) 1996 Random and Deterministic Approximation Algorithms for Covering Problems. 442 Ofra Hod Etzion Tuvi 1996 Constructions for Error-Correcting Codes and Covering Codes Roth Ronny 443 Anna Moss Lindenbaum Michael 1996 Quantifying the Reliability of Feature-Based Object Recognition 444 Boaz Tamir Naor Joseph 1995 K-Connected Graphp Partitions and Approximation Algorithms For Covering Problems 445 Michael Kariv Gotsman Chaim Craig 1995 Model-Based Compression of Synthetic Animation Sequences 446 Irina Notkin Gotsman Chaim Craig 1995 Parallel Adaptive Ray Tracing 447 Artur Zavalkovsky Kantorowitz Eliezer 1995 Mys - An Object Oriented Database Management System in the Mach Operating System Environment 448 Amir Eliaz Geiger Dan 1995 Handwriting Recognition Via Short Line Segments 449 Ann Becker Geiger Dan 1995 Optimization of Bayesian Inference and Approximation Algorithms for the Weighted Vertex Feedback Set Problem 450 Yigal Bejerano Segall Adrian 1995 Setup and Maintenance of a Multi-Point Conversation 451 Segev Wasserkrug Baram Yoram 1995 Neural Network Design for Classification 452 Nira Shavitt Mendelson Abraham 1995 Mapping Dynamic Parallel Programs Into Parallel Systems ? 453 Noam Paz Shmueli Oded 1995 Ursus: An Advanced Neural Network Environment 454 Elena Ravve Johann Makowsky 1995 Model Cheking for Various Notions of Product 455 Ahron Kupershtok Even Shimon (Deceased) 1995 The Hypercube - Features Generalizations and Embedding Sets Of Numbers in It 456 Polina Golland Lindenbaum Michael 1995 Use of Color for Optical Flow Estimation Bruckstein Alfred 457 Tamar Tamir Attiya Hagit 1995 Local Labeling and Resource Allocation Using Preprocessing 458 Rinat Rappoport Attiya Hagit 1995 The Level of Handshake Required for Establishing Connection 459 Ronen Hod Roth Ronny 1995 Coding Methods for Imput Constraind Channels 460 Karen Holtz Kantorowitz Eliezer 1995 Semrel - a Semantic Relationship Model for Object Oriented Databases 461 Asaf Shirazi Israel Amos 1995 Efficient Wait-Free Implementations of Atomic Snapshot Memories 462 David Lorenz Markovitch Shaul 1994 Learning in Games Using Symbolic Classification 463 Hagit Brit Moran Shlomo 1994 Public Data Structures and Public Counters as a Special Case 464 Michal Jacovi ? 1994 Learmnning in the Limit and Non-Uniform 465 Oren Brezner ? 1994 Expectation Semantucs for Modal Logic Francez Nissim 466 Tal Djerassi-Shintel Attiya Hagit 1994 Lower Bounds for Decision Problems in Semi-Sjnchronous 467 Amir Ben-Dor Chor Ben-Zion 1994 On the Complexity of Computing the Permanent 468 Zvi Berkovich ? 1994 Sematic Debugging of Black Boxes 469 Offer Zimerman Mendelson Abraham 1994 Using "Write"Only Cache" for Improring "Cacne Based" Systems 470 Evgeny Roytman Gotsman Chaim Craig 1994 Dynamic Color Quantization of Animation Sequences 471 Baruch Katz Rodeh Michael 1994 Minimzing the Performance Degradation Due to Conditional 472 Mordechai Frances ? 1994 Measuers of Complexity of Classes of Sets and Their Litman Ami 473 David Carmel Markovitch Shaul 1994 Learning Models of Strategy's Strategy in Game Playing 474 Amnon Shaham Israel Amos 1994 Implementation of Multi-Writer Multi-Reader Atomic Register 475 Shoham Ben-David Katz Shmuel 1994 Using Graphs to Represent Equivalence Classes of Parallel 476 Gilad Granot Even Shimon (Deceased) 1994 Planar Geid Drawings of Graphs with Few Bends in Eahe Edge 477 Galit Shemesh Schuster Assaf 1994 Upper & Lower Bounds in Reconfigurable Networks 478 Irit Rosdeutscher Markovitch Shaul 1994 Systematic Experimentation with Macro-Learning 479 Ishai Ben-Aroya Schuster Assaf 1994 Bounds and Algorithms for Deflection Routing 480 Leonid Zosin Chor Ben-Zion 1994 Privacy of Symmetric Functions 481 Oded Lempel Litman Ami 1994 Dual Round Retiming 482 Allon Adir Katz Shmuel 1994 Compiling Programs with Multiparty-Interactions and Teams Francez Nissim 483 Arie Ben Ephraim Geiger Dan 1994 Pattern Recognition Using Similarity Networks 484 Yael Abarbanel Naor Joseph 1994 Algorithms for Dynamic Graphs 485 Benjamin Gershon Yoeli Michael 1994 Synthesis of Concurrent Systems Grumberg Orna 486 Noam Shintel Yoeli Michael 1993 Synthesis of Modular Delay-Insensitive Netwerks from Petri 487 Yaron Sella Markovitch Shaul 1993 Learning of Resource Allocation Strategies for Game Playing 488 Alon Efrat Itai Alon 1993 Dynamically Maintainhg the Ceter of a Bar-Yehuda Reuven 489 Shai Halevi Schuster Assaf 1993 Greedy Hot-Potato Routing 490 Ronit Lubitch Moran Shlomo 1993 Closed Schedvlers: Motivation Construction and Application 491 Netta Aizenbud Katz Shmuel 1993 Self-Stabilization of Fault-Tolerant Distributed Algorithms Attiya Hagit 492 Abraham Sharell Johann Makowsky 1993 On the Average Gomplexity of Sat for Fiat Distributions 493 Ronit Fraiman ? 1993 Complexity of Learning by Distances 494 Ariel Kahan Goldreich Oded 1993 Zero Knowledge Proofs with Constant Number of Iterations 495 Ilan Ronel ? 1993 Topolgy Design Capacity Allocation and Route Assignment 496 Yishay Brown ? 1993 Common Sense Maps Generator 497 Shaul Silvian Marcus Markovitch Shaul 1993 Estimation of Lexical Relations Using Word Similarities 498 Moshe Levinger Uzi Ornan 1993 Morphological Disambiguation in Hebrew 499 Tatiana Orenstein Kohavi Zvi 1993 Using Partial Scan for Testing of Digital Sequential Circoir ? 500 Arnon Amir Bruckstein Alfred 1993 Depth from Structured Lisht and Axial Motion 501 Lev Finkelstein Markovitch Shaul 1993 Learning to Play by Acquiring Move-Patterns 502 Ophir Munk Bar-on Ilan 1993 A New Parallel Factorization A= Ddtbc for Band Symmetric 503 Nechama Navony Moran Shlomo 1993 A Verge and Randomized Complexity of Distributed Problems 504 Mircea Namolaru ? 1993 Compilation Techniques for Distributed Constraint Languages 505 Lee-Bath Nelson Chor Ben-Zion 1992 Characterization of Distributed Interactive Tasks 506 Yaniv Barguri Johann Makowsky 1992 The Hierarchy of Transitive Closure 507 Nir Dvir Katz Shmuel 1992 Freezing - Interaction Between Concurrent Distributed Algs. 508 Erez Petrank Goldreich Oded 1992 The Knowledge Complexity of Interactive Proofs 509 Dror Sneh Goldreich Oded 1992 The Complexity of Global Computation in the Presence of 510 Ran Canetti Goldreich Oded 1992 A Tradeoff Between Randomness and Commonication Complexity 511 Yardena Peres Shmueli Oded 1992 Implementation of the Grid File System 512 Ophir Rachman Chor Ben-Zion 1992 Wait Free Randomized Consensus 513 Merav Michaeli-Aaroni Chor Ben-Zion 1992 A Generalization of Group Testing 514 Ruben Hasson Johann Makowsky 1992 A Comparison of Data Models Forcomplex Objects 515 Yoram Singer Dan Chazan 1992 Non Parametric Methods for Speech Consonants Recognition 516 Michal Dvir ? 1992 Incompleteness and the Theory of Computer Science 517 Amos Beimel Chor Ben-Zion 1992 Ideal Secret Sharing Schemes 518 Isaac Nativ Kantorowitz Eliezer 1992 Consistent Database with Non-Serialized Queries 519 Ze'ev Collin Katz Shmuel 1992 A Self Stabilizing Distributed Solution ? 520 Irit Yadin Moran Shlomo 1992 The Distributet Counter Problem 521 Avigdor Pollak Bar-on Ehud 1992 From Neural Networks to Production Rvles and Back 522 Eran Aharonson Attiya Hagit 1992 The Structure of Counting Networks 523 Elana Zamir Uzi Ornan 1992 Semantic Parser for Context Free Sentences in Hebrew 524 Guy Even Goldreich Oded 1991 Construction of Small Probability Spaces 525 Ron Resnik Israeli Moshe (Deceased) 1991 Nuerical Analysis of Two-Phase Rotating Flow Ungarish Marius 526 Michel Adar Bar-on Ehud 1991 An Interactive Graphical Development System for Orject 527 Eli Dichterman ? 1991 Derandomizing Online Algorithms 528 Meir Pinhasov Israel Amos 1991 A Linear-Time Bounded Concurrent Time-Stamp Scheme 529 Miriam Sharon Itai Alon 1991 Learning Automata 530 Raanan Grinwald Bar-Yehuda Reuven 1991 Merging Polygons with Holes 531 Anat Helman Israeli Moshe (Deceased) 1991 Parallel Solution of An Elliptic Eguation in Twd Dimentidns Ungarish Marius 532 Yair Amir ? 1991 Customer Scheguling Under Qveueing and Delay Constraints 533 Hana De-Lion Grumberg Orna 1991 Real Time Temporal Logics 534 Rami Marelly Grumberg Orna 1991 Automatic Verifier of Distributed Algorithms 535 Nir Solel ? 1991 Efficient Algorithms for Disjoint Paths Steiner Tree 536 Johny Srouji Berry Daniel 1991 Adaptaticn of the Unix Ditroff for Formatting Arabic Text 537 Yael Rinoenau Moran Shlomo 1991 An Efficient Algorithm for Maximum Dyramis Flow Problem Israel Amos 538 Shalom Wintner Uzi Ornan 1991 Syntactic Analysis of Hebrew Sentences 539 Gil Shurek Grumberg Orna 1991 Modular Computer Aided Verification of Concurrent Systems 540 Rivka Licht Etzion Tuvi 1990 Realization of Permutations in a Shuffle-Exchange Network 541 Osnat Meir ? 1990 Analysis of the Performance of the Exponential Pxramid ? 542 Robert Geva Paz Azaria 1990 Representation of Irrelevance Relations by Graphs 543 Ady Tal ? 1990 Vertex Disjoint Paths in Series Paraller Graphs 544 Ruthi Erez Berry Daniel 1990 An Interactive Iaterpretes Withgraphic Display of Program 545 Mordkhai Lempel Paz Azaria 1990 Modular Lattices - An Algorithmic Approach 546 Shlomo Dolev Israel Amos 1990 Self Stabilization of Dynamic Systems Assuming Only Read/ Moran Shlomo 547 Lior Moscovici Chor Ben-Zion 1990 Implementing Distributed Tasks in Presence of Failures 548 Dan Kimmel Even Shimon (Deceased) 1990 Simulation Project on Ibm/pc for Electronic Wallet 549 Marc Elie Jalfon Israel Amos 1990 Self Stabilizing Random Algorithms on Distributed Uniform Sy 550 Shmuel Ur Paz Azaria 1990 Graphoids: Graph Representation and Membership Problems 551 Ariel Calo Johann Makowsky 1990 The Expressive Power of the Transitive Closure 552 Zeiev Shtapler Grumberg Orna 1990 Automatic Verification of Distributed Algorithms 553 Eyal Ben-Chanoch Bar-Yehuda Reuven 1990 Covering Polygons with Squares 554 Shimon Yanai Berry Daniel 1990 Environment for Translating "Metafont"to"Postscrcpt" 555 Sara Bittan Zaks Shmuel 1990 Linear Broadcast Routing 556 Elan Neeman Segall Adrian 1990 Route Setmp and Takedown in a Funnel Network 557 Moshe Molcho Zaks Shmuel 1990 Distributed Algorithms with a Fault Detection Ring 558 Michal Shany-Klein Uzi Ornan 1990 Generating & Analyzing Segolatenoun Inflection in Hebrew 559 Iris Bezalel Yoeli Michael 1990 Structured Design of Delay-Insensitive Controllers 560 Yuval Neeman Francez Nissim 1990 Domain Archetype - a Eeasiblit Y Study 561 Gidon Yona Israel Amos 1990 Verification of Protocols Fur Sharfd Registers Systems by G ? 562 Doron Cohen Etzion Tuvi 1990 Combinatorical Designs Derived from Constant Weight Godes 563 Sergio Fogel Bar-Yehuda Reuven 1990 Ray Shooting: Searching and Counting Queries 564 Netta Shani Chor Ben-Zion 1990 On the Privocy Gdp in Dense Symmetric Functions 565 Erela Amit Bar-on Ehud 1990 Machine Learning Algorithm for Diagnosing Misconceptions 566 Lyor Goldstein Uzi Ornan 1990 Generation and Analysis of the Possession Inflexion of 567 Oran Sharon Segall Adrian 1990 Session Management and Organization in Broadcast Networks 568 Uri Habusha Berry Daniel 1989 Vi Iv a Ri-Directional Version of the Vi Full-Screen Edito 569 Gil Allon Berry Daniel 1989 Towauosabi Divectional Operating System 570 Eyal Kushilevitz Goldreich Oded 1989 Perfect Zero-Knowledge Proofs 571 Moises Sananes Kantorowitz Eliezer 1989 Dros a Distributed Replicated Data Systam 572 Alon Lavie Uzi Ornan 1989 Two Level Morphology for Hebrew Itai Alon 573 Ehud Hausman Kantorowitz Eliezer 1989 Erd Raseb Natural Qvery Langvage Itai Alon 574 Tziporet Koren Goldreich Oded 1989 On the Construction of Pseudo Random Block Ciphers 575 Oren Hurvitz Itai Alon 1989 Janus Automata as a Model for the Intelligent Scan Problem 576 David Goldfeld Etzion Tuvi 1989 Eguivalence of Interconnection Netnorus 577 Raz Rafaeli ? 1989 Global Time in Distributed Systems 578 Yael Gafni ? 1989 Semantics for a "Knowing at Most" Operator 579 Gabriel Matsliach Shmueli Oded 1989 Fitting Traditional Search Structures to New Architectures. 580 Abraham Nathan Ginosar Ran 1989 Compilation of Fcp to Carmel and Its Performance Analysis 581 Laurent Fournier ? 1989 Performance Evalualion of Priorilized Token Sing Local 582 Zvi Ostfeld ? 1989 Des Trees Construction:characterizations and Sequential and 583 Itay Kariv ? 1989 Hierarchical Symbolic Indices in General Purpose 584 Gil Sideman ? 1989 Evaluation of Hop by Hop Vs End to End Go Back-N Protocol 585 Esther Leyzerovitch Grumberg Orna 1989 Impiementing Superimpositions for Occam 586 Yael Shemesh Francez Nissim 1989 Relation Recognizing Automatta 587 Amir Rahat Shmueli Oded 1989 Logic Programming in a Distributed Euvironment 588 Tony Wolfman Berry Daniel 1989 ""Flo" a Language for Typesetting Flowcharts 589 Simona Cohen-Rabinovici ? 1989 Parallelization Strategies in Knowledge Bases 590 Ofrit Lesser Rom Raphael 1989 Routing by Controlled Flooding 591 Ameen Abu-Hanna ? 1988 An Integrated Deep-Shallow Expert System for Multi-Leuel 592 Zeev Becker Berry Daniel 1988 An Adaptation of the Unix Ditroff for Rormatting Tri-Directi 593 Iris Reicher Yoeli Michael 1988 Verification and Synthesis of Asynchronous Circuits 594 abstract theses title found in the Department Computer Science Last updated on: Friday ,May 24, 2013