הטכניון מכון טכנולוגי לישראלהטכניון מכון טכנולוגי לישראל - בית הספר ללימודי מוסמכים
   דף הבית   |   דבר הדיקן   |   הרשמה   |   טפסים   |   תיזות ומחקרים   |   מועדים חשובים   |   תכניות הלימודים   |   מידע אישי   |   מידע כללי 
  מתעניינים בלימודים
  חדשים
  לומדים
  מלגות, מעונות
  השתלמויות,לימודים וכנסים בחו"ל
  מסיימים
  International Students
  בוגרים
  בתר דוקטורנטים [פוסט-דוקטורנטים]
  מידע למנחה

הודעות

Ph.D Theses

Department:Computer Science
Department Web Site: www.cs.technion.ac.il


No. Student's Name Advisors Graduation
Year
Abstracts
Theses Abstract Title
0 Jonathan Yaniv 2017 Abstracts
Job Scheduling Mechanisms for Cloud Computing
1 Netanel Raviv 2017 Abstracts Theses Subspace Codes and Distributed Storage Codes
2 Iddo Bentov 2017 Abstracts
Bitcoin and Secure Computation with Money
3 Uri Verner 2016 Abstracts Theses Processing Real-time Data Streams on GPU-based Systems
4 Alexander Libov 2016 Abstracts Theses Efficient Content Delivery in P2P Networks
5 Nachshon Cohen 2016 Abstracts Theses Memory Management: From Theory to Practice
6 Mor Weiss 2016 Abstracts Theses Secure Computation and Probabilistic Checking
7 Gal Tamir 2016 Abstracts Theses Algorithms for Combinatorial Reoptimization
8 Naama Tepper 2016 Abstracts Theses Computational Methods for Metabolic Network Analysis of Metabolite Levels and Flux
9 Shay Moran 2016 Abstracts Theses Generalization and Simplification in Machine Learning
10 Lila Shnaiderman 2016 Abstracts Theses Parallelism in Querying and Storage for Large XML and Graph Databases
11 Daniel Genkin 2016 Abstracts Theses Secure Computation in Hostile Environments
12 Yael Meller 2016 Abstracts Theses Model Checking Techniques for Behavioral UML Models
13 Sivan Albagli-Kim 2016 Abstracts Theses Flexible Resource Allocation for Networks and Clouds
14 Boaz Ophir 2016 Abstracts Theses Multi Scale Dictionary Learning for Sparse Representation of Images
15 Artyom Sharov 2016 Abstracts Theses Coding for New Applications in Storage Media
16 Yaniv Carmeli 2015 Abstracts Theses On Bugs and Ciphers: New Techniques in Cryptanalysis
17 Gil Einziger 2015 Abstracts Theses Approximate Compact Data Structures and Applications
18 Roman Talyansky 2015 Abstracts Theses Sample Complexity of Training Markov Chains
19 Meirav Zehavi 2015 Abstracts
Algorithms for Parameterized Graph Problems with Applications to Biological Network Queries
20 Sandeep Hans 2015 Abstracts Theses A Programming Language Approach to Transactional Memory Consistency
21 Yonatan Goldhirsh 2015 Abstracts Theses Algorithms for Property Testing and Related Problems
22 Cynthia Disenfeld 2015 Abstracts
Compositional Verification of Events and Responses
23 Shahar Timnat 2015 Abstracts
Practical Parallel Data Structures
24 Javier S. Turek 2015 Abstracts Theses Topics in Sparse Representation Modeling and Applications
25 Meir Cohen 2015 Abstracts Theses Observing the Observers: Social Context Analysis Using Computer Vision
26 Shahar Chen 2015 Abstracts Theses Online Learning and Competitive Analysis: a Unified Approach
27 Anastasia Braginsky 2015 Abstracts Theses Multi-Threaded Coordination Methods for Constructing Non-Blocking Data Structures
28 Anastasia Dubrovina Karni 2015 Abstracts
Geometric Algorithms for Image and Surface Analysis
29 Amir Nahir 2014 Abstracts Theses Design and Management of Complex Distributed Systems: Optimization and Game-Theoretic Perspectives
30 Assaf Glazer 2014 Abstracts Theses Learning Methods for Modeling High-Dimensional Distributions
31 Roi Poranne 2014 Abstracts Theses Topics in Shape Optimization and Exploration
32 Limor Leibovich 2014 Abstracts Theses Statistical Assessment of Enrichment in Ranked Lists - Algorithms and Applications in Motif Search
33 Raja Giryes 2014 Abstracts Theses Sparsity Models for Signals: Theory and Applications
34 Yakir Vizel 2014 Abstracts Theses SAT-Based Model Checking Using Interpolation and IC3
35 Elad Haramaty 2014 Abstracts Theses Polynomial Testing and Related Questions
36 Eran Treister 2014 Abstracts Theses Aggregation-based Adaptive Algebraic Multigrid for Sparse Linear Systems
37 Nadav Amit 2014 Abstracts Theses Alleviating Virtualization Bottlenecks
38 Josef Hai Kanizo 2014 Abstracts Theses Fast Decisions in High-Speed Networking Devices
39 Noga Ron-Zewi 2014 Abstracts Theses Additivie Combinatorics Methods in Computational Complexity
40 Noa Avigdor-Elgrabli 2014 Abstracts Theses New Algorithms for the Reordering Buffer Management Problem
41 Amir Adler 2014 Abstracts
Applications of Sparse and Redundant Representations to Subspace Clustering and Signal Modeling
42 Guy Rosman 2014 Abstracts Theses On Natural Parametrizations of Motion and Structure Manifolds
43 Sarit Buzaglo 2014 Abstracts Theses Algebraic and Geometric Problems for Non-Volatile Memory
44 Roy Levin 2013 Abstracts Theses Geospatial Route Search
45 Guy Grebla 2013 Abstracts Theses Scheduling Algorithms for OFDMA Broadband Wireless Networks
46 Zohar Levi 2013 Abstracts Theses Techinques for Manipulating Volumetric and Polyhedral 3D Datasets
47 Orna Agmon Ben-Yehuda 2013 Abstracts Theses Efficient, Non-Cooperative Sharing of Computing Resources
48 Moran Feldman 2013 Abstracts Theses Maximization Problems with Submodular Objective Functions
49 Keren Lenz 2013 Abstracts Theses Internal and External Mechanisms for Extending Programming Languages
50 Israel Steinfeld 2013 Abstracts Theses Data Analysis in Studies Combining Multiple High-Throughput Measurement Technologies
51 Ron Begleiter 2013 Abstracts Theses Theory and Practice of Active Learning
52 Mirit Shalem 2013 Abstracts Theses Combined Search over Heterogeneous Repositories
53 Yotam Elor 2013 Abstracts
Mathematical Analysis of Emergent Behavior in Multi- Agent Systems
54 Kira Radinsky 2013 Abstracts Theses Learning to Predict the Future Using Web Knowledge and Dynamics
55 Gal Lavee 2013 Abstracts Theses Understanding Events in Video
56 Yair Wiener 2013 Abstracts Theses Theoretical Foundations of Selective Prediction
57 Tomer Kotek 2012 Abstracts Theses Definability of Combinatorial Functions
58 Roy Schwartz 2012 Abstracts Theses Labelings and Partitions of Graphs
59 Eyal Rozenberg 2012 Abstracts Theses Lower Bounds and Structural Results in Property Testing of Dense Combinatorial Structures
60 Eliyahu Osherovich 2012 Abstracts
Numerical Methods for Phase Retrieval
61 Anna Levin 2012 Abstracts Theses Mobility Management Schemes for Improving TCP Performance in the Next Generation Wireless Networks
62 Alex Kogan 2012 Abstracts Theses Utilizing Multiple Radio Interfaces in Wireless Networks
63 Royi Ronen 2012 Abstracts Theses Models and Methods for Advanced Web Applications and Social Network Automation
64 Michael Viderman 2012 Abstracts Theses Towards Lower Bounds on Locally Testable Codes
65 Tamer Salman 2012 Abstracts Theses Quantum Neural Computation and Associative Memory
66 Dan Raviv 2012 Abstracts Theses Invariant Metrics for Non-Rigid Shapes
67 Itay Maman 2012

