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

הודעות

יום פתוח לתארים מתקדמים במדעי המחשב - 25.4.2018

 

יום פתוח לתארים מתקדמים בארכיטקטורה - 26.3.2018

 

יום פתוח לתארים מתקדמים בפסיכולוגיה וכלכלה התנהגותית - 16.3.2018- יתקיים בתל אביב

 

יום פתוח לתארים מתקדמים בהנדסה כימית - 25.1.2018

 

יום מחקר למשתלמים ע"ש ג'ייקובס. בניין צ'רצ'יל - 10.1.2018 בין השעות 12:30-14:30

 

בית הספר לתארים מתקדמים מברך את 849 מקבלי תואר מגיסטר במחזור 2017. טקס הענקת התעודות יתקיים ב-5.6.2017 - באמפי ע"ש קלנר בשעה 18:30. הכניסה לבעלי הזמנות.

 

בית הספר לתארים מתקדמים מברך את 243 מקבלי תואר דוקטור (PhD) במחזור 2017. טקס הענקת התעודות יתקיים ב-29.5.2017 - באמפי ע"ש קלנר בשעה 18:30. הכניסה לבעלי הזמנות.

 

 





 


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 Michal Horovitz 2018 Abstracts
Coding Schemes for Non-Volatile Memories
1 Mira Shalah 2018 Abstracts
Formulae and Growth Rates of Animals on Cubical and Triangular Lattices
2 Nimrod Sebban Partush 2017 Abstracts Theses Differential Program Analysis
3 Dana Drachsler Cohen 2017

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

Formal Patterns in Java Programs
84 Guy Sagy 2012 Abstracts Theses Geometric Methods for Analyzing and Monitoring Large Distributed Data
85 Zohar Karnin 2012 Abstracts Theses Derandomization of Algebraic and Geometric Problems in Theoretical Computer Science
86 Ron Rubinstein 2012 Abstracts Theses Analysis and Synthesis Sparse Modeling Methods in Image Processing
87 Royi Ronen 2012 Abstracts Theses Models and Methods for Advanced Web Applications and Social Network Automation
88 Anat Paskin-Cherniavsky 2012 Abstracts Theses Secure Computation with Minimal Interaction
89 Joseph Shtok 2012

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

Inference Algorithms with Application to Genetic Analysis
207 Gitit Ruckenstein 2002 Abstracts
Error Decoding Strategies for Algebraic Codes
208 Roman Vitenberg 2002 Abstracts
Internet Wide Caching of Distributed Objects
209 Eyal Felstaine 2002 Abstracts
Scalable Routing in Hierarchical ATM Networks
210 Doron Bustan 2002 Abstracts
Equivalence-Based Reductions and Checking for Preorders
211 Ran Nelken 2001 Abstracts
Questions, Time and Natural Language Interfaces to Temporal Databases
212 Niv Gilboa 2001 Abstracts
Topics in Private Information Retrieval
213 Arie Fouren 2001 Abstracts
Adaptive Wait-Free Algorithms for Asynchronous Shared- Memory Systems
214 Tamar Tamir 2001 Abstracts
Class-Constrained Resource Allocation Problems
215 David Konopnicki 2001

The Taming of the Web: Querying, Integration and Advanced E-Commerce Applications
216 Nadav Eiron 2001

Computational Learning in Models for Noisy Environments
217 Anna Moss 2001

High Profit for Low Cost: Approximation Algorithms in Mode-Weighted Graphs
218 Karen Yorav 2000

Exploiting Syntactic Structure for Automatic Verification
219 Ahron Kupershtok 2000

Some Improved Layouts for Interconnection Networks
220 Tamar Eilam 2000

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

Private Computation and Correlated Randomness
222 David Lorenz 1999

Compilation of Source Code into Object-Oriented Patterns
223 Elena Ravve 1999

Decomposition of Databases with Translation Schemes
224 Ayal Itzkovitz 1999

Distributed Shared Memory: Bridging the Granularity Gap
225 Udi Rotics 1999

Efficient Algorithms for Generally Intractable Graph Problems Restricted to Specific Classes of Graphs
226 Israel Wagner 1999

