You are here

# Alumni

Name | Year | Advisor | Thesis | |
---|---|---|---|---|

Attias Chen | R. Krauthgamer | Combinatorial optimization problems with testing | ||

Edelman Shimon | S. Ullman | |||

Codish Michael | E. Shapiro | |||

Belinkov (Kitron) Myra | Locomotion of spermatozoa Currently at: School of Engineering, Kinneret College on the Sea of Galileea and Aerospace Engineering. Technion - Israel Institute of technology | |||

Attias Chen | R. Krauthgamer | Combinatorial optimization problems with testing | ||

ZWAS GIDEON | 1964 | S. Abarbanel | ||

Aboudi Jacob | 1964 | |||

Bein Jacob | 1964 | |||

Vilner Miriam | 1964 | |||

Alon Yaffa | 1965 | |||

Katz Joseph | 1965 | |||

Salomon Eugenia | 1966 | |||

Shkoller Boris | 1966 | |||

LIRON NADAV | 1966 | J. Gillis | ||

Keren Ruth | 1966 | |||

Rosenthal Haya | 1966 | |||

Koren Ruth | 1967 | |||

DYN (RICHTER) NIRA | 1967 | P. Rabinowitz | ||

LOEWENTHAL DAN | 1967 | |||

Burbea Jacob | 1968 | |||

Mishari Joseph | 1968 | |||

Gillon (Ganz) Allon | 1969 | |||

Israeli Imanuel | 1969 | |||

Accad Yigal | 1969 | C.L. Pekeris | ||

Aboodi Ezra | 1970 | |||

Diner Nathan | 1970 | |||

Farkas (Rosengarten) Shoshana | 1970 | S. Karlin | ||

Levite Uri | 1970 | |||

Lipskier Jacques | 1970 | |||

Weinstein Marcel | 1970 | |||

ITAI ALON | 1971 | |||

Berenholc Shmuel | 1971 | |||

GERA AMOS | 1971 | I. Horowitz | ||

Chang Ding-En | 1971 | |||

MANTEL FRANCIS | 1971 | |||

Cheng Hui-Chou | 1971 | |||

Melnick Yacob | 1971 | |||

Ehrlich Gideon | 1971 | |||

Perl Yehoshua | 1971 | |||

FRANCEZ NISSIM | 1972 | |||

AVNI HAIM | 1972 | |||

Aaronson Jonathan | 1972 | |||

Burns Nurith | 1972 | |||

Fried Haya | 1972 | |||

Gamzun Eliahu | 1972 | |||

Hoppe Fred | 1972 | S. Karlin | ||

Kanarek Jacob | 1972 | |||

Rodeh Michael | 1972 | |||

Shiftan Joseph | 1972 | |||

Weiss Joseph | 1972 | |||

Vered Moshe | 1972 | |||

Kahana Ruth | 1973 | |||

Landau Weiss Nurit | 1973 | A. Ben-Menahem | ||

Liebreich (Yahil) Hanna | 1973 | |||

Mendes Varda | 1973 | |||

Ram Giora | 1973 | |||

Mory-Rauch Leah | 1973 | Z. Riesel | ||

Roth Greenman Aviva | 1973 | S. Even | ||

Salomon Yetty | 1973 | |||

Skupsky Pnina | 1973 | |||

Sorin Simha | 1973 | |||

Spitz Eliezer | 1973 | |||

Stern Eliahu | 1973 | |||

SYLMAN YEHUDA | 1973 | N. Liron | ||

Vishne Ada | 1973 | |||

Wecksler Harry | 1973 | |||

OPHIR DAN | 1973 | |||

STEIN JOSEPH | 1973 | A. Tannenbaum | ||

Batish Mathilda | 1973 | A. Pnueli | ||

Debbi Danny | 1973 | |||

Fogel Roni | 1973 | |||

Cutler Michael | 1973 | Z. Riesel | ||

Freund Gavriela | 1973 | |||

Golde Shmuel | 1973 | |||

Grushka Nurit | 1973 | |||

Katz Shmuel | 1973 | A. Pnueli | An Implementation of APL Currently at: Computer Science Dept., Technion, Haifa | |

Shraga Yosefa | 1974 | |||

Slutzki Giora | 1974 | |||

Stein (Burganski) Zvia | 1974 | |||

Amir Gideon | 1974 | |||

Ben-Zvi (Kramer) David | 1974 | A. Pnueli | A FORTRAN Cross-Compiler for Mini-Computers | |

Braunschvig Daniel | 1974 | |||

Commerchero Harry | 1974 | |||

Feliks Shlomith | 1974 | |||

Fuchs Jehoshua | 1974 | |||

STEINBERG DAVID | 1974 | |||

Hochberg Naomi | 1974 | |||

Kaplan David | 1974 | |||

Kaufman Arie | 1974 | |||

Kishinovsky Nili | 1974 | |||

Krause Nahum | 1974 | |||

Lesser Shraga | 1974 | |||

Lewendel Itzhak | 1974 | |||

Motles Luis | 1974 | |||

Najfeld Igor | 1974 | |||

Shamir Adi | 1974 | Z. Manna | ||

Plan Meir | 1974 | |||

Pomeranz Liora | 1974 | A. Pnueli | ||

Ranel Hanna | 1974 | |||

Shoham Ora | 1974 | |||

Ahituv Ofer | 1975 | |||

Amikam Ari | 1975 | |||

Arditi Joel | 1975 | Z. Riesel | ||

Bar-Ness Yaacov | 1975 | |||

Cohen Miriam | 1975 | |||

Courtheoux Richard | 1975 | |||

Degani Lynn | 1975 | |||

Dershowitz Nahum | 1975 | |||

Feldman Shlomo | 1975 | |||

Klebansky Boris | 1975 | |||

Lamprecht Yehudit | 1975 | |||

Levy Yosef | 1975 | |||

Mochon Shimon | 1975 | |||

Olshansky Tmima | 1975 | |||

TASSA UZI | 1975 | A. Fraenkel | ||

Schild Rivka | 1975 | |||

Schusdek Joel | 1975 | |||

BALABAN MIRA | 1975 | P. Rabinowitz | ||

Shemer Lea | 1975 | A. Brandt | ||

Shimoni Raphael | 1975 | |||

Yesha Yaacov | 1975 | |||

Belogus David | 1975 | |||

Shalgi Menahem | 1976 | |||

Shmidman Amnon | 1976 | |||

Tamir Moshe | 1976 | |||

Triebitz Mark | 1976 | |||

Gilad Joel | 1976 | |||

Paz Zamir | 1976 | |||

Raab David | 1976 | |||

Shahar Ron | 1976 | |||

Shapira Aharon | 1976 | |||

Shemer Itzhak | 1976 | |||

KENETT RON | 1976 | S. Karlin | ||

MOR MOSHE | 1976 | A. Fraenkel | ||

Dechter Rina | 1976 | Y. Gilis | ||

Epstein Judith | 1976 | |||

Etkin (Schiffmann) Edna | 1976 | |||

Hadida Panner Shlomo | 1976 | |||

Katz Chaim | 1976 | |||

Netzer Itzhak | 1976 | |||

Neuberger Judith | 1976 | |||

Novick Amy | 1976 | |||

Ross Rony | 1976 | |||

Sagiv Yehoshua | 1976 | M. Raim | ||

Fried Rachel | 1977 | |||

Beilis Shai | 1978 | P. Rabinowitz | ||

Goldenberg Doron | 1978 | |||

Hochhauser Sara | 1978 | |||

Malkosh Menachem | 1978 | |||

Raban Eliyahu | 1978 | |||

Tsadik Meir | 1978 | |||

LIVNY MIRON | 1978 | M. Melman | ||

Weingarten Yaacov | 1979 | |||

Zarhy Rebeka | 1979 | |||

Zvuluny Eliyahu | 1979 | |||

Amidror Itzhak | 1979 | |||

Diamant Noam | 1979 | |||

Fenig Bernardo | 1979 | |||

Frank Ariel | 1979 | |||

Gafni Ilana | 1979 | |||

Greenberg Josef | 1979 | Z. Artstein | ||

Krant Yonatan | 1979 | |||

Lerner Abraham | 1979 | |||

Malek Abraham | 1979 | |||

Mass Daniel | 1979 | |||

Rosenfeld Raaya | 1979 | |||

Shoyom Thomas | 1979 | |||

Pruzan Schmidt Jeanette | 1979 | |||

