הטכניון מכון טכנולוגי לישראל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 Tibi Muhammad Benny Kimelfeld2020 Abstracts  Query Evaluation in Election Databases
 2 Agmon Shunit Assaf Schuster2020 Abstracts Theses Preventing Collusion in Cloud Computing Auctions
 3 Peled Matan Joseph Gil

David Lorenz
2020 Abstracts  Thapl - A Theatrical Programming Language
 4 Elad Guy Benny Kimelfeld

Kira Radinsky
2020 Abstracts Theses Generating Personalized Product Descriptions from User@Reviews
 5 Novich Gal Roy Kishony

Zohar Yakhini
2020 Abstracts  Tree-Test: an association test for observation on a@directed tree
 6 Berman Rachel Nirit Ronny Roth2020 Abstracts Theses On the Number of Factorizations of Polynomials with@Application to Rank-Metric Codes
 7 Hayek Rojeh Oded Shmueli2020 Abstracts Theses Machine Learning of SQL Queries Containment Rate and Result@Cardinality
 8 Zuriel Yoav Erez Petrank

Nachson Cohen
2020 Abstracts Theses Efficient Lock-Free Durable Sets
 9 Ringel Dor Shaul Markovitch

Kira Radinsky
2020 Abstracts Theses Cross-Cultural Transfer Learning for Text Classification
 10 Milman Gal Erez Petrank2020 Abstracts Theses BQ: A Lock-Free Queue with Batching
 11 Smadja Uzi Shaul Markovitch

Mor Naaman
2020 Abstracts Theses Text Readability and its Relationship with Backtracking@Actions
 12 Nemcovsky Yaniv Tamir Hazan2020
 On the Generalization of Gaussian Dropout using PAC-Bayesian@Bounds and Log-Sobolev Inequalities
 13 Dages Thomas Alfred Bruckstein

Michael Lindenbaum
2020 Abstracts Theses Seeing Things in Random Dot Videos
 14 Feldman Yair Ran El-Yaniv2020 Abstracts  Multi-Hop Paragraph Retrieval for Open-Domain Question@Answering
 15 Shomroni Uri Avi Mendelson2020 Abstracts Theses Performance Prediction of Programs on Heterogeneous and@Massively-Parallel Architectures
 16 Zohar Dor Roi Reichart2019
 Label Expansio - Integrating Prior Knowledge to Large@Label Set Tasks
 17 Kreimer Alexander Ehud Rivlin

Ilan Shimshoni
2019 Abstracts  Algorithms for Visual Odometry
 18 Rosenbaum Assaf Eli Biham

Sara Bitan
2019 Abstracts  Trusted Execution Environments
 19 Cohen Amir Ran El-Yaniv2019 Abstracts  Bayesian Algorithms for Vision Acuity Exams
 20 Eshel Yotam Shaul Markovitch2019 Abstracts  An Attention-RNN Based Approach for Named Entity@Disambiguation with Noisy Texts
 21 Hasson Idan Alexander Bronstein2019 Abstracts  Acquisition and Prediction of Gestures' Surface EMG Data@Using Sequential Deep Learning Methods
 22 Golan Izhak Ran El-Yaniv2019 Abstracts  Deep Anomaly Detection using Geometric Transformations
 23 Agbarya Mohammad Gala Yadgar2019 Abstracts  Estimating Application Runtimes Using TLB Performance@Metrics
 24 Cohen David Mirela Ben-Chen2019 Abstracts  Generalized Volumetric Foliation from Inverted Viscous@Flow
 25 Magen Aviram Kira Radinsky2019 Abstracts  Find A Cure: Learning to Rank Articles for Molecular Queries
 26 Shoshan Eylon Kira Radinsky2019 Abstracts  Latent Entities Extraction: How to Extract Entities that@Do Not Appear in the Text?
 27 Brifman Alon Michael Elad2019 Abstracts  Novel Image and Video Super-Resolution Relying on@Denoising Algorithms
 28 Elizarov Avner Erez Petrank2019 Abstracts  LOFT: Lock-Free Transactional Data Structures
 29 Derech Niv Ayellet Tal

Ilan Shimshoni
2019 Abstracts  Solving Archaeological Puzzles
 30 Zur Yochai Alexander Bronstein2019 Abstracts  Differentiable Neural Architecture Search with an@Arithmetic Complexity Constraint
 31 Shtaierman Alon Yuval Ishai

Eliyahu Ben Sasson
 Decentralized Monetary Policy for Cryptocurrencies
 32 Harel Shahar Shaul Markovitch

Kira Radinsky
2019 Abstracts  Prototype-Based Chemical Design using Diversity-Driven@Generative Models
 33 Zamir Nitzan Yoram Moses2019 Abstracts  Belief Requirements in Probabilistic Systems
 34 Lichtenstein Moshe Ron Kimmel2019
 Deep Eikonal Solvers
 35 Fidelman Zuphit Roy Friedman2019 Abstracts  A Generic Sharding Scheme for Blockchain Protocols
 36 Evron Itay Daniel Soudry

Yacov Crammer
2019 Abstracts  Efficient Loss-Based Decoding on Graphs for Extreme@Classification
 37 Minkin Marina Mark Silberstein2019 Abstracts  Improving Performance and Security of Intel SGX
 38 Devir Nurit Orna Grumberg

Shaul Markovitch
2019 Abstracts  Applying Machine Learning for Identifying Attacks@at Run-Time
 39 Badian Michal Shaul Markovitch2019 Abstracts  Knowledge-Based Learning through Feature Generation
 40 Buchnik Yehonatan Roy Friedman2019 Abstracts  TOY: a Total Ordering Optimistic System for Permissioned@Blockchains
 41 Givoli Ofer Roi Reichart2019 Abstracts  Zero-Shot Semantic Parsing for Instructions
 42 Brokhman Tanya Mark Silberstein2019 Abstracts  An OS Page Cache for Heterogeneous Systems
 43 Bonne Matthias Keren Censor-Hillel2019 Abstracts  Distributed Detection of Cliques in Dynamics@Networks
 44 Nezri Yuval Reuven Cohen2019 Abstracts  Cardinality Estimation In a Virtualized Network Device Using@Online Machine Learning
 45 Zarecki Jonathan Shaul Markovitch2019 Abstracts  Textual Membership Queries
 46 Dukhan Dvir Benny Kimelfeld2019 Abstracts  Effective Enumeration of Tree Decompositions for Solver@Optimization
 47 Makhoul Waseem Nader Bshouty2018 Abstracts Theses On Polynomial Time Constructions of Minimum Height@Decision Tree
 48 Malca Rivka Roi Reichart2018 Abstracts  Neural Transition Based Parsing of Web Queries: An@Entity Based Approach
 49 Tabaja Ali Reuven Cohen2018
 A Network Layer Attack for the Price of a Physical@Layer Attack in a Wireless Mesh Network with@Application to RPL
 50 Duek Sarai Shaul Markovitch2018 Abstracts Theses Automatic Generation of Language-Independent Features@for Cross-Lingual Classification
 51 Khoury Seri Keren Censor-Hillel2018 Abstracts  New Lower Bounds for the CONGEST Model
 52 Marcovitch Ori Joseph Gil2018 Abstracts  A Nano Patterns Language for Java
 53 Dagan Yuval Yuval Filmus2018 Abstracts Theses Twenty Questions Game Using Restricted Sets of@Questions
 54 Moscovici Nurit Erez Petrank2018 Abstracts Theses A GPU-Friendly Skiplist Algorithm
 55 Gross Amit Ran El-Yaniv2018 Abstracts  Usages of Selective Regression
 56 Kupfer Gil Dan Tsafrir

Amit Nadav
2018 Abstracts  IOMMU-Resistant DMA Attacks
 57 Carmeli Tamir Reuven Cohen2018 Abstracts Theses Detection of BGP Hijacking Using TTL Analysis
 58 Alperovich Dalia Zohar Yakhini

Yael Mandel-Gutfreun
2018 Abstracts Theses Efficient Search for Optimally Enriched Combination of@Ranked Lists
 59 Kligler Netanel Ayellet Tal2018 Abstracts  On Visibility and Image Processing
 60 Elbaz Dan Michael Zibulevsky2018 Abstracts Theses Speech Signals Frequency Modulation Decoding via Deep@Neural Networks
 61 Trostanetski Anna Orna Grumberg2018 Abstracts Theses Modular Demand-Driven Analysis of Semantic Difference@for Program Versions
 62 Zheng Yufei Gill Barequet2018 Abstracts  Two Researches on Lattice Animals
 63 Hooker Niv Tuvi Etzion2018 Abstracts Theses On the Existence of the q-Fano Planes
 64 Kiyanovski Arthur Dan Tsafrir2018 Abstracts  The Real Difference Between Emulation and Paravirtualization@of High-Throughput I/0 Devices
 65 Omari Majd Yuval Ishai2018 Abstracts  The Complexity of Identifying Cheaters
 66 Saig Eden Eliyahu Ben Sasson2018 Abstracts Theses Modeling Collaborative Discovery
 67 Zehavi Sa'ar Eyal Kushilevitz2018 Abstracts  On the Gap Between Deterministic Communication Complexity@and the Partition Number
 68 Nahshon Yoav Benny Kimelfeld2018 Abstracts  Relational Framework for information Extraction
 69 Cohen Snir Shie Mannor2018 Abstracts Theses Restricted Optimism
 70 Shor Roman Eitan Yaakobi

Gala Yadgar

Assaf Schuster
2018 Abstracts Theses Efficiently Combining Confidentiality and@Availability in Distributed Storage Systems
 71 Zarivach Igor Shlomo Moran

Yossi Shiloach
2018 Abstracts Theses The Cruncher: A solver for Large-Scale MIP Problems
 72 Asi Hilal Eitan Yaakobi2018 Abstracts  Constructions of PIR and Batch Codes for Distributed@Storage
 73 Levy Maya Eitan Yaakobi2018
 Mutually Uncorrelated Codes for DNA Storage
 74 Yavneh Gili Hagit Attiya2018 Abstracts Theses Remote Memory References at Block Granularity
 75 Moroshko Evgeny Reuven Cohen2018 Abstracts Theses Sampling-on-Demand in SDN
 76 Fuchs Amit Avi Mendelson2018 Abstracts  Fault-Tolerant Operanting System for Many-Core@Processors
 77 Gelbhart Roei Ran El-Yaniv2018 Abstracts Theses The Relationship Between Agnostic Selective Classification@Active Learning and the Disagreement Coefficient
 78 Shor Tal Dan Geiger2018 Abstracts Theses SciLMM: Computing Heritability with Millions of@Individuals
 79 Farchi Nahum Mirela Ben-Chen2018 Abstracts  Integer-Only Cross Field Computation
 80 Rabinovich Dmitry Alfred Bruckstein2018 Abstracts  Gathering of Agents on a Line
 81 Mour Tamer Eyal Kushilevitz2018 Abstracts  New Efficient Constructions for Distributed Oblivious RAM
 82 Rasin Dan Orna Grumberg

Sharon Shoham-Buchbind
2018 Abstracts  Modular Verification of Concurrent Programs via@Sequential Model Checking
 83 Talmi Itamar Lihi Zelnik-Manor2018 Abstracts  Template Matching with Deformable Diversity Smiliarity
 84 Cohen Uzi Benny Kimelfeld2018 Abstracts  Query Engine System for Probabilistic Preferences
 85 Pat Barak Joseph Gil

Yaron Kanza
2018 Abstracts  Geosocial Search: Finding Places based on Geotagged@Social-Media Posts
 86 Amir Michael Alfred Bruckstein2018 Abstracts Theses Probabilistic Pursuits on Graphs
 87 Ravid Noam Benny Kimelfeld2018 Abstracts Theses Ranked Enumeration of Tree Decompositions
 88 Bernstein Ran Assaf Schuster2017 Abstracts Theses Laban Movement Analysis and LDA Distributed Monitoring
 89 Liram Matan Gala Yadgar

Assaf Schuster

Eitan Yaakobi
2017 Abstracts Theses Evaluating Zigzag Code in a Distributed Storage System
 90 Mayzels Tehila Yoav Etsion2017 Abstracts Theses Software Management of Hardware Memory Versioning
 91 Balber Michael Tomer Shlomi2017
 Constraint-Based Isotope Tracing (CBIT): Inferring Flux@Constraints from Isotopic Tracing Data
 92 Maor Gal Eliyahu Ben Sasson2017 Abstracts Theses Information Theory and Privacy Related Questions in@Communication Comlexity
 93 Damti Yanir Shlomo Moran

Ilan Gronau

