You are here

# Alumni

Name | 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 |