Smursz Leon | 1979 | |||

Ta'Asan Shlomo | 1979 | A. Brandt | ||

Tadmor Gilad | 1979 | Z. Artstein | ||

Averbach Zvi | 1980 | |||

Chen Teng | 1980 | |||

Cohen Sala Nir | 1980 | I. Gohberg | ||

Dobkin Nechama | 1980 | |||

Eshkar Uri | 1980 | |||

Israeli Amos | 1980 | |||

Kogan Yaacov | 1980 | Z. Artstein | ||

Lutzker Mark | 1980 | |||

Novik Sara | 1980 | |||

Barabash (Rozenson) Marita | 1980 | |||

Shafranek Maya | 1980 | |||

Upfal Eli | 1980 | E. Shamir | Spanning Sub-Graphs in Random Graphs Currently at: Dept. of Computer Science, Brown University | |

Vardi Moshe | 1980 | |||

AZOR RUTH | 1980 | |||

Wilk Asher | 1980 | A. Pnueli | ||

Alpay Daniel | 1980 | H. Dym | Study of certain families of Hankel operators and applications to stochastic | |

Eran Yair | 1981 | A. Pnueli | ||

Goldberg Donna | 1981 | |||

Keshet (Keish) Yehoshua | 1981 | L. Segel | Numerical studies of effects of predation on aspect diversity in prey | |

Klein Thomas | 1981 | |||

Kopelman Zvi | 1981 | |||

Feldman Yishai | 1982 | D. Harel | ||

Fiat Amos | 1982 | A. Shamir | ||

Amit Batia | 1982 | |||

Bercovitz Abraham | 1982 | |||

Brooke Dane | 1982 | |||

Kopilovitz Israel | 1982 | |||

Laban Mordechai | 1982 | |||

Levy Elias | 1982 | |||

Manker Amos | 1982 | |||

Neaab Smadar | 1982 | D. Harel | ||

Rauch Dov | 1982 | |||

Vardy Schlomo | 1982 | |||

Werman Michael | 1982 | |||

Ben-Ezra Ester | 1983 | |||

Geifman Dorit | 1983 | |||

Goldschmidt Elisheva | 1983 | |||

Grinfeld Michael | 1983 | L. Segel | ||

Zuck Lenore | 1983 | A. Pnueli | ||

Kantor Mary | 1983 | |||

Shainsky Rina | 1983 | |||

Sonkin Ben-Zion | 1983 | |||

Ron Dorit | 1984 | A. Brandt | ||

Barkan (Berkovitsh) Mordechai | 1984 | |||

Sidilkover David | 1984 | A. Brandt | ||

Campeanue Dalia | 1984 | |||

Cohen Irit | 1984 | |||

Fink (Paradiz) Leonora | 1984 | |||

Finkelstein Benyamin | 1984 | |||

Voicheck Naftali | 1984 | |||

Oldak Salomon | 1985 | I. Horowitz | ||

Bloch Charlene | 1985 | |||

Keydar Moshe | 1985 | |||

Koren Gad | 1985 | |||

Lustig Rona | 1985 | |||

Av-Ron Evyatar | 1985 | L. Segel | ||

Michel Ruben | 1985 | |||

Mierowsky Colin | 1985 | |||

Nygate Joseph | 1985 | |||

Politi Michal | 1985 | A. Pnueli | ||

Shafrir Avner | 1985 | |||

Viner Omry | 1985 | |||

Yosef Ilana | 1985 | |||

Safra Shmuel | 1986 | A. Pnueli | ||

Unger Ron | 1986 | D. Harel | ||

Rosner Roni | 1986 | A. Pnueli | A Choppy Logic Currently at: INTEL, Haifa | |

Melnikov Anna | 1986 | A. Joseph | ||

Bar-On Uri | 1986 | |||

Har-Nevo Linda | 1986 | |||

Greenwald Joseph | 1986 | A. Brandt | ||

Houri Avshalom | 1986 | |||

Keidar Moshe | 1986 | |||

Nilo Bruce | 1986 | A. Brandt | ||

Shenkar Yevgeni | 1986 | |||

Zinger Yehuda | 1986 | |||

Avrahami Gideon | 1987 | |||

Duvdevani Nitsan | 1987 | |||

Fogel Itzhak | 1987 | |||

Gendler Effim | 1987 | |||

Gera Dan | 1987 | |||

Hirsch Michael | 1987 | |||

Jaris Alan | 1987 | |||

Katzenellenbongen Dan | 1987 | |||

Lichtenstein Yossi | 1987 | |||

Matias Yosef | 1987 | |||

Mozes Eyal | 1987 | |||

Scheff Chaim-Meyer | 1987 | |||

Feige Uriel | 1987 | A. Shamir | ||

Heiman Rafi | 1987 | A. Shamir | Gilat Satellite Networks, Petah Tikva | |

Tennenholtz Moshe | 1987 | Y. Moses | ||

Ben-Av (Barchilon) Mercedes | 1987 | L. Segel | Adaptation, Oscillations and Relay in a model for cAMP secretion Currently at: Achva Academic College | |

Kliger Shmuel | 1987 | E. Shapiro | ||

Mikulinsky Vladimir | 1987 | A. Brandt | Multigrid treatment of boundary and free-boundary conditions Currently at: ORBOTECH, Yavne | |

Yardeni Eyal | 1987 | E. Shapiro | ||

Almagor Jacob | 1987 | |||

Cheifetz Joni | 1988 | |||

Cohen Moshe | 1988 | |||

Goren Amos | 1988 | |||

Melamed Inna | 1988 | |||

Peleg Yiffat | 1988 | |||

Reches Ehud | 1988 | |||

Cohen Shimon | 1988 | |||

Retchikman Zvi | 1988 | |||

Shalev Michal | 1988 | |||

Szoke Daniel | 1988 | |||

Feldman Yosee | 1988 | |||

Waarts Orli | 1988 | |||

Haras Zigo | 1988 | S. Taasan | ||

Shoham Doron | 1989 | |||

Yolis Yoel | 1989 | |||

Zilbershatz Avishai | 1989 | |||

Cojocaru Lutzy | 1989 | Y. Kannai | ||

Patt-Shamir Boaz | 1989 | D. Peleg | ||

Davidson Ron | 1989 | |||

Harel Eyal | 1989 | |||

Kaminsky Ron | 1989 | |||

Kliger Orna | 1989 | S. Ta'asan | ||

Lorberbom Mordechai | 1989 | |||

Patt Boaz | 1989 | |||

Roth Gil | 1989 | |||

Shimshoni Ilan | 1989 | |||

Arnon Yoram | 1990 | |||

Assaf Shai | 1990 | |||

Benady Meny | 1990 | |||

Flik (Gat) Tali | 1990 | |||

Kleinman Alon | 1990 | |||

Norel Raquel | 1990 | Z. Agur | A Model for the Embryonic Cell Cycle and the Adjustment of the Mitotic Clock by cyclin and MPF levels. Currently at: IBM Computational Biology Center | |

Kortsarz Guy | 1990 | D. Peleg | ||

Costiner Sorin | 1990 | S. Ta'asan | ||

Jager Eva | 1990 | Lee A. Segel | On the distribution of dominance in a population of interacting anonymous organisms Currently at: GMAX Tel Aviv | |

Raz Danny | 1990 | D. Harel | ||

Moscowitz Yael | 1990 | E. Shapiro | ||

Duvdevani-Bar Sharon | 1991 | L. Segel | ||

Adini Yael | 1991 | D. Sagi | ||

Etzion Yael | 1991 | |||

Gilon Karni | 1991 | D. Peleg | ||

Goldberg Yaron | 1991 | |||

Kislev Orit | 1991 | |||

Kleinman Amit | 1991 | E. Shapiro | Performance visualization of concurrent logic programs | |

Nachson Aharon | 1991 | |||

Rubenstein Barton | 1991 | |||

Sandak Bilha | 1991 | |||

Schneider Haim | 1991 | |||

Tirosh-Pundak-Mintz Limor | 1991 | |||

Yalov Sharon | 1991 | |||

Lalovic Ilija | 1992 | E. Shapiro | ||

Galun Meirav | 1992 | A. Brandt | Optimal multigrid algorithms for model problems in statistical mechanics Currently at: Dept. of Computer Sci. and Appl. Mathematics, Weizmann Inst., Rehovot | |

Armoni Roy | 1992 | D. Harel | ||