Irad Yavneh
2017 Abstracts Theses Adaptive Methods for Computing and Comparing Evolutionary@Distances
 94 Richardson Elad Ron Kimmel2017 Abstracts Theses Learning to Reconstruct Face Geometries
 95 Pergament Evgenya Eliyahu Ben Sasson2017 Abstracts Theses Algebraic RAM
 96 Licher Roni Roy Friedman2017 Abstracts Theses Hardening Cassandra Against Byzantine Failures
 97 Sheffi Gal Erez Petrank2017 Abstracts Theses A Scalable Linearizable Multi-Index Table
 98 Levy Tomer Joseph Gil2017 Abstracts Theses Fajita - a Fluent API for Automatic Generation of Fluent@APIs in Java
 99 Friedman Lior Shaul Markovitch2017 Abstracts Theses Recursive Feature Generation for Knowledge-Based@Induction
 100 Liss Rotem Tal Mor2017 Abstracts Theses Entanglement and Geometrical Distances in Quantum@Information and Quantum Cryptography
 101 Hazan Itay Eyal Kushilevitz2017 Abstracts Theses Two-Party Direct-Sum Questions through the Lens of@Multiparty Communication Complexity
 102 Cohen Gal Dan Raz2017 Abstracts Theses On routing schemes that are robust to changes in@bandwidth demand
 103 Costa Areej Nader Bshouty2017 Abstracts Theses Exact Learning of Juntas from Membership Queries
 104 Choukroun Yoni Ron Kimmel2017 Abstracts Theses On Elliptic Operators and Non-Rigid Shapes
 105 Levy Rina Keren Censor-Hillel

Hadas Shachnai
2017 Abstracts  Fast Distributed Approximation for Max-Cut
 106 Moscovici Eyal Dan Tsafrir2017 Abstracts Theses Towards Sidecore Management for Virtualized Environments
 107 Hamilis Matan Eliyahu Ben Sasson

Mark Silberstein
2017 Abstracts Theses Parallel Additive Fast Fourier Transform Algorithms
 108 Kaplan Avi Michael Lindenbaum

Tamar Avraham
2017 Abstracts Theses Interpreting the Ratio Criterion for Matching SIFT@Descriptors
 109 Pismenny Boris Assaf Schuster

Orna Agmon Ben-Yehud
2017 Abstracts  Market Driven Queueing
 110 Ren Yi Michael Elad2017 Abstracts Theses Example-Based Image Synthesis via Randomized Patch-Matching
 111 Koretzki Ran Assaf Schuster

Eitan Yaakobi
2017 Abstracts  Improving SSD-based Caches Lifetime with Write-Once@Memory Codes
 112 Haramaty Krasne Naama Eyal Kushilevitz

Yuval Ishai
2017 Abstracts Theses Low-Complexity Cryptographic Hash Functions
 113 Regev Tal Vadim Indelman2017 Abstracts Theses Multi- Robot Decentralized Belief Space Planning in@Unknown Environments
 114 Breuer Ran Ron Kimmel2017 Abstracts Theses A Deep Learning Perspective on the Origine of Facial@Expressions
 115 Moraney Jalil Dan Raz2016 Abstracts Theses Efficient Detection of Flow Anomalies with Limited@Monitoring Resources
 116 Rond Arie Michael Elad2016 Abstracts Theses Handling poisson Inverse Problems by the Plug-and-Play@Priors Scheme
 117 Djerbetian Alexandre Mirela Ben-Chen2016 Abstracts Theses Tangent Vector Fields on Triangulated Surfaces - An@Edge-Based Approach
 118 Stiefel Avi Gill Barequet2016 Abstracts Theses Motion Planning in the Presence of Mobile Obstacles
 119 Yadid Shir Eran Yahav2016 Abstracts Theses Extracting Code from Programming Tutorial Videos
 120 Abramovich Evgeny Eran Yahav2016 Abstracts Theses Static Mining of Common Concurrency Patterns
 121 Grabovitch-Zuyev Irena Ziv Bar-Yossef

Yaron Kanza
2016 Abstracts Theses Entity search in Facebook
 122 Zmiry Iddo Joseph Gil2016 Abstracts Theses Lola - A Programming Language for Augmenting Programming@Languages
 123 Segall Aviv Mirela Ben-Chen2016 Abstracts Theses 2D Simulation and Mapping using the Cauchy-Green Complex@Barycentric Coordinates
 124 Wagner Jonathan Andre Elad Hazan2016 Abstracts Theses Multiplicative Approximation Algorithms for@Generalized Covering and Packing Problems
 125 Timnat Erez Joseph Naor2016 Abstracts Theses The List Update Problem
 126 Chrizman Cherkassky Nitsan Alon Itai2016 Abstracts Theses How to Construct Multilingual Domain Ontologies
 127 Berkman Anat David Harel

Eran Yahav
2016 Abstracts Theses Scenario based programming for Mobile Applications
 128 Mordechai Yael Hadas Shachnai2016 Abstracts Theses Optimization and Reoptimization in Scheduling Problems
 129 Hershko Nir Gershon Elber2016 Abstracts  3D Augmentations of 2D Maps
 130 Geiger Omer Shaul Markovitch2016 Abstracts Theses Algorithmic Exam Generation
 131 Abdelkader Karam Sharon Shoham-Buchbind

Orna Grumberg
2016 Abstracts Theses Automated Circular Assume-Guarantee Reasoning
 132 Segev Noam Ran El-Yaniv2016 Abstracts Theses Transfer Learning using Decision Forests
 133 Lesokhin Ilya Dan Tsafrir2016 Abstracts Theses I/O Page Faults
 134 Rosenfeld Eitan Dan Tsafrir

Michael Factor
2015 Abstracts Theses RAIDP: Replication with Intra-Disk Parity
 135 Ben Bassat Ran Hadas Shachnai2015 Abstracts Theses Parameterized Automata Constructions and Their Applications
 136 Nus Alexander Dan Raz2015 Abstracts Theses Migration Plans with Minimum Overall Migration Time
 137 Has Green Raziel David Reuven Cohen2015 Abstracts Theses When a Router Tells Different Stories to Different@Neighbors: A New Partition Attack on Link-State@Routing Protocols
 138 Gonen Ido Roy Friedman2015 Abstracts Theses Defending against Eclipse Attacks in Unstructured Overlays
 139 Elad Noa Joseph Naor2015 Abstracts Theses Online Semidefinite Programming
 140 Aharoni Eldar Eyal Kushilevitz2015 Abstracts Theses Direct Sum Related Problems in Communication Complexity
 141 Malka Moshe Dan Tsafrir2015 Abstracts Theses Rethinking the I/O Memory Management Unit (IOMMU)
 142 Sennesh Eli Joseph Gil2015 Abstracts Theses Unstructured Jumps and Compressed Size as Defect-Prediction@Metrics
 143 Toukan Tariq Keren Censor-Hillel2015 Abstracts Theses Fault-Tolerant Information Spreading Algorithms
 144 Jioussy Rami Avi Mendelson

Ran Wolff
2015 Abstracts Theses Enhancing Energy-Performance for Power Constrained SoC@Systems
 145 Borodin Gregory Shaul Markovitch

Yaron Kanza
2015 Abstracts  Efficient Query Recommendation
 146 Kuperman Yossi Dan Tsafrir2015 Abstracts Theses vRio: Efficient Paravirtual Remote I/O
 147 Ben-Yehuda Shmuel Dan Tsafrir2015 Abstracts  The nom Profit-Maximizing Operating System
 148 Labai Nadia Johann Makowsky2015 Abstracts Theses Definability and Hankel Matrices
 149 Briskin Gil Ehud Rivlin

Hector Rotstein
2015 Abstracts Theses Estimating Pose and Motion Using Bundle Adjustment and@Digital Elevation Model Consraints
 150 Bolshinsky Ella Roy Friedman2015 Abstracts Theses Towards an Autonomous Sailing Trainer
 151 Zilberstein Meital Eran Yahav2015 Abstracts Theses Code Similarity via Natural Language Descriptions
 152 Peterfreund Liat Michael Kaminski2015 Abstracts  Closure under Reversal of Languages over Infinite Alphabets:@A Case Study
 153 Yudin Eric Ron Kimmel

Eran Yahav
2015 Abstracts Theses Improving Facial Expression Analysis via Intrinsic@Normalization of Surfaces
 154 Peleg Omer Dan Tsafrir2015 Abstracts  Utilizing the IOMMU Scalably
 155 Jacobs Kayla Alon Itai

Shalom Wintner
2014 Abstracts Theses Hebrew Acronym: Identification; Expansion and Disambiguation
 156 Zlotnik Alexander Dan Raz2014 Abstracts Theses Efficient Use of Geographically Spread Cloud@Resources
 157 Ghanayim Alaa Dan Geiger2014 Abstracts Theses Iterative Referencing for Improving the Interpretation@of DNA Sequence Data
 158 Malul Elior Joseph Gil

Opher Etzion
2014 Abstracts Theses Towards Temporal Correctness of Event Processing
 159 Volk Ben Lee Amir Shpilka2014 Abstracts Theses On the Structure of Boolean Functions with Small Spectral@Norm
 160 Strauss Rouven Gershon Elber2014 Abstracts Theses Geometric Multi-Covering
 161 Shapira Nitzan Mirela Ben-Chen2014 Abstracts Theses Cross-Collection Map Inference by Intrinsic Alignment@Shape Spaces
 162 Elenbogen Dima Ofer Strichman

Shmuel Katz
2014 Abstracts Theses Proving Mutual Termination of Programs
 163 Baltaxe Michael Michael Lindenbaum2014
 Probabilistic Local Variation Segmentation
 164 Kibar Eyal Roy Friedman2014 Abstracts Theses E-Wolf: A Distributed Online Social Network
 165 Kantor Yoav Roy Friedman2014 Abstracts Theses Combining Erasure-Code and Replication Redundancy Schemes@for Increased Storage and Repair Efficiency in@P2P Storage Systems
 166 Goldman Yehonatan Ehud Rivlin

Ilan Shimshoni
2014 Abstracts Theses Robust Epipolar Geometry Estimation Using Noisy Pose@Priors
 167 Abasi Hassan Nader Bshouty2014 Abstracts Theses On r-Simple k-Path
 168 Grinberg Maor Gershon Elber2014 Abstracts Theses Comprehensive Free Handed 3D User Interface for Geometric@Design Systems
 169 Rybnikov Denis Mirela Ben-Chen

Chaim Craig Gotsman
2014 Abstracts Theses A Semi-Automatic System for Non-Rigid Matching and@Temporally Coherent 3D Shading of Animation@Sequences
 170 Hauser Nir Shmuel Roy Friedman2014 Abstracts Theses COARA: Code Offloading on Android with RMI and@Aspects
 171 Cherevatsky Boris Ilan Shimshoni

Ehud Rivlin
2014 Abstracts Theses Estimating Epipolar Geometry for Mobile Robots
 172 Wajc David Nir Ailon

Hadas Shachnai

Joseph Naor
2014 Abstracts Theses Parameterizing P: Proximity to Easy Variants
 173 Geva Amir Michael Heymann2013 Abstracts Theses Far Field Surveillance Target Classification
 174 Gabel Moshe Assaf Schuster

Ran Gilad-Bachrach
2013 Abstracts Theses Unsupervised Anomaly Detection in Large Datacenters
 175 Zeyde Roman Irad Yavneh2013 Abstracts Theses Computational Electrokinetics
 176 Fadida Hanna Alon Itai

Shalom Wintner
2013 Abstracts Theses Automatic Extraction of Subcategorization Frames for@Hebrew
 177 Rappaport Assaf Dan Raz2013 Abstracts Theses Approximation Algorithms for Soft-Capacitated Connected@Facility Location Problems
 178 Mishne Alon Eran Yahav2013 Abstracts Theses Programming with Millions of Examples - Scalable Static@Specification Mining
 179 Paz Ami Hagit Attiya2013 Abstracts Theses Counting-Based Impossibility Proofs for Distributed Tasks
 180 Posener Eyal Assaf Schuster2013 Abstracts Theses Dynamic Memory Allocation in Cloud Computers Using@Progressive Second Price Auction
 181 Ben-Elazar Shay Zohar Yakhini2013 Abstracts Theses Computational Methods for Analyzing Gene Regulation in@Model Organisms
 182 Porat Mordechai Eliezer Kantorowitz2013 Abstracts Theses A Semantic Approach to User Interface Design
 183 Israel Assaf Dan Raz2013 Abstracts Theses Cost Aware Fault Recovery in Clouds
 184 Toledano Haggai Shaul Markovitch2013 Abstracts Theses Coverage-Driven Refinement of Conceptual Representations
 185 Atia Yosi Tal Mor2013 Abstracts Theses Algorithmic Cooling of Spins by Optimal Control
 186 Haimovitch Yoav Yacov Crammer