Formal Patterns in Java Programs
68 Guy Sagy 2012 Abstracts Theses Geometric Methods for Analyzing and Monitoring Large Distributed Data
69 Zohar Karnin 2012 Abstracts Theses Derandomization of Algebraic and Geometric Problems in Theoretical Computer Science
70 Ron Rubinstein 2012 Abstracts Theses Analysis and Synthesis Sparse Modeling Methods in Image Processing
71 Gala Yadgar 2012 Abstracts Theses Multilevel Cache Management Based on Application Hints
72 Ilya Volkovich 2012 Abstracts Theses Polynomial Identity Testing and its Relation to some Algebraic Problems
73 Joseph Shtok 2012

Adaptive Reconstruction Algorithms in Computed Tomography
74 Anat Paskin-Cherniavsky 2012 Abstracts Theses Secure Computation with Minimal Interaction
75 Tamir Levy 2011 Abstracts Theses On Merging Networks
76 Ilia Averbouch 2011 Abstracts Theses Completeness and Universality Properties of Graph Invariants and Graph Polynomials
77 Amir Vaxman 2011 Abstracts Theses General Techniques for Interpolation, Reconstruction and Morphing of Polyhedral Surfaces
78 Natalia Silberstein 2011 Abstracts Theses Coding Theory and Projective Spaces
79 Rafael Chen 2011 Abstracts Theses New Techniques for Cryptanalysis of Cryptographic Hash Functions
80 Tamar Aizikowitz 2011 Abstracts Theses Synchronized Alternating Pushdown Automata
81 Matan Protter 2011 Abstracts Theses Processing Images Sequences without Motion Estimation
82 Ido Ben-Zvi 2011 Abstracts Theses Causality, Knowledge and Coordination in Distributed Systems
83 Emilia Katz 2011 Abstracts Theses Analysis and Detection of Interactions among Aspects
84 Eshcar Hillel 2011 Abstracts Theses Concurrent Data Structures: Methodologies and Inherent Limitations
85 Arie Friedman 2011 Abstracts Theses Privacy Preserving Data Mining
86 Hanna Mazzawi 2011 Abstracts Theses Reconstructing Graphs Using Edge Counting Queries
87 Gadi Aleksandrowicz 2011 Abstracts Theses Enumeration of Lattice Animals
88 Avraham Yadgar 2010 Abstracts Theses New Approaches to Model Checking and to 3-Valued Abstraction and Refinement
89 Itai Sharon 2010 Abstracts Theses Computational Methods for Metagenomic Analysis
90 Mark Silberstein 2010 Abstracts Theses A Distributed System for Genetic Linkage Analysis
91 Michal Holtzman Gazit 2010 Abstracts
Multi Level Methods for Data Completion
92 Ofir Weber 2010 Abstracts Theses Hybrid Methods for Interactive Shape Manipulation
93 Roman Sandler 2010 Abstracts Theses Nonnegative Matrix Factorization for Segmentation Analysis
94 Yaniv Altshuler 2010 Abstracts Theses Multi Agents Robotics in Dynamic Environments
95 Sivan Bercovici 2010 Abstracts Theses Mapping by Admixture Linkage Disequilibrium: New Criteria and Algorithms
96 Leonid Raskin 2010 Abstracts Theses Dimensionality Reduction for 3D Articulated Body Tracking and Human Action Analysis
97 Oren Mishali 2010 Abstracts Theses Using Aspects to Support the Software Process
98 Boris Kapchits 2010 Abstracts Theses On the Optimization of Wake-Up Frequencies in Sensor Networks
99 Noam Gordon 2010 Abstracts Theses Fundamental Problems in the Theory of Multi-Agent Robotics
100 Keren Censor Hillel 2010 Abstracts Theses Probabilistic Methods in Distributed Computing
101 Tony Tan 2009 Abstracts Theses Pebble Automata for Data Languages: Separation, Decidability and Undecidability
102 Konstantin Shagin 2009 Abstracts Theses Execution of Monolithic Java Programs on Large Non-Dedicated Collections of Commodity Workstations
103 Dmitry Pechyony 2009 Abstracts Theses Theory and Practice of Transductive Learning
104 Valentin Kravtsov 2009 Abstracts Theses Service-Based Resource Brokering for Grid-Based Applications
105 Mirela Ben-Chen 2009 Abstracts Theses Discrete Geometric Algorithms for Mesh Processing
106 Ilan Gronau 2009 Abstracts Theses Reconstructing Phylogenetic Trees from Noisy Metrics
107 Yaniv Frishman 2009 Abstracts Theses Graph Drawing Algorithms in Information Visualization
108 Roee Engelberg 2009 Abstracts Theses Stability in Multi-Agent Environments and Approximation Algorithms for NP-Hard Graph Problems
109 Ido Tal 2009 Abstracts Theses Coding and Bounds for Two-Dimensional Constraints
110 Alexander Landau 2009 Abstracts Theses Efficient Schemes for Estimating the Number of Affected Nodes in Very Large Networks
111 Ilya Blayvas 2009 Abstracts Theses On Accuracy Analysis of 3D Scanners, Binarization, and Machine Learning
112 Izchak Sharfman 2009 Abstracts Theses A Geometric Approach to Detecting Global Properties over Distributed Data
113 Grigory Begelman 2009 Abstracts Theses Processing and Interpretation of Biological Microscopical Images
114 Sharon Shoham Buchbinder 2009 Abstracts Theses Abstraction-Refinement and Modularity in Mu-Calculus Model Checking
115 Gabriel Kliot 2009 Abstracts Theses Probabilistic Middleware Services in Wireless Mobile Ad-Hoc Networks
116 Tamar Zemach 2008 Abstracts Theses Simulations of Non-Homogeneous Flow Fields Subject to Rotation and Gravity Effects
117 Maria Artishchev-Zapolotsk 2008 Abstracts Theses Compact Layouts for Some Interconnection Networks
118 Alexander Bogomjakov 2008 Abstracts Theses GPU-Assisted Geometry Processing for Novel View Synthesis from Depth Video
119 Niv Buchbinder 2008 Abstracts Theses Designing Competitive Online Algorithms via a Primal-Dual Approach
120 Oleg Rokhlenko 2008 Abstracts Theses Algorithms for Labeled Graph Matching with Applications to Systems Biology
121 Saher Esmeir 2008 Abstracts Theses Anytime Algorithms for Learning Anytime Classifiers
122 David Amzallag 2008 Abstracts Theses Approximation Algorithms For Optimization Problems in Future Cellular Networks
123 Orly Yahalom 2008 Abstracts Theses Topics in Property Testing over Massively Parameterized Models
124 Gavriel Nakibly 2008 Abstracts Theses Traffic Engineering in IP and MPLS Networks
125 Rami Cohen 2008 Abstracts Theses Internet Topology: From the Discovery Process to the Real Picture
126 Gilad Ben Avi 2008 Abstracts Theses Types and Meanings in Intensionality, Selection and Quantifier Scope
127 Vadim Drabkin 2008 Abstracts Theses Dependable Communication Protocols in Ad-Hoc Networks
128 Ido Leichter 2008 Abstracts Theses Visual Tracking in a General Context via Tracker Combination and Low-Level Cues
129 Ronen Lerner 2008 Abstracts Theses Constrained Pose and Motion Estimation
130 Liran Katzir 2008 Abstracts Theses Scheduling Algorithms for Efficient Delivery of Synchronous Traffic in Wireless Access Networks
131 Iddo Hanniel 2008 Abstracts Theses Robust Arrangements and Voronoi Diagrams of Free-form Curves and Surfaces
132 Arie Matsliah 2008 Abstracts Theses Property Testing and Combinatorial Approximation
133 Omer Barkol 2008 Abstracts Theses Locally Decodable Codes and Their Applications
134 Michael Bronstein 2007 Abstracts Theses Isometry-Invariant Surface Matching: Numerical Algorithms and Applications
135 Ron Zohar 2007 Abstracts Theses Flow Conservation Group Tracking
136 Tal Nir 2007 Abstracts Theses Topics in Motion Analysis
137 Dan Kenigsberg 2007 Abstracts Theses Classicality and Quantumness in Quantum Information Processing
138 Gabriel Scalosub 2007 Abstracts Theses Routing and Scheduling Problems in Data Networks
139 Alexander Bronstein 2007 Abstracts Theses Numerical Geometry of Non-Rigid Objects: Embedding Problems
140 Shiri Moran 2007 Abstracts Theses Rate Based Sequences and Smooth Scheduling
141 Yair Koren 2007 Abstracts Theses Multiscale Methods for Image Processing
142 Tamar Avraham 2007 Abstracts Theses Visual Attention Processes based on Stochastic Models: Algrorithms and Bounds
143 Doron Lipson 2007 Abstracts Theses Computational Aspects of DNA Copy Number Measurement
144 David Hay 2007 Abstracts Theses Competitive Evaluation of Switch Architectures
145 Tal Cohen 2007 Abstracts Theses Applying Aspect-Oriented Software Development to Middleware Frameworks
146 Benny Applebaum 2007 Abstracts Theses Cryptography in Constant Parallel Time
147 Alex Gontmakher 2007 Abstracts Theses An Architecture and Programming Model for Extremely Fine Grain Parallelization
148 Vitaly Skachek 2007 Abstracts Theses Low-Density Parity-Check Codes: Constructions and Bounds
149 Ydo Wexler 2007 Abstracts Theses Variational Approximations for Probabilistic Graphical Models
150 Evgeniy Gabrilovich 2006 Abstracts Theses Feature Generation for Textual Information Retrieval Using World Knowledge
151 Chaya Ben-Zaken Zilberstei 2006 Abstracts
Spotting Regulatory Elements by Micro-Arrays
152 Roie Melamed 2006 Abstracts
Scalable Services for Dynamic Wide-Area Environments
153 Erez Hadad 2006 Abstracts
Architectures for Fault-Tolerant Middleware Services
154 Alon Spira 2006 Abstracts
Geometric Image Evolution on Parametric Surfaces
155 Orr Dunkelman 2006 Abstracts
Techniques for Cryptanalysis of Block Ciphers
156 Mordohay Salom 2006 Abstracts
Optimal Design Problems for Optical Networks
157 Harel Paz 2006 Abstracts
Efficient Memory Management for Servers
158 Shirley Halevy 2006 Abstracts
Topics in Property-Testing
159 Firas Swidan 2006 Abstracts
Comparative Genomics: from Accurate Mapping to Sorting by Weighted Reversals and Repeat-Annotated Phylogenies
160 Eyal Ackerman 2006 Abstracts
Counting Problems for Geometric Structures: Rectangulations, Floorplans, and Quasi-Planar Graphs
161 Michal Aharon 2006 Abstracts Theses Overcomplete Dictionaries for Sparse Representation of Signals
162 Sagi Schein 2006 Abstracts
Trivariate Functions in Solid Modeling, Medical Imaging and Computer Graphics
163 Elad Pinhas Barkan 2006 Abstracts
Cryptanalysis of Ciphers and Protocols
164 Octavian Soldea 2006 Abstracts
Functional Reasoning in Image Understanding
165 Ronit Nossenson 2005 Abstracts
Stochastic Models for Web Servers
166 Lev Finkelstein 2005 Abstracts
Offline Scheduling of Anytime Algorithms
167 Esti Yeger-Lotem 2005 Abstracts
Computational Analysis of Integrated Networks of Transcription Regulation and Protein-Protein Interactions
168 Gideon Dov Greenspan 2005 Abstracts
A Bayesian Network Model of Haplotype Block Variation: Inference and Application
169 Didi Sazbon 2005 Abstracts
Sensory Based Navigation Motivated by Biological Systems
170 Moshe Schwartz 2004 Abstracts
Tilings, Anticodes, and Multidimensional Coding
171 Sagi Snir 2004 Abstracts
Computational Issues in Phylogenetic Reconstruction: Analytic Maximum Likelihood Solutions, and Convex Recoloring
172 Alexander Berengolts 2004 Abstracts
Quantitative Approach for Characterizing the Difficulties of Visual Tasks
173 Zachi Karni 2004 Abstracts
3D Mesh Processing Using Spectral Methods
174 Tamir Heyman 2004 Abstracts
Distributed Symbolic Model Checking
175 Julia Chuzhoy 2004 Abstracts
Hardness of Approximation and New Approximability Classes
176 Yoav Zibin 2004 Abstracts
Efficient Algorithms for the Runtime Environment of Object Oriented Languages
177 Ma'ayan Fishelson 2004 Abstracts
Efficient Genetic Linkage Computations for General Pedigrees
178 Dmitry Rusakov 2004 Abstracts
Bayesian Networks: Model Selection and Applications
179 Ran Wolff 2004 Abstracts
Data Mining in Large-Scale Distributed Systems
180 Dror Rawitz 2003 Abstracts
Combinatorial and LP-Based Methods for Designing Approximation Algorithms
181 Roman Goldenberg 2003 Abstracts
Motion Based Recognition
182 Marcelo Sihman 2003 Abstracts
Language and Proof Support for Superimpositions and Aspects
183 Mark Zlochin 2003 Abstracts
Adaptive Monte Carlo Methods for Bayesian Inference
184 Vitaly Surazhsky 2003 Abstracts
Morphing Piecewise Linear Shapes Using Convex Representations
185 Ari Freund 2003 Abstracts
On-Line and Off-Line Approximation Algorithms for Various Resource Allocation and Scheduling Problems and for the Multiway Cut Problem
186 Stefan Resmerita 2003 Abstracts
A Multi-Agent Approach to Control of Multi-Robotic Systems
187 Ronny Lempel 2003 Abstracts
Link Structure Analysis and Query Result Caching in Web Search Engines
188 Marcelo Glusman 2003 Abstracts
Mechanizing Proofs of Computation Equivalence
189 Adnan Agbaria 2002 Abstracts
Reliability in High Performance Distributed Computing Systems
190 Doron Bustan 2002 Abstracts
Equivalence-Based Reductions and Checking for Preorders
191 Eyal Felstaine 2002 Abstracts
Scalable Routing in Hierarchical ATM Networks
192 Gitit Ruckenstein 2002 Abstracts
Error Decoding Strategies for Algebraic Codes
193 Ann Becker 2002