Baruch Shmuel | 1992 | |||

Cohen Amit | 1992 | |||

Friedman Nir | 1992 | D. Harel | ||

Goldberg Merilee | 1992 | |||

Kapon Ron | 1992 | |||

Marcus Yosi | 1992 | |||

Rimer Jacob | 1992 | |||

Wool Avishai | 1992 | D.Peleg | ||

Kamon Yishay | 1993 | |||

Kasterstein Rami | 1993 | |||

Diskin Boris | 1993 | A. Brandt | ||

Krichevsky Nadya | 1993 | |||

Manolache Florin | 1993 | |||

Marcus Monica | 1993 | Y. Moses | Belief as Knowledge Relative to an Introspective Assumption Currently at: gmarcus@isugw.indstate.edu | |

Mass Yossi | 1993 | E. Shapiro | An architecture for cyberspace | |

Polunsky Zvi | 1993 | Y. Mozes | PTANGO-A system for algorithm animation in a distributed environment | |

Shmulyian Sergei | 1993 | A. Brandt | Multilevel monte carlo algorithms for spin models Currently at: IBM, Haifa | |

Rogozin Vladimir | 1993 | T. Flash | Robotic control of dynamic tasks. | |

Sardas Meir | 1993 | David Harel | Drawing graphs nicely on the plane | |

Spectorov Alina | 1993 | Generalization of object recognition across stimulus deformations. | ||

Sobol Zeev | 1993 | M. Solomiak, M. Liscovitch | A Priori smoothness estimates of solutions of second-order elliptic and parabolic equations in a weighted Lp space | |

Rozantsev Michael | 1993 | A. Brandt | Methods for multigrid solution of quantum electrodynamics equations Currently at: Intercon Systems Ltd. | |

Barabash Alexander | 1993 | A. Fraenkel | Two questions concerning beatty functions. | |

Schechter (Cohen) Hagit | 1993 | D.Peleg | ||

Gordon Raz | 1993 | |||

Kositsky Michael | 1994 | T. Flash, S. Ullman | ||

Bar Moshe | 1994 | S. Ullman | Spatial context in recognition | |

Grossman Ornit | 1994 | David Harel | The algorithmics of higraphs | |

Lando Maria | 1994 | S. Edelman | Model of human recognition of upright and inverted faces | |

Levin Evgeni | 1994 | Y. Kannai | Approximation of utility functions | |

Ogranovich Vadim | 1994 | A. Brandt | Investigation of multigrid algorithms for nonelliptic problems | |

Caspi Yaron | 1994 | M. Irani | Human-like line-drawing interpretation Currently at: VP-R&D BriefCam Ltd | |

Grill-Spector Kalanit | 1995 | M. Edelman, R. Malach | Computational models for the function of the columnar organization in the visual cortex Currently at: Dept. of Psychology, Stanford University, Stanford. | |

Naimark Katherine | 1995 | M. Solomiak | Embedding theorems and boundary value problems related to self-similar measures on Rd | |

Bank Miriam | 1995 | Y.Kannai | Discrete approximation of continuous distributed feedback systems | |

Disler Alexander | 1995 | H. Dym | Boundary interpolation and the lossless inverse scattering problem | |

Ladizhansky Karina | 1995 | L. Segel | Distribution of generalized aspect with applications to actin fibers and social interactions | |

Pikovsky Alexander | 1995 | G. Schechtman | On embeddings of finite metric spaces into low dimensional normed spaces | |

Ruah Sitvanit | 1995 | M. Naor | The decisional complexity of membership and selection problems over the reals. Currently at: IBM, Haifa | |

Novikov Dmitri | 1995 | S. Yakovenko | C-smooth polynomial normal form for flows of vector fields in codimension Currently at: Dept. of Mathematics, Weizmann Institute, Rehovot | |

Regev Herzl | 1995 | D. Peleg | Graph spanners and the minimum capacity network design problem | |

Ben-Kiki Oren | 1995 | Ehud Shapiro | Structured directed concurrent logic programming | |

Fizgeer Marina | 1995 | V. Katsnelson | Reconstruction of functions with a finite spectrum from its sampling values with noisy data | |

Malkin Tal | 1995 | A. Pnueli | Dept. of Computer Science, Columbia University, USA | |

Margolin Leonid | 1995 | G. Schechtman | Volume product estimations for bounded convex bodies | |

Preminger Sonne | 1995 | E. Abfal | Complexity analysis of movement in multi robot system | |

Roitman Michael | 1995 | S. Yakovlenko | Critical points of the period function for the Newtonian system with a polynomial potential Currently at: Morgan Stanley, NY | |

Shmulyian Faina | 1995 | A. Brandt | Multigrid Algorithms for an inverse problem in impedance tomography | |

Stiebel Jonathan | 1995 | D.Peleg | Simulation of constant queue size store and forward by deflection routing | |

Bronstein Victor | 1996 | A. Fraenkel | Counting Sequences | |

Karov Yael | 1996 | S. Edelman | Similarity-based word sense disambiguation | |

Kovalenko Maxim | 1996 | E. Domany | Forecasting time series using mixtures of adaptive experts | |

Liberman Boris | 1996 | A. Pnueli | ||

Rayzman Giora | 1996 | U. Feige | Approximation techniques for job-shop scheduling problems | |

Shamir Roy | 1996 | A. Shamir | Multiple encryption schemes with intermediate exclusive-or operations | |

Trainin Lev | 1996 | Y. Yomdin | representation of maximum functions and hermite approximation | |

Wang Kang | 1996 | H. Dym | Discrete H optimal control | |

Litvak-Hinenzon Anna | 1996 | V. Rom-Kedar | The homoclinic tangle of slightly dissipative, forced, two dimensional systems Currently at: ADSVantage, Shoham | |

Shahar Elad | 1996 | A. Pnueli | Multiple encryption schemes with intermediate exclusive-or operations Currently at: IBM | |

Gusis Anghela | 1996 | T. Flash | Arm trajectory planning in 3D space | |

Pryadkin Yuri | 1996 | S. Edelman | Motion based figure-ground segmentation | |

Peshkin Leonid | 1996 | S. Ullman | Statistical methods in the analysis of brain imaging data | |

Adam Amit | 1997 | Z. Artstein | A model of the trade-off between the cost of information and its utility | |

Grigoriev Alexei | 1997 | S. Yakovlenko | The Lical Topological Eomplexity of Generic Multijet Preimages of Algebraic Varieties. Currently at: Sector of Functional Analysis, SISSA, Trieste | |

Jefet Sharon | 1997 | A. Pnueli | Checking satisfiability of a QPTL formula using alternating automata | |

Krauthgamer Robert | 1997 | U. Feige | Simple Algorithms for Hot-Potato Routing Currently at: Dept. of Computer Sci. and Appl. Mathematics, Weizmann Inst., Rehovot | |

Kolot Boris | 1997 | T. Flash | Application of the EM algorithm for arm movements | |

Kuznetsov Ilia | 1997 | A. Fraenkel, M. Naor | Error-correcting codes associated with combinatorial games | |

Menadeva Ovadya | 1997 | R. Basri | The robustness to occlusions in recognizing planar objects with regions Currently at: Applied Materials | |

Volok Dan | 1997 | V. Katsnelson | Special cases of the Reimann-Hiblert problem Currently at: Department of Mathematics. Kansas State University | |

Pekarsky Sergey | 1997 | V. Rom-Kedar | Uniform stochastic web in hamiltonian sysetms | |

Rubshtein Tatyana | 1997 | U. Feige | ||

Yudin Michael | 1997 | A. Shamir | Computer algebra and cryptography | |

Zvavich Artem | 1997 | O. Schramm | The Critical Probability for Voronoi Pcrcolation Currently at: Dept. of Mathematical Sciences, Kent State Univ., Kent | |

Nissim Kobbi | 1997 | U. Feige | On the design and use of efficient interactive proofs Currently at: Dept. Computer Science, Ben Gurion Univ., Beer-Sheva | |

Cohen Yossi | 1997 | R. Basri | ||

Arons Tamarah | 1997 | A. Pnueli | A decision procedure for an unrestricted linear temporal logic Currently at: Intel, Haifa | |

Blinov Mikhail | 1998 | |||

Hassin Yehuda | 1998 | D. Peleg | Probabilistic local polling processes in graphs Currently at: Jerusalem College of Engineering, Jerusalem | |

Ben-Porath Ariel | 1998 | |||

