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

הודעות

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

 

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

 

מפגש מתעניינים בתכנית  Start up MBA, בפק' לה. תעשיה וניהול, בניין בלומפילד, חדר 527 - 20.6.17

 

ברכות לזוכי פרס וולף לשנת תשע"ז

 

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


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

 

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

 

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

 

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

 





 


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 Theses Job Scheduling Mechanisms for Cloud Computing
1 Dana Drachsler Cohen 2017

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

Formal Patterns in Java Programs
80 Guy Sagy 2012 Abstracts Theses Geometric Methods for Analyzing and Monitoring Large Distributed Data
81 Zohar Karnin 2012 Abstracts Theses Derandomization of Algebraic and Geometric Problems in Theoretical Computer Science
82 Ron Rubinstein 2012 Abstracts Theses Analysis and Synthesis Sparse Modeling Methods in Image Processing
83 Royi Ronen 2012 Abstracts Theses Models and Methods for Advanced Web Applications and Social Network Automation
84 Ilya Volkovich 2012 Abstracts Theses Polynomial Identity Testing and its Relation to some Algebraic Problems
85 Joseph Shtok 2012

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

Inference Algorithms with Application to Genetic Analysis
205 Eyal Felstaine 2002 Abstracts
Scalable Routing in Hierarchical ATM Networks
206 David Konopnicki 2001

The Taming of the Web: Querying, Integration and Advanced E-Commerce Applications
207 Ran Nelken 2001 Abstracts
Questions, Time and Natural Language Interfaces to Temporal Databases
208 Tamar Tamir 2001 Abstracts
Class-Constrained Resource Allocation Problems
209 Arie Fouren 2001 Abstracts
Adaptive Wait-Free Algorithms for Asynchronous Shared- Memory Systems
210 Nadav Eiron 2001

Computational Learning in Models for Noisy Environments
211 Anna Moss 2001

High Profit for Low Cost: Approximation Algorithms in Mode-Weighted Graphs
212 Niv Gilboa 2001 Abstracts
Topics in Private Information Retrieval
213 Karen Yorav 2000

Exploiting Syntactic Structure for Automatic Verification
214 Tamar Eilam 2000

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

Private Computation and Correlated Randomness
216 Ahron Kupershtok 2000

Some Improved Layouts for Interconnection Networks
217 David Lorenz 1999

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

Decomposition of Databases with Translation Schemes
219 Israel Wagner 1999

Ant Robotics: Search, Exploration and Covering in Multi-a(Ge)Nt Systems
220 Udi Rotics 1999

Efficient Algorithms for Generally Intractable Graph Problems Restricted to Specific Classes of Graphs
221 Ayal Itzkovitz 1999

Distributed Shared Memory: Bridging the Granularity Gap
222 Oded Sudarsky 1998

Dynamic Scene Occlusion Culling
223 Yshay Kamon 1998

Locally Optimal Sensor Based Robot Navigation
224 David Carmel 1998

Model-Based Learning of Interaction Strategies in Multi-Agent Systems
225 Leonid Zosin 1998

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

A Numerical Study of the Flow Around Particles in Rotating Fluid
227 Amir Ben-Dor 1998

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

Reliable, Robust and Effective Active Vision
229 Arnon Amir 1997

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

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

An Abstract Machine for Unification Grammars with Applications to an HPSG Grammar for Hebrew
232 Ophir Rachman 1996

Decision Problems for Implementing Distributed Snapshots
233 Amos Beimel 1996

Secure Schemes for Secret Sharing and Key Distribution
234 Ornan Gerstel 1996

Virtual Path Design in ATM Networks
235 Eli Dichterman 1996

Learning with Restricted Focus of Attention
236 Yona Hollander 1996

Search Algorithms for Cache Memory
237 Orna Kupferman-Bernholtz 1995

Model Checking for Branching-Time Temporal Logics
238 Erez Petrank 1995

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

Lower Bounds on the Sizes of Constant Weight Error Correcting Codes
240 Guy Even 1995

Design of VLSI Circuits Using Retiming
241 Anne Weill 1994

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

An Environment for Aiding Requirements Analysts in Requirements Elicitation for Large Software Systems
243 Oran Sharon 1994

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

Memory Efficient Network Synchronization Techniques
245 Roy Friedman 1994

Consistency Conditions for Distributed Shared Memories
246 Eyal Shifroni 1993

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

Halftone Methods: Beyond Grid Based Methods
248 Ido Dagan 1993

Multilingual Comparison: Automatic Resolution of Ambiguitie
249 Shlomo Dolev 1992

Self Stabilization of Dynamic Systems
250 Avner Schwarz 1992

Representing and Solving the Automated Bvilding Design (Abd)
251 Limor Fix 1992

Semantics Drinen Decompositions for the Verification of
252 Shmuel Sagiv 1991

Circular Attribute Grammars and Their Application to Data
253 Sergio Raysbaum Missing advisors 1991

On the Performance of Distributed Networks Controlled by a
254 Ofer Biran 1991

Distributed Tasks in the Presence of Fail-Stop Failures
255 Sergio Raysbaum 1991

On the Performance of Distributed Networks Controlled by a
256 Reuven Cohen 1991

Distributed Protocols for the Mac Loyer of Ring Networus
257 Gabriel Matsliach 1991

Design and Evaluation of Storage Stractures for Modern
258 Amir Herzberg 1991

Communication Networks in the Presence of Faults
259 Hadas Shachnai 1991

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

Privacy in Distributed Systems
261 Hugo Krawczxk 1990

Pseudorandomness and Compuiati Onal Difficulty
262 Nader Bshouty 1989

Bounds on Multiplicative Complexity of Sets of Bilinear Form
263 Gyuri Benedek 1989

Learnability of Concept Classes by Sampling
264 Yaron Wolfstahl 1989

Algorithms for Graph Embedding and Covering
265 Yoelle Maarek 1989

Vsing Structural Information for Managing Very Large
266 Gadi Taubenfeld 1988

An Axiomatic Approach for Proving Impossibility Results in


267 abstract theses title found in the Department Computer Science
Last updated on: Friday ,November 17, 2017