Inference Algorithms with Application to Genetic Analysis
194 Roman Vitenberg 2002 Abstracts
Internet Wide Caching of Distributed Objects
195 Tamar Tamir 2001 Abstracts
Class-Constrained Resource Allocation Problems
196 Arie Fouren 2001 Abstracts
Adaptive Wait-Free Algorithms for Asynchronous Shared- Memory Systems
197 Anna Moss 2001

High Profit for Low Cost: Approximation Algorithms in Mode-Weighted Graphs
198 Nadav Eiron 2001

Computational Learning in Models for Noisy Environments
199 Niv Gilboa 2001 Abstracts
Topics in Private Information Retrieval
200 David Konopnicki 2001

The Taming of the Web: Querying, Integration and Advanced E-Commerce Applications
201 Ran Nelken 2001 Abstracts
Questions, Time and Natural Language Interfaces to Temporal Databases
202 Tamar Eilam 2000

Cost versus Quality: Tradeoffs in Communication Networks
203 Yuval Ishai 2000

Private Computation and Correlated Randomness
204 Ahron Kupershtok 2000

Some Improved Layouts for Interconnection Networks
205 Karen Yorav 2000

Exploiting Syntactic Structure for Automatic Verification
206 Elena Ravve 1999

Decomposition of Databases with Translation Schemes
207 Ayal Itzkovitz 1999

