MSc. Alumni by Name MSc. Alumni by Year PhD. Alumni by Name PhD. Alumni by Year Name Year of Graduation Advisor Thesis Currently at Avihu Ginzburg 1961 C.L. Pekeris  Geophysical studies in the central and northern coastal plains and the western Emeq  Dept. of Geophys. & Planetary Sci., Tel Aviv University, Ramat Aviv (Emeritus)  avihuluna.tau.ac.il Lejb Finkelstein 1962 C.L. Pekeris  Transport phenomena in rarefied gases  -  Michael Shimshoni 1962 J. Gillis  Numerical solution of the Navier-Stokes equations in order to obtain exact information on the development of the boundary layer and the flow in it  (Deceased)  Flavian Abramovici 1964 C.L. Pekeris  Propagation of seismic pulses in a layered solid  Dept. of Applied Mathematics, Tel AvivUniversity, Ramat Aviv   c35post.tau.ac.il Krzysztof Frankowski 1964 C.L. Pekeris  Heat transport between parallel plates in a rarefied gas of rigid sphere molecules  Dept. of Computer Science/Engineering, University of Minnesota, Minneapolis (Retired)  frank002cs.umn.edu Hanna Lifson 1964 C.L. Pekeris  P states of Helium  Faculty of Agriculture, Hebrew University, Rehovot (Emerita)  Lapidot.yarongmail.com Achiezer Brandt 1965 J. Gillis  Solutions of equations in hydrodynamics and magneto hydrodynamics  Dept. of Computer Sci.& Appl. Mathematics, Weizmann Institute, Rehovot  achi.brandtweizmann.ac.il Pnina Kornfeld 1965 Z. Alterman  Propagation of a seismic pulse within an elastic fluid sphere  -  Itzhak Borosh 1966 A. Fraenkel  Hausdorff dimension of sets arising in Diophantine approximations  Mathematics Dept., Texas A&M University, College Station  boroshmath.tamu.edu Menahem Friedman 1967 J. Gillis  Solutions of equations in hydrodynamics  -  Amir Pnueli 1967 C.L. Pekeris  Solution of tidal problems in simple basins  Dept. of Computer Sci. & Appl. Mathematics, Weizmann Institute, Rehovot   amir.pnueliweizmann.ac.il Gideon Zwas 1967 S. Abarbanel  Hydrodynamics of reflected detonation waves  (Deceased - 16.1.2000)  Jacob Aboudi 1968 Z. Alterman  Propagation of a seismic pulse within a layered sphere  Dept. of Solid Mechanics, Materials& Structures, Tel Aviv University, Ramat Aviv   aboudieng.tau.ac.il Nadav Liron 1969 J. Gillis  Solution of time-dependent Navier Stokes equations  Dept. of Mathematics, Technion, Haifa  lironleeor.technion.ac.il Menashe Simhi 1969 S. Ruhman  High speed assembly line matrix processor  Independent advisor, Givataim  simhimiwalla.com Mayer Humi 1970 B. Kaufman  Factorization of second order operators and their applications  Mathematical Sciences Dept., Worcester Polytechnic Institute, Worcester   mhumiwpi.edu Nira Dyn (Richter) 1970 P. Rabinowitz  Optimal and minimum norm approximations to linear functionals in Hilbert spaces, and their application to numerical integration  Dept. of Appl. Mathematics, Tel Aviv University, Ramat Aviv  niradynmath.tau.ac.il Dan Loewenthal 1971 Z. Alterman  Numerical solutions for elastic two-dimensional corner problems  (Deceased)  Martin Rosenman 1972 A. Ben-Menahem  Reconstruction of the seismic source from the spectrums of its far radiation field  -  Yigal Accad 1973 C.L. Pekeris  Ocean tides, gravity tide and bodily tide in the earth  EFI Company, Palo Alto  my.accadgmail.com Gideon Ehrlich 1973 S. Even  Loopless algorithms for generating permutationscominations, and other combinatorial configurations   Dept. of Mathematics & Computer Sci.,Bar Ilan University, Ramat Gan (Emeritus)   Ehrlichgidgmail.com Ahiezer Shaki 1973 A. Fraenkel  Simultaneous approximation to algebraic numbers by rationals  Dept. of Mathematics, Bar Ilan University, Ramat Gan  shakia100gmail.com Marcel Sidi 1973 I. Horowitz  Synthesis of feedback systems with large plant ignorance for prescribed time-domain tolerances  Dept. of Electrical Engineering, Technion, Haifa   sidihit.ac.il Dorit Carmeli 1974 S. Karlin  Some population genetic models combining artificial and natural selection pressures  Stanford Research Institute, Palo Alto  dcarmelliyahoo.com Michael Cwikel 1974 Y. Sagher  Some results in the Lions-Peetre interpolation theory  Dept. of Mathematics, Technion, Haifa  mcwikelmath.technion.ac.il Fanica Gavril 1974 S. Even  Effective algorithms for minimum coloring maximum clique and recognition of some families of graphs  RAFAEL, Kiriat Bialik  gavrilcs.technion.ac.il Yaacov Intrator 1974 A. Brandt  Transportation problems  -  Allan Pinkus 1974 S. Karlin  Some topics in approximation theory  Dept. of Mathematics, Technion, Haifa  pinkustx.technion.ac.il Yosef Rinott 1974 S. Karlin  Some multivariate concepts of montonicity, convexity and total positivity with application to probability inequalities  Dept. of Statistics, Hebrew University, Jerusalem  rinottmscc.huji.ac.il Yehoshua Perl 1975 S. Even  Efficient generation of optimal prefix code-equiprobable words using unequal cost letters  Computer Science Dept., New Jersey Institute of Technology, Newark   yehoshua.perlgmail.com Harold Rabbie 1975 I. Horowitz  Design techniques for time-varying control systems with plant parameter ignorance  NextHop Technologies, Mountain View   hrabbietilera.com Uri Shaked 1975 I. Horowitz  Synthesis of multivariable linear, time-invariant, feedback control systems  Dept. of Electrical Engineering Systems, Tel Aviv University, Ramat Aviv  shakedeng.tau.ac.il Nissim Francez 1976 A. Pnueli  The analysis of cyclic programs  Computer Science Dept., Technion, Haifa  francezcs.technion.ac.il Moshe Israel 1976 A. Ben-Menahem  Static and dynamic response of the earth to seismic events  RAFAEL, Kiriat Bialik  imoshe012.net.il Alon Itai 1976 S. Even  Multi commodity flow  Computer Science Dept., Technion, Haifa  itaicstechnion.ac.il Yosef Shiloah 1976 S. Even  Linear and planar arrangements of graphs  I.B.M., Haifa  shiloachil.ibm.com Moshe Vered 1976 A. Ben-Menahem  Theoretical seismograms for multipolar sourcesin real earth models and their application to seismic mechanism studies   Ministry of Defense  Doron Zeilberger 1976 H. Dym  New approaches and results in the theory of discrete analytic functions  Dept. of Mathematics, Rutgers University, New Brunswick  zeilbergmath.rutgers.edu Haim Avni 1977 S. Karlin  Models in mathematical genetics  EMC Corporation, Hopkington  haimavnigmail.com Shoshana Farkash (Rosengarten) 1977 S. Karlin  Equilibrium behavior of population genetic models with partial assortative mating  (Deceased)  Oded Kariv 1977 S. Even  An O(n 2.5) algorithm for finding a maximum matching in a general graph  Lawyer, office in Tel Aviv  mozesmozesadv.co.il Shmuel Katz 1977 Z. Manna  Invariants and the logical analysis of programs  Computer Science Dept., Technion, Haifa  katzcs.technion.ac.il Adi Shamir 1977 Z. Manna  The fixed points of recursive definitions  Dept. of Appl. Mathematics &Computer Sci., Weizmann Institute, Rehovot   adi.shamirweizmann.ac.il Aharon Shapiro 1977 I. Horowitz  Synthesis of oscillating adaptive systems  -  aroszapzahav.net.il Rony Attar 1978 A. Fraenkel  Automatic feedback in full-text retrieval systems by local clustering  In banking, Sydney  ronyawal.com.au Naftali Kravitsky 1978 H. Dym  On the spectral theory of the string equation  (Deceased - 10.3.1998)  Patrick Rosenbaum 1978 I. Horowitz  Reduction of the cost of feedback in systemswith large parameter uncertainty   -  patrickpiersoncapital.com Isaac Rubinstein 1978 L. Segel  Theoretical models for electrodialysis  Institute for Desert Research,Ben Gurion University, Sde Boker   robinstbgu.ac.il Nachum Dershowitz 1979 Z. Manna  The evolution of programs  School of Computer Science,Tel Aviv University, Ramat Aviv   nachumdtau.ac.il Ron Kenett 1979 S. Karlin  Studies in enzyme kinetics  KPA Ltd., Ra'anana  ronkpa.co.il Linda Neumann 1979 S. Amitzur  Three topics in the theory of non-commutative rings  EL-OP Electro Optics Industries, Rehovot  linda.neumannelbitsystems.com Yehuda Sylman 1979 N. Liron  Mathematical modelling of urban air pollution  Applied Materials, Rehovot  Yehuda_Sylmanamat.com Te-Shing Wang 1979 I. Horowitz  Quantitative synthesis of multiple loop feedback systems with large plant uncertainty  -  Yaakov Yesha 1979 A. Fraenkel  Theory of annihilation games  Computer Science Dept., Universityof Maryland, Baltimore   yayeshaumbc.edu Michael Cutler 1980 Z. Riesel  Problems in the layout of printed and integrated circuits  Dept. of Computer Science, StateUniversity of New York, Binghamton   cutlerbinghamton.edu Nathan Dinar 1980 A. Brandt  Fast methods for the numerical solutions of boundary value problems  Dept. of Appl. Mathematics &Computer Sci., Weizmann Institute, Rehovot   Nathan.dinargmail.com Danny Dolev 1980 E. Shamir  A comparative study of synchronization byparallel control systems   School of Computer Sci. & Engineering, HebrewUniversity, Jerusalem   dannydolev.us Meira Falkowitz - Halpern 1980 L. Segel  Diffusion in unstirred bulk  -  meirafhleland.stanford.edu Amos Gera 1980 I. Horowitz  Feedback systems with highly uncertain plants  ELTA Electronic Industries, Ashdod  George Karakostas 1980 Z. Artstein  Asymptotic behavior of causal operator equations  Dept. of Mathematics, The University of Ioannina, Ioannina  gkarakouoi.gr Sofia Levin 1980 I. Gohberg  Asymptotic properties of Toeplitz matrices  Israel Aircraft Industries  levin.soniagmail.net Francis Mantel 1980 P. Rabinowitz  Rectangulary symmetric multidimensional cubature structures  -  Dan Ophir 1980 A. Brandt  Language for processes of numerical solutions to differential equations: Grid Language (GL) and Grid Systems (GS)  Dept. Computer Sci. & Mathematics, The College of Judea and Samaria, Ariel  danoariel.ac.il Joseph Stein 1980 A. Tannenbaum  On the structure of Klein manifolds  Center for Technological Education, Holon  yosef_stmilk.cteh.ac.il Michael Boshernitzan 1981 H. Dym  An extension of Hardy's class L of ``order of infinity"  Dept. of Mathematics, Rice University, Houston  michaelmath.rice.edu Shoshana Hardt (Loeb) 1981 L. Segel  Diffusion processes in structured media  Bell Communications Research, Morristown  shoshana.loebgmail.com Shmuel Kiro 1981 Y. Kannai  On the existence of holomorphic and realanalytic solutions of linear partial differential equations   Advisor, private industry  shmuel.kirogmail.com Sany Leinwand 1981 T. Lamdan  Automatic design verification and test generation for digital systems  -  Uzi Tassa 1981 A. Fraenkel  Strategies for compound of partizan-games  -  uzitassanetvision.net.il Elic Yavor 1981 S. Karlin  Topics in total positivity. Tchebycheff systems and maximally oscillating functions  ELTA - Israel Aircraft Industries  yavoris.elta.co.il Lea Edelstein-Keshet 1982 L. Segel  Modelling biological growth with fungi and plants as examples  Dept. of Mathematics, University of British Columbia, Vancouver  keshetmath.ubc.ca Amy Novick-Cohen 1982 L. Segel  Non-linear aspects of the Cahn-Hilliard equation  Dept. of Mathematics, Technion, Haifa  amynctx.technion.ac.il Vladimir Shuchman 1982 Y. Kannai  Degenerate ordinary differential equations in Hilbert spaces  Inst. de Matematica, Univ. Federal do Rio de Janeiro, Rio de Janeiro   vladimirdmm.im.ufrj.br David Steinberg 1982 Z. Riesel  Iterative permutation networks  -  Mira Balaban 1983 P. Rabinowitz, A. Shamir  Towards a computerized analytical research of tonal music  Dept. of Computer Sci., Ben Gurion University, Beer Sheva  miracs.bgu.ac.il Moshe Mor 1983 A. Fraenkel  Character manipulation for information processing  Computer Sci. Dept., Bar Ilan University, Ramat Gan  morcs.biu.ac.il Boris Golubev 1984 I. Horowitz  Nonlinear feedback systems with large uncertainties  (Deceased)  Israel Koltracht 1984 I. Gohberg  On resolving of integral equations with special and discrete analogues  (Deceased)  Miron Livny 1984 M. Melman  The study of load balancing algorithms for decentralized distributed processing systems  Computer Sciences Dept., University of Wisconsin, Madison  mironcs.wisc.edu Isaac Scherson 1984 S. Ruhman  Multioperand associative processing and application to tomography and computer graphics  Dept. of Information and Computer Science, University of California, Irvine   isaacuci.edu Gilead Tadmor 1984 Z. Artstein  The structure of hereditary and nonlocal systems  Electrical & Computer Engineering Dept., Northeastern University, Boston  tadmorcoe.neu.edu Ruth Azor 1985 I. Horowitz, Y. Kannai  Quantitative synthesis of feedback systemswith distributed uncertain plants   Israel Aircraft Industries  ruth.meir.azorgmail.com Dov Bai 1985 A. Brandt  Multilevel techniques for the solution of inverse problems and local mesh refinement  Software Engineer II, Become Inc., Mountain View, CA  dov.baigmail.com David Belogus 1985 L. Segel, Z. Riesel  Methodology and software tools for modelingand simulating multifaceted systems, with applications to microprocessor digital control and aerospace systems   Tadiran, Holon  davidbelle44gmail.com Nir Cohen Sala 1985 I. Gohbergß  On spectral analysis and factorization of rational matrix functions  Dept. of Applied Mathematics,University of Campinas, Campinas  nirime.unicamp.br Arie Leizarovitz 1985 Z. Artstein  Control problems on infinite horizon  Dept. of Mathematics, Technion, Haifa  latx.technion.ac.il Flavia Rosemberg 1985 S. Ruhman  Coordination in distributed systems organized around a common bus  MABAT, Yehud  Jeanette Pruzan Schmidt 1985 E. Shamir, A. Fraenkel  Random graph techniques with applications to difficult combinatorial problems  Dept. of Bioengineering, Stanford University, California  schmidtjstanford.edu Shlomo Ta'Asan 1985 A. Brandt  Multigrid methods for highly oscillatory problems  Dept. of Mathematical Sciences, Carnegie MellonUniversity, Pittsburg   taasangmail.com Oded Yaniv 1985 I. Horowitz  Quantitative synthesis of uncertain cascadedmulti input output (CMIO) and MIO linear feedback systems   Dept. of Electrical EngineeringSystems, Tel Aviv University, Ramat Aviv   yaniveng.tau.ac.il Rivka Zarhy-Sherman 1985 A. Pnueli, D. Harel  On variants of propositional program logics  ORBOT Instruments, Yavneh  rivi.shermangmail.com Daniel Alpay 1986 H. Dym  Reproducing kernel Krein spaces of analyticalfunctions and inverse scattering   Dept. of Mathematics, Ben GurionUniversity, Beer Sheva   danycs.bgu.ac.il Yishai Feldman 1986 D. Harel  Probabilistic programming logics  IBM, Haifa  yishaiil.ibm.com Andrei Iacob 1986 H. Dym  On the spectral theory of a class of canonicalsystems of differential equations   Mathematical Reviews, Ann Arbor  axiams.org Alexander Khait 1986 L. Segel  On chemical communication and pattern formationin living organisms: some roles of size and growth rate   Jerusalem College of Engineering, Jerusalem  khaitmail.jce.ac.il Yaakov Kogan 1986 Z. Artstein  Bifurcation of extremals in optical control  Department of Mathematics and Statistics, University of Maryland Baltimore County  koganmath.umbc.edu Yin-Kuei Liao 1986 I. Horowitz  Quantitative synthesis of feedback systemswith plants under various constraints   Chung-Shan Institute of Science andTechnology, Lung-Tan, Taiwan   David Peleg 1986 D. Harel  The schematology and logic of concurrent programs  Dept. of Appl. Mathematics &Computer Sci., Weizmann Institute, Rehovot   david.pelegweizmann.ac.il Marita Barabash (Rosenson) 1986 N. Liron  The non-Newtonian approach to the muco-ciliary transport  Achva Academic College, Beer Tuvia  maritab013.net Kyril Tintarev 1986 Y. Kannai  On representation, asymptotics and supports for the solutions of partial differential equations with analytical coefficients  Dept. of Mathematics, Uppsala University, Uppsala  kyril.tintarevmath.uu.se Alexander Felzenbaum 1987 A. Fraenkel  A geometrical approach to covering systems  -  Amos Fiat 1987 A. Shamir  Fibonacci latices: theory and application  School of Computer Science,Tel Aviv University, Ramat Aviv  fiattau.ac.il Lenore Zuck 1987 A. Pnueli  Past temporal logic  Dept. of Computer Science, University of Illinois, Chicago  lenorecs.uic.edu Yali Amit 1988 M. Berger  Approximations to diffusions and their ergodic properties  Dept. of Statistics, University ofChicago, Chicago   amitgalton.uchicago.edu Dov Dori 1988 A. Pnueliß S. Ullman  Detection and interpretation of dimensions in machine drawings  Faculty of Industrial Engineering and Management, Technion, Haifa  doriie.technion.ac.il, dori Shimon Edelman 1988 S. Ullman  Reading and writing of cursive script - a computational study  Dept. of Psychology, Cornell University, Ithaca  se37cornell.edu Shmuel-Tomi Klein 1988 A. Fraenkel  Compression and coding in information retrieval systems  Dept. of Mathematics & ComputerSci., Bar Ilan University, Ramat Gan   tomics.biu.ac.il Doron Drusinsky 1989 D. Harel  On synchronized statecharts  Time Rover, Inc., Cupertino  dorontime-rover.com Yair Eran 1989 A. Pnueli  Interpretation of schematic diagrams  Applied Materials, Rehovot  yair.eyegmail.com Stephen Taylor 1989 E. Shapiro  Parallel logic programming techniques  Dept. of Computer Science,CALTECH, Pasadena   Stephen.TaylorDartmouth.edu George Weiss 1989 Z. Artstein  Well-posedness, stability and asymptoticbehavior of infinite dimensional linear systems   Engineering Dept, Tel Aviv University  gweisseng.tau.ac.il Miri Dick 1990 S. Ullman, D. Sagi  Parallel and serial processes in motion detection  International Summer Science Institute, Australia  miri.arbelgmail.com Matei Kelemen 1990 Y. Kannai, I. Horowitz  Quantitative feedback approach to distributed linear systems  (Deceased)  Jacob Levy 1990 E. Shapiro  Concurrent prolog and related languages  Sun Microsystems, Palo Alto  JLevyeng.sun.com Cornel Lustig 1990 L. Segel  Neurotransmitter release: models and mechanisms  -  Dorit Ron 1990 A. Brandt  Development of fast numerical solvers forproblems in optimization and statistical mechanics   Dept. of Appl. Mathematics &Computer Sci., Weizmann Institute, Rehovot   dorit.ronweizmann.ac.il Shmuel Safra 1990 A. Pnueli  Complexity of automata on infinite objects  Dept. of Computer Science,Tel Aviv University, Ramat Aviv   saframath.tau.ac.il David Sidilkover 1990 A. Brandt  Numerical solution to steady-state problemswith discontinuities   NASA Langley Research Center, Hampton  sidilkovicase.edu Ziv Soferman 1990 A. Shamir, A. Brandt  Computerized optical microscopy  Independent advisor  tellziv1hotmail.com Boaz Tamir 1990 S. Gelbart  On L-functions and intertwining operators for unitary groups  -  Boaz.Tamirbiu.ac.il Ronen Basri 1991 S. Ullman  The recognition of 3-D solid objects from 2-D images  Dept. of Appl. Mathematics &Computer Sci., Weizmann Institute, Rehovot   ronen.basriweizmann.ac.il Michael Bialy 1991 Y. Yomdin  Topological and variational properties ofinvariant Tori of Hamiltonian systems with two degrees of freedom   Dept. of PureMathematics, Tel Aviv University, Ramat Aviv   bialymath.tau.ac.il Michael Codish 1991 E. Shapiro  Abstract interpretation of sequential andconcurrent logic programs   Dept. of Computer Science,Ben Gurion University, Beer Sheva   mcodishcs.bgu.ac.il Nicolas Cordova 1991 L. Segel  Models for biological motion: from molecularmotors to pseudopod extension   -  Avraham Guissin 1991 S. Ullman  Visually-guided navigation using velocity fields  In private industry  Orna Lichtenstein 1991 A. Pnueli  Decidability, completeness, and extensionsof linear time temporal logic   Holon Academic Institute of Technology, Holon  orna_lhait.ac.il Oded Maler 1991 A. Pnueli  Finite automata: infinite behavior,learnability and decomposition   VERIMAG, Gieres  Oded.Malerimag.fr Salomon Oldak 1991 I. Horowitz  Synthesis theory of dithered feedback systems  Electr. & Computer Engineering, CaliforniaState Polytechnic University, Pomona   soldakcsupomona.edu Gadi Perets 1991 A. Joseph  The embedding of minimal primitive quotientsof semisimple Lie algebras in Weyl algebras and non-holonomic modules   Institut de Mathematiques, Universite Pierre et Marie Curie, Paris   gadimath.univ-lyon1.fr Avital Schrift (Wierzba) 1991 A. Shamir  Randomness and hardness of bit-Sources  ELTA Electronic Industries, Ashdod  avitalelta.co.il Jerucham Shapira 1991 S. Ullman  A pictorial approach to object classificationand recognition across shape changes   I-Metrics Company  Ron Unger 1991 D. Harel  Enriched analysis of protein structure  Faculty of Life Sciences,Bar Ilan University, Ramat Gan   ronbiocom1.ls.biu.ac.il Radel Ben-Av 1992 A. Brandt  Acceleration methods in MC simulations  Opal, Nes Ziona  Eli Biham 1992 A. Shamir  Differential cryptanalysis of iterated cryptosystems  Computer Science Dept., Technion, Haifa  bihamcs.technion.ac.il Uriel Feige 1992 A. Shamir  Alternative models for zero knowledge interactive proofs  Dept. of Appl. Mathematics &Computer Sci., Weizmann Institute, Rehovot   uriel.feigeweizmann.ac.il Linda Harnevo 1992 Z. Agur  Mathematical models for the dynamics of gene amplification, its effect on the development of drug resistance, mechanism and optimal treatment methods  Global Medical Networks Israel Ltd., Or-Yehuda  lindaglobalmedicalnetworks.net Rafi Heiman 1992 D. Harel, A. Wigderson   Randomized decision tree complexity for read-once Boolean functions  Gilat Satellite Networks, Petah Tikva  rafigilat.com Ealan Henis 1992 T. Flash  Strategies underlying arm trajectorymodification during reaching toward visual targets   I.B.M.  ealanil.ibm.com Andrei Reznikov 1992 S. Gelbart  The Eisenstein matrix, Fourier coefficientsof automorphic forms, and existence of cusp forms in rank one symmetric spaces   Dept. of Mathematics, Bar Ilan University, Ramat Gan  reznikovmath.biu.ac.il Roni Rosner 1992 A. Pnueli  Modular synthesis of reactive systems  INTEL, Haifa  roni.rosnerintel.com Moshe Tennenholtz 1992 Y. Moses  Efficient representation and reasoning in multi-agent systems  Faculty of Industrial Engineering& Management, Technion, Haifa   moshetie.technion.ac.il Irad Yavneh 1992 A. Brandt  Multigrid techniques for incompressible flows  Dept. of Computer Science, Technion, Haifa  iradcs.technion.ac.il Avidan Akerib 1993 S. Ruhman, S. Ullman  Associative real time vision machine  NeoMagic Israel Ltd., Netanya  Aakeribgmail.com Evyatar Av-Ron 1993 L. Segel  Modelling a small neuronal network:the lobster cardiac ganglion   Dept. of Neurobiology & Anatomy, Univ. of Texas  e.avronfree.fr Mercedes Ben-Av (Barchilon) 1993 D. Sagi  The role of similarity, proximity and attention in visual grouping  Achva Academic College  mercedesmacam.ac.il Vladimir Hinich 1993 A. Joseph  Nilpotent orbits in semisimple Lie algebrasand singularities of their closures   Dept. of Mathematics, University of Haifa, Haifa  hinichmath.haifa.ac.il Shmuel Kliger 1993 E. Shapiro  Compiling concurrent logic programming languages  Systems Management Arts (SMARTS), White Plains   kligersmarts.com Dror Lapidot 1993 A. Shamir  Parallel interactive proofs and non-interactive zero-knowledge  Decell Technologies Ltd., Rehovot  drorlapidot013.net Anna Melnikov 1993 A. Joseph  Geometric interpretation of Robinson-Schenstedprocedure and related orders on Young Tableaux   Dept. of Mathematics,Weizmann Institute, Rehovot   melnikovmath.haifa.ac.il Vladimir Mikulinsky 1993 A. Brandt  Multigrid treatment of boundary and free-boundary conditions  ORBOTECH, Yavne  vmikulinskyyahoo.com Alexander Nabutovsky 1993 S. Kiro  Geometry of spaces of objects with complexity: algebraic hypersurfaces, knots Ÿwith thick ropes" and semi-linear elliptic boundary value problems  Dept. of Mathematics, University of Toronto, Toronto  alexmath.utoronto.ca Yoav Dvir 1994 A. Regev  On the Kronecker product of Sn characters  -  yoavdvir1gmail.com Jonathan Dym 1994 A. Brandt  Multilevel methods for early vision  (Deceased)  Yosee Feldman 1994 E. Shapiro, D. Harel  Animation of concurrent computation  (Deceased)  Irina Gurevich 1994 T. Flash  Strategies of motor adaptation to external loads during planar horizontal two-joint arm movements  Achva Academic College, Beer Tuvia  irina_gnetvision.net.il Guy Kortsarz 1994 D. Peleg  Algorithm techniques for combinatorial approximation  Dept. of Computer Science. Rutgers Univ.-Camden  guykcamden.rutgers.edu Eyal Yardeni 1994 E. Shapiro  Type systems for logic programs based on abstract interpretation  Systems Management Arts (SMARTS), White Plains  eyal.yardenismarts.com Eyal Arian 1995 S. Taasan  Multigrid methods for optimal shape design governed by elliptic systems  The Boeing Company, Seattle  eyal.arianpss.boeing.com Sorin Costiner 1995 S. Ta'asan  Adaptive multigrid techniques for largescale Eigenvalue problems. Solutions of the Schrodinger and the Schrodinger-Poisson Eigenvalue problems in 2D and 3D   United Technologies Co., East Hartford  sorinandrew.cmu.edu Joseph Greenwald 1995 A. Brandt  Multigrid techniques for parabolic problems  -  Zigo Haras 1995 S. Taasan  Numerical methods for long-time integrationof partial differential equations   Motorola, Herzliya  zigo.harasyahoo.com Yonit Kesten 1995 A. Pnueli  Refinement and verification of reactive and hybrid systems  Dept. of Computer Sci. & Appl. Mathematics, Weizmann Institute, Rehovot   yonit.kestenweizmann.ac.il Ramit Mehr-Grossman 1995 L. Segel, A. Globerson  Mathematical modelling of T lymphocyte development in the thymus  Faculty of Life Sciences, Bar Ilan University, Ramat Gan  mehrramail.biu.ac.il Yael Moses 1995 S. Ullman  Face recognition: Generalization to novel images  Interdisciplinary Center, Herzliya  yaelidc.ac.il Alexander Vigodner 1995 Z. Artstein  Limits of singularly perturbed controlproblems: dynamical systems approach   -  avigodnerfastem.com Zvi Wiener 1995 Y. Yomdin  Qualitative and quantitative analysis of differential equations through their formal solutions   Finance Dept., Hebrew University, Jerusalem  mswienermscc.huji.ac.il Asher Wilk 1995 A. Pnueli  Optimizing algorithms for VLSI synthesis  CHIPCOMP, Nes Ziona  wilk.ashergmail.com Ran Canetti 1996 O. Goldreich  Studies in secure multiparty computation and applications  IBM T.J. Watson Research Center, Yorktown Heights  canettiwatson.ibm.com Raisa Firsov-Khanin 1996 L. Segel  Mathematical modeling of events underlying neurotransmitter release   -  Michael Fishman 1996 L. Segel  Modeling of the cellular/molecular mechanisms underlying observed immune phenomena   Los Alamos National Laboratory, Los Alamos  mafishpost.tau.ac.il Tirza Hirst 1996 D. Harel  Topics on infinite recursive structures  Dept. of Computer Sci., Jerusalem College of Technology, Jerusalem   tsvikahbarak-online.net Eva Jager 1996 L. Segel  Mathematical modeling of autoimmune diseases  GMAX Tel Aviv  evajager012.net.il Danny Raz 1996 D. Harel  On the power of commuting  Dept. of Computer Science, Technion, Haifa  dannycs.technion.ac.il Michael Shmoish 1996 H. Dym  Generalized inverse spectral problems for Jacobi matrices and discrete canonical equations, bezoutians and nonlinear lattice equations   Dept. of Computer Science. Technion. Haifa.  mshmoishcs.technion.ac.il Florin Cutzu 1997 S. Edelman  Viewpoint effects and visual similarity in object perception as a basis for understanding visual representation  Computer Science Dept., Indiana University, Bloomington  florinindiana.edu Boris Freydin 1997 H. Dym  Topics in time varying interpolation  -  borisfredgmail.com Yael Moscowitz 1997 E. Shapiro  The structural simplicity of concurrent programming languages and computational models  -  yaelmoscowitzgmail.com Victor Olevskii 1997 M. Solomyak  Fourier and Schur multipliers  Mathematics & Statistics Dept., University of Edinburgh, Edinburgh   vitfam.tuwien.ac.at Nina Roytvarf 1997 Y. Yomdin  Bernstein-type inequalities and finiteness properties of analytic functions   Dept. of Mathematics, Weizmann Institute, Rehovot  nina.roytvarfweizmann.ac.il Eli Singerman 1997 D. Harel  Results on propositional logics of programs  Computer Science Laboratory, SRI International, Menlo Park  singermncsl.sri.com Avishai Wool 1997 D. Peleg  Quorum systems for distributed control protocols  School of Electrical Engineering, Tel Aviv University, Ramat Aviv   yasheng.tau.ac.il Sharon Duvdevani-Bar 1998 S. Edelman  Similarity to prototypes in 3D shape representation  Orbotech, Yavneh  sharon.dbargmail.com Ilija Lalovic 1998 E. Shapiro  Comparing concurrent programming languages by structural simplicity  -  Ruth Lev Bar-Or 1999 L. Segel  Theoretical consideration of effector choice in immunology  -  ruthylevhotmail.com Boris Diskin 1999 A. Brandt  Efficient multigrid solves the linearized transonic full potential equation  National Institute of Aerospace, Hampton  diskincox.net Meirav Galun 1999 A. Brandt  Multigrid algorithms for optimal computations in statistical physics  Dept. of Computer Sci. & Applied Math., Weizmann Institute, Rehovot   meirav.galunweizmann.ac.il Maria Gorelik 1999 A. Joseph  Spectral topics in the quantum and super worlds  Dept. of Mathematics, Weizmann Institute, Rehovot   maria.gorelikweizmann.ac.il Erez Lapid 1999 S. Gelbart  Multiplicities of cuspidal representations of SL(n) and period integrals of truncated Eisenstein Series  Inst. of Mathematics, Hebrew University, Jerusalem  erezlamath.huji.ac.il Daniel Levin 1999 M. Solomyak  On the negative discrete spectrum of the operator Laplacian to the power of 1-V on non-compact riemannian manifolds   Dept. of Mathematics, Technion, Haifa  dlevinmath.technion.ac.il Dario Liebermann 1999 T. Flash  Intrinsic joint kinematic strategies for planning reaching and pointing movements towards 3-dimensional targets  Dept. of Physical Therapy, Tel Aviv University, Ramat Aviv  dliebermpost.tau.ac.il Monica Marcus 1999 A. Pnueli  A temporal methodology for proving refinement between reactive systems  Dept. of Computer Sci. & Engineering, Univ. of California, San Diego   mmarcuscs.ucsd.edu Dimitri Novikov 1999 S. Yakovenko  Oscillation of functions defined by systems of ordinary differential equations   Dept. of Mathematics, Weizmann Institute, Rehovot  dimitri.novikovweizmann.ac.il Omer Reingold 1999 M. Naor   Pseudo-random synthesizers, functions and permutations  Dept. of Computer Sci. & Appl. Mathematics, Weizmann Institute, Rehovot   omer.reingoldweizmann.ac.il Amir Shmuel 1999 S. Ullman, A. Grinvald  Visual areas V1 and V2: functional architecture and organization of the inter-connectivity as revealed by optical imaging   Dept. of Logothetis, Max Planck Institute, Tuebingen  amir.shmuelmcgill.ca Sergei Shmulyian 1999 A. Brandt  Towards optimal multigrid Monte Carlo computations in two-dimensional O(N) non-linear sigma-models   IBM, Haifa  sergeihaifa.vnet.ibm.com Assaf Zeira 1999 S. Ullman  Combining bottom-up and top-down processing in visual object recognition   P-cube, Herzliya  assaf64gmail.com Kalanit Grill-Spector 2000 M. Edelman, R. Malach  Object recognition in the human visual cortex  Dept. of Psychology, Stanford University, Stanford.  kalanitstanford.edu Amir Handzel 2000 T. Flash  Differential geometry in human motor control  Beyond Genomics, Inc., Waltham  ahandzelieee.org Iosif Polterovich 2000 Y. Kannai, D. Michelson  -  University of Montreal  iossifdms.umontreal.ca Michael Kositsky 2000 T. Flash, S. Ullman  Motor learning and skill acquisition by sequences of elementary actions   Dept. of Physiology, Northwestern University, Chicago  kositskycs.umass.edu Oren E. Livne 2000 A. Brandt  Multiscale Eigenbasis algorithms  Scientific Computing & Imaging Institute, Univ. of Utah, Salt Lake City   oren.livneutah.edu Katherine Naimark 2000 M. Solomiak  Eigenvalue behaviour for the equation-lambda u"=Vu"  -  knaimarknccu.edu Benny Pinkas 2000 M. Naor  Communication preserving cryptographic protocols  Dept. of Computer Science, University of Haifa  bennypinkas.net Karina Yusim (Ladhizansky) 2000 L. Segel, H. Parnas  Molecular level mathematical modeling of events underlying neurotransmitter release  Los Alamos National Laboratory, Los Alamos  kyusimlanl.gov Jacob Greenstein 2001 A. Joseph   Studies in modules over affine Lie algebras  Dept. of Mathematics, University of California, Riverside  jacob.greensteinucr.edu Alexei Grigoriev 2001 S. Yakovenko  Regularity properties of dependence on parameters of Pichard-Fuchs systems for polynomials, and the implied estimates on oscillation of complete Arbelian integrals  Sector of Functional Analysis, SISSA, Trieste  alexei-grigorievutulsa.edu Nadya Gurevich 2001 S. Gelbart  The Theta correspondence for spin7  Dept. of Mathematics, Ben Gurion University, Beer-Sheva  ngurmathbgu.ac.il Robert Krauthgamer 2001 U. Feige  Coping with NP-hardness: approximating minimum bisection and heuristics for maximum clique  Dept. of Computer Sci. and Appl. Mathematics, Weizmann Inst., Rehovot ß  robert.krauthgamerweizmann.ac.il Anna Litvak-Hinenzon 2001 V. Rom-Kedar  Parabolic resonances in Hamiltonian systems  ADSVantage,ßShoham  litvakagmail.com Erez Sali 2001 S. Ullman  Class-based visual recognition and reconstruction  Negevtech, Rehovot   erezsalihotmail.com Elad Shahar 2002 A. Pnueli  Tools and techniques for verifying parametrized systems  IBM  eladsil.ibm.com Eitan Sharon 2002 R. Basri  Multiscale methods for efficient curve detection and hierarchical image segmentation  Video Surf Ltd.  Eitan.Sharongmail.com Ofer Shtrichman 2002 A. Pnueli  Efficient decision procedures for formal validation  Fac. Industr. Engineering & Management, Technion, Haifa  ofersie.technion.ac.il Dan Volok 2002 V. Katsnelson   The Schlesinger system and the Riemann-Hilbert problem  Department of Mathematics. Kansas State University  danvolokhotmail.com Artem Zvavitch 2002 G. Schechtman  Finite dimensional subspaces of Lp  Dept. of Mathematical Sciences, Kent State Univ., Kent  zvavitchmath.kent.edu Mikhail Blinov 2003 Y. Yomdin  Center and composition conditions for the Abel equation  Los Alamos National Laboratory, Los Alamos   mblinovlanl.gov Yaron Caspi 2003 M. Irani   Sequence-to-sequence alignment  VP-R&D BriefCam Ltd   caspibriefcam.com Michael Elkin 2003 D. Peleg  Constructions of (1+e,b)-spanners for general graphs  Dept. of Computer Science, Ben Gurion Univ., Beer-Sheva  elkinmcs.bgu.ac.il Yehuda Hassin 2003 D. Peleg  Design issues in distributed computing: routing in the plane and probe complexity in quorum systems   Jerusalem College of Engineering, Jerusalem  hassinjce.ac.il Yehuda Lindell 2003 M. Naor  On the composition of secure multi-party protocols  Dept. Computer Sci., Bar Ilan University, Ramat Gan  lindellcs.biu.ac.il Rami Marelly 2003 D. Harel  Specifying and executing behavioral requirements: the Play-In/Play-Out approach   IAF  ramimarellygmail.com Kobbi Nissim 2003 M. Naor  On the construction of efficient cryptographic protocols  Dept. Computer Science, Ben Gurion Univ., Beer-Sheva   kobbics.bgu.ac.il Constantin Cristian Popa 2003 Z. Artstein  Relaxation with measure-valued functions in dynamics and approximation  Deutsche Bank London, London  dr_popa2002yahoo.com Michael Rozantsev 2003 A. Brandt  Multigrid solver for 4D quantum chromodynamics equations  Intercon Systems Ltd.  michaelrozantsevyahoo.com Sitvanit Ruah 2003 A. Pnueli  Algorithmic and deductive techniques for verification of infinite-state systems  IBM, Haifa  sitvanitil.ibm.com Dror Zur 2003 S. Ullman  Filling-in of disrupted visual input-measurement, modeling, and visual aids  -  Omer Angel 2004 I. Benjamini, O. Schramm  Uniform infinite planar maps  Dept. of Mathematics, Univ. of British Columbia, Vancouver  angelmath.ubc.ca Tamarah Arons 2004 A. Pnueli  Deductive verification of hardware  Intel, Haifa  tamarah.aronsintel.com Yuri Bazlov 2004 A. Joseph  Exterior powers of the adjoint representation of a simple Lie algebra  School of Math. Sciences, Univ. of London, London  Yuri.Bazlovmanchester.ac.uk Liran Carmel 2004 D. Harel  On the mathematics and algorithmics of electronic noses  Nat. Ctr. for Biotechnology Information, Bethesda  liranllcc.huji.ac.il Sol Efroni 2004 I.R. Cohen, D. Harel  Exploring emergent complexity: reactive animation of thymocyte development   National Institutes of Health, Rockville  sefroniniaid.nih.gov Rima Gandlin 2004 A. Brandt  Multigrid solvers for inverse problems  Dept. of Mathematical Sciences, Carnegie Mellon Univ., Pittsburgh   rima121212gmail.com Alexander Iliesh 2004 T. Flash  Motor adaptation of human arm movement to new environments  Dept. of Computer Sci. and Appl. Mathematics, Weizmann Institute, Rehovot   alexander.ilieshweizmann.ac.il Michael Langberg 2004 U. Feige  Coping with NP-hardness: approximation algorithms based on semidefinite programming   Israeli Open University  mikelopenu.ac.il Olga Maleva 2004 G. Schechtman  Nonlinear quotient mappings and other classes of regular mappings between finite-dimensional normed spaces  School of Mathematics, University of Birmingham, Edgbaston Birmingham B15 2TT, UK  O.Malevabham.ac.uk Elena Perelman 2004 A. Joseph  Quantization of hypersurface orbital varieties in simple Lie algebras of classical types   Dept. of Medical Epidemiology & Biostatics, Karolinska Institute, Stockholm   lenaperelmangmail.com Alon Rosen 2004 O. Goldreich, M. Naor  The round-complexity of black-box concurrent zero-knowledge  Dept. of Electr. Eng. and Comp. Science, Harvard University, Cambridge   aloneecs.harvard.edu Lihi Zelnik-Manor 2004 M. Irani  Space-time analysis of dynamic scenes   Department of Electrical Engineering, Technion   lihiee.technion.ac.il Boaz Barak 2005 O. Goldreich   Non-Black-Box techniques in cryptography  Dept. of Computer Sci., Princeton Univ., Princeton  boazcs.princeton.edu Yaakov Benenson 2005 E. Shapiro  Molecular computing devices  Bauer Ctr. for Genomics Research, Harvard University, Cambridge  kobi.benensongmail.com Armin Biess 2005 T. Flash  Deterministic and stochastic computational models of spatial human arm movements  Dept. of Mathematics, Weizmann Institute, Rehovot  arminnld.ds.mpg.de Eran Borenstein 2005 S. Ullman  Segmentation and recognition through bidirectional top-down/bottom-up processing  Div. of Appl. Mathematics, Brown University, Providence  eran.borensteingmail.com Chen Brestel 2005 R. Basri  Matching images by comparing hierarchical segment representations  El Op, Rehovot  chenbelop.co.il Ilan Degani 2005 Y. Yomdin, D. Tannor  RCMS - Right correction Magnus schemes for oscillatory ODE's and cubature formulae and commuting extensions  Dept. of Chemical Physics, Weizmann Institute, Rehovot  ilan.deganigmail.com Tzvika Hartman 2005 M. Naor, R. Shamir  Combinatorial algorithms for genome rearrangements and DNA oligonucleotide arrays  Google, Tel Aviv.  tzvika.hartmangmail.com Alexander Klimov 2005 A. Shamir  Applications of T-functions in cryptography  -  askeitan.edu Hillel Kugler 2005 A. Pnueli, D. Harel  Topics in scenario-based requirements: smart execution and synthesis  Microsoft Research, UK.  hkuglermicrosoft.com Raya Leviathan 2005 A. Pnueli  Validation of translation to optimized machine code  Dept. of Computer Sci. and Appl. Mathematics, Weizmann Inst., Rehovot  raya.leviathanweizmann.ac.il Nir Piterman 2005 A. Pnueli  Verification of infinite-state systems  Dept. of Computing, Imperial College London  nir.pitermandoc.ic.ac.uk Yoav Rodeh 2005 A. Pnueli  Methods for verification and validation  Tel Hai College, Upper Galilee  yoavrtelhai.ac.il Michel Vidal-Naquet 2005 S. Ullman  The extraction and use of informative features for scale invariant recognition  Riken Brain Sci. Inst., Wako City, Japan  michel.vidalnaquetgmail.com Yevgenia Apartsin 2006 Y. Kannai  Characterization of concavifiable preferences in terms of demand  Dept. of Mathematics & Computer Sci., Weizmann Inst., Rehovot  zenya.Apartsingmail.com Evgeniy Bart 2006 S. Ullman  Object recognition and classification with limited training data  Palo Alto Research Center, Palo Alto, CA  bartima.umn.edu Danny Harnik 2006 M. Naor  Topics on the efficiency and complexity of secure computation and oblivious transfer  IBM Haifa Research Labs  danny.harnikgmail.com Iyad Ali Hasan Suwan 2006 A. Brandt, V. Ilyin  Multiscale methods in molecular dynamics  Fritz Haber Research Institute, Hebrew University, Jerusalem   iyadfh.huji.ac.il Amos Korman 2006 D. Peleg, S. Kutten  Labeling Schemes for Static and Dynamic Networks  CNRS & Paris Diderot - Paris 7, France  amos.kormangmail.com Tamar Seeman 2006 A. Regev  Superalgebras and Young diagrams  Dept. of Mathematics, Bar Ilan University, Ramat Gan  seemantmacs.biu.ac.il Gera Weiss 2006 Z. Artstein, A. Pnueli  State nullification by output feedback  Computer & Information Science Dept., University of Pennsylvania, Philadelphia   geraseas.upenn.edu Ehud Wieder 2006 M. Naor  The continuous-discrete approach for designing P2P networks and algorithms   Microsoft, Mountain View   uwiedermicrosoft.com Ayelet Akselrod-Ballin 2007 R. Basri  Multiscale multi-channel 3D segmentation and classification of MRI  Computational Radiology Laboratory, Harvard Medical School, Cambridge   ayelet.akslerod-ballinchildrens.harvard.edu Dan Bernstein 2007 A. Regev  Mahonian statistics on non-Weyl groups  Apple Inc., Cupertino  danbernstein.name Roman Dovgard 2007 R. Basri, S. Ullman  Efficient holistic image synthesis using linear constraints  -  roman.dovgardweizmann.ac.il Boris Epshtein 2007 S. Ullman  Representation for recognition: fragment hierarchies and semantic features   Microsoft Corporation, Redmond  boris.epshteingmail.com Dana Fisman 2007 A. Pnueli  Theoretical foundations of industrial-oriented temporal logics  School of Computer Sci. & Engineering, Hebrew University, Jerusalem   dana.fismangmail.com. Jason Friedman 2007 T. Flash  Features of human grasping  Macquarie Centre for Cognitive Science, Macquarie University, Sydney, Australia  write.to.jasongmail.com Tal Hassner 2007 R. Basri  Building 3D shapes from parts   Open University   talhassnergmail.com Na'Aman Kam 2007 A. Pnueli, I.R. Cohen  Formal Modeling of C. elegans vulval development: a scenario based approach  Dept. of Biological Chemistry, Weizmann Institute, Rehovot  nkam12yahoo.com Nissan Lev-Tov 2007 D. Peleg  Algorithms for geometric optimization problems in wireless networks  Computer Sci. Dept., Ben-Gurion University, Beer-Sheva   nissanlevtovgmail.com Eran Ofek 2007 U. Feige  Rigorous analysis of heuristics for NP-hard problems  Google, Tel Aviv  eran.ofekgmail.com Felix Polyakov 2007 T. Flash   Motion primitives and invariants in monkey scribbling movements: analysis and mathematical modelling of movement kinematics and neural activities  Bank Leumi, Israel  felix.polyakovgmail.com Michael Temkin 2007 V. Berkovich  Local approach to certain problems of analytic and birational geometries   Dept. of Mathematics, Univ. of Pennsylvania, Philadelphia   temkinmath.upenn.edu Eran Tromer 2007 A. Shamir   Hardware-based cryptanalysis  Computer Sci. & Artificial Intelligence Lab., MIT, Cambridge  tromercsail.mit.edu Gideon Amir 2008 I. Benjamini  Random walks and random graphs  Dept. of Mathematics and Statistics, Univ. Toronto, Toronto  gidimath.toronto.edu Yaara Goldschmidt 2008 A. Brandt  Fast multiscale methods for data mining  IBM  yaaragil.ibm.com Iftach Haitner 2008 O. Reingold  New implications and improved efficiency of constructions based on one-way functions  Microsoft Research, New England   iftachhgmail.com Aron Inger 2008 D. Harel  On the aesthetic layout of higraphs  Dept. of Molecular Genetics, Weizmann Institute, Rehovot  Aron.Ingerweizmann.ac.il Polyxeni Lamprou 2008 A. Joseph  Some combinatorial and geometric aspects in the Representationtheory of Lie algebras   Mathematics Dept., University of the Aegean, Samos  polyxeni.lamprouweizmann.ac.il Anna Levant (Rappaport) 2008 V. Rom-Kedar  Multi dimensional billiard-like potentials  Paieon Medical Inc.  rapanyagmail.com Gregory Linshitz 2008 E. Shapiro  Recursive construction of error-free DNA molecules and libraries from error-prone components   Dept. of Biological Chemistry, Weizmann Institute, Rehovot  gregory.linshizgmail.com Emanuel Milman 2008 G. Schechtman  On the distribution of volume in convex bodies  School of Mathematics, Institute for Advanced Study, Einstein Drive, Simonyi Hall, Princeton.  emilmanmath.ias.edu Ilya Safro 2008 A. Brandt  Multilevel algorithms for combinatorial optimization problems  Mathematics and Computer Science Division, Argonne National Laboratory, Argonne   safromcs.anl.gov Bernard Sarel 2008 M. Irani  Separating transparent layers in images and video  Verint, Herzliya  Bernard.Sarelverint.com Yaakov Setty 2008 D. Harel, I.R. Cohen  Four-dimensional realistic modeling of biological systems  Microsoft Research Ltd., Cambridge  yaki.settygmail.com Eli Shechtman 2008 M. Irani  From local to global visual similarity in space and in time  Adobe Systems Inc., & Dept. of Computer Science and Engineering, Univ. of Washington, Seattle  elishecs.washington.edu Eliezer Shochat 2008 V. Rom-Kedar  Mathematical model for G-CSF control of neutrophils level in the blood  F. Hoffmann-La Roche Ltd. Basel, Switzerland  eliezer.shochatiatromatics.com Denis Simakov 2008 M. Irani  Visual summarization of images and video  Samsung, Yakum  denis.simakovsamsung.com Barak Blumenfeld 2009 M. Tsodyks, S. Ullman  Studying cortical information processing. Data analysis and recurrent neural network modeling  -  barak.blumenfeldweizmann.ac.il Oren Boiman 2009 M. Irani  Inference by composition  -  oren.boimanweizmann.ac.il Dvir Zeev 2009 R. Raz, A. Shpilka  Extractors, mergers and the finite field Kakeya problem  -  zeev.dvirgmail.com Yuval Emek 2009 D. Peleg  Probabilistic embeddings of graphs  School of Electrical Engineering, Tel Aviv University  yuval.emekgmail.com Darya Frolova 2009 R.Basri  Analysis of lighting and applications to 3-dimensional reconstruction of moving and static objects  -  darya.frolovagmail.com Ariel Gabizon 2009 R. Raz, R. Shaltiel  Deterministic extractors for weak random sources  Department of Computing Science, Simon Fraser Univesity, Vancouver  ariel.gabizongmail.com Lena Gorelick 2009 A. Brandt, R.Basri  Object and action recognition using poisson-based shape representation  -  lena.gorelickweizmann.ac.il Ori Gurel-Gurevich 2009 I. Benjamini  Random walks and random structures  Microsoft Research, Redmond  origurelgmail.com Dan Kushnir 2009 A. Brandt, E. Titi  Multiscale methods for data analysis  -  dkushnir2001gmail.com Tal Moran 2009 M. Naor  Cryptography for the People, by the People  -  talmix+wizgmail.com Dana Moshkovitz 2009 R. Raz  Two query probabilistic checking of proofs with subconstant error  Princeton University and the Institute for Advanced Study (IAS)  dana.moshkovitzgmail.com Nussbaum Asaf 2009 M. Naor  Efficient implementations of huge random graphs   -  assafgbrener.org.il Avital Sadot-Michaeli 2009 D. Harel, I.R. Cohen  On specific and generic modeling of complex biological systems  -  avital.sadovski-sadotweizmann.ac.il Adi (Arkadi) Taflia 2009 D. Holcman  Diffusion of interacting particles in confined domains and applications to biology  -  atafliagmail.com Itay Tirosh 2009 N. Barkai  Genome-wide analyses of the evolution of gene expression  -  itay.tiroshweizmann.ac.il Amir Yehudayoff 2009 R. Raz  Multilinear circuits and formulas  -  amir.yehudayoffgmail.com Gal Zahavi 2009 Y. Yomdin  Jet discretization of evolution PDE's via hermite fitting  -  gal.zahaviweizmann.ac.il Ido Zelman 2009 T. Flash  Kinematics of octopus arm movements  -  idozelmangmail.com Sharon Alpert 2010     -  Dmitry Gourevitch 2010 J. Bernstein  Multiplicity one theorems and invariant distributions  -  dimagurgmail.com Ronen Gradwohi 2010 O. Reingold  The good, the bad, and the rational: Computer science and economics in a merged model  -  r-gradwohikellogg.northwestern.edu Yaacov Zvi Hoch 2010 A. Shamir  Security analysis of generic iterated hash functions  -  rarchiniogmail.com Refael Haddad 2010 D. Harel N. Sobel  Odor coding: From odor molecules to olfactory neural response and perception  -  rafihaddadgmail.com Ariel Yadin 2010 I. Benjamini  Diffusion limited aggregation, and loop-erased random walk beyond the euclidean lattice  -  ariel.yadingmail.com Boris Levant 2010 E. Titi  Analytical and numerical study of certain models of turbulence  -  Dan Levi 2010 S. Ullman  Learning complex object-class models in natural conditions  -  Shai Litvak 2010     -  shailitvakgmail.com Shahar Maoz 2010     -  Lior Noy 2010 T. Flash  From action to perception and back again: Studying the features of movement imitation  -  Yoram Atir 2010 D. Harel  On large scale scenario-based programming  -  yoram.atirgmail.com Marina Fridin 2010 T. Flash  Body expression of emotions  -  marinafridingmail.com Irena Kemelmacher 2010 R. Basri  3D shape reconstruction with shading information and prior knowledge  -  Erez Kantor 2010 D. Peleg  Algorithms for wireless ad-hoc radio and sensor networks  -  erezkantorgmail.com Michael Kertesz 2010     -  Leonid Karlinsky 2010 S. Ullman  'Visual verb phrases': Towards the recognition of actions and their components  -  Eli Shlizerman 2010 V. Rom-Kedar  Classification of chaos in a near-integrable infinite dimensional hamiltonian system  -  Avraham Aizenbud 2011     -  aizenrgmail.com Ido Bright 2011 Z. Artstein  Averaging of ordinary differential equations  -  idobrightgmail.com Avi Barliya 2011 T. Flash  1.The human arm redundancy - A new approach for the inverse kinematic problem 2.Kinematics of locomotion with emotion  -  Michael Dinerstein 2011 S. Ullman  Action recognition in single frames  -  Dvir Haviv 2011 Y. Yomdin   Representation and processing of images based on geometric models  -  dvir.aviv.75gmail.com Shachar Lovett 2011     -  slovettmath.ias.edu Noam Livne 2011     -  Jasmine Sonia Linshiz 2011 E. Titi  Inviscid-alpha regularizations of the vortex sheets and MHD equations  -  Hadas Lapid 2011     -  hadas.lapidgmail.com Nataliya Makedonska 2011     -  nataliya.makedonskagmail.com Itai Segal 2011 D. Harel  Formal methods for synthesis, execution and analysis of LSC specifications  -  Ronit Roxana Fuchs 2011     -  ronit.fuchsgmail.com Yair Field 2011 E. Segal M. Oren  DNA-encoded chromatin structure and function  -  Dominik Freche 2011     -  dominik.frecheweizmann.ac.il Tali Raveh Sadka 2011 E. Segal  DNA-encoded mechanisms of transcriptional control  -  Gil Segev 2011 M. Naor  The design of public-key cryptosystems resilient to chosen-ciphertext and key-leakage attacks  -  Eric Shellef 2011 I. Benjamini  Random processes on random media  -  Or Shalom Meir 2012     -  Roy Malka 2012     -  roymalkagmail.com Yaniv Saar 2012     -  yaniv.saar.mailgmail.com Shifra Reif 2012     -

Faculty of Mathematics and Computer Science The Weizmann Institute of Science POB 26, Rehovot 76100, ISRAEL Tel: 972-8-934-3540     Fax: 972-8-934-4122 This file was last modified on Wednesday, 16-May-2012 18:00:17 IDT.