Hadani Ronny | 1998 | D. Harel | A multi-scale method for drawing graphs nicely Currently at: Department of Mathematics, University of Texas. | |

Raviv Li-On | 1998 | A. Pnueli | LTL symbolic model checking | |

Soloviev Sergei | 1998 | S. Ullman | Shift-invariant recognition by the conjunction of basic invariant patterns | |

Shneerson Maria | 1998 | R. Basri, A. Tal | Animation of geometric algorithms in an Electronic Classroom | |

Zusman Dmitry | 1998 | A. Fraenkel, D. Peleg | Some extensions and generalizations of Nim-like games | |

Brestel Chen | 1998 | S. Ullman | Multi-views modeling & synthesis Currently at: El Op, Rehovot | |

Temkin Michael | 1999 | V. Berkovich | ||

Gandlin Rima | 1999 | A. Brandt | Multigrid algorithms for an inverse problem in inpedance tomography Currently at: Dept. of Mathematical Sciences, Carnegie Mellon Univ.,Pittsburgh | |

Langberg Michael | 1999 | U. Feige | Approximation algorithms for maximization problems arising in graph partitioning Currently at: Israeli Open University | |

Koltunov Alexander | 1999 | R. Basri | New spectral features and gaussian mixtures for classification of multispectral image data. | |

Zelnik-Manor Lihi | 1999 | M. Irani | Multi-frame alignment of planes. Currently at: Department of Electrical Engineering, Technion | |

Te'Eni Moddy | 1999 | Y. Kannai | Non zero-sum differential games. | |

Tyomkin Ilya | 1999 | Y. Yomdin | h1 - vanishing criteria in some problems in algebraic geometry and singularity theory | |

Reshef Eilon | 1999 | D. Peleg | Approximating minimum communication cost spanning trees and related problems. Currently at: WebCollage | |

Ein Dor Amir | 2000 | D. Roth | A Study of fast summation error and application in 1D molecular mechanics | |

Harnik Danny | 2000 | R. Raz | Higher lower bounds on monotone size Currently at: IBM Haifa Research Labs | |

Nicola Aurelian | 2000 | D. Michelson | Stability of discrete shocks for difference approximations to systems of conservation laws | |

Sedletsky Catherine | 2000 | A. Pnueli | Formal verification of the ricart_agrawala algorithm. | |

Seeman-Emerson Tamar | 2000 | A. Fraenkel | Complexity of certain Heap Game Characteristic functions Currently at: Dept. of Mathematics, Bar Ilan University, Ramat Gan | |

Koren Yehuda | 2000 | D. Harel | Nice drawing of graphs with non-uniform vertices Currently at: Yahoo, Israel | |

Borenstein Eran | 2000 | S. Ullman | ||

Atzmony Yedidia | 2000 | D. Peleg | ||

Degani Ilan | 2000 | A. Brandt | A Study of fast summation error and application in 1D molecular mechanics | |

Kaminsky Moshe | 2000 | D.Harel | More results on non-regular PDL | |

Hartman Tzvika | 2000 | R. Raz | Generalizing Extractors and Dispersers Currently at: Google, Tel Aviv. | |

Cohen Meir | 2000 | M. Irani | Dense recovery of planar-parallax from multiple frames | |

Kugler Hillel | 2000 | D. Harel | Synthesizing state-based object systems from LSC specifications. Currently at: Microsoft Research, UK. | |

Spector Yuval | 2000 | R. Basri | Application and extensions. Currently at: Soligence Corporation | |

Rosen Alon | 2000 | M. Naor | Pesudo-random functions and factoring Currently at: School of Computer Science, Herzliya Interdisciplinary Center. | |

Weiss Gera | 2001 | Z. Artstein | Stabilzation via dynamic output feedback Currently at: Department of Electrical Engineerig Systems, Tel Aviv University. | |

Khristo Sergey | 2001 | I. Benjamini | Gaussian random fields on hyperbolic lattices | |

Rosen Vered | 2001 | O. Goldreich | On the security of modular exponentiation | |

Fisman Dana | 2001 | A. Pnueli | Beyond regular model checking Currently at: School of Computer Sci. & Engineering, Hebrew University, Jerusalem | |

Ulitsky Leonid | 2001 | A. Tal | Algorithm animations for distributed environments | |

Ferman Amiel | 2001 | D. Harel | Two results on One-letter extensions of PDL | |

Gilaie-Dotan Sharon | 2001 | S. Ullman, R.Malach | Stereo processing in human object-related visual areas | |

Polyakov Felix | 2001 | T. Flash | Analysis of monkey scribbles during learning in the framework of models of planar hand motion Currently at: Bank Leumi, Israel | |

Wieder Ehud | 2002 | U. Feige | Offline allocation of satellite resources or maximun edge coloring with a fixed number of colors Currently at: Microsoft, Mountain View | |

Dovgard Roman | 2002 | G. Schechtman | Simulations of Mahler's and volume monotonicity conjectures | |

Friedman Jason | 2002 | T. Flash | The planning of three dimensional fully extended arm pointing movements Currently at: Macquarie Centre for Cognitive Science, Macquarie University, Sydney, Australia | |

Hassner Tal | 2002 | R. Basri | What does the scene look like from a scene point? Currently at: Open University | |

Ofek Eran | 2002 | U. Feige | Maximum edge coloring with a bounded number of Colors Currently at: Google, Tel Aviv | |

Cherniavsky Yonah | 2002 | A.Regev | Asymptotics of combinatorial sums | |

Kirshenberg Anat | 2002 | A. Brandt | Fast calculation of the attenuated radon transform | |

Lachish Oded | 2002 | R. Raz | Explicit lower bound of 4.5n-o(n) for boolean circuits | |

Machline Moshe | 2002 | M. Irani | Revisiting motion consistency | |

Mantin Itsik | 2002 | A.Shamir | Analysis of the stream cipher RC4 | |

Rahat Ofer | 2002 | A. Fraenkel | Complexity of error-correcting codes derived from combinatorial games | |

Lustig Yoad | 2002 | O. Goldreich | Security criteria for public-key encryption | |

Kleper Dvir | 2002 | G. Schechtman | Haar block bases as complemented subspaces of Lp | |

Bernstein Dan | 2003 | A. Regev | The complexity of two different rules for computing characters of Sn Currently at: Apple Inc., Cupertino | |

Tromer Eran | 2003 | A. Shamir | Hardware-based parallelization of factoring algorithms Currently at: Computer Sci. & Artificial Intelligence Lab., MIT, Cambridge | |

Goldschmidt Yaara | 2003 | A.Brandt, I. R. Cohen | Adaptive multiscale methods for classification of biological microarray data from multiple experiments | |

Inger Aron | 2003 | S. Ullman | Automatic features based illumination insensitive facial recognition schemes. Currently at: Dept. of Molecular Genetics, Weizmann Institute, Rehovot | |

Safro Ilya | 2003 | A. Brandt, U. Feige | The minimum linear arrangement problem Currently at: Mathematics and Computer Science Division, Argonne National Laboratory, Argonne | |

Amit Idan | 2003 | U. Feige | A finer classification of NP-complete probems | |

Setty Yaakov | 2003 | U. Alon, R.Raz | Detailed map of the input function encoded by the cis-regulatory region of the lactose operon Currently at: Microsoft Research Ltd., Cambridge | |

Faivishevsky Lev | 2003 | S. Ullman | Efficient object detection and recognition in a directable visual system | |

Shechtman Eli | 2003 | M. Irani | Space-time super-resolution Currently at: Adobe Systems Inc., & Dept. of Computer Science and Engineering, Univ. of Washington, Seattle | |

Chvalevsky Max | 2003 | R. Basri | Bi-clustering of objects and backgrounds for content-based image retrieval | |

Simakov Denis | 2003 | R. Basri | Dense shape from motion with arbitrary, unknown lighting Currently at: Samsung, Yakum | |

Filmus Yuval | 2003 | U. Feige | Bandwidth approximation of a restricted family of trees | |

Frenkel Maksim | 2003 | R. Basri | Curve matching using the fast marching method Currently at: Sr. Software Engineer at Raytheon Integrated Defense Systems | |

Grinchtein Olga | 2003 | A. Pnueli | Dense-time analysis with fractional adjustment steps | |

Chlamtac Eden | 2003 | U. Feige | Cover times of random walks and Markov chains | |

Ecker Ady | 2003 | S. Ullman | Images similarity based on the distributions of similar substructures Currently at: PhD student at University of Toronto | |

