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

Formal Patterns in Java Programs
71 Tamer Salman 2012 Abstracts Theses Quantum Neural Computation and Associative Memory
72 Ron Rubinstein 2012 Abstracts Theses Analysis and Synthesis Sparse Modeling Methods in Image Processing
73 Michael Viderman 2012 Abstracts Theses Towards Lower Bounds on Locally Testable Codes
74 Zohar Karnin 2012 Abstracts Theses Derandomization of Algebraic and Geometric Problems in Theoretical Computer Science
75 Joseph Shtok 2012

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

Inference Algorithms with Application to Genetic Analysis
201 Adnan Agbaria 2002 Abstracts
Reliability in High Performance Distributed Computing Systems
202 Nadav Eiron 2001

Computational Learning in Models for Noisy Environments
203 Arie Fouren 2001 Abstracts
Adaptive Wait-Free Algorithms for Asynchronous Shared- Memory Systems
204 Anna Moss 2001

High Profit for Low Cost: Approximation Algorithms in Mode-Weighted Graphs
205 Ran Nelken 2001 Abstracts
Questions, Time and Natural Language Interfaces to Temporal Databases
206 Niv Gilboa 2001 Abstracts
Topics in Private Information Retrieval
207 David Konopnicki 2001

The Taming of the Web: Querying, Integration and Advanced E-Commerce Applications
208 Tamar Tamir 2001 Abstracts
Class-Constrained Resource Allocation Problems
209 Ahron Kupershtok 2000

Some Improved Layouts for Interconnection Networks
210 Karen Yorav 2000

Exploiting Syntactic Structure for Automatic Verification
211 Yuval Ishai 2000

Private Computation and Correlated Randomness
212 Tamar Eilam 2000

Cost versus Quality: Tradeoffs in Communication Networks
213 David Lorenz 1999

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

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

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

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

Decomposition of Databases with Translation Schemes
218 Leonid Zosin 1998

Relaxed Multi-Commodity Flow and Its Application to the Design of Approximation Algorithms
219 David Carmel 1998

Model-Based Learning of Interaction Strategies in Multi-Agent Systems
220 Eli Minkov 1998

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

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

Dynamic Scene Occlusion Culling
223 Yshay Kamon 1998

Locally Optimal Sensor Based Robot Navigation
224 Jeffrey Fayman 1998

Reliable, Robust and Effective Active Vision
225 Shalom Wintner 1997

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

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

Lock-Free Implementations in the Asynchronous Shared-Memory Model
228 Amos Beimel 1996

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

Decision Problems for Implementing Distributed Snapshots
230 Ornan Gerstel 1996

Virtual Path Design in ATM Networks
231 Yona Hollander 1996

Search Algorithms for Cache Memory
232 Eli Dichterman 1996

Learning with Restricted Focus of Attention
233 Orna Kupferman-Bernholtz 1995

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

Design of VLSI Circuits Using Retiming
235 Sara Bittan 1995

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

Knowledge Complexity versus Computational Complexity and the Hardness of Approximations
237 Roy Friedman 1994

Consistency Conditions for Distributed Shared Memories
238 Oran Sharon 1994

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

Memory Efficient Network Synchronization Techniques
240 Anne Weill 1994

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

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

Multilingual Comparison: Automatic Resolution of Ambiguitie
243 Yachin Pnueli 1993

Halftone Methods: Beyond Grid Based Methods
244 Eyal Shifroni 1993

Flexible User Modeling in Inter Active Guidence System
245 Shlomo Dolev 1992

Self Stabilization of Dynamic Systems
246 Avner Schwarz 1992

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

Semantics Drinen Decompositions for the Verification of
248 Amir Herzberg 1991

Communication Networks in the Presence of Faults
249 Ofer Biran 1991

Distributed Tasks in the Presence of Fail-Stop Failures
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 Reuven Cohen 1991

Distributed Protocols for the Mac Loyer of Ring Networus
253 Sergio Raysbaum Missing advisors 1991

On the Performance of Distributed Networks Controlled by a
254 Hadas Shachnai 1991

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

Privacy in Distributed Systems
256 Gabriel Matsliach 1991

Design and Evaluation of Storage Stractures for Modern
257 Hugo Krawczxk 1990

Pseudorandomness and Compuiati Onal Difficulty
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 Nader Bshouty 1989

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

An Axiomatic Approach for Proving Impossibility Results in


263 abstract theses title found in the Department Computer Science
Last updated on: Thursday ,July 20, 2017