You are here


Name Yearsort ascending Advisor Thesis
Attias Chen 2017 R. Krauthgamer Combinatorial optimization problems with testing
Attali Shirel 2017 D. Peleg Wireless expanders
Van Handel Otniel 2017 R. Krauthgamer Vertex cover approximation in data streams
Sabah Sima 2017 M. Irani The "AVI" descriptor: An Appearance and Viewpoint Invariant local video descriptor
Pnueli Michal 2017 V. Rom-Kedar Dynamics in a Hamiltonian Impact System
Ovadia Shahar 2017 S. Dobzinski Combinatorial cost sharing
Navon Tal 2017 D. Peleg Fault tolerant network design problems based on mixed backup and reinforcement
Mintzer Sefi (Yosef) 2017 N. Barkai Divergence of duplicated transcription factors: Msn2 and Msn4 as a test case
Mikulincer Dan 2017 R. Eldan Information and dimensionality of anisotropic random graphs
Mezuman Leanne 2017 S. Yakovenko Classification of non-Fuchsian linear differential equations
Levkovich Neta 2017 E. Segal Detection of correlations between microbiome strains and resulting human phenotypes
Leshkowitz Maya 2017 O. Goldreich On round complexity and randomness complexity in interactive proofs
Klein Jennifer 2017 D. Peleg Let there be light: Empowering robot swarms
Kenyon Anne 2017 U. Feige On the profile of multiplicities of complete subgraphs
Hitron Yael 2017 U. Feige The ordered cover problem
Dudley Carmel 2017 A. Tanay Inferring large-scale chromosomal compartmentalization using single-cell Hi-C
Dror Omer 2017 B. Nadler Unsupervised ensemble regression
Cohen Tal 2017 T. Gelander Topological Gaschutz Lemma
Benarroch Guenun Daniel Messod 2017 Z. Brakerski Fully homomorphic encryption over the Integers: Decomposed and batched in the post-quantum regime
Ben Ovadia Snir 2017 O. Sarig Symbolic dynamics for non-uniformly hyperbolic diffeomorphisms of compact smooth manifolds
Attias Chen 2017 R. Krauthgamer Combinatorial optimization problems with testing
Yarom Michal 2016 M. Irani Temporal-Needle: a view-invariant and appearance-invariant video descriptor
Kezurer Itay 2016 Y. Lipman Tight relaxation of quadratic matching
Eshed Aviv 2016 S. Yakovenko, B. Tsaban Structure of topological groups over metric spaces
Valansi Jordan 2016 O. Shamir Multi-player Multi Armed Bandit
Dagmi Or 2016 Z. Brakerski More efficient circuit obfuscation in challenging security models
Teichner Lee Abe 2016 I. Dinur Low-degree decoders with sub-constant robust list-decoding soundness for all coordinates
Cohavi Keren 2016 S. Dobzinski Reductions in algorithmic mechanism design and their applications
Himlich Shtacher Idan 2016 D. Harel Crowd programming for reactive systems
Abu Rmaileh Lubna 2016 V. Rom-Kedar Characterizing islands in area-preserving maps
Marcus Neta 2016 D. Peleg Two-party games on graphs: the domination game and the independence game
Hirszhorn Ariel 2015 S. Ullman Contour Representation: Combining Biological and Computational Considerations
Kakhlon Noam 2015 D. Gourevitch Hyper-distinguished nilpotent orbits in Lie algebras and Gelfand property of symmetric pairs
Atzmon Matan 2015 O. Zeitouni The modified branching random walk with random envirnoment
Yagev Stav 2015 M. Irani Software-Based Glass-Free Displays
Maron Haggai 2015 A. Levin A passive 8D display: Light and viewpoint sensitive display of 3D content
Kukliansky Doron 2015 O. Shamir Attribute efficient linear regression with data-dependent sampling
Meir Omer 2015 R. Basri A multiscale variable-grouping framework for MRF energy minimization
Cohen Nadav 2015 A. Tanay Biclustering single cell RNA-sequencing data
Libman Eliahu 2015 Y. Lipman Average shape co-registration and foreground-background motion segmentation under a bounded distortion model
Shikhelman Clara 2015 E. Friedgut Thresholds of monotone properties with small minterms
Loewenthal Noa Dina 2015 R. Krauthgamer Exploiting temporal information for detecting communities in social networks
Aharon Inbar 2015 Y. Lipman Two-layer Alignment between Images
Ziv Asaf 2015 M. Naor Primary-Secondary-Resolver membership proof systems
Livni Navon Inbal Rachel 2015 A. Shamir Image watermarking techniques which are robust against geometric distortions
Kogan Dmitry 2015 R. Krauthgamer Sketching cuts in graphs and hypergraphs
Gutman Masha 2015 A. Shamir Improved top-down techniques in differential cryptanalysis
Granot Elad 2015 M. Irani Inferring missing Z-Axis resolution from high-resolution X-Y slices
Mor Ami 2015 S. Dobzinski Three problems in submodular optimization
Amir Tal 2015 R. Basri Multi-view structure from motion using rank-constrained optimization
Lotan Or 2015 M. Irani Needle-Match: Reliable Patch Matching under High Uncertainty
Shaviv Ary 2015 M. Gorelik On the correspondence of affine generalized root systems and symmetrizable affine Kac-Moody superalgebras
Shwartz Ofer 2015 B. Nadler Computing the large entries of a sparse covariance matrix in sub-linear time
Tanny Shira 2015 S. Yakovenko Local Weyl equivalence of higher order Fuchsian equations
Vainberg Slutskin Ilya 2015 E. Segal Unraveling grammatical rules of gene expression regulation by systematic sequence manipulations of 3' UTRs
Lifshitz Aviezer 2015 A. Tanay Assessment of tumor samples heterogeneity using DNA methylation patterns
Ofir Nati 2014 R. Basri Efficient bayesian detection of faint curved edges in noisy images
Wagner Tal 2014 U. Feige Generalized girth problems in graphs and hypergraphs
Horev Inbal 2014 B. Nadler a sub-linear approach
Yogev Eylon 2014 M. Naor Tight bounds for sliding Bloom filters
Kirbus Raviv 2014 D. Harel A computational model of the mechanical behavior of cell division
Sherman Uri 2014 U. Feige A different perspective for approximating max set packing
Waxman Ezra 2014 D. Gourevitch Local fields, global fields, and the meromorphic continuation of Zeta functions
Dekel Ron 2014 S. Dov Tilt aftereffect induced by viewing natural images
Zacay Barak 2014 A. Gal-Yam high-resolution wide-field imaging using physically small detectors
Livshits Anna 2014 E. Domany Analysis of pathway deregulation in breast cancer
Kohen Dovrat 2014 T. Flash
Regev Ifat 2014 E. Segal
Nahum Yinon 2014 D. Peleg Diffusion models for money laundering detection
Polak Inna 2014 A. Shamir Using random codes to improve algorithms for finding near-collisions in hash-functions
Braunschvig Gilad 2013 D. Peleg Fault tolerant spanners
Gonshorovitz Itay 2013 U. Feige Reducing the Maximum flow
Gelman Evgeny 2013 T. Flash Solution of convolutionary Blibd source separation problem using restricted Boltzmann machines. Blind source separation of motion data.
Zinger Eldad 2013 A. Shamir Practical polynomial time known plaintext attacks on a stream cipher proposed by John Nash
Teumkin Boris 2013 S. Ullman Body parts detection using reinforcement learning
Talmon Nimrod 2013 R. Krauthgamer Selection in the presence of memory faults, with applications to in-place resilient sorting
Inbar Mosseri 2013 M. Irani Combining the power of internal and external denoising
Friedman Dan 2013 A. Tanay Mixture of variable order Markov models for integrative modeling of enhancer sequence compositions and robust motif finding
Inbal Rika 2013 R. Krauthgamer Mimicking networks and succinct representations of terminal cuts
Daon Yair 2013 S. Omri Bernoullicity of equilibrium measures on countable Markov shifts
Hermon Jonathan 2013 I. Benjamini The Social Network Model
Chen Jun 2013 I. Benjamini, G. Kozma A class of multi-particle reinforced interacting random walk
Gur Tom 2013 R. Raz Arthur-Merlin streaming complexity
David Roee 2013 U. Feige Finding planted colorings in random geometric graphs
Lubling Yaniv 2013 A. Tanay Exploring the organization of the mouse genome in the nucleus on a single-cell level
Moscovich Eiger Amit 2013 B.Nadler Theory and applications
Komargodski Ilan 2013 R. Raz Average-case lower bounds for formula size
Porat Motke 2013 H. Dym, O. Zeituni Topics in rational matrix valued functions
Ramote Omer 2013 U. Alon Estimating the environmental demand for genes from their sequence and expression level
Maoz Ori 2013 E. Schneidman Temporal noise in populations of retinal neurons
Zondiner Tamar 2012 R. Krauthgamer Eliminating steiner vertices in graph metrics
Arbitman Alina 2012 U. Feige Planted random 3SAT with a small fraction of 1-clauses
Bartal Ofer 2012 R. Basri Photometric stereo with unknown lighting and specular reflectance
Douek Yehonatan 2012 E. Shapiro Bio-computers which operate in living cells for smart diagnosis and treatment
Dvir Shlomi 2012 E. Segal Unraveling the effect of 5'UTR sequences on protein expression in yeast
Eitan Nir 2012 D. Harel Adaptive behavioral programming
Factor Alon 2012 M. Irani Visual inference by collaborative composition using the "wisdom of crowds of images"
Finucane Hilary Kiyo 2012 I. Dinur Gap amplification-based constructions of locally testable codes and low-locality and low-degree cryptography
Ganor Anat 2012 R. Raz Efficient communication
Goldberg Lior 2012 V. Berkovich Extensions of Wythoff's game
Hafets Ora 2012 E. Segal Promoter activity in S. cerevisiae maintains proportionality under different growth conditions
Katz Guy 2012 D. Harel Non-intrusive repair of behavioral programs
Klots Michael 2012 S. Ullman Context-free detection and classification of minimal recognizable images and configurations
Meir Moran 2012 R. Basri fibers, blood vessels and neurons
Reznik Aviv 2012 O. Goldreich Finding k-paths in cycle-free graphs
Sherman Dana 2012 D. Harel Computer Modeling of the vibrissa sensorimotor system in rats
Berkowitz Kalman 2011 S. Ullman Combining Top-Down and Bottom-Up methods in the segmentation of a clothed torso in images
Gispan Ariel 2011
Huberman David 2011 S. Ullman Detection of minimal recognizable parts
Levy Ran 2011 G. Schechtman Stabilizing isomorphisms from lp (l 2) into L p
Manber Shelly 2011 S. Gelbart An elementary and computational approach to Heegner points
Nissim Amir 2011 D. Harel Combining behavioral programming and fuzziness for hybrid control systems
Segal Barak 2011 E. Segal Controlling cell to cell expression variability by DNA sequence
Oded Noa 2011 A. Tanay Models for comparative epigenomics and their applications to the evolution of polycomb recruiting elements in drosophila embryos
Patish Uri 2011 S. Ullman Classifying images by semantic knowledge
Chapal Ilani Noa 2011 E. Shapiro Quantifying the ability to reconstruct a cell-lineage tree using microsatellite mutations and characterizing their mutation rates by tracking cell divisions
Kor Liah 2011 D. Peleg Time and communication for distributed verification
Kolc Mary Elizabeth 2011 S. Ullman Determining head orientation and gaze direction from single images
Rothblum Ron 2011 O. Goldreich On homomorphic encryption and enhanced trapdoor permutations
Shahar Oded 2011 M. Irani Space-time super-resolution from a single video
Tamuz Omer 2011 E. Mossel Estimation in modern contexts
Shimon Hila 2011
Yaari Yariv 2011 I. Benjamini Estimation in modern contexts
Yankielowicz Keren Leeat 2011 E. Segal Exploring the relationship between transcriptional control and metabolic network structure in Saccharomycescerevisiae
Birnbaum Aharon 2011 B. Nadler Eigenvector estimates in sparse PCA- a correlation approach
Benditkis Sergey 2011 D.Novikov On the number of zeroes of iterated integrals
Batenkov Dmitry 2010 Y. Yomdin Algebraic reconstruction of geometric models from integral measurements
Avigad Lidor 2010 O. Goldreich On the lowest level of query complexity in testing graph properties
Arbitman Yuriy 2010 M. Naor Efficient dictionary data structures based on cuckoo hashing
Arkind Noaz 2010 B. Nadler Parametric joint detection-estimation of the number of sources in array processing
Berger Tal 2010 D. Harel Superstep reuse during smart play-out of reactive systems
Brostovski Ori 2010 M. Irani Detecting the Common
Gat Eran 2010 S. Goldwasser On the canonization of probabilistic algorithms
Hodis Eran 2010 E. Segal Divergent gene regulation and Overlapping codes in protein-coding sequences
Josef Shlomo 2010 U. Feige Local algorithms for the maximum directed cut problem
Kenigsberg Ephraim 2010 A. Tanay Testing the selection hypothesis for the nucleosome positioning sequence
Dinur Itai 2010 A. Shamir New methods of cryptanalysis
Landan Gilad 2010 A. Tanay Functional enhancers at the gene-poor 8q24 cancer-linked locus epigenetic switching in immortalized fibroblast culture
Levo Michal 2010 E. Segal Transcriptional lego- from promoter building blocks, mediating nucleosomes and transcription factors binding, to expression
Mazor Elad 2010 E. Segal High-throughput measurement of RNA secondary structure
Mazor Yair 2010 E. Shapiro DNA libraries construction via DNA editing- design and planning
Mendelson-Cohen Netta 2010 A. Tanay DNA methylation and the evolution of CpGs in the human genome
Novikov Sergey 2010 O. Reingold On derandomized direct product theorems
Orenshtein Tal 2010 G. Kozma & B. Tsaban Global Topological properties and convergence of real functions
Ozana Eilam Shira 2010 S. Ullman H. Slovin development of an image identification decoder for voltage-sensitive dye signal in early visual cortex of fixating monkeys
Stern Shani 2010 A. Tanay A computational model for prediction of polycomb recruitment elements in fruit flies embryos
Shinkar Igor 2010 I. Dinur Intersecting families, independent sets and coloring of certain graph products
Talgam-Cohen Inbal 2010 U. Feige A direct reduction from k-player to 2-player Nash Equilibrium
Tzur Yoav 2010 O. Goldreich Notions of weak pseudorandomness and GF(2n)- polynomials
Halprin Ran 2009 M. Naor Using human play to enhance robust pseudo-random generators
Kadmiel Omer 2009 A. Shamir Multivariate cryptography - a univariate approach
Kaminka Yuval 2009 S. Ullman, E. Schneidman Error correction and prediction in a model of the feedback projection from the primary visual cortex to the lateral geniculate nucleus
Lakritz Adi 2009 E. Schneidman Individual learning and collective behavior in models of group swarming
Malev Sergey 2009 D. Novikov Linear estimate for the number of zeros of Abelian integrals
Rosenfeld Menachem 2009 B. Nadler Semi-supervised classification with class-dependent parameters
Shafrir Doron 2009 A.Joseph Duality of orbits and invariants in representations of Lie algebras
Zeldin Maria 2009 S. Ullman Combining skin color and segmentation to detect people in images
Noor Elad 2009
Chechik Shiri 2009 D. Peleg Fault-tolerant structures in graphs
Kantor Amir 2009 D. Harel Foundations of scenario-based modeling
Lubliner Shai 2009 E. Segal New algorithms for motif finding and for genome-wide prediction of nucleosome occupancy
Manor Ohad 2009 E. Segal Studying the relations between microRNA and mRNA expression profiles in hESCs
Dubey Chandan 2009 U. Feige On bandwidth approximation on graphs
Efremenko Klim 2009 O. Reingold How well do random walks parallelize?
Frumkin Dmitry 2009 A.Shamir The security of RFID tag identification schemes
Gilat Tom 2009 Z. Artstein Periodic solutions to long run average optimization problems - existence proof for a specific example
Granot-Atedgi Einat 2009 E. Schneidman Stimulus-dependent maximum entropy models and decoding of naturalistic movies form large populations of retinal neurons
Shellef Eric 2008 I. Benjamini Random interacting particle systems
Bagon Shai 2008 M. Irani What is a good image segment? Currently at: PhD student, Weizmann Inst., Rehovot
Adjiashvili David 2008 D. Peleg Equal-area locus-based convex polygon decomposition
Baruch Leehod 2008 E. Shapiro, Eran Segal Empirical evidence and implications of the chemoaffinity hypothesis
Eiger Dror 2008 S. Goldwasser Proactive secret sharing with partial erasures Currently at: Google, Tel Aviv
Ettinger Boris 2008 E. Titi Global existence and uniqueness of weak solutions of the three dimensional Euler equations with helical symmetry
Ganmor Elad 2008
Kleinbort Asaf 2008 D. Harel An LSC compiler
Kol Gillat 2008 M. Naor Games for exchanging information
Kramer Tal 2008 O. Reingold On the universality of bit fixing sources
Kritchman Shira 2008 B. Nadler Determining the number of components in a factor model from limited noisy data
Meir Or 2008 O. Goldreich Combinatorial construction of locally testable codes
Peled (Hadad) Udi 2008 A. Fraenkel, A. Regev Polynomializing hard sequences using surrogate sequences
Poupko Ouri 2008 D. Harel Specifying and executing web service choreography using live sequence charts
Rabani Michal 2008 E. Segal A Probabilistic model for identifying RNA motifs in unaligned sequences
Samet Nadav 2008 G. Schechtman, B.Tsaban Ramsey theory of open covers Currently at: Google, Mountain View, California
Meirovich Yaron 2007 T. Flash Kinematic analyses of the Israeli sign language
Merom Ron 2007 D. Harel Distributed collaborative play-out of live sequence charts
Oren Yossef 2007 A. Shamir Remote power analysis of RFID tags Currently at: Tel-Aviv University
Peled Tomer 2007 R. Basri Towards segmentation-based scene understanding Currently at: Elbit Systems Electro-optics-Elop Ltd.
Raveh Barak 2007 R. Basri Rediscovering secondary structures by searching for repetitive patterns in graphs of protein folds Currently at: PhD student, Hebrew University
Field Yair 2007 E. Segal In-silico study of chromatin structure
Ruinskiy Dima 2007 A. Shamir The security of cryptosystems based on combinatorial groups Currently at: Intel, Haifa
Segev Gil 2007 V. Katsnelson Tight bounds for unconditional authentication protocols in the manual channel and shared key models
Sadka Tali 2007 E. Segal A thermodynamic approach
Sarig Niv Moshe 2007 Y. Yomdin Robust reconstruction of nonlinear model parameters from measurement data
Binyamini Gal 2007 A. Joseph Semi-invariants for biparabolic (Seaweed) algebras
Segall Itai 2007 D. Harel Mutual usage of scenario-based programming and AI planning
Reif Shifra 2007 M. Gorelik On simplicity of W-algebras Wk (SI(2|n),f theta)
Shahmoon Shahar 2007 E. Segal Inferring regulator activity levels in transcription systems
Arie-Nachimson Mica 2007 R. Basri Multiview object detection using a probabilistic 3D class model
Sheffet Or 2007 O. Goldreich Reducing the randomness complexity of property testing with an emphasis on testing bipartiteness
Gordon Michal 2007 S. Ullman Improving performance and applying cascades in visual classification
Tsur Gilad 2007 O. Goldreich Polylogarithmic time and query complexity
Ronen Jonathan 2007 Z. Artstein Linear Feedback Stabilization of Controlled Switched Systems
Admanit Yishai 2007 E. Shapiro, E. Segal Advanced algorithms for inferring cell lineage trees
Barhum Kfir 2007 O. Goldreich Approximating averages of geometrical and combinatorial quantities
Barkan Gilad 2007 R. Basri Segmentation-based long range motion estimation Currently at: Rad Vision
Izkovsky Roey 2007 I. Benjamini The tale of two phase transitions
Maoz Hillel 2007 M. Naor An n 2/5 upper bound for the greedy diameter of general graphs Currently at: Google, Tel Aviv
Bright Ido 2007 T. Flash Motion planning through optimization
Barliya Avi 2006 T.Flash An analytic approach
Dinerstein Michael 2006 S. Ullman Classification and reconstruction using binocular features
Haviv Dvir 2006 Y. Yomdin Model-based representation of generic singularities of surfaces
Barenholz Uri 2006 D. Peleg, U. Feige Achieving a better approximation for min-sum vertex cover
Blank Moshe 2006 M. Irani Actions as space-time shapes
Brand Michael 2006 Y. Kannai The utilitarian solution revisited
Deitch Ronen 2006 R. Basri, M.Galun Image denoising via non-convex minimization with multigrid Currently at: Ioimage Ltd
Dvir Zeev 2006 R. Raz Derandomization Techniques in Computer Science
Efrima Asaf 2006 D. Peleg Algorithms for partitioning swarms of autonomous mobile robots Currently at: Sagarmatha Ltd
Eyal Erez 2006 A. Brandt, H. Degani A tool for dynamic imaging
Fuks Garold 2006 E. Domany Predication of outcome of breast cancer at the time of diagnosis
Forkosh Oren 2006 R. Basri Hierarchical mixture model construction using the remix algorithm Currently at: PhD student, Weizmann Inst. Rehovot
Gradwohl Ronen 2006 O. Reingold Protocols of selection and constructions of dispersers
Hegaze Mohamed 2006 S. Ullman Efficient similarity computation with variable neighborhood size in high-dimensional spaces
Klein Uri 2006 S. Ullman A neurobiological feature hierarchies extraction network model for object classification Currently at: PhD Candidate, Courant Institute of Mathematical Sciences, New York University.
Linshiz(Tal) Jasmine 2006 Z. Artstein, E. Titi analysis and numerics
Maizels Aviad 2006 A. Shamir Differential error correcting codes
Marko Sharon 2006 R. Raz Distance approximation in bounded-degree and general sparse graphs
Meoded Yaniv 2006 A. Regev Balanced tableaux
Tirosh Itay 2006 N. Barkai Evolution of gene expression in related yeast species
Perry Meital 2006 T. Flash Noise models for simple and complex reaching movements
Yehudayoff Amir 2006 R. Raz Arithmetic Circuits and Formulas
Rothblum Guy 2006 M. Naor The complexity of online memory checking
Segev Idith 2006 V. Katsnelson The Hawaiian conjecture
Shpigelmacher Michael 2006 T. Flash Directional-geometrical approach to via - point movement
Gourevitch Dmitry 2006 S. Gelbart, J. Bernstein Schwartz functions on Nash manifolds
Sokolovsky Alexander 2006 R. Raz, A. Shpilka From derandomized affine homomorphism testing to derandomized homomorphism testing
Trayambaka Nath Karra 2006 T. Flash
Yadin Ariel 2006 I. Benjamini Random Graph-Homomorphisms, Random-Graph Properties and Random Walks
Zarkhi Shlomit 2006 Z. Artstein, E. Titi On two-player zero-sum games with information
Reichman Daniel 2005 U. Feige Improved hardness results for 2-variable CSPs
Saad Neer 2005 A. Brandt Multiscale algorithm for time-dependent one dimensional system
Sagiv Tal 2005 D. Peleg Algorithms for localized topology control in ad-hoc networks
Tuvi Sivan 2005 E. Shapiro Optimization algorithms for divide and conquer DNA synthesis protocol
Makedonska Nataliya 2005 A. Brandt Multilevel Monte Carlo method with fast summation for point-dipole lattices
Ukrainitz Yaron 2005 M. Irani Sequence alignment by maximizing space-time correlations
Barak Dan 2005 D. Harel Horizontal scale-up and transition to design in scenario-based programming Currently at: CEO & Co-Founder of Bloggers Base
Ben-Dor Uri 2005 E. Shapiro Compiling medical knowledge into molecular automata Currently at: HP Software R&D
Etin Alexey 2005 A.Pnueli Parameterized SPL compiler
Cohen Daniel 2005 Y. Yomdin Some quantitative results in singularity theory
Gabizon Ariel 2005 R. Raz Deterministic extraction and other problems relating to weak random sources Currently at: Department of Computing Science, Simon Fraser Univesity, Vancouver
Gendelman Ilan 2005 T. Flash Model-based control for an octopus arm
Benenson Yaakov 2005
Gordin Ira 2005 A. Pnueli Binary code validation tool (CVT/A)
Zahavi Gal 2005 Y. Yomdin Solutions of large systems of O.D.E's as interpretation of evolutionary surfaces
Gronau Ilan 2005 E. Shapiro Computational model for divide and conquer DNA synthesis protocol
Hoch Ya'Akov 2005 A. Shamir Fault analysis of stream ciphers
Michal Igell 2005 O. Reingold On the universality of adversarial bit fixing sources
Haddad Refael 2005 D. Harel Predicting the molecular receptive range of an odorant receptor using an electronic nose
Kantor Erez 2005 D. Peleg Approximation algorithms for minimum energy bounded-hop strong connectivity range assignment in ad-hoc networks Currently at: Currently Ph.D. student at Weizmann
Karlinski Leonid 2005 S. Ullman The learning and use of graphical models for image interpretation
Korman Simon 2005 U. Feige On the use of randomization in the online set cover problem
Lifshitz-Shpringer Ita 2005 S. Ullman Image interpretation using bottom-up top-down cycle on fragment trees
Makmal Adi 2005 L. Kronik Mn nano-crystals - A first principles study
Atir Yoram 2005 D. Harel Object refinement and composition in scenario-based programming
Margel Shiri 2005 E. Domany A method for reconstructing transcriptional regulatory networks
Shlizerman Eli 2005 V. Rom-Kedar
Nadav Uri 2005 M. Naor Fault-tolerant storage systems and quorum system for dynamic environment
Kemelmacher-Shlizerman Irena 2004 R. Basri Indexing with varying illumination and pose
Kharchenko Dmitriy 2004 S. Goldwasser Verifiable encryption for the Ajtai-Dwork cryptosystem
Krieger Dalia 2004 A. Fraenkel a 3-shift theorem
Lavie Ilana 2004 R. Basri Identification of protein residues and amino-acid properties that determine binding specificity of G protein-coupledreceptors
Matichin Rachel 2004 D.Peleg Hotlink assignment in web directories
Mitiaguine Anton 2004 A. Shamir Analysis of neural cryptography
Nussbaum Asaf 2004 S. Goldwasser Huge pseudo-random graphs preserving global properties of random graphs
Ousov-Fridin Marina 2004 T. Flash Gesture language for telerobotics and virtual reality
Peer Guy 2004 D.Peleg memory requirements and time bounds
Segal-Agmon Noa 2004 D.Peleg Gathering autonomous mobile robots with faults
Haitner Iftach 2004 O. Goldreich Implementing oblivious transfer using a collection of dense trapdoor permutations Currently at: Microsoft Research, New England
Shaham Oded 2004 D. Harel On mapping between electronic noses
Vilenchik Dan 2004 U. Feige Finding a satisfying assignment for random satisfiable 3CNF formulas
Waisbard Erez 2004 S. Goldwasser New directions in constructing efficient and secure designated confirmer signatures
Wishko-Stern Sharon 2004 A. Brandt An algebraic multigrid based algorithm for bisectioning general graphs
Nivasch Gabriel 2004 A. Fraenkel on the location of the g-values Currently at: Blavatnik School of Computer Science, Tel Aviv University, Tel Aviv
Blumenfeld Barak 2004 M. Tsodyks, S. Ullman Functional maps and intracortical connectivity in the primary visual cortex
Emek Yuval 2004 D.Peleg Low stretch spanning trees Currently at: School of Electrical Engineering, Tel Aviv University
Gorelick Lena 2004 A. Brandt, R. Basri Object recognition by silhouette shape
Kushnir Dan 2004 A. Brandt Fast multi-scale clustering algorithm with application on cold and black matter simulations
Zelman Ido 2004 U. Alon Mathematical model for C. elegans locomotion
Levant Boris 2004 G. Schechtman Euclidean sections of the cross-polytope
Apartsin Alexander 2004 R. Basri Multiscale segmentation of independent object motion using irregular pyramids
Bart Evgeniy 2004 S. Ullman Object recognition using shared extended fragments Currently at: Palo Alto Research Center, Palo Alto, CA
Levi Dan 2004 S. Ullman A network model for fragment-based object classification
Barzuza Tamar 2004 R.Shamir, J. Beckmann Computational resolution and tagging of perfect phylogeny haplotypes
Noy Lior 2004 T. Flash Features of human movement imitation
Elbaz Ariel 2004 R. Raz Improved constructions for extracting quasi-random bits from sources of weak randomness
Gilboa Amos 2004 D. Harel Finding all possible supersteps in LSCs
Gordon Dafna 2004 Y. Moses
Katz Natan 2004 V. Rom-Kedar On models for tumor growth with dynamical oxygen supply
Tromer Eran 2003 A. Shamir Hardware-based parallelization of factoring algorithms Currently at: Computer Sci. & Artificial Intelligence Lab., MIT, Cambridge
Goldschmidt Yaara 2003 A.Brandt, I. R. Cohen Adaptive multiscale methods for classification of biological microarray data from multiple experiments
Inger Aron 2003 S. Ullman Automatic features based illumination insensitive facial recognition schemes. Currently at: Dept. of Molecular Genetics, Weizmann Institute, Rehovot
Safro Ilya 2003 A. Brandt, U. Feige The minimum linear arrangement problem Currently at: Mathematics and Computer Science Division, Argonne National Laboratory, Argonne
Amit Idan 2003 U. Feige A finer classification of NP-complete probems
Setty Yaakov 2003 U. Alon, R.Raz Detailed map of the input function encoded by the cis-regulatory region of the lactose operon Currently at: Microsoft Research Ltd., Cambridge
Faivishevsky Lev 2003 S. Ullman Efficient object detection and recognition in a directable visual system
Shechtman Eli 2003 M. Irani Space-time super-resolution Currently at: Adobe Systems Inc., & Dept. of Computer Science and Engineering, Univ. of Washington, Seattle
Chvalevsky Max 2003 R. Basri Bi-clustering of objects and backgrounds for content-based image retrieval
Simakov Denis 2003 R. Basri Dense shape from motion with arbitrary, unknown lighting Currently at: Samsung, Yakum
Filmus Yuval 2003 U. Feige Bandwidth approximation of a restricted family of trees
Frenkel Maksim 2003 R. Basri Curve matching using the fast marching method Currently at: Sr. Software Engineer at Raytheon Integrated Defense Systems
Grinchtein Olga 2003 A. Pnueli Dense-time analysis with fractional adjustment steps
Chlamtac Eden 2003 U. Feige Cover times of random walks and Markov chains
Ecker Ady 2003 S. Ullman Images similarity based on the distributions of similar substructures Currently at: PhD student at University of Toronto
Keydar Eran 2003 U. Feige Finding Hamiltonian cycles in semi-random graphs
Gabel Mika 2003 T. Flash Implementation of the minimum-variance model for motor learning of sequential drawing tasks
Leichter Ido 2003 R. Basri Extending hierarchical direct methods to handle larger motion
Rapoport (Levant) Anna 2003 Y. Kannai Theoretical and empirical issues in demand analysis
Neuvirth Hani 2003 R. Raz, G. Schreiber Characterization and prediction of protein-protein binding sites in heterocomplexes
Kogan Shimon 2003 U.Feige
Joffe Genady 2003 A. Regev Structure of group algebras FSn and FAn
Bernstein Dan 2003 A. Regev The complexity of two different rules for computing characters of Sn Currently at: Apple Inc., Cupertino
Friedman Jason 2002 T. Flash The planning of three dimensional fully extended arm pointing movements Currently at: Macquarie Centre for Cognitive Science, Macquarie University, Sydney, Australia
Hassner Tal 2002 R. Basri What does the scene look like from a scene point? Currently at: Open University
Ofek Eran 2002 U. Feige Maximum edge coloring with a bounded number of Colors Currently at: Google, Tel Aviv
Cherniavsky Yonah 2002 A.Regev Asymptotics of combinatorial sums
Kirshenberg Anat 2002 A. Brandt Fast calculation of the attenuated radon transform
Lachish Oded 2002 R. Raz Explicit lower bound of 4.5n-o(n) for boolean circuits
Machline Moshe 2002 M. Irani Revisiting motion consistency
Mantin Itsik 2002 A.Shamir Analysis of the stream cipher RC4
Rahat Ofer 2002 A. Fraenkel Complexity of error-correcting codes derived from combinatorial games
Lustig Yoad 2002 O. Goldreich Security criteria for public-key encryption
Kleper Dvir 2002 G. Schechtman Haar block bases as complemented subspaces of Lp
Wieder Ehud 2002 U. Feige Offline allocation of satellite resources or maximun edge coloring with a fixed number of colors Currently at: Microsoft, Mountain View
Dovgard Roman 2002 G. Schechtman Simulations of Mahler's and volume monotonicity conjectures
Fisman Dana 2001 A. Pnueli Beyond regular model checking Currently at: School of Computer Sci. & Engineering, Hebrew University, Jerusalem
Ulitsky Leonid 2001 A. Tal Algorithm animations for distributed environments
Ferman Amiel 2001 D. Harel Two results on One-letter extensions of PDL
Gilaie-Dotan Sharon 2001 S. Ullman, R.Malach Stereo processing in human object-related visual areas
Polyakov Felix 2001 T. Flash Analysis of monkey scribbles during learning in the framework of models of planar hand motion Currently at: Bank Leumi, Israel
Weiss Gera 2001 Z. Artstein Stabilzation via dynamic output feedback Currently at: Department of Electrical Engineerig Systems, Tel Aviv University.
Khristo Sergey 2001 I. Benjamini Gaussian random fields on hyperbolic lattices
Rosen Vered 2001 O. Goldreich On the security of modular exponentiation
Rosen Alon 2000 M. Naor Pesudo-random functions and factoring Currently at: School of Computer Science, Herzliya Interdisciplinary Center.
Koren Yehuda 2000 D. Harel Nice drawing of graphs with non-uniform vertices Currently at: Yahoo, Israel
Borenstein Eran 2000 S. Ullman
Atzmony Yedidia 2000 D. Peleg
Degani Ilan 2000 A. Brandt A Study of fast summation error and application in 1D molecular mechanics
Kaminsky Moshe 2000 D.Harel More results on non-regular PDL
Hartman Tzvika 2000 R. Raz Generalizing Extractors and Dispersers Currently at: Google, Tel Aviv.
Cohen Meir 2000 M. Irani Dense recovery of planar-parallax from multiple frames
Kugler Hillel 2000 D. Harel Synthesizing state-based object systems from LSC specifications. Currently at: Microsoft Research, UK.
Spector Yuval 2000 R. Basri Application and extensions. Currently at: Soligence Corporation
Ein Dor Amir 2000 D. Roth A Study of fast summation error and application in 1D molecular mechanics
Harnik Danny 2000 R. Raz Higher lower bounds on monotone size Currently at: IBM Haifa Research Labs
Nicola Aurelian 2000 D. Michelson Stability of discrete shocks for difference approximations to systems of conservation laws
Sedletsky Catherine 2000 A. Pnueli Formal verification of the ricart_agrawala algorithm.
Seeman-Emerson Tamar 2000 A. Fraenkel Complexity of certain Heap Game Characteristic functions Currently at: Dept. of Mathematics, Bar Ilan University, Ramat Gan
Temkin Michael 1999 V. Berkovich
Gandlin Rima 1999 A. Brandt Multigrid algorithms for an inverse problem in inpedance tomography Currently at: Dept. of Mathematical Sciences, Carnegie Mellon Univ.,Pittsburgh
Langberg Michael 1999 U. Feige Approximation algorithms for maximization problems arising in graph partitioning Currently at: Israeli Open University
Koltunov Alexander 1999 R. Basri New spectral features and gaussian mixtures for classification of multispectral image data.
Zelnik-Manor Lihi 1999 M. Irani Multi-frame alignment of planes. Currently at: Department of Electrical Engineering, Technion
Te'Eni Moddy 1999 Y. Kannai Non zero-sum differential games.
Tyomkin Ilya 1999 Y. Yomdin h1 - vanishing criteria in some problems in algebraic geometry and singularity theory
Reshef Eilon 1999 D. Peleg Approximating minimum communication cost spanning trees and related problems. Currently at: WebCollage
Blinov Mikhail 1998
Hassin Yehuda 1998 D. Peleg Probabilistic local polling processes in graphs Currently at: Jerusalem College of Engineering, Jerusalem
Ben-Porath Ariel 1998
Hadani Ronny 1998 D. Harel A multi-scale method for drawing graphs nicely Currently at: Department of Mathematics, University of Texas.
Raviv Li-On 1998 A. Pnueli LTL symbolic model checking
Soloviev Sergei 1998 S. Ullman Shift-invariant recognition by the conjunction of basic invariant patterns
Shneerson Maria 1998 R. Basri, A. Tal Animation of geometric algorithms in an Electronic Classroom
Zusman Dmitry 1998 A. Fraenkel, D. Peleg Some extensions and generalizations of Nim-like games
Brestel Chen 1998 S. Ullman Multi-views modeling & synthesis Currently at: El Op, Rehovot
Adam Amit 1997 Z. Artstein A model of the trade-off between the cost of information and its utility
Grigoriev Alexei 1997 S. Yakovlenko The Lical Topological Eomplexity of Generic Multijet Preimages of Algebraic Varieties. Currently at: Sector of Functional Analysis, SISSA, Trieste
Jefet Sharon 1997 A. Pnueli Checking satisfiability of a QPTL formula using alternating automata
Krauthgamer Robert 1997 U. Feige Simple Algorithms for Hot-Potato Routing Currently at: Dept. of Computer Sci. and Appl. Mathematics, Weizmann Inst., Rehovot
Kolot Boris 1997 T. Flash Application of the EM algorithm for arm movements
Kuznetsov Ilia 1997 A. Fraenkel, M. Naor Error-correcting codes associated with combinatorial games
Menadeva Ovadya 1997 R. Basri The robustness to occlusions in recognizing planar objects with regions Currently at: Applied Materials
Volok Dan 1997 V. Katsnelson Special cases of the Reimann-Hiblert problem Currently at: Department of Mathematics. Kansas State University
Pekarsky Sergey 1997 V. Rom-Kedar Uniform stochastic web in hamiltonian sysetms
Rubshtein Tatyana 1997 U. Feige
Yudin Michael 1997 A. Shamir Computer algebra and cryptography
Zvavich Artem 1997 O. Schramm The Critical Probability for Voronoi Pcrcolation Currently at: Dept. of Mathematical Sciences, Kent State Univ., Kent
Nissim Kobbi 1997 U. Feige On the design and use of efficient interactive proofs Currently at: Dept. Computer Science, Ben Gurion Univ., Beer-Sheva
Cohen Yossi 1997 R. Basri
Arons Tamarah 1997 A. Pnueli A decision procedure for an unrestricted linear temporal logic Currently at: Intel, Haifa
Trainin Lev 1996 Y. Yomdin representation of maximum functions and hermite approximation
Wang Kang 1996 H. Dym Discrete H optimal control
Litvak-Hinenzon Anna 1996 V. Rom-Kedar The homoclinic tangle of slightly dissipative, forced, two dimensional systems Currently at: ADSVantage, Shoham
Shahar Elad 1996 A. Pnueli Multiple encryption schemes with intermediate exclusive-or operations Currently at: IBM
Gusis Anghela 1996 T. Flash Arm trajectory planning in 3D space
Pryadkin Yuri 1996 S. Edelman Motion based figure-ground segmentation
Peshkin Leonid 1996 S. Ullman Statistical methods in the analysis of brain imaging data
Bronstein Victor 1996 A. Fraenkel Counting Sequences
Karov Yael 1996 S. Edelman Similarity-based word sense disambiguation
Kovalenko Maxim 1996 E. Domany Forecasting time series using mixtures of adaptive experts
Liberman Boris 1996 A. Pnueli
Rayzman Giora 1996 U. Feige Approximation techniques for job-shop scheduling problems
Shamir Roy 1996 A. Shamir Multiple encryption schemes with intermediate exclusive-or operations
Grill-Spector Kalanit 1995 M. Edelman, R. Malach Computational models for the function of the columnar organization in the visual cortex Currently at: Dept. of Psychology, Stanford University, Stanford.
Naimark Katherine 1995 M. Solomiak Embedding theorems and boundary value problems related to self-similar measures on Rd
Bank Miriam 1995 Y.Kannai Discrete approximation of continuous distributed feedback systems
Disler Alexander 1995 H. Dym Boundary interpolation and the lossless inverse scattering problem
Ladizhansky Karina 1995 L. Segel Distribution of generalized aspect with applications to actin fibers and social interactions
Pikovsky Alexander 1995 G. Schechtman On embeddings of finite metric spaces into low dimensional normed spaces
Ruah Sitvanit 1995 M. Naor The decisional complexity of membership and selection problems over the reals. Currently at: IBM, Haifa
Novikov Dmitri 1995 S. Yakovenko C-smooth polynomial normal form for flows of vector fields in codimension Currently at: Dept. of Mathematics, Weizmann Institute, Rehovot
Regev Herzl 1995 D. Peleg Graph spanners and the minimum capacity network design problem
Ben-Kiki Oren 1995 Ehud Shapiro Structured directed concurrent logic programming
Fizgeer Marina 1995 V. Katsnelson Reconstruction of functions with a finite spectrum from its sampling values with noisy data
Malkin Tal 1995 A. Pnueli Dept. of Computer Science, Columbia University, USA
Margolin Leonid 1995 G. Schechtman Volume product estimations for bounded convex bodies
Preminger Sonne 1995 E. Abfal Complexity analysis of movement in multi robot system
Roitman Michael 1995 S. Yakovlenko Critical points of the period function for the Newtonian system with a polynomial potential Currently at: Morgan Stanley, NY
Shmulyian Faina 1995 A. Brandt Multigrid Algorithms for an inverse problem in impedance tomography
Stiebel Jonathan 1995 D.Peleg Simulation of constant queue size store and forward by deflection routing
Kositsky Michael 1994 T. Flash, S. Ullman
Bar Moshe 1994 S. Ullman Spatial context in recognition
Grossman Ornit 1994 David Harel The algorithmics of higraphs
Lando Maria 1994 S. Edelman Model of human recognition of upright and inverted faces
Levin Evgeni 1994 Y. Kannai Approximation of utility functions
Ogranovich Vadim 1994 A. Brandt Investigation of multigrid algorithms for nonelliptic problems
Caspi Yaron 1994 M. Irani Human-like line-drawing interpretation Currently at: VP-R&D BriefCam Ltd
Rogozin Vladimir 1993 T. Flash Robotic control of dynamic tasks.
Sardas Meir 1993 David Harel Drawing graphs nicely on the plane
Spectorov Alina 1993 Generalization of object recognition across stimulus deformations.
Sobol Zeev 1993 M. Solomiak, M. Liscovitch A Priori smoothness estimates of solutions of second-order elliptic and parabolic equations in a weighted Lp space
Rozantsev Michael 1993 A. Brandt Methods for multigrid solution of quantum electrodynamics equations Currently at: Intercon Systems Ltd.
Barabash Alexander 1993 A. Fraenkel Two questions concerning beatty functions.
Schechter (Cohen) Hagit 1993 D.Peleg
Gordon Raz 1993
Kamon Yishay 1993
Kasterstein Rami 1993
Diskin Boris 1993 A. Brandt
Krichevsky Nadya 1993
Manolache Florin 1993
Marcus Monica 1993 Y. Moses Belief as Knowledge Relative to an Introspective Assumption Currently at:
Mass Yossi 1993 E. Shapiro An architecture for cyberspace
Shmulyian Sergei 1993 A. Brandt Multilevel monte carlo algorithms for spin models Currently at: IBM, Haifa
Polunsky Zvi 1993 Y. Mozes PTANGO-A system for algorithm animation in a distributed environment
Armoni Roy 1992 D. Harel
Baruch Shmuel 1992
Cohen Amit 1992
Friedman Nir 1992 D. Harel
Goldberg Merilee 1992
Kapon Ron 1992
Marcus Yosi 1992
Rimer Jacob 1992
Wool Avishai 1992 D.Peleg
Lalovic Ilija 1992 E. Shapiro
Galun Meirav 1992 A. Brandt Optimal multigrid algorithms for model problems in statistical mechanics Currently at: Dept. of Computer Sci. and Appl. Mathematics, Weizmann Inst., Rehovot
Adini Yael 1991 D. Sagi
Etzion Yael 1991
Gilon Karni 1991 D. Peleg
Goldberg Yaron 1991
Kislev Orit 1991
Kleinman Amit 1991 E. Shapiro Performance visualization of concurrent logic programs
Nachson Aharon 1991
Rubenstein Barton 1991
Sandak Bilha 1991
Schneider Haim 1991
Tirosh-Pundak-Mintz Limor 1991
Yalov Sharon 1991
Duvdevani-Bar Sharon 1991 L. Segel
Flik (Gat) Tali 1990
Kleinman Alon 1990
Norel Raquel 1990 Z. Agur A Model for the Embryonic Cell Cycle and the Adjustment of the Mitotic Clock by cyclin and MPF levels. Currently at: IBM Computational Biology Center
Kortsarz Guy 1990 D. Peleg
Costiner Sorin 1990 S. Ta'asan
Jager Eva 1990 Lee A. Segel On the distribution of dominance in a population of interacting anonymous organisms Currently at: GMAX Tel Aviv
Raz Danny 1990 D. Harel
Moscowitz Yael 1990 E. Shapiro
Arnon Yoram 1990
Assaf Shai 1990
Benady Meny 1990
Cojocaru Lutzy 1989 Y. Kannai
Patt-Shamir Boaz 1989 D. Peleg
Davidson Ron 1989
Harel Eyal 1989
Kaminsky Ron 1989
Kliger Orna 1989 S. Ta'asan
Lorberbom Mordechai 1989
Patt Boaz 1989
Roth Gil 1989
Shimshoni Ilan 1989
Shoham Doron 1989
Yolis Yoel 1989
Zilbershatz Avishai 1989
Cheifetz Joni 1988
Cohen Moshe 1988
Goren Amos 1988
Melamed Inna 1988
Peleg Yiffat 1988
Reches Ehud 1988
Cohen Shimon 1988
Retchikman Zvi 1988
Shalev Michal 1988
Szoke Daniel 1988
Waarts Orli 1988
Feldman Yosee 1988
Haras Zigo 1988 S. Taasan
Jaris Alan 1987
Katzenellenbongen Dan 1987
Lichtenstein Yossi 1987
Matias Yosef 1987
Mozes Eyal 1987
Scheff Chaim-Meyer 1987
Feige Uriel 1987 A. Shamir
Heiman Rafi 1987 A. Shamir Gilat Satellite Networks, Petah Tikva
Tennenholtz Moshe 1987 Y. Moses
Ben-Av (Barchilon) Mercedes 1987 L. Segel Adaptation, Oscillations and Relay in a model for cAMP secretion Currently at: Achva Academic College
Kliger Shmuel 1987 E. Shapiro
Mikulinsky Vladimir 1987 A. Brandt Multigrid treatment of boundary and free-boundary conditions Currently at: ORBOTECH, Yavne
Yardeni Eyal 1987 E. Shapiro
Almagor Jacob 1987
Avrahami Gideon 1987
Duvdevani Nitsan 1987
Fogel Itzhak 1987
Gendler Effim 1987
Gera Dan 1987
Hirsch Michael 1987
Safra Shmuel 1986 A. Pnueli
Unger Ron 1986 D. Harel
Rosner Roni 1986 A. Pnueli A Choppy Logic Currently at: INTEL, Haifa
Melnikov Anna 1986 A. Joseph
Bar-On Uri 1986
Har-Nevo Linda 1986
Greenwald Joseph 1986 A. Brandt
Houri Avshalom 1986
Keidar Moshe 1986
Nilo Bruce 1986 A. Brandt
Shenkar Yevgeni 1986
Zinger Yehuda 1986
Oldak Salomon 1985 I. Horowitz
Bloch Charlene 1985
Keydar Moshe 1985
Koren Gad 1985
Lustig Rona 1985
Av-Ron Evyatar 1985 L. Segel
Michel Ruben 1985
Mierowsky Colin 1985
Nygate Joseph 1985
Politi Michal 1985 A. Pnueli
Shafrir Avner 1985
Viner Omry 1985
Yosef Ilana 1985
Ron Dorit 1984 A. Brandt
Barkan (Berkovitsh) Mordechai 1984
Campeanue Dalia 1984
Sidilkover David 1984 A. Brandt
Cohen Irit 1984
Fink (Paradiz) Leonora 1984
Finkelstein Benyamin 1984
Voicheck Naftali 1984
Sonkin Ben-Zion 1983
Ben-Ezra Ester 1983
Geifman Dorit 1983
Goldschmidt Elisheva 1983
Grinfeld Michael 1983 L. Segel
Zuck Lenore 1983 A. Pnueli
Kantor Mary 1983
Shainsky Rina 1983
Amit Batia 1982
Bercovitz Abraham 1982
Brooke Dane 1982
Kopilovitz Israel 1982
Laban Mordechai 1982
Levy Elias 1982
Manker Amos 1982
Neaab Smadar 1982 D. Harel
Rauch Dov 1982
Vardy Schlomo 1982
Werman Michael 1982
Feldman Yishai 1982 D. Harel
Fiat Amos 1982 A. Shamir
Goldberg Donna 1981
Keshet (Keish) Yehoshua 1981 L. Segel Numerical studies of effects of predation on aspect diversity in prey
Klein Thomas 1981
Kopelman Zvi 1981
Eran Yair 1981 A. Pnueli
Alpay Daniel 1980 H. Dym Study of certain families of Hankel operators and applications to stochastic
Dobkin Nechama 1980
Eshkar Uri 1980
Israeli Amos 1980
Kogan Yaacov 1980 Z. Artstein
Lutzker Mark 1980
Novik Sara 1980
Barabash (Rozenson) Marita 1980
Shafranek Maya 1980
Upfal Eli 1980 E. Shamir Spanning Sub-Graphs in Random Graphs Currently at: Dept. of Computer Science, Brown University
Vardi Moshe 1980
Wilk Asher 1980 A. Pnueli
Averbach Zvi 1980
Chen Teng 1980
Cohen Sala Nir 1980 I. Gohberg
Amidror Itzhak 1979
Diamant Noam 1979
Fenig Bernardo 1979
Frank Ariel 1979
Gafni Ilana 1979
Greenberg Josef 1979 Z. Artstein
Krant Yonatan 1979
Lerner Abraham 1979
Malek Abraham 1979
Mass Daniel 1979
Rosenfeld Raaya 1979
Shoyom Thomas 1979
Pruzan Schmidt Jeanette 1979
Smursz Leon 1979
Ta'Asan Shlomo 1979 A. Brandt
Tadmor Gilad 1979 Z. Artstein
Weingarten Yaacov 1979
Zarhy Rebeka 1979
Zvuluny Eliyahu 1979
Beilis Shai 1978 P. Rabinowitz
Goldenberg Doron 1978
Hochhauser Sara 1978
Malkosh Menachem 1978
Raban Eliyahu 1978
Tsadik Meir 1978
LIVNY MIRON 1978 M. Melman
Fried Rachel 1977
Paz Zamir 1976
Raab David 1976
Shahar Ron 1976
Shapira Aharon 1976
Shemer Itzhak 1976
KENETT RON 1976 S. Karlin
MOR MOSHE 1976 A. Fraenkel
Dechter Rina 1976 Y. Gilis
Epstein Judith 1976
Etkin (Schiffmann) Edna 1976
Hadida Panner Shlomo 1976
Katz Chaim 1976
Netzer Itzhak 1976
Neuberger Judith 1976
Novick Amy 1976
Ross Rony 1976
Sagiv Yehoshua 1976 M. Raim
Shalgi Menahem 1976
Shmidman Amnon 1976
Tamir Moshe 1976
Triebitz Mark 1976
Gilad Joel 1976
Bar-Ness Yaacov 1975
Cohen Miriam 1975
Courtheoux Richard 1975
Degani Lynn 1975
Dershowitz Nahum 1975
Feldman Shlomo 1975
Klebansky Boris 1975
Lamprecht Yehudit 1975
Levy Yosef 1975
Mochon Shimon 1975
Olshansky Tmima 1975
TASSA UZI 1975 A. Fraenkel
Schild Rivka 1975
Schusdek Joel 1975
BALABAN MIRA 1975 P. Rabinowitz
Shemer Lea 1975 A. Brandt
Shimoni Raphael 1975
Yesha Yaacov 1975
Belogus David 1975
Ahituv Ofer 1975
Amikam Ari 1975
Arditi Joel 1975 Z. Riesel
Amir Gideon 1974
Ben-Zvi (Kramer) David 1974 A. Pnueli A FORTRAN Cross-Compiler for Mini-Computers
Braunschvig Daniel 1974
Commerchero Harry 1974
Feliks Shlomith 1974
Fuchs Jehoshua 1974
Hochberg Naomi 1974
Kaplan David 1974
Kaufman Arie 1974
Kishinovsky Nili 1974
Krause Nahum 1974
Lesser Shraga 1974
Lewendel Itzhak 1974
Motles Luis 1974
Shamir Adi 1974 Z. Manna
Najfeld Igor 1974
Plan Meir 1974
Pomeranz Liora 1974 A. Pnueli
Ranel Hanna 1974
Shoham Ora 1974
Shraga Yosefa 1974
Slutzki Giora 1974
Stein (Burganski) Zvia 1974
Katz Shmuel 1973 A. Pnueli An Implementation of APL Currently at: Computer Science Dept., Technion, Haifa
Roth Greenman Aviva 1973 S. Even
Salomon Yetty 1973
Skupsky Pnina 1973
Sorin Simha 1973
Spitz Eliezer 1973
Stern Eliahu 1973
Vishne Ada 1973
Wecksler Harry 1973
STEIN JOSEPH 1973 A. Tannenbaum
Batish Mathilda 1973 A. Pnueli
Debbi Danny 1973
Fogel Roni 1973
Cutler Michael 1973 Z. Riesel
Freund Gavriela 1973
Golde Shmuel 1973
Grushka Nurit 1973
Kahana Ruth 1973
Landau Weiss Nurit 1973 A. Ben-Menahem
Liebreich (Yahil) Hanna 1973
Mendes Varda 1973
Ram Giora 1973
Mory-Rauch Leah 1973 Z. Riesel
Aaronson Jonathan 1972
Burns Nurith 1972
Fried Haya 1972
Gamzun Eliahu 1972
Hoppe Fred 1972 S. Karlin
Kanarek Jacob 1972
Rodeh Michael 1972
Shiftan Joseph 1972
Weiss Joseph 1972
Vered Moshe 1972
Berenholc Shmuel 1971
GERA AMOS 1971 I. Horowitz
Chang Ding-En 1971
Cheng Hui-Chou 1971
Melnick Yacob 1971
Ehrlich Gideon 1971
Perl Yehoshua 1971
Aboodi Ezra 1970
Diner Nathan 1970
Farkas (Rosengarten) Shoshana 1970 S. Karlin
Levite Uri 1970
Lipskier Jacques 1970
Weinstein Marcel 1970
Accad Yigal 1969 C.L. Pekeris
Israeli Imanuel 1969
Gillon (Ganz) Allon 1969
Burbea Jacob 1968
Mishari Joseph 1968
Koren Ruth 1967
DYN (RICHTER) NIRA 1967 P. Rabinowitz
Keren Ruth 1966
Rosenthal Haya 1966
Salomon Eugenia 1966
Shkoller Boris 1966
LIRON NADAV 1966 J. Gillis
Alon Yaffa 1965
Katz Joseph 1965
Aboudi Jacob 1964
Bein Jacob 1964
Vilner Miriam 1964
ZWAS GIDEON 1964 S. Abarbanel
Codish Michael E. Shapiro
Belinkov (Kitron) Myra Locomotion of spermatozoa Currently at: School of Engineering, Kinneret College on the Sea of Galileea and Aerospace Engineering. Technion - Israel Institute of technology
Attias Chen R. Krauthgamer Combinatorial optimization problems with testing
Edelman Shimon S. Ullman
Attias Chen R. Krauthgamer Combinatorial optimization problems with testing