Distributed Shared Memory: Bridging the Granularity Gap
208 Israel Wagner 1999

Ant Robotics: Search, Exploration and Covering in Multi-a(Ge)Nt Systems
209 David Lorenz 1999

Compilation of Source Code into Object-Oriented Patterns
210 Udi Rotics 1999

Efficient Algorithms for Generally Intractable Graph Problems Restricted to Specific Classes of Graphs
211 Eli Minkov 1998

A Numerical Study of the Flow Around Particles in Rotating Fluid
212 Jeffrey Fayman 1998

Reliable, Robust and Effective Active Vision
213 Leonid Zosin 1998

Relaxed Multi-Commodity Flow and Its Application to the Design of Approximation Algorithms
214 Yshay Kamon 1998

Locally Optimal Sensor Based Robot Navigation
215 Amir Ben-Dor 1998

Constructing Radiation Hybrid Maps of the Human Genome
216 Oded Sudarsky 1998

Dynamic Scene Occlusion Culling
217 David Carmel 1998

Model-Based Learning of Interaction Strategies in Multi-Agent Systems
218 Lihu Rappoport 1997

Lock-Free Implementations in the Asynchronous Shared-Memory Model
219 Shalom Wintner 1997

An Abstract Machine for Unification Grammars with Applications to an HPSG Grammar for Hebrew
220 Arnon Amir 1997