Shie Mannor
2013 Abstracts Theses Large-Scale Semi-Supervised Sentiment Analysis
 187 Strulovich Omer Yuval Ishai

Eyal Kushilevitz
2013 Abstracts Theses Lossy Chains and Fractional Secret Sharing
 188 Raviv Netanel Eyal Kushilevitz2013 Abstracts Theses Truth Table Minimization of Computational Models
 189 Gretz Avishai Alon Itai

Shalom Wintner
2013 Abstracts Theses Syntactic Annotation of Hebrew CHILDES Corpora
 190 Even Karine Eran Yahav

Hana Chockler
2013 Abstracts Theses Finding Rate Numerical Stability Errors in Concurrent@Computations
 191 Flur Shaked Orna Grumberg2013 Abstracts Theses Weak Omega Automata
 192 Shragai Nadav Gershon Elber2013 Abstracts Theses Geometric Covering
 193 Druk Erez Yuval Ishai2013 Abstracts Theses Linear Time Encodable Codes and Cryptography
 194 Gotsman Ranit Yaron Kanza2013 Abstracts Theses Generating Map-based Routes from GPS Trajectories and@their Compact Representation
 195 Naamneh Raeda Gill Barequet2013 Abstracts Theses Fair Multi-Label Reconstruction from Cross-Sections
 196 Agbaria Sabih Joseph Gil2013 Abstracts Theses On Incomplete Bug Fixes and Programmers' Intuition on@These
 197 Gurevich Pavel Meir Orenstein

Tal Mor
2013 Abstracts Theses Experimental Quantum Key Distribution with Classical@Alice
 198 Pidan Dmitry Ran El-Yaniv2013 Abstracts Theses Selective Prediction with Hidden Markov Models
 199 Beder Michael Reuven Bar-Yehuda2013 Abstracts Theses Approximation Algorithms for Resource Scheduling and@Allocation Problems
 200 Kviatkovsky Igor Michael Heymann

Ehud Rivlin

Amit Adam
2012 Abstracts Theses Color Invariants for Person Re-Identification
 201 Eisenberg Vadim Yaron Kanza2012 Abstracts Theses Programming Applications over the Semantic-Web
 202 Magadla Muhammad Roy Friedman2012 Abstracts Theses Accelerating CIFS over Satellite Networks
 203 Zemach Ran Irad Yavneh2012 Abstracts Theses Algebraic Collocation Coarse Approximation (ACCA) in@Multigrid
 204 Mejer Avihai Yacov Crammer2012 Abstracts Theses Confidence Estimation in Structured Predicition
 205 Vornovitsky Kolman Carmel Domshlak2012 Abstracts Theses Abstractions for Devising Compact Controllers for MDPs
 206 Hurwitz Daniel Alon Itai2012
 Morphological and Lexical Decomposition as a Basis for@Identifying Multiword Expressions
 207 Gidron Elad Idit Keidar2012 Abstracts Theses Exploiting Locality and NUMA in Scalable Conncurrent@Libraries
 208 Hartstein Itamar Shmuel Zaks

Mordohay Salom
2012 Abstracts Theses On the Complexity of the Regenerator Location@Problem - Treewidth and Other Parameters
 209 Abboud Amir Assaf Schuster

Daniel Keren
2012 Abstracts Theses Monitoring General Functions in Distributed Systems with@Minimal Communication
 210 Garber Dan Elad Hazan2012 Abstracts Theses Approximating Semidefinite Programs in Sublinear Time
 211 Portnoy Amit Roy Friedman2012 Abstracts Theses TrustPack: a Decentralized Trust Management Framework
 212 Grushko Carmi Ron Kimmel2012 Abstracts Theses Continuous Symmetries of Non-rigid Shapes
 213 Bar Pavel Assaf Schuster2012 Abstracts Theses Resource Management in Grid Environments
 214 Tal Avishay Amir Shpilka2012 Abstracts Theses On The Minimal Fourier Degree of Symmetric Boolean@Functions
 215 Levy Omer Shaul Markovitch2012 Abstracts Theses Teaching Machines to Learn by Metaphor
 216 Raviv Ariel Shaul Markovitch2012 Abstracts Theses Concept-Based Approach to Word-Sense Disambiguation
 217 Koren Tomer Elad Hazan2012 Abstracts Theses Learning Linear Support Vector Machines in Sublinear Time
 218 Faynburd Alexandra Ran El-Yaniv2012 Abstracts Theses Autoregressive Short-Term Prediction of Turning Points@Using Support Vector Regression
 219 Avraham Uri Eli Biham

Orr Dunkelman
2012 Abstracts Theses ABC - A New Framework for Symmetric Block Ciphers
 220 Ben-David David Assaf Schuster

Daniel Keren
2012 Abstracts Theses Violation Resolution in Distributed Stream Networks
 221 Eran Haggai Erez Petrank2012 Abstracts Theses A Study of Data Structures with a Deep Heap Shape
 222 Shimron Yuval Joseph Gil2012 Abstracts Theses Smaller Footprint for Java Collections
 223 Kuperstein Michael Eran Yahav

Martin Wechev
2012 Abstracts Theses Preserving Correctness Under Relaxed Memory Models
 224 Regev Eyal Alfred Bruckstein

Yaniv Altshuler
2012 Abstracts Theses Multi Agent Systems in Stochastic Dynamic Environments
 225 Kraus Naama Ziv Bar-Yossef

Shaul Markovitch
2012 Abstracts Theses Context-Aware Query Suggestion
 226 Nudelman Ilia Reuven Cohen2011 Abstracts Theses Dependent UFP On a Shared Channel With Application to a@Network Centric Operation
 227 Genkin Daniel Michael Kaminski2011 Abstracts Theses Radical Lexicalization of Mildly Context-Sensitive@Languages
 228 Hashavit Anat Shaul Markovitch2011 Abstracts Theses Unbiased Rational Decision Making in Multiple-Adversary@Environments
 229 Bendersky Anna Erez Petrank2011 Abstracts Theses On the Limits of Partial Compaction
 230 Barabash Katherine Erez Petrank2011 Abstracts Theses Scalable Garbage Collection on Highly Parallel Platforms
 231 Weissbrod Omer Dan Geiger2011 Abstracts Theses Genetic Linkage Analysis in the Presence of Germline@Mosaicism
 232 Adadi Roi Tomer Shlomi2011 Abstracts Theses Prediction of Microbial Growth Rate versus Biomass Yield by@a Metabolic Network with Kinetic Parameters
 233 Kolan Tom Ronny Roth2011 Abstracts Theses Coding Techiques for Burst Errors
 234 Yanay David Ran El-Yaniv2011 Abstracts Theses Supervised Learning of Semantic Relatedness
 235 Zinenko Dmitry Shay Kutten2011 Abstracts Theses Communication-Efficient Self-Stabilization
 236 Polevoy Gleb Reuven Bar-Yehuda2011 Abstracts Theses Bandwidth Allocation in Cellular Networks with Multiple@Interferences
 237 Brickner Boaz Assaf Schuster

Daniel Keren
2011 Abstracts Theses Methods for Recognition by Graphical Style and Style@Synthesis Using Local Analysis
 238 Chernoy Viacheslav Shmuel Zaks

Mordohay Salom
2011 Abstracts Theses On the Performance of Dijkstra's Third Self-Stabilizing@Algorithm for Mutual Exclusion and Related@Algorithms
 239 Bermano Amit Chaim Craig Gotsman2011 Abstracts Theses Online Reconstruction of 3D Objects from Arbitrary Cross-@Section Data
 240 Roggel Neer Roy Friedman2011 Abstracts Theses Anonymous Routing for Mobile Ad Hoc Networks
 241 Shalom Israel Joseph Naor2011 Abstracts Theses Online Load-Distance Balancing
 242 Vitkin Edward Tomer Shlomi2011 Abstracts Theses Functional Genomics Based Approach for Reconstruction of@Genome Scale Metabolic Network Models
 243 Yaniv Jonathan Joseph Naor2011 Abstracts Theses Truthful Mechanisms for Value-Based Scheduling in Cloud@Computing
 244 Shulman Anna Roy Friedman2011 Abstracts Theses A Density Driven Publish Subscribe Service for Mobile Ad-Hoc@Networks
 245 Shem-Tov Shachar Alfred Bruckstein2011 Abstracts Theses Topics in Over-Parametrization Variational Methods
 246 Kutiel Gilad Dan Raz

David Brietgand
2011 Abstracts Theses Cost-Aware Live Migration of Services in the Cloud
 247 Kulik Ariel Hadas Shachnai2011 Abstracts Theses Submodular and Linear Maximization with Knapsack@Constraints
 248 Elazar Raviv Hadas Shachnai2010 Abstracts Theses Algorithms for Two-Tier Scalable Data Upload
 249 Sharov Artyom Ronny Roth2010 Abstracts Theses Coding Techniques for Multidimensional Constrained@Channels
 250 Albocher Dan Gershon Elber2010 Abstracts Theses Real-Time Haptic Simulation for Surgical Procedures
 251 Peles David Michael Lindenbaum2010 Abstracts Theses Segmentation by Classification
 252 Egozi Ofer Shaul Markovitch2010 Abstracts Theses Concept-Based Information Retrieval Using Explicit@Semantic Analysis
 253 Livne Avishay Assaf Schuster

Daniel Keren
2010 Abstracts Theses Monitoring Distributed Data Streams
 254 Cohen Gil Amir Shpilka2010 Abstracts Theses On the Degree of Symmetric Functions on the Boolean@Cube
 255 Bentov Iddo Nader Bshouty2010 Abstracts Theses On Exact Learning from Random Walk
 256 Belchich Masha Gershon Elber2010 Abstracts Theses Sketch Based Design of 2D and 3D Freeform Geometry
 257 Kerem Nir Alon Itai2010 Abstracts Theses Effects of Typicality on the Interpretation@of Reciprocal Expressions
 258 Rybnikov Silvina Ilan Shimshoni

Ehud Rivlin
2010 Abstracts  Building a Non-Euclidean Roadmap from a Small Set of Images
 259 Nisenson Mordechai Ran El-Yaniv2010 Abstracts Theses On the Foundations of Adversarial Single-Class@Classification
 260 Myaskouvskey Artiom Michael Lindenbaum2010 Abstracts Theses Using A Contrario Methology for Part-Based Object@Detection
 261 Ron-Zewi Noga Joseph Naor

Ron Aharoni
2010 Abstracts Theses Vector Representation of Graph Domination
 262 Carmi Adam Michael Kaminski

Ron Pinter
2010 Abstracts Theses Adaptive Multi-Pass Parsing
 263 Ben Moshe Sagi Eldar Fischer2010 Abstracts Theses Using Property Testing for Efficient Detection of@Nearly-Sorted relations
 264 Liberman Sofia Shaul Markovitch2010 Abstracts Theses Wikipedia-Based Compact Hierarchical Semantics for@Natural Language Processing
 265 Meller Yael Orna Grumberg2010 Abstracts Theses Multi Valued Abstraction and Compositional Model Checking
 266 Alperin Yevgenia Shmuel Katz2010 Abstracts Theses Property Analysis and Automatic Detection of Aspect@Categories
 267 Ben-Israel Shir Eliyahu Ben Sasson2010 Abstracts Theses Symmetry Breaking Can Dramatically Reduce the Length of@Propositional Refutations
 268 Vainsencher Daniel Alfred Bruckstein2010 Abstracts Theses 2D Digital Balls
 269 Tzur Yochay Ayellet Tal2009 Abstracts Theses Photogrammetric Texture Mapping Using Casual Images
 270 Tzemach Anna Dan Geiger2009 Abstracts Theses Preparing SNP Data For Genetic Linkage Analysis
 271 Mhameed Aezalden Dan Raz