Keydar Eran | 2003 | U. Feige | Finding Hamiltonian cycles in semi-random graphs | |

Gabel Mika | 2003 | T. Flash | Implementation of the minimum-variance model for motor learning of sequential drawing tasks | |

Leichter Ido | 2003 | R. Basri | Extending hierarchical direct methods to handle larger motion | |

Rapoport (Levant) Anna | 2003 | Y. Kannai | Theoretical and empirical issues in demand analysis | |

Neuvirth Hani | 2003 | R. Raz, G. Schreiber | Characterization and prediction of protein-protein binding sites in heterocomplexes | |

Kogan Shimon | 2003 | U.Feige | kogan_shimon@hotmail.com | |

Joffe Genady | 2003 | A. Regev | Structure of group algebras FSn and FAn | |

Levant Boris | 2004 | G. Schechtman | Euclidean sections of the cross-polytope | |

Apartsin Alexander | 2004 | R. Basri | Multiscale segmentation of independent object motion using irregular pyramids | |

Bart Evgeniy | 2004 | S. Ullman | Object recognition using shared extended fragments Currently at: Palo Alto Research Center, Palo Alto, CA | |

Levi Dan | 2004 | S. Ullman | A network model for fragment-based object classification | |

Barzuza Tamar | 2004 | R.Shamir, J. Beckmann | Computational resolution and tagging of perfect phylogeny haplotypes | |

Noy Lior | 2004 | T. Flash | Features of human movement imitation | |

Elbaz Ariel | 2004 | R. Raz | Improved constructions for extracting quasi-random bits from sources of weak randomness | |

Gilboa Amos | 2004 | D. Harel | Finding all possible supersteps in LSCs | |

Gordon Dafna | 2004 | Y. Moses | ||

Katz Natan | 2004 | V. Rom-Kedar | On models for tumor growth with dynamical oxygen supply | |

Kemelmacher-Shlizerman Irena | 2004 | R. Basri | Indexing with varying illumination and pose | |

Kharchenko Dmitriy | 2004 | S. Goldwasser | Verifiable encryption for the Ajtai-Dwork cryptosystem | |

Krieger Dalia | 2004 | A. Fraenkel | a 3-shift theorem | |

Lavie Ilana | 2004 | R. Basri | Identification of protein residues and amino-acid properties that determine binding specificity of G protein-coupledreceptors | |

Matichin Rachel | 2004 | D.Peleg | Hotlink assignment in web directories | |

Mitiaguine Anton | 2004 | A. Shamir | Analysis of neural cryptography | |

Nussbaum Asaf | 2004 | S. Goldwasser | Huge pseudo-random graphs preserving global properties of random graphs | |

Ousov-Fridin Marina | 2004 | T. Flash | Gesture language for telerobotics and virtual reality | |

Peer Guy | 2004 | D.Peleg | memory requirements and time bounds | |

Segal-Agmon Noa | 2004 | D.Peleg | Gathering autonomous mobile robots with faults | |

Haitner Iftach | 2004 | O. Goldreich | Implementing oblivious transfer using a collection of dense trapdoor permutations Currently at: Microsoft Research, New England | |

Shaham Oded | 2004 | D. Harel | On mapping between electronic noses | |

Vilenchik Dan | 2004 | U. Feige | Finding a satisfying assignment for random satisfiable 3CNF formulas | |

Waisbard Erez | 2004 | S. Goldwasser | New directions in constructing efficient and secure designated confirmer signatures | |

Wishko-Stern Sharon | 2004 | A. Brandt | An algebraic multigrid based algorithm for bisectioning general graphs | |

Nivasch Gabriel | 2004 | A. Fraenkel | on the location of the g-values Currently at: Blavatnik School of Computer Science, Tel Aviv University, Tel Aviv | |

Blumenfeld Barak | 2004 | M. Tsodyks, S. Ullman | Functional maps and intracortical connectivity in the primary visual cortex | |

Emek Yuval | 2004 | D.Peleg | Low stretch spanning trees Currently at: School of Electrical Engineering, Tel Aviv University | |

Gorelick Lena | 2004 | A. Brandt, R. Basri | Object recognition by silhouette shape | |

Kushnir Dan | 2004 | A. Brandt | Fast multi-scale clustering algorithm with application on cold and black matter simulations | |

Zelman Ido | 2004 | U. Alon | Mathematical model for C. elegans locomotion | |

Karlinski Leonid | 2005 | S. Ullman | The learning and use of graphical models for image interpretation | |

Korman Simon | 2005 | U. Feige | On the use of randomization in the online set cover problem | |

Lifshitz-Shpringer Ita | 2005 | S. Ullman | Image interpretation using bottom-up top-down cycle on fragment trees | |

Atir Yoram | 2005 | D. Harel | Object refinement and composition in scenario-based programming | |

Makmal Adi | 2005 | L. Kronik | Mn nano-crystals - A first principles study | |

Margel Shiri | 2005 | E. Domany | A method for reconstructing transcriptional regulatory networks | |

Shlizerman Eli | 2005 | V. Rom-Kedar | ||

Nadav Uri | 2005 | M. Naor | Fault-tolerant storage systems and quorum system for dynamic environment | |

Reichman Daniel | 2005 | U. Feige | Improved hardness results for 2-variable CSPs | |

Saad Neer | 2005 | A. Brandt | Multiscale algorithm for time-dependent one dimensional system | |

Sagiv Tal | 2005 | D. Peleg | Algorithms for localized topology control in ad-hoc networks | |

Tuvi Sivan | 2005 | E. Shapiro | Optimization algorithms for divide and conquer DNA synthesis protocol | |

Makedonska Nataliya | 2005 | A. Brandt | Multilevel Monte Carlo method with fast summation for point-dipole lattices | |

Ukrainitz Yaron | 2005 | M. Irani | Sequence alignment by maximizing space-time correlations | |

Barak Dan | 2005 | D. Harel | Horizontal scale-up and transition to design in scenario-based programming Currently at: CEO & Co-Founder of Bloggers Base | |

Ben-Dor Uri | 2005 | E. Shapiro | Compiling medical knowledge into molecular automata Currently at: HP Software R&D | |

Etin Alexey | 2005 | A.Pnueli | Parameterized SPL compiler | |

Cohen Daniel | 2005 | Y. Yomdin | Some quantitative results in singularity theory | |

Gabizon Ariel | 2005 | R. Raz | Deterministic extraction and other problems relating to weak random sources Currently at: Department of Computing Science, Simon Fraser Univesity, Vancouver | |

Benenson Yaakov | 2005 | |||

Gendelman Ilan | 2005 | T. Flash | Model-based control for an octopus arm | |

Gordin Ira | 2005 | A. Pnueli | Binary code validation tool (CVT/A) | |

Zahavi Gal | 2005 | Y. Yomdin | Solutions of large systems of O.D.E's as interpretation of evolutionary surfaces | |

Gronau Ilan | 2005 | E. Shapiro | Computational model for divide and conquer DNA synthesis protocol | |

Hoch Ya'Akov | 2005 | A. Shamir | Fault analysis of stream ciphers | |

Haddad Refael | 2005 | D. Harel | Predicting the molecular receptive range of an odorant receptor using an electronic nose | |

Michal Igell | 2005 | O. Reingold | On the universality of adversarial bit fixing sources | |

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

Zarkhi Shlomit | 2006 | Z. Artstein, E. Titi | On two-player zero-sum games with information | |

Barliya Avi | 2006 | T.Flash | An analytic approach | |

Dinerstein Michael | 2006 | S. Ullman | Classification and reconstruction using binocular features | |

Haviv Dvir | 2006 | Y. Yomdin | Model-based representation of generic singularities of surfaces | |

Barenholz Uri | 2006 | D. Peleg, U. Feige | Achieving a better approximation for min-sum vertex cover | |

Blank Moshe | 2006 | M. Irani | Actions as space-time shapes | |

Brand Michael | 2006 | Y. Kannai | The utilitarian solution revisited | |

Deitch Ronen | 2006 | R. Basri, M.Galun | Image denoising via non-convex minimization with multigrid Currently at: Ioimage Ltd | |

Dvir Zeev | 2006 | R. Raz | Derandomization Techniques in Computer Science | |

Efrima Asaf | 2006 | D. Peleg | Algorithms for partitioning swarms of autonomous mobile robots Currently at: Sagarmatha Ltd | |