A Quantitative Approach to Perceptual Grouping in Computer Vision
221 Eli Dichterman 1996

Learning with Restricted Focus of Attention
222 Amos Beimel 1996

Secure Schemes for Secret Sharing and Key Distribution
223 Yona Hollander 1996

Search Algorithms for Cache Memory
224 Ophir Rachman 1996

Decision Problems for Implementing Distributed Snapshots
225 Ornan Gerstel 1996

Virtual Path Design in ATM Networks
226 Guy Even 1995

Design of VLSI Circuits Using Retiming
227 Orna Kupferman-Bernholtz 1995

Model Checking for Branching-Time Temporal Logics
228 Sara Bittan 1995

Lower Bounds on the Sizes of Constant Weight Error Correcting Codes
229 Erez Petrank 1995

Knowledge Complexity versus Computational Complexity and the Hardness of Approximations
230 Anne Weill 1994

Low-Communication Algorithms for the Parallel Solution of Partial Differential Equations on Message-Passing Machines
231 Roy Friedman 1994

Consistency Conditions for Distributed Shared Memories
232 Lea Goldin 1994

An Environment for Aiding Requirements Analysts in Requirements Elicitation for Large Software Systems
233 Lior Shabtay 1994

Memory Efficient Network Synchronization Techniques
234 Oran Sharon 1994