Reuven Cohen
2009 Abstracts Theses Locally vs. Globally Optimized Flow-Based Content@Distribution to Mobile Nodes
 272 Shnaiderman Lila Oded Shmueli2009 Abstracts Theses Incermental Reclustering of Augmented XML Trees
 273 Tal Asenath Gill Barequet2009 Abstracts Theses Algorithms for Heilbronn's Triangle Problem
 274 Mori Noam Roy Friedman2009 Abstracts Theses 3DLS:Density-Driven Data Location Service for Mobile@Ad-Hoc Networks
 275 Devir Yohai Yuval Rabani2009 Abstracts Theses Intrinsic Regularization of Inverse Problems Involving@Non-Rigid Shapes
 276 Karmon Kfir Assaf Schuster2009 Abstracts Theses Enforcing a Global Resource Quota in a grid Environment
 277 Ryabtsev Michael Ofer Strichman2009 Abstracts Theses Translation Validation: from Simulink to C
 278 Skolozub Alexandra Ron Pinter2009 Abstracts Theses Conditional Integration of Biological Pathways
 279 Bar-Aviv Ezer Ehud Rivlin2009 Abstracts Theses Function Based Object Categorization Using Simulation@of an Agent
 280 Giryes Raja Michael Elad

Yonina Eldar
2009 Abstracts Theses Automatic Parameter Tuning for Inverse Problems
 281 Shragai Tali Joseph Gil2009 Abstracts Theses Empiric Evaluation of the Usability of Virtual Function@Calls within Constructors
 282 Shemy Nir Roy Friedman2009 Abstracts Theses QoS Enforcement for Web Services in Dynamic Networks
 283 Gelles Ran Tal Mor2009 Abstracts Theses On the Security of Theoretical and Realistic Quantum@Key Distribution Schemes
 284 Shaphir Evgeny Ron Pinter

Shmuel Wimer
2009 Abstracts Theses Interconnect-Driven Cell-Based Migration of Integrated@Circuit Layout
 285 Massarwa Fady Chaim Craig Gotsman

Gershon Elber
2008 Abstracts Theses Papercrafts from 3D Polygonal Models
 286 Godlin Benny Ofer Strichman2008 Abstracts Theses Regression Verification: Theoretical and Implementation@Aspects
 287 Klinger Andrey Moshe Tennenholtz2008 Abstracts Theses Stability against Group Deviations in Non-Cooperative@Computation
 288 Mansour Saeb Alon Itai

Yoad Winter
2008 Abstracts Theses Combining Character and Morpheme Based Models for Part-of-@Speech Tagging of Semitic Languages
 289 Kogan Alex Hagit Attiya2008 Abstracts Theses Efficient and Robust Local Mutual Exclusion in Mobile Ad-@Hoc Networks
 290 Pekelny Yuri Chaim Craig Gotsman2008 Abstracts Theses Articulated Object Reconstruction and Motion Capture from@Depth Video
 291 Mano Adi Ron Pinter2008 Abstracts Theses Building Phylogenetic Trees Based on Biochemical Pathways
 292 Zamir Tal Assaf Schuster

Michael Factor
2008 Abstracts Theses Speculative Lock Acquisition for Fault-Tolerant Distributed@Systems
 293 Devir Zvi Michael Lindenbaum2008 Abstracts Theses Generalized Blind Sampling of Images
 294 Gattegno Gil Ilan Shimshoni

Michael Lindenbaum
2008 Abstracts Theses Object Recognition Using Geometric Hashing Extensions
 295 Aboud Amjad Yuval Rabani2008 Abstracts Theses Correlation Clustering with Penalties and Approximating the@Recordering Buffer Management Problem
 296 Zarivach Evelina Joseph Gil2008 Abstracts Theses Evaluating Datalog Programs over Infinite and Founded@Databases
 297 Gross Ron Michael Kaminski2008 Abstracts Theses Invariance under Stuttering in Branching-Time Temporal Logic
 298 Raviv Dan Ron Kimmel2008 Abstracts Theses Symmetries of Non-rigid Shapes
 299 Ginzburg Mark Alfred Bruckstein2008 Abstracts Theses Holographic Video-Scene Watermarking in the@3D-DFT Domain
 300 Shotland Ari Roy Friedman2008 Abstracts Theses Efficient Route Discovery in Hybrid Networks
 301 Yoshpa Bennyamin Ariel Orda

Assaf Schuster
2008 Abstracts Theses Economic Aspects of QoS in Grid Computing
 302 Rosman Guy Ron Kimmel2008 Abstracts Theses Efficient Flattening in Manifold Learning and Image@Processing
 303 Yaakobi Eitan Tuvi Etzion2008 Abstracts Theses Codes for Correcting Multi-Dimensional Bursts
 304 Fox Roy Moshe Tennenholtz2008 Abstracts Theses Reinforcement Learning in Partially Observable Decision@Processes
 305 Kermany Haim Erez Petrank2008 Abstracts Theses The Compressor: Concurrent, Incremental, and Parallel@Compaction
 306 Itamar Einav Alon Itai2008 Abstracts Theses Using Movie Subtitles for Creating Statistical Alignment@Models
 307 Goldin Ishay Alfred Bruckstein2008 Abstracts Theses Vesicles and Amoebae: On Globally Constrained Shape@Deformation
 308 Orlovsky Arie Dan Raz2008 Abstracts Theses Decentralized Enforcement of Security Policies for@Distributed Computational Systems
 309 Dubov Yulia Michael Kaminski2008 Abstracts Theses Infinite Alphabet Pushdown Automata: Various Approaches and@Comparison of Their Consequences
 310 Marie Anan Carmel Domshlak

Avigdor Gal
2008 Abstracts Theses Second Line Schema Matchers
 311 Flysher Guy Reuven Bar-Yehuda2008 Abstracts Theses Approximation Algorithms for Partial Capacitated@Covering Problems
 312 Mashiach Li-Tal Ziv Bar-Yossef2008 Abstracts Theses Local Approximation of PageRank and Reverse PageRank
 313 Oshman Rotem Orna Grumberg2008 Abstracts Theses Bounded Model - Checking for Branching-Time@Logic
 314 Rozenfeld Olga Moshe Tennenholtz2007 Abstracts Theses Strong Equilibrium in Congestion Games
 315 Mazzawi Hanna Nader Bshouty2007 Abstracts Theses Learning Composed Classes with a Small Number of Mistakes
 316 Shalem Iddit Irad Yavneh2007 Abstracts Theses Multilevel Two-dimensional Phase Unwrapping
 317 Goren Yaron Yuval Ishai2007 Abstracts Theses Basing Weak Public-Key Cryptography on Strong One-Way@Functions
 318 Rubinstein Amir Ron Pinter

Yona Kassir
2007 Abstracts Theses Faithful Modeling of Transient Behavior in Developmental@Pathways
 319 Shaikhet Alina Gill Barequet2007 Abstracts Theses The On-Line Heilbronn's Triangle Problem in d Dimensions
 320 Eden Eran Zohar Yakhini2007 Abstracts Theses Discovering Motifs in Ranked Lists of DNA Sequences
 321 Brickner Erez Alfred Bruckstein

Israel Wagner
2007 Abstracts Theses The Populating Problem@A Study in Multi-Nano-Robotics
 322 Datsenko Dmitry Michael Elad2007 Abstracts Theses Example-based Regularization in Inverse Problems
 323 Zamansky Alik Gill Barequet2007 Abstracts Theses A Framework for Surface Reconstruction of Sparsely-@Sampled Objects
 324 Osherovich Eliyahu Alfred Bruckstein2007 Abstracts Theses Ant Robotics: Covering Continuous Domains by Multi-A(ge)nt@Systems
 325 Shklover Gregory Assaf Schuster2007 Abstracts Theses Explicitly-Parallel Code Compilation Methods for Shared-@Context Architecture
 326 Yehezkely Omer Hadas Shachnai2007 Abstracts Theses Approximation Schemes for Packing with Item@Fragmentation
 327 Pechuk Michael Ehud Rivlin2007 Abstracts Theses Function-based Object Recognition
 328 Gershman Roman Ofer Strichman2007 Abstracts Theses Improvements of SAT Solving Techniques
 329 Grimberg Benjamin Michael Kaminski2007 Abstracts Theses Minimal Model semantics for First-Order Ground Non-Monotonic@Modal Logic
 330 Guy Ido Ziv Bar-Yossef2007 Abstracts Theses Cluster Ranking with an Application to Mining@Mailbox Networks
 331 Bisht Laurence Nader Bshouty2007 Abstracts Theses On Optimal Learning Algorithms for Multiplicity Automata
 332 Ohayon Shay Ehud Rivlin2007 Abstracts Theses A Computational Analysis of Biological Behavior:@Interactions of Gaze Control and Visual Attention
 333 Tsitrin Yan Uzi Ornan2007 Abstracts Theses Master-Slave Dependency Model and its Application to the@Hebrew Understanding
 334 Mador-Haim Sela Yoad Winter2007 Abstracts Theses Natural Language Interface for Geographical Information@Systems
 335 Magid Yonit Johann Makowsky2007 Abstracts Theses BSS Model of Computation over the Reals and Choice Operator
 336 Vaxman Amir Gill Barequet2006 Abstracts Theses Nonlinear Interpolation between Slices
 337 Polonsky Oleg Chaim Craig Gotsman2006 Abstracts  What's in an Image? Towards the Computation of Good Views@for Three-Dimensional Objects
 338 Wattad Ehab Nader Bshouty2006 Abstracts Theses On Exact Learning Halfspaces with Random Consistent@Hypothesis Oracle
 339 Dotan Dolev Ron Pinter2006 Abstracts  HyperFlow: a Visual, Ontology-Based Query and Data-Flow@Language for End-User Information Analysis
 340 Sela Guy Gershon Elber2006 Abstracts  Exploiting the Free-Form Deformation Function as a Geometric@Modeling Tool
 341 Golan Shimon Avigdor Gal

Ron Pinter
2006 Abstracts  Efficient Algorithms for Computing Resource Availability@in WAA Environments
 342 Feldman Ido Reuven Bar-Yehuda2006 Abstracts  A 2+Epsilon Approximation Algorithm for Convex Recoloring@of Trees
 343 Censor Hillel Keren Tuvi Etzion2006 Abstracts  Constrained Codes for Two-Dimensional Channels
 344 Golubchyck Roman Michael Lindenbaum2006 Abstracts  Improving the Saliency Algorithm by Grouping Cues@Optimization
 345 Estrin Yacov Shmuel Katz2006 Abstracts  Expert System On Translations among Formal Verification@Tools in VeriTech
 346 Ratsaby Gil Tal Mor2006 Abstracts Theses Quantum Advantage, even without Entanglement
 347 Sabato Sivan Yoad Winter2006 Abstracts  The Semantics of Reciprocal Expressions in Natural@Language
 348 Subag Jacob Gershon Elber2006 Abstracts  Piecewise Developable Surface Approximation of General NURBS@Surfaces, with Global Error Bounds
 349 Yogev Sivan Shlomo Moran2006 Abstracts  Evaluation of Scoring Functions for Protein Multiple@Sequence Alignment using Structural Alignments
 350 Henig Asaf Dan Raz2006 Abstracts  The Transcoders' Placement Problem over Multicast Networks
 351 Katzengold Oren Avi Mendelson

Assaf Schuster
2006 Abstracts  Effective Use of Trace Caches
 352 Kloper Dimitry Gill Barequet

Chaim Craig Gotsman
2006 Abstracts  Geometries and Topologies of Triangulations of Point Sets
 353 Naor Jonathan Gill Barequet2006 Abstracts  d-Dimensional Variants of Heilbronn's Triangle Problem
 354 Krisher Sharon Oded Shmueli2006 Abstracts  On XML Schema Identity Constraints
 355 Lyakas Alexander Eliezer Kantorowitz2006 Abstracts  Specification-Oriented Construction of Web Information@Systems
 356 Zeitlin Daniel Michael Kaminski2006 Abstracts  Look-Ahead Finite-Memory Automata
 357 Dubrov Bella Yuval Ishai2006 Abstracts  On the Randomness Complexity of Efficient Sampling
 358 Adler Amir Shaul Markovitch

Ariel Felner
2006 Abstracts  Reducing Memory Requirements for Pattern Databases
 359 Sidlesky Avishay Gill Barequet

Chaim Craig Gotsman
2006 Abstracts Theses Polygon Reconstruction from Line Cross-Sections
 360 Goldman Max Shmuel Katz2006 Abstracts  Modular Verification of Aspects
 361 Sharon Itai Golan Yona

Ran El-Yaniv
2006 Abstracts  Similarity Detection for Low Complexity and Remotely@Related Proteins
 362 Feldman Roman Dov Dori2006 Abstracts  Designing Data Warehouse with Object-Process Methodology
 363 Katz Emilia Shmuel Katz2006 Abstracts  Verifying Scenario-Based Aspect Specifications
 364 Gurevich Nela Shaul Markovitch