Eyal Erez | 2006 | A. Brandt, H. Degani | A tool for dynamic imaging | |

Fuks Garold | 2006 | E. Domany | Predication of outcome of breast cancer at the time of diagnosis | |

Gradwohl Ronen | 2006 | O. Reingold | Protocols of selection and constructions of dispersers | |

Forkosh Oren | 2006 | R. Basri | Hierarchical mixture model construction using the remix algorithm Currently at: PhD student, Weizmann Inst. Rehovot | |

Hegaze Mohamed | 2006 | S. Ullman | Efficient similarity computation with variable neighborhood size in high-dimensional spaces | |

Klein Uri | 2006 | S. Ullman | A neurobiological feature hierarchies extraction network model for object classification Currently at: PhD Candidate, Courant Institute of Mathematical Sciences, New York University. | |

Linshiz(Tal) Jasmine | 2006 | Z. Artstein, E. Titi | analysis and numerics | |

Maizels Aviad | 2006 | A. Shamir | Differential error correcting codes | |

Marko Sharon | 2006 | R. Raz | Distance approximation in bounded-degree and general sparse graphs | |

Meoded Yaniv | 2006 | A. Regev | Balanced tableaux | |

Tirosh Itay | 2006 | N. Barkai | Evolution of gene expression in related yeast species | |

Perry Meital | 2006 | T. Flash | Noise models for simple and complex reaching movements | |

Yehudayoff Amir | 2006 | R. Raz | Arithmetic Circuits and Formulas | |

Rothblum Guy | 2006 | M. Naor | The complexity of online memory checking | |

Segev Idith | 2006 | V. Katsnelson | The Hawaiian conjecture | |

Gourevitch Dmitry | 2006 | S. Gelbart, J. Bernstein | Schwartz functions on Nash manifolds | |

Shpigelmacher Michael | 2006 | T. Flash | Directional-geometrical approach to via - point movement | |

Sokolovsky Alexander | 2006 | R. Raz, A. Shpilka | From derandomized affine homomorphism testing to derandomized homomorphism testing | |

Yadin Ariel | 2006 | I. Benjamini | Random Graph-Homomorphisms, Random-Graph Properties and Random Walks | |

Trayambaka Nath Karra | 2006 | T. Flash | ||

Admanit Yishai | 2007 | E. Shapiro, E. Segal | Advanced algorithms for inferring cell lineage trees | |

Barhum Kfir | 2007 | O. Goldreich | Approximating averages of geometrical and combinatorial quantities | |

Barkan Gilad | 2007 | R. Basri | Segmentation-based long range motion estimation Currently at: Rad Vision | |

Izkovsky Roey | 2007 | I. Benjamini | The tale of two phase transitions | |

Bright Ido | 2007 | T. Flash | Motion planning through optimization | |

Maoz Hillel | 2007 | M. Naor | An n 2/5 upper bound for the greedy diameter of general graphs Currently at: Google, Tel Aviv | |

Meirovich Yaron | 2007 | T. Flash | Kinematic analyses of the Israeli sign language | |

Merom Ron | 2007 | D. Harel | Distributed collaborative play-out of live sequence charts | |

Oren Yossef | 2007 | A. Shamir | Remote power analysis of RFID tags Currently at: Tel-Aviv University | |

Peled Tomer | 2007 | R. Basri | Towards segmentation-based scene understanding Currently at: Elbit Systems Electro-optics-Elop Ltd. | |

Field Yair | 2007 | E. Segal | In-silico study of chromatin structure | |

Raveh Barak | 2007 | R. Basri | Rediscovering secondary structures by searching for repetitive patterns in graphs of protein folds Currently at: PhD student, Hebrew University | |

Segev Gil | 2007 | V. Katsnelson | Tight bounds for unconditional authentication protocols in the manual channel and shared key models | |

Ruinskiy Dima | 2007 | A. Shamir | The security of cryptosystems based on combinatorial groups Currently at: Intel, Haifa | |

Sadka Tali | 2007 | E. Segal | A thermodynamic approach | |

Binyamini Gal | 2007 | A. Joseph | Semi-invariants for biparabolic (Seaweed) algebras | |

Sarig Niv Moshe | 2007 | Y. Yomdin | Robust reconstruction of nonlinear model parameters from measurement data | |

Segall Itai | 2007 | D. Harel | Mutual usage of scenario-based programming and AI planning | |

Reif Shifra | 2007 | M. Gorelik | On simplicity of W-algebras Wk (SI(2|n),f theta) | |

Shahmoon Shahar | 2007 | E. Segal | Inferring regulator activity levels in transcription systems | |

Arie-Nachimson Mica | 2007 | R. Basri | Multiview object detection using a probabilistic 3D class model | |

Sheffet Or | 2007 | O. Goldreich | Reducing the randomness complexity of property testing with an emphasis on testing bipartiteness | |

Tsur Gilad | 2007 | O. Goldreich | Polylogarithmic time and query complexity | |

Gordon Michal | 2007 | S. Ullman | Improving performance and applying cascades in visual classification | |

Ronen Jonathan | 2007 | Z. Artstein | Linear Feedback Stabilization of Controlled Switched Systems | |

Samet Nadav | 2008 | G. Schechtman, B.Tsaban | Ramsey theory of open covers Currently at: Google, Mountain View, California | |

Shellef Eric | 2008 | I. Benjamini | Random interacting particle systems | |

Bagon Shai | 2008 | M. Irani | What is a good image segment? Currently at: PhD student, Weizmann Inst., Rehovot | |

Adjiashvili David | 2008 | D. Peleg | Equal-area locus-based convex polygon decomposition | |

Baruch Leehod | 2008 | E. Shapiro, Eran Segal | Empirical evidence and implications of the chemoaffinity hypothesis | |

Eiger Dror | 2008 | S. Goldwasser | Proactive secret sharing with partial erasures Currently at: Google, Tel Aviv | |

Ettinger Boris | 2008 | E. Titi | Global existence and uniqueness of weak solutions of the three dimensional Euler equations with helical symmetry | |

Ganmor Elad | 2008 | |||

Kleinbort Asaf | 2008 | D. Harel | An LSC compiler | |

Kol Gillat | 2008 | M. Naor | Games for exchanging information | |

Kramer Tal | 2008 | O. Reingold | On the universality of bit fixing sources | |

Kritchman Shira | 2008 | B. Nadler | Determining the number of components in a factor model from limited noisy data | |

Meir Or | 2008 | O. Goldreich | Combinatorial construction of locally testable codes | |

Peled (Hadad) Udi | 2008 | A. Fraenkel, A. Regev | Polynomializing hard sequences using surrogate sequences | |

Poupko Ouri | 2008 | D. Harel | Specifying and executing web service choreography using live sequence charts | |

Rabani Michal | 2008 | E. Segal | A Probabilistic model for identifying RNA motifs in unaligned sequences | |

Dubey Chandan | 2009 | U. Feige | On bandwidth approximation on graphs | |

Efremenko Klim | 2009 | O. Reingold | How well do random walks parallelize? | |

Frumkin Dmitry | 2009 | A.Shamir | The security of RFID tag identification schemes | |

Gilat Tom | 2009 | Z. Artstein | Periodic solutions to long run average optimization problems - existence proof for a specific example | |

Granot-Atedgi Einat | 2009 | E. Schneidman | Stimulus-dependent maximum entropy models and decoding of naturalistic movies form large populations of retinal neurons | |

Halprin Ran | 2009 | M. Naor | Using human play to enhance robust pseudo-random generators | |

Kadmiel Omer | 2009 | A. Shamir | Multivariate cryptography - a univariate approach | |

Kaminka Yuval | 2009 | S. Ullman, E. Schneidman | Error correction and prediction in a model of the feedback projection from the primary visual cortex to the lateral geniculate nucleus | |

Lakritz Adi | 2009 | E. Schneidman | Individual learning and collective behavior in models of group swarming | |

Malev Sergey | 2009 | D. Novikov | Linear estimate for the number of zeros of Abelian integrals | |

Rosenfeld Menachem | 2009 | B. Nadler | Semi-supervised classification with class-dependent parameters | |

Shafrir Doron | 2009 | A.Joseph | Duality of orbits and invariants in representations of Lie algebras | |

Zeldin Maria | 2009 | S. Ullman | Combining skin color and segmentation to detect people in images | |

Noor Elad | 2009 | |||

