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

Formal Patterns in Java Programs
75 Zohar Karnin 2012 Abstracts Theses Derandomization of Algebraic and Geometric Problems in Theoretical Computer Science
76 Ron Rubinstein 2012 Abstracts Theses Analysis and Synthesis Sparse Modeling Methods in Image Processing
77 Gala Yadgar 2012 Abstracts Theses Multilevel Cache Management Based on Application Hints
78 Joseph Shtok 2012

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

Inference Algorithms with Application to Genetic Analysis
198 Doron Bustan 2002 Abstracts
Equivalence-Based Reductions and Checking for Preorders
199 Eyal Felstaine 2002 Abstracts
Scalable Routing in Hierarchical ATM Networks
200 Gitit Ruckenstein 2002 Abstracts
Error Decoding Strategies for Algebraic Codes
201 Niv Gilboa 2001 Abstracts
Topics in Private Information Retrieval
202 Ran Nelken 2001 Abstracts
Questions, Time and Natural Language Interfaces to Temporal Databases
203 Nadav Eiron 2001

Computational Learning in Models for Noisy Environments
204 David Konopnicki 2001

The Taming of the Web: Querying, Integration and Advanced E-Commerce Applications
205 Arie Fouren 2001 Abstracts
Adaptive Wait-Free Algorithms for Asynchronous Shared- Memory Systems
206 Anna Moss 2001

High Profit for Low Cost: Approximation Algorithms in Mode-Weighted Graphs
207 Tamar Tamir 2001 Abstracts
Class-Constrained Resource Allocation Problems
208 Ahron Kupershtok 2000

Some Improved Layouts for Interconnection Networks
209 Tamar Eilam 2000

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

Private Computation and Correlated Randomness
211 Karen Yorav 2000

Exploiting Syntactic Structure for Automatic Verification
212 David Lorenz 1999

Compilation of Source Code into Object-Oriented Patterns
213 Ayal Itzkovitz 1999

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

Ant Robotics: Search, Exploration and Covering in Multi-a(Ge)Nt Systems
215 Elena Ravve 1999

Decomposition of Databases with Translation Schemes
216 Udi Rotics 1999

Efficient Algorithms for Generally Intractable Graph Problems Restricted to Specific Classes of Graphs
217 David Carmel 1998

Model-Based Learning of Interaction Strategies in Multi-Agent Systems
218 Amir Ben-Dor 1998

Constructing Radiation Hybrid Maps of the Human Genome
219 Jeffrey Fayman 1998

Reliable, Robust and Effective Active Vision
220 Yshay Kamon 1998

Locally Optimal Sensor Based Robot Navigation
221 Leonid Zosin 1998

Relaxed Multi-Commodity Flow and Its Application to the Design of Approximation Algorithms
222 Eli Minkov 1998

A Numerical Study of the Flow Around Particles in Rotating Fluid
223 Oded Sudarsky 1998

Dynamic Scene Occlusion Culling
224 Arnon Amir 1997

A Quantitative Approach to Perceptual Grouping in Computer Vision
225 Lihu Rappoport 1997

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

An Abstract Machine for Unification Grammars with Applications to an HPSG Grammar for Hebrew
227 Yona Hollander 1996

Search Algorithms for Cache Memory
228 Amos Beimel 1996

Secure Schemes for Secret Sharing and Key Distribution
229 Eli Dichterman 1996

Learning with Restricted Focus of Attention
230 Ophir Rachman 1996

Decision Problems for Implementing Distributed Snapshots
231 Ornan Gerstel 1996

Virtual Path Design in ATM Networks
232 Orna Kupferman-Bernholtz 1995

Model Checking for Branching-Time Temporal Logics
233 Guy Even 1995

Design of VLSI Circuits Using Retiming
234 Erez Petrank 1995

Knowledge Complexity versus Computational Complexity and the Hardness of Approximations
235 Sara Bittan 1995

Lower Bounds on the Sizes of Constant Weight Error Correcting Codes
236 Anne Weill 1994

Low-Communication Algorithms for the Parallel Solution of Partial Differential Equations on Message-Passing Machines
237 Oran Sharon 1994

Protocols for Spatial and Slot Reuse in Bus Networks
238 Lea Goldin 1994

An Environment for Aiding Requirements Analysts in Requirements Elicitation for Large Software Systems
239 Roy Friedman 1994

Consistency Conditions for Distributed Shared Memories
240 Lior Shabtay 1994

Memory Efficient Network Synchronization Techniques
241 Eyal Shifroni 1993

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

Halftone Methods: Beyond Grid Based Methods
243 Ido Dagan 1993

Multilingual Comparison: Automatic Resolution of Ambiguitie
244 Limor Fix 1992

Semantics Drinen Decompositions for the Verification of
245 Shlomo Dolev 1992

Self Stabilization of Dynamic Systems
246 Avner Schwarz 1992

Representing and Solving the Automated Bvilding Design (Abd)
247 Ofer Biran 1991

Distributed Tasks in the Presence of Fail-Stop Failures
248 Hadas Shachnai 1991

Keeping Linear Self Organizing Lists Under Counter Schemes
249 Sergio Raysbaum Missing advisors 1991

On the Performance of Distributed Networks Controlled by a
250 Sergio Raysbaum 1991

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

Circular Attribute Grammars and Their Application to Data
252 Amir Herzberg 1991

Communication Networks in the Presence of Faults
253 Gabriel Matsliach 1991

Design and Evaluation of Storage Stractures for Modern
254 Eyal Kushilevitz 1991

Privacy in Distributed Systems
255 Reuven Cohen 1991

Distributed Protocols for the Mac Loyer of Ring Networus
256 Hugo Krawczxk 1990

Pseudorandomness and Compuiati Onal Difficulty
257 Nader Bshouty 1989

Bounds on Multiplicative Complexity of Sets of Bilinear Form
258 Yaron Wolfstahl 1989

Algorithms for Graph Embedding and Covering
259 Gyuri Benedek 1989

Learnability of Concept Classes by Sampling
260 Yoelle Maarek 1989

Vsing Structural Information for Managing Very Large
261 Gadi Taubenfeld 1988

An Axiomatic Approach for Proving Impossibility Results in


262 abstract theses title found in the Department Computer Science
Last updated on: Friday ,April 28, 2017