Ehud Rivlin
2006 Abstracts  Automatic Generation of Near Misses for Active@Learning of Visual Concepts
 365 Shraer Alexander Idit Keidar2006 Abstracts  Timeliness, Failure-Detectors and Consensus Performance
 366 Avni Ofir Ehud Rivlin2006 Abstracts Theses Biologically Motivated Modeling and Imitating the@Chameleon's Vision System
 367 Krivitski Denis Assaf Schuster2006 Abstracts  A Local Facility Location Algorithm for Large-Scale@Distributed Systems
 368 Lerner Tal Moshe Gur

Ehud Rivlin
2006 Abstracts  Motion Correction in fMRI Images
 369 Fireman Liza Erez Petrank2006 Abstracts  The Complexity of SIMD Alignment
 370 Brel Rachel Orna Grumberg2006 Abstracts  Automatic Refinement and Vacuity Detection for Symbolic@Trajectory Evaluation
 371 Yarom Sasson Gil Z. Ben-Shaul2005 Abstracts  D-SEDA Distributed Staged Event-Driven Architecture
 372 Saba Shadi Irad Yavneh

Alla Sheffer

Chaim Craig Gotsman
2005 Abstracts  Barycentric Spherical Embeddings - Algorithms and Theory
 373 Flaisher Alon Missing advisors 2005
 Enhanced Vacuity Detection in Linear Temporal Logic
 374 Korland Guy Roy Friedman2005 Abstracts  Location Awareness in Wireless Ad-Hoc Networks@(or How to RLISE a TIGR?)
 375 Pilosof Saar Dan Raz2005
 TCP Fairness over Wireless LAN
 376 Beryozkin Genady Nissim Francez2005 Abstracts  Plural Semantics for Control Sentences in LFG's "Glue"@Interface
 377 Landa Shimon Joseph Naor2005 Abstracts  Combinatorial Approximation Algorithms for the Fractional@Set-Cover Problem
 378 Laserson Jonathan Reuven Bar-Yehuda2005 Abstracts  Approximations Algorithms for Sorting Buffers
 379 Barsky Roman Israel Wagner2005 Abstracts  Electromigration-dependent Parametric Yield Estimation
 380 Shnitzer Oren Shaul Markovitch2005 Abstracts  Self-Consistent Batch Classification
 381 Eden Orit Marius Ungarish

Gershon Elber
2005 Abstracts  Simulation and Visualization of Gravity Currents
 382 Sandler Roman Missing advisors 2005
 Gabor Filters Analysis for Texture Segmentation
 383 Goryachev Alex Gill Barequet2005 Abstracts  Offset-Polygon and Annulus Placement Problems
 384 Salman Tamer Yoram Baram

Alfred Bruckstein
2005 Abstracts  Learning Polynomial Generating Rules Using Support Vector@Machines
 385 Meir Orly Ofer Strichman2005 Abstracts  A Decision Procedure for Equality Logic
 386 Dardyk Gregory Irad Yavneh2005 Abstracts  Robust Nonlinear Multigrid Methods
 387 Izmerly Oleg Tal Mor2005 Abstracts  Modern Cryptography in a Quantum World
 388 Ifergan Nili Orna Grumberg2005 Abstracts  Achieving High Speedups in Distributed Reachability@Analysis through Asynchronous Computation
 389 Harel Assaf Eliezer Kantorowitz2005 Abstracts  Estimating the Number of Faults Remaining in Software Code@Document Inspected with Iterative Code@Reviews
 390 Bar-Haim Roy Yoad Winter2005 Abstracts  Part-of-Speech Tagging for Hebrew and other@Semitic Languages
 391 Elster Constantine Dan Raz2005 Abstracts  Efficient Monitoring of QOS Parameters
 392 Bennet Rotem Nader Bshouty2005 Abstracts  Improved Learning with Corrupt Oracles
 393 Galperin Vadim Yoram Baram2005 Abstracts  In-Line Regression by Support Vectors with Application to@Head Motion Anticipation from EMG Signals
 394 Bronstein Michael Ron Kimmel2005 Abstracts  Three-Dimensional Face Recognition
 395 Begleiter Ron Ran El-Yaniv2005 Abstracts  Can Theory Meet Practice in Sequence Prediction?
 396 Shochot Amnon Reuven Cohen2005 Abstracts  Extending BGP to Support the Concept of "Global AS"
 397 Matusevich Mark Dan Geiger2005 Abstracts  Off-Line Improvement of Generic Group Trackers
 398 Gordon Eyal Adi Rosen2005 Abstracts  Competitive Throughput Analysis of Greedy Protocols@on Directed Acyclic Networks
 399 Frank Roy Michal Penn2005 Abstracts  Revenue-Maximizing Allocations in Constrained Multi-Object@and Combinatorial Auctions
 400 Yedidya Haggai Ron Pinter2005
 Performance Evaluation of Data Caches Organizations@for SMT Processors
 401 Khoury Lawrance Nader Bshouty2005 Abstracts  Learning with Errors in Answers to Membership Queries
 402 Slavkin Michael Alon Itai2005 Abstracts  Detecting Data Structures from Traces
 403 Amit Asaf Shaul Markovitch2004 Abstracts  Learning to Cooperete with Application to Bridge@Bidding
 404 Guez Dan Adi Rosen2004 Abstracts  Scheduling Time-Constrained Communication in Input@Queued Switches
 405 Buchbinder Niv Erez Petrank2004 Abstracts  Lower and Upper Bounds on Obtaining History Independence
 406 Gilburd Baruch Assaf Schuster2004 Abstracts  A Privacy Model and Privacy-Preserving Algorithms for Data@Mining in Large-Scale Distributed Systems
 407 Dvorkin Alexander Dan Raz2004 Abstracts  Ensuring End-to-End Delay in the DiffServ Model
 408 Cohen Rami Dan Raz2004 Abstracts  Time Dependent Multi Scheduling of Multicast
 409 Louidor Erez Ronny Roth2004 Abstracts  Lowest-Density MDS Codes over Super-Alphabets
 410 Luz Kobi Ran El-Yaniv