Chechik Shiri | 2009 | D. Peleg | Fault-tolerant structures in graphs | |

Kantor Amir | 2009 | D. Harel | Foundations of scenario-based modeling | |

Lubliner Shai | 2009 | E. Segal | New algorithms for motif finding and for genome-wide prediction of nucleosome occupancy | |

Manor Ohad | 2009 | E. Segal | Studying the relations between microRNA and mRNA expression profiles in hESCs | |

Stern Shani | 2010 | A. Tanay | A computational model for prediction of polycomb recruitment elements in fruit flies embryos | |

Shinkar Igor | 2010 | I. Dinur | Intersecting families, independent sets and coloring of certain graph products | |

Talgam-Cohen Inbal | 2010 | U. Feige | A direct reduction from k-player to 2-player Nash Equilibrium | |

Tzur Yoav | 2010 | O. Goldreich | Notions of weak pseudorandomness and GF(2n)- polynomials | |

Avigad Lidor | 2010 | O. Goldreich | On the lowest level of query complexity in testing graph properties | |

Arbitman Yuriy | 2010 | M. Naor | Efficient dictionary data structures based on cuckoo hashing | |

Arkind Noaz | 2010 | B. Nadler | Parametric joint detection-estimation of the number of sources in array processing | |

Berger Tal | 2010 | D. Harel | Superstep reuse during smart play-out of reactive systems | |

Brostovski Ori | 2010 | M. Irani | Detecting the Common | |

Gat Eran | 2010 | S. Goldwasser | On the canonization of probabilistic algorithms | |

Hodis Eran | 2010 | E. Segal | Divergent gene regulation and Overlapping codes in protein-coding sequences | |

Josef Shlomo | 2010 | U. Feige | Local algorithms for the maximum directed cut problem | |

Kenigsberg Ephraim | 2010 | A. Tanay | Testing the selection hypothesis for the nucleosome positioning sequence | |

Dinur Itai | 2010 | A. Shamir | New methods of cryptanalysis | |

Landan Gilad | 2010 | A. Tanay | Functional enhancers at the gene-poor 8q24 cancer-linked locus epigenetic switching in immortalized fibroblast culture | |

Levo Michal | 2010 | E. Segal | Transcriptional lego- from promoter building blocks, mediating nucleosomes and transcription factors binding, to expression | |

Mazor Elad | 2010 | E. Segal | High-throughput measurement of RNA secondary structure | |

Mazor Yair | 2010 | E. Shapiro | DNA libraries construction via DNA editing- design and planning | |

Mendelson-Cohen Netta | 2010 | A. Tanay | DNA methylation and the evolution of CpGs in the human genome | |

Novikov Sergey | 2010 | O. Reingold | On derandomized direct product theorems | |

Orenshtein Tal | 2010 | G. Kozma & B. Tsaban | Global Topological properties and convergence of real functions | |

Ozana Eilam Shira | 2010 | S. Ullman H. Slovin | development of an image identification decoder for voltage-sensitive dye signal in early visual cortex of fixating monkeys | |

Batenkov Dmitry | 2010 | Y. Yomdin | Algebraic reconstruction of geometric models from integral measurements | |

Birnbaum Aharon | 2011 | B. Nadler | Eigenvector estimates in sparse PCA- a correlation approach | |

Benditkis Sergey | 2011 | D.Novikov | On the number of zeroes of iterated integrals | |

Berkowitz Kalman | 2011 | S. Ullman | Combining Top-Down and Bottom-Up methods in the segmentation of a clothed torso in images | |

Gispan Ariel | 2011 | |||

Huberman David | 2011 | S. Ullman | Detection of minimal recognizable parts | |

Levy Ran | 2011 | G. Schechtman | Stabilizing isomorphisms from lp (l 2) into L p | |

Manber Shelly | 2011 | S. Gelbart | An elementary and computational approach to Heegner points | |

Nissim Amir | 2011 | D. Harel | Combining behavioral programming and fuzziness for hybrid control systems | |

Segal Barak | 2011 | E. Segal | Controlling cell to cell expression variability by DNA sequence | |

Oded Noa | 2011 | A. Tanay | Models for comparative epigenomics and their applications to the evolution of polycomb recruiting elements in drosophila embryos | |

Patish Uri | 2011 | S. Ullman | Classifying images by semantic knowledge | |

Chapal Ilani Noa | 2011 | E. Shapiro | Quantifying the ability to reconstruct a cell-lineage tree using microsatellite mutations and characterizing their mutation rates by tracking cell divisions | |

Kor Liah | 2011 | D. Peleg | Time and communication for distributed verification | |

Kolc Mary Elizabeth | 2011 | S. Ullman | Determining head orientation and gaze direction from single images | |

Rothblum Ron | 2011 | O. Goldreich | On homomorphic encryption and enhanced trapdoor permutations | |

Shahar Oded | 2011 | M. Irani | Space-time super-resolution from a single video | |

Tamuz Omer | 2011 | E. Mossel | Estimation in modern contexts | |

Shimon Hila | 2011 | |||

Yaari Yariv | 2011 | I. Benjamini | Estimation in modern contexts | |

Yankielowicz Keren Leeat | 2011 | E. Segal | Exploring the relationship between transcriptional control and metabolic network structure in Saccharomycescerevisiae | |

Hafets Ora | 2012 | E. Segal | Promoter activity in S. cerevisiae maintains proportionality under different growth conditions | |

Katz Guy | 2012 | D. Harel | Non-intrusive repair of behavioral programs | |

Klots Michael | 2012 | S. Ullman | Context-free detection and classification of minimal recognizable images and configurations | |

Meir Moran | 2012 | R. Basri | fibers, blood vessels and neurons | |

Reznik Aviv | 2012 | O. Goldreich | Finding k-paths in cycle-free graphs | |

Sherman Dana | 2012 | D. Harel | Computer Modeling of the vibrissa sensorimotor system in rats | |

Zondiner Tamar | 2012 | R. Krauthgamer | Eliminating steiner vertices in graph metrics | |

Arbitman Alina | 2012 | U. Feige | Planted random 3SAT with a small fraction of 1-clauses | |

Bartal Ofer | 2012 | R. Basri | Photometric stereo with unknown lighting and specular reflectance | |

Douek Yehonatan | 2012 | E. Shapiro | Bio-computers which operate in living cells for smart diagnosis and treatment | |

Dvir Shlomi | 2012 | E. Segal | Unraveling the effect of 5'UTR sequences on protein expression in yeast | |

Eitan Nir | 2012 | D. Harel | Adaptive behavioral programming | |

Factor Alon | 2012 | M. Irani | Visual inference by collaborative composition using the "wisdom of crowds of images" | |

Finucane Hilary Kiyo | 2012 | I. Dinur | Gap amplification-based constructions of locally testable codes and low-locality and low-degree cryptography | |

Ganor Anat | 2012 | R. Raz | Efficient communication | |

Goldberg Lior | 2012 | V. Berkovich | Extensions of Wythoff's game | |

Braunschvig Gilad | 2013 | D. Peleg | Fault tolerant spanners | |

Gonshorovitz Itay | 2013 | U. Feige | Reducing the Maximum flow | |

Gelman Evgeny | 2013 | T. Flash | Solution of convolutionary Blibd source separation problem using restricted Boltzmann machines. Blind source separation of motion data. | |

Zinger Eldad | 2013 | A. Shamir | Practical polynomial time known plaintext attacks on a stream cipher proposed by John Nash | |

Teumkin Boris | 2013 | S. Ullman | Body parts detection using reinforcement learning | |

Talmon Nimrod | 2013 | R. Krauthgamer | Selection in the presence of memory faults, with applications to in-place resilient sorting | |

Inbar Mosseri | 2013 | M. Irani | Combining the power of internal and external denoising | |

Friedman Dan | 2013 | A. Tanay | Mixture of variable order Markov models for integrative modeling of enhancer sequence compositions and robust motif finding | |

Inbal Rika | 2013 | R. Krauthgamer | Mimicking networks and succinct representations of terminal cuts | |

Daon Yair | 2013 | S. Omri | Bernoullicity of equilibrium measures on countable Markov shifts | |

Hermon Jonathan | 2013 | I. Benjamini | The Social Network Model | |

Chen Jun | 2013 | I. Benjamini, G. Kozma | A class of multi-particle reinforced interacting random walk | |

Gur Tom | 2013 | R. Raz | Arthur-Merlin streaming complexity | |