Ant Robotics: Search, Exploration and Covering in Multi-a(Ge)Nt Systems
227 Jeffrey Fayman 1998

Reliable, Robust and Effective Active Vision
228 Oded Sudarsky 1998

Dynamic Scene Occlusion Culling
229 Leonid Zosin 1998

Relaxed Multi-Commodity Flow and Its Application to the Design of Approximation Algorithms
230 Amir Ben-Dor 1998

Constructing Radiation Hybrid Maps of the Human Genome
231 Eli Minkov 1998

A Numerical Study of the Flow Around Particles in Rotating Fluid
232 David Carmel 1998

Model-Based Learning of Interaction Strategies in Multi-Agent Systems
233 Yshay Kamon 1998

Locally Optimal Sensor Based Robot Navigation
234 Shalom Wintner 1997

An Abstract Machine for Unification Grammars with Applications to an HPSG Grammar for Hebrew
235 Lihu Rappoport 1997

Lock-Free Implementations in the Asynchronous Shared-Memory Model
236 Arnon Amir 1997

A Quantitative Approach to Perceptual Grouping in Computer Vision
237 Ornan Gerstel 1996

Virtual Path Design in ATM Networks
238 Amos Beimel 1996

Secure Schemes for Secret Sharing and Key Distribution
239 Ophir Rachman 1996

Decision Problems for Implementing Distributed Snapshots
240 Yona Hollander 1996

Search Algorithms for Cache Memory
241 Eli Dichterman 1996

Learning with Restricted Focus of Attention
242 Guy Even 1995

Design of VLSI Circuits Using Retiming
243 Erez Petrank 1995

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

Lower Bounds on the Sizes of Constant Weight Error Correcting Codes
245 Orna Kupferman-Bernholtz 1995

Model Checking for Branching-Time Temporal Logics
246 Oran Sharon 1994

Protocols for Spatial and Slot Reuse in Bus Networks
247 Lior Shabtay 1994

Memory Efficient Network Synchronization Techniques
248 Roy Friedman 1994

Consistency Conditions for Distributed Shared Memories
249 Anne Weill 1994

Low-Communication Algorithms for the Parallel Solution of Partial Differential Equations on Message-Passing Machines
250 Lea Goldin 1994

An Environment for Aiding Requirements Analysts in Requirements Elicitation for Large Software Systems
251 Ido Dagan 1993

Multilingual Comparison: Automatic Resolution of Ambiguitie
252 Eyal Shifroni 1993

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

Halftone Methods: Beyond Grid Based Methods
254 Avner Schwarz 1992

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

Self Stabilization of Dynamic Systems
256 Limor Fix 1992

Semantics Drinen Decompositions for the Verification of
257 Shmuel Sagiv 1991

Circular Attribute Grammars and Their Application to Data
258 Gabriel Matsliach 1991

Design and Evaluation of Storage Stractures for Modern
259 Reuven Cohen 1991

Distributed Protocols for the Mac Loyer of Ring Networus
260 Ofer Biran 1991

Distributed Tasks in the Presence of Fail-Stop Failures
261 Amir Herzberg 1991

Communication Networks in the Presence of Faults
262 Sergio Raysbaum 1991

On the Performance of Distributed Networks Controlled by a
263 Sergio Raysbaum Missing advisors 1991

On the Performance of Distributed Networks Controlled by a
264 Eyal Kushilevitz 1991

Privacy in Distributed Systems
265 Hadas Shachnai 1991

Keeping Linear Self Organizing Lists Under Counter Schemes
266 Hugo Krawczxk 1990

Pseudorandomness and Compuiati Onal Difficulty
267 Yaron Wolfstahl 1989

Algorithms for Graph Embedding and Covering
268 Gyuri Benedek 1989

Learnability of Concept Classes by Sampling
269 Yoelle Maarek 1989

Vsing Structural Information for Managing Very Large
270 Nader Bshouty 1989

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

An Axiomatic Approach for Proving Impossibility Results in


272 abstract theses title found in the Department Computer Science
Last updated on: Friday ,February 23, 2018