Yoram Baram
2004 Abstracts  Online Choice of Active Learning Algorithms
 411 Gavish Moran Michael Lindenbaum2004 Abstracts  A Sequential Algorithm for Face Recognition
 412 Yakersberg Evgeny Gill Barequet2004 Abstracts  Morphing between Geometric Shapes using a Straight-Skeleton-@Based Interpolation
 413 Iosevich Vadim Assaf Schuster2004 Abstracts  Distributed Shared Memory: To Relax or not to Relax?
 414 Moffie Micha Gill Barequet2004 Abstracts  Counting Polyominoes in Two and Three Dimensions
 415 Rokhlenko Oleg Ron Pinter2004 Abstracts  Tree-Based Comparison of Metabolic Pathways
 416 Zamansky )Lifshits( Anna Nissim Francez2004 Abstracts  A 'Natural Logic' Inference System Based on the Lambek@Calculus
 417 Zach Idan Hagit Attiya2004 Abstracts  Fully Adaptive Shared Memory Algorithms
 418 Scharf Yuval Gill Barequet2004 Abstracts  Covering Points with a Polygon
 419 Schwartz Roy Joseph Naor2004 Abstracts  Circular Arrangements
 420 Derbeko Philip Ran El-Yaniv2004 Abstracts  Explicit Learning Curves for Transduction and Application@to Clustering and Compression Algorithms
 421 Altman Alon Yoad Winter2004 Abstracts  Computation and Specification of Scope Dominance with@Monotone Quantifiers in Natural Language
 422 Polak Simon Yoram Baram2004 Abstracts  Head Motion Anticipation for Virtual-Environment@Applications Using Kinematics and EMG Energy
 423 Lifshits Michael Ehud Rivlin2004 Abstracts  Vision-Based Navigation on Microscopic Images
 424 Glikson Alexander Johann Makowsky2004 Abstracts  Verification of Generally Intractable Graph Properties on@Graphs Generated by Graph Grammars
 425 Talmor Yoram Assaf Schuster2004 Abstracts  Higher Performance DSM by Peaking Network Utilization
 426 Kadry Wisam Ron Pinter2004 Abstracts  Simulation of Metabolic Pathways
 427 Gutter Israel Uzi Ornan2004 Abstracts  Sentence Parsing in Hebrew by Semantic Features
 428 Mogilnitsky Maxim Moshe Israeli (Deceased)

Alla Sheffer
2004 Abstracts  Efficient, Low Distortion, Conformal Parameterization@of Large Meshes
 429 Veksler Tatyana Nissim Francez2004 Abstracts  Automata and Type-Logical Grammars
 430 Bekkerman Anna Joseph Gil2004 Abstracts  Conflict Resolution and Operator Priorities in Extended BNF
 431 Souroujon Oren Ran El-Yaniv2004 Abstracts  Iterative Double Clustering: An Information-Theoretic@Algorithm for Clustering Textual Data
 432 Bar-Or Amir Assaf Schuster2004 Abstracts  Hierarchical Decision Tree Induction for Highly Dimensional@Data in Large-Scale Distributed Systems
 433 Tcharny Galina Roy Friedman2004 Abstracts  Fuzzy Group Communication in Mobile Ad Hoc Networks
 434 Aharon Michal Michael Elad

Ron Kimmel
2004 Abstracts  Representation Analysis and Synthesis of Lip Images Using@Dimensionality Reduction
 435 Balter Dorit Shlomo Moran2004 Abstracts  Medical Records Confidentiality Problem
 436 Sasson Amir Idit Keidar2004 Abstracts  Understanding and Mitigating the Effects of Denail-of-@Service Attacks on Secure Gossip-Based Multicast
 437 Kaplan Yaniv Hagit Attiya2004 Abstracts  Lower Bounds for Adaptive Collect and Related Objects
 438 Yadgar Avraham Orna Grumberg

Assaf Schuster
2004 Abstracts  Solving All-SAT Problem for Reachability Analysis
 439 Rotstein Carmen Yoad Winter2004 Abstracts  A Semantic Framework for Total and Partial Adjectives
 440 Tsirkin Michael Adi Rosen2004 Abstracts  Delivery Times in Packet Networks under Full Load
 441 Gutterman Zvi Irad Yavneh

Joseph Gil
2004 Abstracts  Symbolic Pre-Computation for Numerical Applications
 442 Avidor Zvi Hagit Attiya2004 Abstracts  n-Set Consensus when Inputs are Restricted
 443 Shoham Buchbinder Sharon Orna Grumberg2004 Abstracts  A Game-Based Framework for CTL Counterexamples and@Abstraction-Refinement
 444 Merksamer Yael Tuvi Etzion2004 Abstracts  Two Dimensional Cluster Error-Correcting Codes
 445 Sapir Tali Chaim Craig Gotsman

Uzi Vishkin
2004 Abstracts  Parallel Raytracing Using the XMT Paradigm
 446 Getselevich Vladimir Dan Raz2004 Abstracts  Enabling Efficient Fast Track Services in Active Networks
 447 Skarbovsky Alina Dan Raz2004 Abstracts  Performance Evaluation and Modeling of TCP over Cellular@Wireless Links
 448 Berg Mirit Shmuel Katz2003 Abstracts  Property Transformations for Translations
 449 Heiman Amnon Dan Geiger

Arie Admon
2003 Abstracts  Protein Identification via Mass Spectrometry
 450 Bekkerman Ron Yoad Winter

Ran El-Yaniv
2003 Abstracts  Distributional Clustering of Words for Text Categorization
 451 Bar-Lev Adi Alfred Bruckstein

Gershon Elber
2003 Abstracts  virtual marionettes: a system for real-time animation@in 3D
 452 Davidov Dmitry Shaul Markovitch2003 Abstracts  Multiple-Goal Heuristic Search Algorithms
 453 Szarfman Dafna Erez Petrank2003 Abstracts  Reducing Cache Conflicts via Garbage Collection
 454 Wexler Ydo Dan Geiger2003 Abstracts  Finding Approximate Tandem Repeats in Genomic Sequences
 455 Livshitz Dmitry Alfred Bruckstein2003 Abstracts  Robotic Self Location Using Three Dimensional Fiducials@and Omnidirectional Cameras
 456 Pozniansky Eliyahu Assaf Schuster2003 Abstracts  Efficient On-the-Fly Data Race Detection in Multithreaded@C++ Programs
 457 Jaeger Efrat Nissim Francez

Shalom Wintner
2003 Abstracts  Unification Grammars and Off-Line Parsability
 458 Cohen Uriel Joseph Gil2003 Abstracts  Object Relations and Syntactic Mechanisms in Design Patterns
 459 Beliak Leonid Moshe Israeli (Deceased)2003 Abstracts  Adaptive Calculation of Variable Coefficients Elliptic@Differential Equations via@Wavelets
 460 Kama Alon Roy Friedman2003 Abstracts  Transparent Fault-Tolerant Java Virtual Machine
 461 Shapiro Constantine Shmuel Katz2003 Abstracts  Object-Oriented Implementation of Reconciliations
 462 Goldin Alexander Chaim Craig Gotsman2003 Abstracts  Geometric Message-Filtering Protocols for Distributed Multi-@Agent Environments
 463 Katsman Igor Ehud Rivlin2003 Abstracts  Biologically Motivated Modeling and Simulation of Animals@Vision Activities
 464 Golbandi Nadav Ami Litman2003 Abstracts  Characterization and Classification of Butterfly Like@Networks
 465 Dekel Uri Joseph Gil2003 Abstracts  Revealing JAVA Class Structure with Concept Lattices
 466 Scalosub Gabriel Yuval Rabani2003 Abstracts  Bicriteria Approximation Tradeoff for the Node-Cost Budget@Problem
 467 Ben-Chen Mirela Chaim Craig Gotsman2003 Abstracts  On the Optimality of Spectreal Mesh Compression
 468 Raab Roni Chaim Craig Gotsman

Alla Sheffer
2003 Abstracts  Virtual Woodwork: Making Toys from Geometric Models
 469 Kenigsberg Avraham Ron Kimmel

Irad Yavneh
2003 Abstracts  A Multigraid Approach for Fast Geodesic Activ Contour
 470 Gavish Yael Erez Petrank2003 Abstracts  Cache-Conscious Garbage Collection for Servers
 471 Broom Ya'akov Dan Geiger2003 Abstracts  Bayesian Classification and Clustering via DAG Hierarchies
 472 Veytsal Boris Eliezer Kantorowitz

Roy Friedman
2003 Abstracts  Model Driven Help Systems Generation
 473 Kraevoy Vladislav Alla Sheffer

Chaim Craig Gotsman
2003 Abstracts  Matchmaker: Constructing Constrained Texture Maps
 474 Tal Ido Ronny Roth2003 Abstracts  List Decoding of Lee Metric Codes
 475 Panman Evgeny Dan Raz2003 Abstracts  Efficient Data Collection Algorithm
 476 Brunstein Daniel Gill Barequet

Chaim Craig Gotsman
2003 Abstracts  Animating a Camera for Viewing a Planar Polygon
 477 Owshanko Avraham Nader Bshouty2003 Abstracts  Learning Finite Automata, Using Incomplete Membership@Queries
 478 Cohen Tzafrir Erez Petrank2003 Abstracts  Responsive Round Complexity and Concurrent Zero-Knowledge
 479 Sifri Oren Alla Sheffer

Chaim Craig Gotsman
2003 Abstracts  Surface Meshing Using Geodesic Distances
 480 Keidar Sharon Orna Grumberg2003 Abstracts  Combining Symmetry Reduction and Under-Approximation for@Symbolic Model Checking
 481 Lipson Doron Zohar Yakhini

Uri Sivan
2003 Abstracts  Optimization Problems in Design of Oligonucleotides for@Hybridization Based Methods
 482 Azatchi Hezi Erez Petrank2003 Abstracts  Integrating Generations with Advanced Reference Counting@Collectors
 483 Nevo Ziv Ran El-Yaniv2002
 On Online Learning of Decision Lists
 484 Gleizer Vadim Assaf Schuster2002 Abstracts  Optimizing Sharing Patterns and Locality via Thread@Migration
 485 Hamo Yaniv Reuven Cohen2002
 Balanced Packet Discard for Improving TCP Performance in@ATM Networks
 486 Reger Ronit Shaul Markovitch2002 Abstracts  Learning and Exploiting Relative Weaknesses of Opponent@Agents
 487 Gavinsky Dmitry Nader Bshouty2002 Abstracts  Boosting with Polynomially Bounded Distributions
 488 Bendel Keren Reuven Bar-Yehuda2002
 Applications of the Local-Ratio Technique: A Survey
 489 Adi Liav Ron Kimmel2002
 Fast Computation of Geodesic Distances: Graphic@Applications
 490 Fedorov Yaroslav Yoad Winter2002
 Implementing and Extending Natural Logic
 491 Katriel Irit Alon Itai2002
 Implicit Data Structures based on Local Reorganizations
 492 Ben Avi Gilad Yoad Winter2002 Abstracts  Monotonicity Properties of Plural Quantifiers in Natural@Language
 493 Firstenberg Yosef Shmuel Katz

Oded Shmueli
 Selective Caching for Acceleration Purposes of@Intermediate Results in Object-Oriented Programs
 494 Parham Robert Yoram Baram2002
 Solving the Dynamic Conflict between N Moving Objects@Using Neural Networks
 495 Kalinovsky Vladislav Assaf Schuster

Roy Friedman
2002 Abstracts  Symphony: Managing Virtual Servers
 496 Atzmon Hilla Roy Friedman2002
 Replacement Policies for Internet Wide Caching of@Distributed Objects
 497 Tadmor Sally Eliezer Kantorowitz

Roy Friedman
2002 Abstracts  A Framework for Interactive Information Systems
 498 Kenigsberg Dan Eli Biham2002
 Grover's Quantum Search Algorithm and Mixed States
 499 Katz Sagi Orna Grumberg2002
 Techniques for Increasing Coverage of Formal Verification
 500 Yaroshinsky Ran Ran El-Yaniv2002
 Smooth Online Learning of Expert Advice
 501 Hameiri Eyal Ilan Shimshoni

Michael Lindenbaum
 Estimating the Principal Curvatures and the Darboux Frame@from Real 3D Range Data and its Application to the@Recovery of Primitives
 502 Ram Roni Dan Raz2002 Abstracts  Efficient Distribution of Email Messages
 503 Cohen Tal Joseph Gil2002
 Self-Calibration of Metrics of Java Methods towards the@Discovery of the Common Programming Practice
 504 Tulchinsky Elena Joseph Gil2002
 Positive Semantics of Projections in Venn-Euler Diagrams
 505 Kaplan Alexandr Ilan Shimshoni

Ehud Rivlin
2002 Abstracts  Finding Epipolar Geometry from Two Color Images
 506 Ron Lior Yoram Baram2002
 A Visual Feedback System
 507 Laor Dor Roy Friedman2002
 Soft Real-Time Layered Group Communication
 508 Kohn Emil Assaf Schuster2002 Abstracts  A Transparent DSM System
 509 Shatil Assaf Shaul Markovitch2002
 Speedup Learning for Repair-Based Search by Identifying@Redundant Steps
 510 Koyfman Shlomit Nissim Francez2002
 Semantic Invariance of Algorithms for Nominal Anaphora@Resolution
 511 Feldman Vitaly Nader Bshouty2002
 On Using Extended Statistical Queries to Avoid@Membership Queries
 512 Elad Asi Ron Kimmel2002 Abstracts  On Surface Flattening via MDS and FMMTD
 513 Frank Ari Dan Geiger

Zohar Yakhini
2002 Abstracts  A New Branch and Bound Feature Selection Algorithm
 514 Zeev Ben Mordejai Oren Assaf Schuster2001
 Efficient Integration of On-the-fly Data Race Detection in@Distributed Shared Memory and Symmetric@Multiprocessor Environments
 515 Tayar Rafi Shimon Even (Deceased)2001
 Scanning Directed Eulerian Mazes by a Finite-State Robot
 516 Levyatan Tzach Shaul Markovitch2001
 Anytime Search by Improving Highest-Utility Solution@Segments
 517 Rinetskey Noam Shmuel Sagiv

Orna Grumberg
 Interprocedural Shape Analysis
 518 Kronrod Svetlana Roy Friedman2001
 Probablistic Scalable Application Placement in Distributed@Systems
 519 Hermesh Barak Alfred Bruckstein2001
 Fiducials for Precise Location Estimation
 520 Levanoni Yosseff Erez Petrank2001
 On-The-Fly Garbage Collection via Sliding Views
 521 Epelman Boris Gershon Elber2001
 Remote Geometrical Modeling
 522 Gorovoy Alexander Alon Itai

Joseph Gil
 Applying Data Compression Algorithms to Software@Engineering
 523 Gaysinsky Alexander Hadas Shachnai2001
 Caching Integrated with Pipelined Prefetching
 524 Bortnikov Vita Hagit Attiya2001
 Adaptive Algorithms for Mutual Exclusion
 525 Almog Eli Hadas Shachnai2001
 Scheduling Accesses to Shared Memory by a Bus Arbiter:@The k-client Problem Revisited
 526 Shapira Irina Hadas Shachnai2001
 Scheduling Splitting Intervals
 527 Livne Shlomo Shaul Markovitch

Orna Grumberg
 Machine Learning for Efficient BDD Variable Ordering@in Verification
 528 Chuzhoy Julia Yuval Rabani2001
 Hardness of Approximation and New Approximability Classes
 529 Bogomjakov Alexander Chaim Craig Gotsman2001
 Optimized Polygon Traversal of Progressive Meshes for@Vertex Caching
 530 Eckel Natalie Joseph Gil2001
 Empirical Study of Object-Layout Strategies and@Optimization Techniqes
 531 Tal Dina Uzi Ornan2001
 Analysis and Use of Subcategorization of Verbs in Validation@of Hebrew Sentences
 532 Katz Yoav Hadas Shachnai2001
 Scheduling with Batching and Incompatible Job Families
 533 Shakhnarovich Gregory Ran El-Yaniv

Yoram Baram
 Statistical Data Cloning for Machine Learning
 534 Leiba Lior Oded Shmueli2001
 Towards Automatic Electronic Commerce: EContracts Framework@Specification and Preliminary Implementation
 535 Kehat Zehavit Reuven Bar-Yehuda2001
 Approximating the Dense Set-Cover Problem
 536 Furman Vladimir Eli Biham2001
 Cryptanalysis of Some Modern Blockciphers
 537 Halevy Shirley Ronny Roth2001
 Two-Dimensional Coding for Recording Channels
 538 Tsoglin Yuri Joseph Gil2001
 JAMOOS - an Object Oriented Language for Grammars
 539 Yanovski Vladimir Alfred Bruckstein2001
 Simple Agents for Complex Tasks
 540 Sorkin Yan Joseph Gil2001
 CD-Edit- A Constraint Diagrams' Editor
 541 Ekshtein Ilya Chaim Craig Gotsman2001 Abstracts  Texture Mapping Using Constrained Parametrization
 542 Moran Shiri Ami Litman2001
 Fast, Minimal, and Oblivious Routing Algorithms on the Mesh@with Bounded Queues
 543 Mosin Julia Michael Kaminski2001
 Base Dependence of Extensions for Open Default Theories
 544 Kronrod Boris Chaim Craig Gotsman2001
 Topics in Compression of 3d Models
 545 Chouraqui Patrick Gershon Elber2000
 Surface Reconstruction with Triangular Bezier@Patches from Range Measurements
 546 Vardi Gal Uzi Ornan2000
 Analysis and Generation of Hebrew Nouns with Derivational@Morphemes
 547 Rey Guy Michael Kaminski2000
 First-Order Non-Monotonic Logic
 548 Froimovich Guy Ehud Rivlin

Ilan Shimshoni
 Object Classification from Range Images
 549 Rusakov Dmitry Shaul Markovitch

Michael Lindenbaum
 Selective Sampling for Nearest Neighbor Classifiers
 550 Kogan Dmitry Missing advisors 2000
 Remote Reference Counting: Distributed Garbage Collection@With Low Communication and Computation Overhead
 551 Barkol Omer Missing advisors 2000
 Tighter Lower Bounds for Nearest Neighbor Search and@Related Problems in the Cell Probe Model
 552 Dozorets Igor Isak Gath

Hadas Shachnai
 Computer-Based Model for Speaker Recognition by a Human@Listener
 553 Manor Shiri Roy Friedman2000
 Scalable Multicast in a Logical Hypercube
 554 Levinson Dmitry Alon Itai2000
 Corpus-Based Methods for Word Sense Disambiguation
 555 Artzi Shay Michael Kaminski2000
 Lower Bounds on the Complexity of Polynomail@Multiplication Over Finite Fields
 556 Voloshin Ariella Missing advisors 2000
 A Unified Approach to Computing Domination Sets and@Independence Sets for Intervals on a Line
 557 Niv Nitzan Assaf Schuster2000
 Dynamic Adaptation of the Sharing Granularity in Dsm Systems
 558 Zbar Yael Michael Kaminski2000
 Open Default Theories
 559 Segal Erel Alon Itai2000
 Hebrew Morphological Analyzer for Hebrew Undotted@Texts
 560 Zigelman Gil Ron Kimmel2000
 Texture Mapping by Surface Flattening Via Mds
 561 Lebanon Guy Alfred Bruckstein2000
 Moire Pattern Synthesis
 562 Skoblikov Victoria Nissim Francez2000
 Feature-Based Computational Lexicon of Hebrew Vrebs
 563 Lempel Ronny Missing advisors 1999
 Finding Authoritative Sites on the Www (and Other@Hyperlinked Media) by Analyzing the Web's Link-@Structure
 564 Miroshnik Yuri Missing advisors 1999
 Skew-Tolerant Clocking Techniques
 565 Estrin Arkady Missing advisors 1999
 A Comparison Between First-Order Temporal Logic and Temporal@Logic of Actions
 566 Arzi Lior Eliezer Kantorowitz1999
 Probabilistic Model for Predicting the Efficiency of a Fault@Detection Process in a Software Requirement@Document
 567 Gertelman Michael Eliezer Kantorowitz1999
 Automatic User Interface Generation from a Given Domain@Model
 568 Shalev Lea Missing advisors 1999
 Load Sharing in Distributed Shared Memory Systems
 569 Gorbach Alla Missing advisors 1999
 Computing in Anonymous Asynchronous Shared Memory
 570 Gretskin Ilia Missing advisors 1999
 Java Interface for Irit Solid Modeler
 571 Koyfman Anatoly Missing advisors 1999
 Facilitating Generation of Help Systems
 572 Plavnik Michael Missing advisors 1999
 Surface Design Using Global Second Order Differential@Constraints
 573 Biberstein Marina Missing advisors 1999
 Constructions and Bounds for Blot-Correcting Codes
 574 Rawitz Dror Missing advisors 1999
 Combinatorial and LP-based Methods for Designing@Approximation Algorithms
 575 Touma Costa Reuven Bar-Yehuda

Chaim Craig Gotsman
 Triangle Mesh Compression
 576 Rosenstein Dan Missing advisors 1999
 Feature Generation Using General Constructor Functions
 577 Frenkel Oleg Missing advisors 1999
 Multicast Group Synchronization in Atm
 578 Ravid Alon Missing advisors 1999
 A Method for Extracting and Stating Software Requirements@That a User Interface Prototype Contains
 579 Tal Arie Michael Kaminski1999
 Decidability of Inclusion for Unification Based@Automata
 580 Soldea Octavian Missing advisors 1999
 Algorithms on Continued Fractions
 581 Cohen Amit Missing advisors 1999
 A Dynamic Approach for Efficient Tcp Buffer Allocation
 582 Orni Avigail Missing advisors 1999
 Measuring the Locality of Space-Filling Curves
 583 Surazhsky Vitaly Chaim Craig Gotsman1999
 Morphing Planar Triangulations
 584 Or Sharon Missing advisors 1999
 Encapsulating Real-Time in Failure Detectors
 585 Rubin Shai Missing advisors 1999
 Using Virtual Cache Lines for Higher Data Cache@Performance
 586 Netzer Arnon Chaim Craig Gotsman1999
 Mosaicing Video Sequences
 587 Makbily Yohai Reuven Bar-Yehuda

Chaim Craig Gotsman
 Message Filtering for Geometric Distributed Virtual@Environments
 588 Raviv Alon Gershon Elber1999
 Three Dimensional Freeform Sculpting Via Zero Sets@Of Scalar Trivariate Functions
 589 Nossenson Ronit Missing advisors 1999
 Dynamic Maintenance of Connectivity Classes of a Graph Using@Decomposition Into 3-Components
 590 Yaniv Mira Hadas Shachnai1998
 Dynamic Schemes for Specualtive Code Execution
 591 Gringauze Anna Yuval Rabani

Shay Ben David
 The Complexity of Propositional Proofs
 592 Hornreich Harry Daniel Berry1998
 A Case Study of Software Reengineering
 593 Reisman Amit Chaim Craig Gotsman

Assaf Schuster
 Animation Using Parallel Progressive Ray-Tracing
 594 Snir Sagi Shlomo Moran1998
 A Simple and Efficient Method for Network Decomposition@And Synchronization
 595 Dagan Eyal Hagit Attiya1998
 Universal Operations: Unary Versus Binary
 596 Yatzkar Tali Ami Litman1998
 Lower Bound on the Bisection Width of the Butterfly@Network
 597 Bianu-Minei Inna Reuven Cohen1998
 Increasing the Performance of Tcp Over a Unidirectional@Geostationary Satellite Channel
 598 Eckel Jacob Shmuel Katz

Joseph Gil
 A Framework for Static Checking of Design Level Traits
 599 Skachek Vitaly Tuvi Etzion

Ronny Roth
 Coding for Spectral-Null Constraints
 600 Freund Ari Joseph Naor1998
 On-Line Assignment with Load Balancing
 601 Rabinovich Boris Chaim Craig Gotsman1998
 Visualization of Large Terrains in Resource-Limited@Computing Environments
 602 Ishai Yuval Eyal Kushilevitz1997
 Characterizing Perfect Privacy
 603 Aharoni Ehud Reuven Cohen1997
 Restricted Dynamic Steiner Trees for Scalable Multicast in@Datagram Networks
 604 Kazinnik Roman Gershon Elber1997
 Free-Form Surface Editing Using Multiresolution@Decomposition
 605 Shoikhet Kirill Dan Geiger1997
 Optimal Triangulations Via Mininal Separators
 606 Voldman Leonid Joseph Gil1997
 Using Smart Terminals to Effectively Enhance Commuication@Throughput
 607 Mador Ziv Ben-Zion Chor1997
 The Probed Partial Digest Problem - Algorithms and Number@Of Solutions
 608 Drory Tal Opher Etzion1997
 Consistency Maintenance by Self Stabilization in Active@Temporal Databases
 609 Talyansky Roman Tuvi Etzion

Ronny Roth
 Coding for Two-Dimensional Constraints
 610 Zemlyak Boris Michael Lindenbaum

Alfred Bruckstein
 Direct Depth from Axial Camera Motion
 611 Holstein Beery Joseph Gil1997
 T++ : Test Case Generator Using Code Abstraction
 612 Shpilberg Fanny Faina Daniel Berry1997
 Wd-Pic, a Wysiwyg Direct-Manipulation Pic
 613 Kliot Michael Ehud Rivlin

Alfred Bruckstein
 Local Multivalued Invariant Signatures and Their Usage in@Pictorial Databases
 614 Eiron Nadav Shay Ben David1996
 Variants of Mistake Bound Learning Algorithms
 615 Konopnicki David Oded Shmueli1996
 Information Gathering in the World-Wide Web: the W3ql Query@Language and the W3qs System
 616 Moss Anna Michael Lindenbaum1996
 Quantifying the Reliability of Feature-Based Object@Recognition
 617 Bashkansky Guy Uzi Ornan1996
 Monolingual Translator Workstation
 618 Farizon Boris Alon Itai1996
 Dynamic Data Management in Parallel Ray Tracing
 619 Stein Eli Reuven Cohen1996
 An Efficient Approach for Emulating a Token-Ring Lan@Over An Atm Network
 620 Dubrovsky Alexander Assaf Schuster1996
 Load Balancing in Distributed Shared Memory System
 621 Givaty Galia Eyal Kushilevitz1996
 Learning Subclasses of Dnf Formulas and Disjunctions@Of Threshold Functions Using Queries
 622 Ben-Shahar Ohad Ehud Rivlin1996
 To Push Or Not to Push: on the Rearrangement of@Movable Objects by a Mobile Robot
 623 Cohen Shmuel Gershon Elber1996
 Matching of Curves in Computer Aided Geometric@Design and Computer Graphics
 624 Hod Ofra Tuvi Etzion

Ronny Roth
 Constructions for Error-Correcting Codes and Covering Codes
 625 Rabinovitz Ishai Shimon Even (Deceased)1996
 Random and Deterministic Approximation Algorithms for@Covering Problems.
 626 Evron Ilan Reuven Cohen1996
 Reliable Signaling in Atm Networks Over Parallel Signaling@Vc Connections
 627 Ruckenstein Gitit Ronny Roth1996
 Encoding for Input-Constrained Channels
 628 Tebelev Olga Gershon Elber

 Volumetric Computer Graphics in Surgery Process Planning
 629 Barta David Joseph Gil1996
 A System for Document Reuse
 630 Goldin Maxim Assaf Schuster1996
 Weak Consistency Distributed Shared Memory System@Design
 631 Miller Hillel Shmuel Katz1996
 Saving Space by Fully Exploiting Invisible Transitions
 632 Sheinerman Juliana Shay Ben David1996
 Consequence Relations for Default Reasoning Without the@'and' Rule
 633 Ravve Elena Johann Makowsky1995
 Model Cheking for Various Notions of Product
 634 Tamir Boaz Joseph Naor1995
 K-Connected Graphp Partitions and Approximation Algorithms@For Covering Problems
 635 Hod Ronen Ronny Roth1995
 Coding Methods for Imput Constraind Channels
 636 Rappoport Rinat Hagit Attiya1995
 The Level of Handshake Required for Establishing@Connection
 637 Tamir Tamar Hagit Attiya1995
 Local Labeling and Resource Allocation Using Preprocessing
 638 Kupershtok Ahron Shimon Even (Deceased)1995
 The Hypercube - Features Generalizations and Embedding Sets@Of Numbers in It
 639 Wasserkrug Segev Yoram Baram1995
 Neural Network Design for Classification
 640 Shavitt Nira Avi Mendelson

 Mapping Dynamic Parallel Programs Into Parallel Systems
 641 Shirazi Asaf Amos Israel1995
 Efficient Wait-Free Implementations of Atomic Snapshot@Memories
 642 Becker Ann Dan Geiger1995
 Optimization of Bayesian Inference and Approximation@Algorithms for the Weighted Vertex Feedback Set@Problem
 643 Golland Polina Michael Lindenbaum

Alfred Bruckstein
 Use of Color for Optical Flow Estimation
 644 Eliaz Amir Dan Geiger1995
 Handwriting Recognition Via Short Line Segments
 645 Zavalkovsky Artur Eliezer Kantorowitz1995
 Mys - An Object Oriented Database Management System in the@Mach Operating System Environment
 646 Holtz Karen Eliezer Kantorowitz1995
 Semrel - a Semantic Relationship Model for Object@Oriented Databases
 647 Kariv Michael Chaim Craig Gotsman1995
 Model-Based Compression of Synthetic Animation Sequences
 648 Notkin Irina Chaim Craig Gotsman1995
 Parallel Adaptive Ray Tracing
 649 Paz Noam Oded Shmueli1995
 Ursus: An Advanced Neural Network Environment
 650 Bejerano Yigal Adrian Segall1995
 Setup and Maintenance of a Multi-Point Conversation
 651 Granot Gilad Shimon Even (Deceased)1994
 Planar Geid Drawings of Graphs with Few Bends in Eahe Edge
 652 Frances Mordechai Shay Ben David

Ami Litman
 Measuers of Complexity of Classes of Sets and Their
 653 Brezner Oren Shay Ben David

Nissim Francez
 Expectation Semantucs for Modal Logic
 654 Djerassi-Shintel Tal Hagit Attiya1994
 Lower Bounds for Decision Problems in Semi-Sjnchronous
 655 Brit Hagit Shlomo Moran1994
 Public Data Structures and Public Counters as a Special Case
 656 Berkovich Zvi ?1994
 Sematic Debugging of Black Boxes
 657 Ben Ephraim Arie Dan Geiger1994
 Pattern Recognition Using Similarity Networks
 658 Shemesh Galit Assaf Schuster1994
 Upper & Lower Bounds in Reconfigurable Networks
 659 Jacovi Michal Shay Ben David1994
 Learmnning in the Limit and Non-Uniform
 660 Rosdeutscher Irit Shaul Markovitch1994
 Systematic Experimentation with Macro-Learning
 661 Lorenz David Shaul Markovitch1994
 Learning in Games Using Symbolic Classification
 662 Ben-Dor Amir Ben-Zion Chor1994
 On the Complexity of Computing the Permanent
 663 Zimerman Offer Avi Mendelson1994
 Using "Write"Only Cache" for Improring "Cacne Based" Systems
 664 Shaham Amnon Amos Israel1994
 Implementation of Multi-Writer Multi-Reader Atomic Register
 665 Katz Baruch Michael Rodeh1994
 Minimzing the Performance Degradation Due to Conditional
 666 Ben-David Shoham Shmuel Katz1994
 Using Graphs to Represent Equivalence Classes of Parallel
 667 Adir Allon Shmuel Katz

Nissim Francez
 Compiling Programs with Multiparty-Interactions and Teams
 668 Roytman Evgeny Chaim Craig Gotsman1994
 Dynamic Color Quantization of Animation Sequences
 669 Lempel Oded Ami Litman1994
 Dual Round Retiming
 670 Abarbanel Yael Joseph Naor1994
 Algorithms for Dynamic Graphs
 671 Carmel David Shaul Markovitch1994
 Learning Models of Strategy's Strategy in Game Playing
 672 Gershon Benjamin Michael Yoeli (Deceased)

Orna Grumberg
 Synthesis of Concurrent Systems
 673 Zosin Leonid Ben-Zion Chor1994
 Privacy of Symmetric Functions
 674 Ben-Aroya Ishai Assaf Schuster1994
 Bounds and Algorithms for Deflection Routing
 675 Munk Ophir Ilan Bar-on1993
 A New Parallel Factorization A= Ddtbc for Band Symmetric
 676 Amir Arnon Alfred Bruckstein1993
 Depth from Structured Lisht and Axial Motion
 677 Namolaru Mircea ?1993
 Compilation Techniques for Distributed Constraint Languages
 678 Brown Yishay ?1993
 Common Sense Maps Generator
 679 Sella Yaron Shaul Markovitch1993
 Learning of Resource Allocation Strategies for Game Playing
 680 Lubitch Ronit Shlomo Moran1993
 Closed Schedvlers: Motivation Construction and Application
 681 Fraiman Ronit Shay Ben David1993
 Complexity of Learning by Distances
 682 Kahan Ariel Oded Goldreich1993
 Zero Knowledge Proofs with Constant Number of Iterations
 683 Efrat Alon Alon Itai

Reuven Bar-Yehuda
 Dynamically Maintainhg the Ceter of a
 684 Levinger Moshe Uzi Ornan1993
 Morphological Disambiguation in Hebrew
 685 Shintel Noam Michael Yoeli (Deceased)1993
 Synthesis of Modular Delay-Insensitive Netwerks from Petri
 686 Finkelstein Lev Shaul Markovitch1993
 Learning to Play by Acquiring Move-Patterns
 687 Sharell Abraham Johann Makowsky1993
 On the Average Gomplexity of Sat for Fiat Distributions
 688 Marcus Shaul Silvian Shaul Markovitch1993
 Estimation of Lexical Relations Using Word Similarities
 689 Ronel Ilan ?1993
 Topolgy Design Capacity Allocation and Route Assignment
 690 Navony Nechama Shlomo Moran1993
 A Verge and Randomized Complexity of Distributed Problems
 691 Aizenbud Netta Shmuel Katz

Hagit Attiya
 Self-Stabilization of Fault-Tolerant Distributed Algorithms
 692 Halevi Shai Assaf Schuster1993
 Greedy Hot-Potato Routing
 693 Orenstein Tatiana Zvi Kohavi

Irith Pomeranz
 Using Partial Scan for Testing of Digital Sequential Circoir
 694 Hasson Ruben Johann Makowsky1992
 A Comparison of Data Models Forcomplex Objects
 695 Collin Ze'ev Shmuel Katz

 A Self Stabilizing Distributed Solution
 696 Singer Yoram Dan Chazan1992
 Non Parametric Methods for Speech Consonants Recognition
 697 Pollak Avigdor Ehud Bar-on1992
 From Neural Networks to Production Rvles and Back
 698 Rachman Ophir Ben-Zion Chor1992
 Wait Free Randomized Consensus
 699 Peres Yardena Oded Shmueli1992
 Implementation of the Grid File System
 700 Yadin Irit Shlomo Moran1992
 The Distributet Counter Problem
 701 Sneh Dror Oded Goldreich1992
 The Complexity of Global Computation in the Presence of
 702 Michaeli-Aaroni Merav Ben-Zion Chor1992
 A Generalization of Group Testing
 703 Dvir Michal Shay Ben David1992
 Incompleteness and the Theory of Computer Science
 704 Dvir Nir Shmuel Katz1992
 Freezing - Interaction Between Concurrent Distributed Algs.
 705 Barguri Yaniv Johann Makowsky1992
 The Hierarchy of Transitive Closure
 706 Petrank Erez Oded Goldreich1992
 The Knowledge Complexity of Interactive Proofs
 707 Canetti Ran Oded Goldreich1992
 A Tradeoff Between Randomness and Commonication Complexity
 708 Nativ Isaac Eliezer Kantorowitz1992
 Consistent Database with Non-Serialized Queries
 709 Aharonson Eran Hagit Attiya1992
 The Structure of Counting Networks
 710 Nelson Lee-Bath Ben-Zion Chor1992
 Characterization of Distributed Interactive Tasks
 711 Zamir Elana Uzi Ornan1992
 Semantic Parser for Context Free Sentences in Hebrew
 712 Beimel Amos Ben-Zion Chor1992
 Ideal Secret Sharing Schemes
 713 Helman Anat Moshe Israeli (Deceased)

Marius Ungarish
 Parallel Solution of An Elliptic Eguation in Twd Dimentidns
 714 Wintner Shalom Uzi Ornan1991
 Syntactic Analysis of Hebrew Sentences
 715 Solel Nir ?1991
 Efficient Algorithms for Disjoint Paths Steiner Tree
 716 De-Lion Hana Orna Grumberg1991
 Real Time Temporal Logics
 717 Even Guy Oded Goldreich1991
 Construction of Small Probability Spaces
 718 Grinwald Raanan Reuven Bar-Yehuda1991
 Merging Polygons with Holes
 719 Resnik Ron Moshe Israeli (Deceased)

Marius Ungarish
 Nuerical Analysis of Two-Phase Rotating Flow
 720 Adar Michel Ehud Bar-on1991
 An Interactive Graphical Development System for Orject
 721 Dichterman Eli Shay Ben David1991
 Derandomizing Online Algorithms
 722 Pinhasov Meir Amos Israel1991
 A Linear-Time Bounded Concurrent Time-Stamp Scheme
 723 Sharon Miriam Alon Itai1991
 Learning Automata
 724 Marelly Rami Orna Grumberg1991
 Automatic Verifier of Distributed Algorithms
 725 Srouji Johny Daniel Berry1991
 Adaptaticn of the Unix Ditroff for Formatting Arabic Text
 726 Shurek Gil Orna Grumberg1991
 Modular Computer Aided Verification of Concurrent Systems
 727 Rinoenau Yael Shlomo Moran

Amos Israel
 An Efficient Algorithm for Maximum Dyramis Flow Problem
 728 Amir Yair ?1991
 Customer Scheguling Under Qveueing and Delay Constraints
 729 Geva Robert Azaria Paz1990
 Representation of Irrelevance Relations by Graphs
 730 Erez Ruthi Daniel Berry1990
 An Interactive Iaterpretes Withgraphic Display of Program
 731 Goldstein Lyor Uzi Ornan1990
 Generation and Analysis of the Possession Inflexion of
 732 Tal Ady ?1990
 Vertex Disjoint Paths in Series Paraller Graphs
 733 Fogel Sergio Reuven Bar-Yehuda1990
 Ray Shooting: Searching and Counting Queries
 734 Calo Ariel Johann Makowsky1990
 The Expressive Power of the Transitive Closure
 735 Jalfon Marc Elie Amos Israel1990
 Self Stabilizing Random Algorithms on Distributed Uniform Sy
 736 Cohen Doron Tuvi Etzion1990
 Combinatorical Designs Derived from Constant Weight Godes
 737 Amit Erela Ehud Bar-on1990
 Machine Learning Algorithm for Diagnosing Misconceptions
 738 Neeman Elan Adrian Segall1990
 Route Setmp and Takedown in a Funnel Network
 739 Neeman Yuval Nissim Francez1990
 Domain Archetype - a Eeasiblit Y Study
 740 Shani Netta Ben-Zion Chor1990
 On the Privocy Gdp in Dense Symmetric Functions
 741 Yona Gidon Amos Israel

Shay Ben David
 Verification of Protocols Fur Sharfd Registers Systems by G
 742 Dolev Shlomo Amos Israel

Shlomo Moran
 Self Stabilization of Dynamic Systems Assuming Only Read/
 743 Shtapler Zeiev Orna Grumberg1990
 Automatic Verification of Distributed Algorithms
 744 Ben-Chanoch Eyal Reuven Bar-Yehuda1990
 Covering Polygons with Squares
 745 Moscovici Lior Ben-Zion Chor1990
 Implementing Distributed Tasks in Presence of Failures
 746 Yanai Shimon Daniel Berry1990
 Environment for Translating "Metafont"to"Postscrcpt"
 747 Kimmel Dan Shimon Even (Deceased)1990
 Simulation Project on Ibm/pc for Electronic Wallet
 748 Bezalel Iris Michael Yoeli (Deceased)1990
 Structured Design of Delay-Insensitive Controllers
 749 Sharon Oran Adrian Segall1990
 Session Management and Organization in Broadcast Networks
 750 Lempel Mordkhai Azaria Paz1990
 Modular Lattices - An Algorithmic Approach
 751 Licht Rivka Tuvi Etzion1990
 Realization of Permutations in a Shuffle-Exchange Network
 752 Meir Osnat ?

 Analysis of the Performance of the Exponential Pxramid
 753 Molcho Moshe Shmuel Zaks1990
 Distributed Algorithms with a Fault Detection Ring
 754 Bittan Sara Shmuel Zaks1990
 Linear Broadcast Routing
 755 Ur Shmuel Azaria Paz1990
 Graphoids: Graph Representation and Membership Problems
 756 Shany-Klein Michal Uzi Ornan1990
 Generating & Analyzing Segolatenoun Inflection in Hebrew
 757 Sananes Moises Eliezer Kantorowitz1989
 Dros a Distributed Replicated Data Systam
 758 Lesser Ofrit Raphael Rom1989
 Routing by Controlled Flooding
 759 Rafaeli Raz Shay Ben David1989
 Global Time in Distributed Systems
 760 Fournier Laurent ?1989
 Performance Evalualion of Priorilized Token Sing Local
 761 Cohen-Rabinovici Simona ?1989
 Parallelization Strategies in Knowledge Bases
 762 Rahat Amir Oded Shmueli1989
 Logic Programming in a Distributed Euvironment
 763 Ostfeld Zvi ?1989
 Des Trees Construction:characterizations and Sequential and
 764 Gafni Yael Shay Ben David1989
 Semantics for a "Knowing at Most" Operator
 765 Sideman Gil ?1989
 Evaluation of Hop by Hop Vs End to End Go Back-N Protocol
 766 Habusha Uri Daniel Berry1989
 Vi Iv a Ri-Directional Version of the Vi Full-Screen Edito
 767 Kushilevitz Eyal Oded Goldreich1989
 Perfect Zero-Knowledge Proofs
 768 Allon Gil Daniel Berry1989
 Towauosabi Divectional Operating System
 769 Shemesh Yael Nissim Francez1989
 Relation Recognizing Automatta
 770 Wolfman Tony Daniel Berry1989
 ""Flo" a Language for Typesetting Flowcharts
 771 Goldfeld David Tuvi Etzion1989
 Eguivalence of Interconnection Netnorus
 772 Hausman Ehud Eliezer Kantorowitz

Alon Itai
 Erd Raseb Natural Qvery Langvage
 773 Koren Tziporet Oded Goldreich1989
 On the Construction of Pseudo Random Block Ciphers
 774 Hurvitz Oren Alon Itai1989
 Janus Automata as a Model for the Intelligent Scan Problem
 775 Kariv Itay ?1989
 Hierarchical Symbolic Indices in General Purpose
 776 Nathan Abraham Ran Ginosar1989
 Compilation of Fcp to Carmel and Its Performance Analysis
 777 Matsliach Gabriel Oded Shmueli1989
 Fitting Traditional Search Structures to New Architectures.
 778 Leyzerovitch Esther Orna Grumberg1989
 Impiementing Superimpositions for Occam
 779 Lavie Alon Uzi Ornan

Alon Itai
 Two Level Morphology for Hebrew
 780 Reicher Iris Michael Yoeli (Deceased)1988
 Verification and Synthesis of Asynchronous Circuits
 781 Abu-Hanna Ameen ?1988
 An Integrated Deep-Shallow Expert System for Multi-Leuel
 782 Becker Zeev Daniel Berry1988
 An Adaptation of the Unix Ditroff for Rormatting Tri-Directi
 783 Fischer Daniel Shlomit Pinter1988
 Maintenance of Unreliable Distributed Systems

783 abstract theses title found in the Department Computer Science
Last updated on: Thursday ,May 28, 2020