David Roee | 2013 | U. Feige | Finding planted colorings in random geometric graphs | |

Lubling Yaniv | 2013 | A. Tanay | Exploring the organization of the mouse genome in the nucleus on a single-cell level | |

Moscovich Eiger Amit | 2013 | B.Nadler | Theory and applications | |

Komargodski Ilan | 2013 | R. Raz | Average-case lower bounds for formula size | |

Porat Motke | 2013 | H. Dym, O. Zeituni | Topics in rational matrix valued functions | |

Ramote Omer | 2013 | U. Alon | Estimating the environmental demand for genes from their sequence and expression level | |

Maoz Ori | 2013 | E. Schneidman | Temporal noise in populations of retinal neurons | |

Nahum Yinon | 2014 | D. Peleg | Diffusion models for money laundering detection | |

Polak Inna | 2014 | A. Shamir | Using random codes to improve algorithms for finding near-collisions in hash-functions | |

Kirbus Raviv | 2014 | D. Harel | A computational model of the mechanical behavior of cell division | |

Sherman Uri | 2014 | U. Feige | A different perspective for approximating max set packing | |

Waxman Ezra | 2014 | D. Gourevitch | Local fields, global fields, and the meromorphic continuation of Zeta functions | |

Dekel Ron | 2014 | S. Dov | Tilt aftereffect induced by viewing natural images | |

Zacay Barak | 2014 | A. Gal-Yam | high-resolution wide-field imaging using physically small detectors | |

Livshits Anna | 2014 | E. Domany | Analysis of pathway deregulation in breast cancer | |

Kohen Dovrat | 2014 | T. Flash | ||

Regev Ifat | 2014 | E. Segal | ||

Ofir Nati | 2014 | R. Basri | Efficient bayesian detection of faint curved edges in noisy images | |

Wagner Tal | 2014 | U. Feige | Generalized girth problems in graphs and hypergraphs | |

Horev Inbal | 2014 | B. Nadler | a sub-linear approach | |

Yogev Eylon | 2014 | M. Naor | Tight bounds for sliding Bloom filters | |

Vainberg Slutskin Ilya | 2015 | E. Segal | Unraveling grammatical rules of gene expression regulation by systematic sequence manipulations of 3' UTRs | |

Lifshitz Aviezer | 2015 | A. Tanay | Assessment of tumor samples heterogeneity using DNA methylation patterns | |

Hirszhorn Ariel | 2015 | S. Ullman | Contour Representation: Combining Biological and Computational Considerations | |

Kakhlon Noam | 2015 | D. Gourevitch | Hyper-distinguished nilpotent orbits in Lie algebras and Gelfand property of symmetric pairs | |

Atzmon Matan | 2015 | O. Zeitouni | The modified branching random walk with random envirnoment | |

Yagev Stav | 2015 | M. Irani | Software-Based Glass-Free Displays | |

Maron Haggai | 2015 | A. Levin | A passive 8D display: Light and viewpoint sensitive display of 3D content | |

Kukliansky Doron | 2015 | O. Shamir | Attribute efficient linear regression with data-dependent sampling | |

Meir Omer | 2015 | R. Basri | A multiscale variable-grouping framework for MRF energy minimization | |

Cohen Nadav | 2015 | A. Tanay | Biclustering single cell RNA-sequencing data | |

Libman Eliahu | 2015 | Y. Lipman | Average shape co-registration and foreground-background motion segmentation under a bounded distortion model | |

Shikhelman Clara | 2015 | E. Friedgut | Thresholds of monotone properties with small minterms | |

Loewenthal Noa Dina | 2015 | R. Krauthgamer | Exploiting temporal information for detecting communities in social networks | |

Aharon Inbar | 2015 | Y. Lipman | Two-layer Alignment between Images | |

Ziv Asaf | 2015 | M. Naor | Primary-Secondary-Resolver membership proof systems | |

Livni Navon Inbal Rachel | 2015 | A. Shamir | Image watermarking techniques which are robust against geometric distortions | |

Kogan Dmitry | 2015 | R. Krauthgamer | Sketching cuts in graphs and hypergraphs | |

Gutman Masha | 2015 | A. Shamir | Improved top-down techniques in differential cryptanalysis | |

Granot Elad | 2015 | M. Irani | Inferring missing Z-Axis resolution from high-resolution X-Y slices | |

Mor Ami | 2015 | S. Dobzinski | Three problems in submodular optimization | |

Amir Tal | 2015 | R. Basri | Multi-view structure from motion using rank-constrained optimization | |

Lotan Or | 2015 | M. Irani | Needle-Match: Reliable Patch Matching under High Uncertainty | |

Shaviv Ary | 2015 | M. Gorelik | On the correspondence of affine generalized root systems and symmetrizable affine Kac-Moody superalgebras | |

Shwartz Ofer | 2015 | B. Nadler | Computing the large entries of a sparse covariance matrix in sub-linear time | |

Tanny Shira | 2015 | S. Yakovenko | Local Weyl equivalence of higher order Fuchsian equations | |

Yarom Michal | 2016 | M. Irani | Temporal-Needle: a view-invariant and appearance-invariant video descriptor | |

Kezurer Itay | 2016 | Y. Lipman | Tight relaxation of quadratic matching | |

Eshed Aviv | 2016 | S. Yakovenko, B. Tsaban | Structure of topological groups over metric spaces | |

Valansi Jordan | 2016 | O. Shamir | Multi-player Multi Armed Bandit | |

Dagmi Or | 2016 | Z. Brakerski | More efficient circuit obfuscation in challenging security models | |

Teichner Lee Abe | 2016 | I. Dinur | Low-degree decoders with sub-constant robust list-decoding soundness for all coordinates | |

Cohavi Keren | 2016 | S. Dobzinski | Reductions in algorithmic mechanism design and their applications | |

Himlich Shtacher Idan | 2016 | D. Harel | Crowd programming for reactive systems | |

Abu Rmaileh Lubna | 2016 | V. Rom-Kedar | Characterizing islands in area-preserving maps | |

Marcus Neta | 2016 | D. Peleg | Two-party games on graphs: the domination game and the independence game | |

Attias Chen | 2017 | R. Krauthgamer | Combinatorial optimization problems with testing | |

Attias Chen | 2017 | R. Krauthgamer | Combinatorial optimization problems with testing | |

Attali Shirel | 2017 | D. Peleg | Wireless expanders | |

Van Handel Otniel | 2017 | R. Krauthgamer | Vertex cover approximation in data streams | |

Sabah Sima | 2017 | M. Irani | The "AVI" descriptor: An Appearance and Viewpoint Invariant local video descriptor | |

Pnueli Michal | 2017 | V. Rom-Kedar | Dynamics in a Hamiltonian Impact System | |

Ovadia Shahar | 2017 | S. Dobzinski | Combinatorial cost sharing | |

Navon Tal | 2017 | D. Peleg | Fault tolerant network design problems based on mixed backup and reinforcement | |

Mintzer Sefi (Yosef) | 2017 | N. Barkai | Divergence of duplicated transcription factors: Msn2 and Msn4 as a test case | |

Mikulincer Dan | 2017 | R. Eldan | Information and dimensionality of anisotropic random graphs | |

Mezuman Leanne | 2017 | S. Yakovenko | Classification of non-Fuchsian linear differential equations | |

Levkovich Neta | 2017 | E. Segal | Detection of correlations between microbiome strains and resulting human phenotypes | |

Leshkowitz Maya | 2017 | O. Goldreich | On round complexity and randomness complexity in interactive proofs | |

Klein Jennifer | 2017 | D. Peleg | Let there be light: Empowering robot swarms | |

Kenyon Anne | 2017 | U. Feige | On the profile of multiplicities of complete subgraphs | |

Hitron Yael | 2017 | U. Feige | The ordered cover problem | |

Dudley Carmel | 2017 | A. Tanay | Inferring large-scale chromosomal compartmentalization using single-cell Hi-C | |

Dror Omer | 2017 | B. Nadler | Unsupervised ensemble regression | |

Cohen Tal | 2017 | T. Gelander | Topological Gaschutz Lemma | |

Benarroch Guenun Daniel Messod | 2017 | Z. Brakerski | Fully homomorphic encryption over the Integers: Decomposed and batched in the post-quantum regime | |

Ben Ovadia Snir | 2017 | O. Sarig | Symbolic dynamics for non-uniformly hyperbolic diffeomorphisms of compact smooth manifolds |