You are here

Alumni

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