Protocols for Spatial and Slot Reuse in Bus Networks
235 Ido Dagan 1993

Multilingual Comparison: Automatic Resolution of Ambiguitie
236 Eyal Shifroni 1993

Flexible User Modeling in Inter Active Guidence System
237 Yachin Pnueli 1993

Halftone Methods: Beyond Grid Based Methods
238 Avner Schwarz 1992

Representing and Solving the Automated Bvilding Design (Abd)
239 Shlomo Dolev 1992

Self Stabilization of Dynamic Systems
240 Limor Fix 1992

Semantics Drinen Decompositions for the Verification of
241 Sergio Raysbaum Missing advisors 1991

On the Performance of Distributed Networks Controlled by a
242 Shmuel Sagiv 1991

Circular Attribute Grammars and Their Application to Data
243 Ofer Biran 1991

Distributed Tasks in the Presence of Fail-Stop Failures
244 Reuven Cohen 1991

Distributed Protocols for the Mac Loyer of Ring Networus
245 Amir Herzberg 1991

Communication Networks in the Presence of Faults
246 Gabriel Matsliach 1991

Design and Evaluation of Storage Stractures for Modern
247 Hadas Shachnai 1991

Keeping Linear Self Organizing Lists Under Counter Schemes
248 Eyal Kushilevitz 1991

Privacy in Distributed Systems
249 Sergio Raysbaum 1991

On the Performance of Distributed Networks Controlled by a
250 Hugo Krawczxk 1990

Pseudorandomness and Compuiati Onal Difficulty
251 Yaron Wolfstahl 1989

Algorithms for Graph Embedding and Covering
252 Gyuri Benedek 1989

Learnability of Concept Classes by Sampling
253 Yoelle Maarek 1989

Vsing Structural Information for Managing Very Large
254 Nader Bshouty 1989

Bounds on Multiplicative Complexity of Sets of Bilinear Form
255 Gadi Taubenfeld 1988

An Axiomatic Approach for Proving Impossibility Results in


256 abstract theses title found in the Department Computer Science
Last updated on: Tuesday ,March 28, 2017