You are here
Alumni
| Name |
Year |
Advisor | Thesis | |
|---|---|---|---|---|
| Mordechai Hanan | 2023 | A. Tanay | Locally parametric manifold models for single cell RNA-seq | |
| Mosenzon Ron | 2023 | R Krauthgamer | Exact flow sparsification requires unbounded size | |
| Novikov Tomer | 2023 | B. Klartag | Sign symmetries using a topological approach to Dvoretzky’s theorem | |
| Ofri-Amar Dolev | 2023 | T. Dekel | Neural congealing: Aligning images to a joint semantic atlas | |
| Petruschka Asaf | 2023 | M. Parter | Distributed algorithms and labeling schemes for small vertex cuts | |
| Raz Ofir | 2023 | A. Tanay, E.Shapiro | Differentiation and commitment in mammalian embryos: a comparative approach | |
| Segev Dan | 2023 | R. Basri | Classification of diabetic retinopathy from optical coherence tomography | |
| Shultzman Avner | 2023 | Y. Eldar | Leveraging deep-learning concepts for solving waveform inversion and linear inverse problems | |
| Silberberg Lior David | 2023 | M. Gorelik | A queer Kac-Moody construction | |
| Silverman Yakim | 2023 | T. Gelander | In a state of liminality | |
| Skverer Tal | 2023 | O. Goldreich, G. Rothblum | on interactive proofs of proximity with prover-oblivious queries | |
| Tumanyan Narek | 2023 | T. Dekel | Understanding and harnessing foundation models | |
| Tzalik Elad | 2023 | R. Tessler | Topological expansion for posets and the homological k-connectivity of random q-complexes | |
| Vigder Yeari | 2023 | U. Bader | Structure theorem for ?-Stationary G -spaces | |
| Navve Wasserman | 2023 | M. Irani | ||
| Werman Shira | 2023 | Y. Eldar | 3D ultrasound super resolution | |
| Yaniv Omer | 2023 | V. Rom-Kedar | Quantum pseudo-integrable Hamiltonian impact systems | |
| Yona Itay | 2023 | N. Ulanovsky | Analysis of multi-dimensional neuronal tuning curves in bat hippocampus in a complex environment | |
| Zehavi Irad | 2023 | A. Shamir | Installing identity-based backdoors in DNNs using simple weight manipulations | |
| Zimmerman Arieh | 2023 | D. Gourevitch | Geometric conditions for twisted O-sphericity | |
| Zin Jonathan | 2023 | I. Dinur | Expanding posets of non-simplicial structure | |
| Asherov Ron | 2023 | Dinur Irit | Bipartite unique neighbour expanders via Ramanujan graphs | |
| Avidan Noam | 2023 | Arnon Friedman Rotem | Partition and Glue: Conditional max-entropy lower bound for conditional min-entropy | |
| Bar Dror | 2023 | A. Tanay | Estimating and removing ambient noise in scRNA-seq data using a metacell-based model | |
| Ben Uziahu Gilad | 2023 | U.Feige, | fair allocation of indivisible goods to submodular agents | |
| Frank Oz | 2023 | Y. Eldar | Integrating domain knowledge into deep networks for lung ultrasound with applications to COVID-19 | |
| Goldman Tali | 2023 | R. Eldan | A spectral algorithm for deterministic low rank matrix completion | |
| Hadad Tal | 2023 | I. Dinur | Expander codes yields instances of XOR problems that are hard for SoS | |
| Huppert Ziv | 2023 | O. Zeitouni | Large deviations principle for the empirical measure of roots of Kac polynomials | |
| Joffe Dana | 2023 | M. Irani | What does the scene look like from a scene point? revisited with deep learning | |
| Karov Bar | 2023 | M. Naor | New algorithms and applications for risk-limiting audits | |
| Shahar Cohen | 2022 | M. Naor | Low communication complexity protocols, collision resistant hash functions and secret key-agreement protocols | |
| Matan Danos | 2022 | R. Krauthgamer | Coresets for clustering by uniform sampling and generalized rank aggregation | |
| Yam Eitan | 2022 | B. Klartag | The centered convex body whose marginals have the heaviest tails | |
| Shiran Elyahu Zada | 2022 | M. Irani | Pure noise to the rescue of insufficient data: Improving imbalanced classification by training on random noise images | |
| Tom Ferster | 2022 | U. Feige | A tight bound for the clique query problem in two rounds | |
| Guy Goldberg | 2022 | G. Rothblum | Sample-based proofs of proximity | |
| Ofer Israelov | 2022 | S. Ullman | Neural network schemes of recurrent inference and meta learning | |
| Lior Kalman | 2022 | R Krauthgamer | Flow metrics on graphs | |
| Gili Karni | 2022 | G. Rothblum | On fairness and stability in two-sided matchings | |
| Guy Kornowski | 2022 | O. Shamir, | Oracle complexity in nonsmooth nonconvex optimization | |
| Hodaya Koslowsky | 2022 | R. Basri | Structure from motion by deep neural networks | |
| Ganit Kupershmidt | 2022 | M. Irani | Video reconstruction from fMRI brain activity | |
| Alon Mamistvalov | 2022 | Y. Eldar | Low rate ultrasound beamforming via advanced signal processing and deep learning | |
| Boaz Menuhin | 2022 | M. Naor | Keep that card in mind: Card guessing with limited memory | |
| Dor Mezer | 2022 | D.Gourevitch | Multiplicity one theorems over positive characteristic | |
| Itay Naor | 2022 | D.Gourevitch | Multiplicity free representations of general linear groups | |
| Eyal Naor | 2022 | D.Gourevitch | Combining internal and external constraints for unrolling shutter in videos | |
| Alexey Norkin | 2022 | U. Feige | Improved maximin fair allocation of indivisible items to three agents | |
| Noa Oved | 2022 | M. Naor, R. Krautgamer | Bet-or-Pass: Adversarially robust bloom filters | |
| Noam Rozen | 2022 | Y, Lipman | Moser Flow: Divergence-based generative modeling on manifolds | |
| Michal Shilo | 2022 | U. Alon | A mathematical model for ovulation number control based on biphasic effects of androgen | |
| Adi Shindler | 2022 | M. Naor | Disease spread modeling | |
| Yehonatan Tahan | 2022 | U. Feige | Item allocation to altruistic agents | |
| Amit Tauman | 2022 | E. Segal | Finding causal relationships in biological systems | |
| Nadav Timor | 2022 | O. Shamir | Implicit regularization towards rank minimization in ReLU networks | |
| Shir Amir | 2022 | T. Dekel | On the effectiveness of ViT features as local semantic descriptors | |
| Yuval Belfer | 2022 | R. Basri | Spectral analysis of the neural tangent kernel for deep residual networks | |
| Yoav Ben Dov | 2022 | M. Naor | Resistance to timing attacks revisited: Time oblivious sampling | |
| Oriel Ben Shmuel | 2022 | A. Shamir | Early transferability of adversarial examples in deep neural networks | |
| Gropp Amos | 2021 | Y. Lipman | Geometric regularization for deep manifold learning | |
| Grossman Tomer | 2021 | M. Naor | Instance optimality and unlabeled certificates in the decision tree model | |
| Herman Tal | 2021 | G. Rothblum | An interactive proof system for coarse tolerant uniformity testing | |
| Iluz Yonatan | 2021 | E. Friedgut | Hyper-regular graphs and high dimensional expanders | |
| Iluz Yonatan | 2021 | E. Friedgut | Hyper-regular graphs and high dimensional expanders | |
| Iluz Yonatan | 2021 | E. Friedgut | Hyper-regular graphs and high dimensional expanders | |
| Kapon Guy | 2021 | A. Aizenbud | Singularity properties of graph varieties | |
| Keshet Ayya | 2021 | E. Segal | Estimating the effect of Cesarean delivery on long term childhood health | |
| Kramer Omri | 2021 | S. Ullman | Task selection for pixel-level classification | |
| Maimon Yosef | 2021 | A, Tanay | Combining single cell and single embryoid body transcriptional analysis for understanding gastrulation | |
| Melamed Odelia | 2021 | A. Shamir | ||
| Moran Dror | 2021 | R. Basri | Camera pose and 3D scene recovery using deep neural networks | |
| Puny Omri | 2021 | Y. Lipman | Global attention improves graph neural network generalization | |
| Ron Shiri | 2021 | S. Dobzinski | The communication complexity of payment computation | |
| Sapir Shay | 2021 | R Krauthgamer | Near-optimal entrywise sampling of Numerically sparse matrices | |
| Shamir Omer | 2021 | R. Eldan | Log concavity and concentration on the Boolean hypercube | |
| Shaulker Ariel | 2021 | S. Dobzinski | Improved lower bounds for truthful scheduling | |
| Shoer Saar | 2021 | E. Segal | Novel approaches to microbiome analysis from multiple body sites | |
| Taller Aviv | 2021 | U. Bader | Balanced probability measures on compact median algebras | |
| Vollrath Paul | 2021 | T. Gelander | A bound on the systole of non-positively curved arithmetic spaces | |
| Wagner Shahaf | 2021 | S. Ullman | Learning and executing multiple tasks together vs. one task at a time | |
| Weissenberg Guy | 2021 | Z. Brakerski | Unitary subgroup testing | |
| Yariv Lior | 2021 | Y. Lipman | Implicit differentiable rendering | |
| Zack-Kutuzov Binyamin | 2021 | D. Novikov | Holomorphic parametrization of analytic families and algebraic parametrization of algebraic sets definable over Q | |
| Amos Eitan | 2021 | A. Shamir | Interactive display of advance attacks on miniature versions of symmetric cryptographic algorithms | |
| Assouline Rotem | 2021 | B. Klartag | Isometric embeddings into Riemannian surfaces with Holder continuous curvature | |
| Bercovich Akhiad | 2021 | A, Tanay | Inferring locally parametric manifold models from scRNA-seq data | |
| Casimov Evgheni | 2021 | A. Tanay | Embryoid bodies for characterizing Suz12-mediated regulation in mouse gastrulation | |
| Eilat Matan | 2021 | B. Klartag | Isothermal coordinates comparison and moderately varying Gauss curvature | |
| Gavrieli Amir | 2021 | E. Segal | Estimating heritability of glycaemic response to metformin using nationwide electronic health records and population-sized pedigree | |
| Granot Niv | 2021 | M. Irani | Drop the GAN: In defense of patches nearest neighbors as single image generative models | |
| Geifman Amnon | 2019 | R. Basri | The multi-view matrix and its applications to structure from motion (SfM) | |
| Dror Kaufmann | 2019 | S. Ullman | Limitations of feedforward deep neural networks and possible alternatives | |
| Lazar Roee | 2019 | Y. Lipman | Robust optimization for topological surface reconstruction | |
| Leibtag Elyasheev | 2019 | U. Bader | ||
| Levy Tomer | 2019 | B. Nadler | The relative importance of labeled samples in semi-supervised learning | |
| Netanyahu Aviv | 2019 | S. Ullman | Cyclical Bottom-Up Top-Down neural networks for relational reasoning | |
| Reitblat David | 2019 | R Krauthgamer | Sliding-window streaming algorithms for graph problems and l_p-sampling | |
| Rossman Hagai | 2019 | E. Segal | ||
| Shavitt Ira | 2019 | E. Segal | Regularization learning networks: Deep learning for tabular datasets | |
| Vigdorovich Itamar | 2019 | U. Bader | Relative homological quantum codes and arithmetic manifolds | |
| Waier Yarden | 2019 | S. Dobzinski | ||
| Watzman Adi | 2019 | E. Segal | High resolution human gut microbiome evolutionary dynamics revealed by investigating DNA sequence similarities of large scale | |
| Yaari Adam | 2019 | S. Ullman | The counter stream model for image object to attribute relation classification | |
| Amar Yotam | 2019 | S. Itzkovitz | Clinically accurate prediction of glucose levels in type 1 diabetes patients using gradually connected neural networks | |
| Artzi Nitzan | 2019 | I. Tirosh | Accurate prediction of gestational diabetes based on electronic-health-records | |
| Bar Noam | 2019 | E. Segal | ||
| Beliy Roman | 2019 | M. Irani | Decoding the brain: Self-supervised natural image reconstruction from brain activity | |
| Ben-Hamu Heli | 2019 | R. Basri | ||
| Biham Sivan | 2019 | R. Basri | Low Memory training of CNNs with irregular down-sampling of images | |
| Gabzi Tzahi | 2019 | Y. Pilpel, T. Friedlander | Exploration of rugged fitness landscapes reveals wild type's sub optimality | |
| Gandelsman Yosef | 2019 | M. Irani | Unsupervised image decomposition via coupled Deep-Image-Priors | |
| Shiff Aharon | 2018 | O. Shamir | Oracle Complexity of Second-Order Methods for Smooth Convex Optimization | |
| Steinberg Shlomi | 2018 | D. Harel | Generating Distributed Models from Centralized Specifications | |
| Hacohen Yotam | 2018 | D. Harel | Enriching Statecharts to support scenario based programing | |
| Kalka Iris | 2018 | E. Segal | Towards personalized microbiome-based treatments of glycemic control | |
| Gorodissky Hadar | 2018 | S. Ullman | Large Field and High resolution: Detecting Needle in Haystack | |
| Amar Eran | 2018 | E. Segal | Accurate real-time predictions of blood sugar levels using artificial neural network | |
| Berger Ben | 2018 | Z. Brakerski | Zero Knowledge Protocols for Search Problems | |
| Pogrow Yosef | 2018 | R Krauthgamer | Solving Symmetric Diagonally Dominant Linear Systems in Sublinear Time (and Some Observations on Graph Sparsification) | |
| Levanzov Yevgeny | 2018 | R Krauthgamer | On Finding Large Cliques in Random and Semi-Random Graphs | |
| Van Handel Otniel | 2017 | R. Krauthgamer | Vertex cover approximation in data streams | |
| Sabah Sima | 2017 | M. Irani | The "AVI" descriptor: An Appearance and Viewpoint Invariant local video descriptor | |
| Pnueli Michal | 2017 | V. Rom-Kedar | Dynamics in a Hamiltonian Impact System | |
| Ovadia Shahar | 2017 | S. Dobzinski | Combinatorial cost sharing | |
| Navon Tal | 2017 | D. Peleg | Fault tolerant network design problems based on mixed backup and reinforcement | |
| Mintzer Sefi (Yosef) | 2017 | N. Barkai | Divergence of duplicated transcription factors: Msn2 and Msn4 as a test case | |
| Mikulincer Dan | 2017 | R. Eldan | Information and dimensionality of anisotropic random graphs | |
| Mezuman Leanne | 2017 | S. Yakovenko | Classification of non-Fuchsian linear differential equations | |
| Levkovich Neta | 2017 | E. Segal | Detection of correlations between microbiome strains and resulting human phenotypes | |
| Leshkowitz Maya | 2017 | O. Goldreich | On round complexity and randomness complexity in interactive proofs | |
| Klein Jennifer | 2017 | D. Peleg | Let there be light: Empowering robot swarms | |
| Kenyon Anne | 2017 | U. Feige | On the profile of multiplicities of complete subgraphs | |
| Hitron Yael | 2017 | U. Feige | The ordered cover problem | |
| Dudley Carmel | 2017 | A. Tanay | Inferring large-scale chromosomal compartmentalization using single-cell Hi-C | |
| Dror Omer | 2017 | B. Nadler | Unsupervised ensemble regression | |
| Cohen Tal | 2017 | T. Gelander | Topological Gaschutz Lemma | |
| Benarroch Guenun Daniel Messod | 2017 | Z. Brakerski | Fully homomorphic encryption over the Integers: Decomposed and batched in the post-quantum regime | |
| Ben Ovadia Snir | 2017 | O. Sarig | Symbolic dynamics for non-uniformly hyperbolic diffeomorphisms of compact smooth manifolds | |
| Attias Chen | 2017 | R. Krauthgamer | Combinatorial optimization problems with testing | |
| Attias Chen | 2017 | R. Krauthgamer | Combinatorial optimization problems with testing | |
| Attali Shirel | 2017 | D. Peleg | Wireless expanders | |
| 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 | |
| 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 | |
| Kakhlon Noam | 2015 | D. Gourevitch | Hyper-distinguished nilpotent orbits in Lie algebras and Gelfand property of symmetric pairs | |
| Atzmon Matan | 2015 | O. Zeitouni | The modified branching random walk with random envirnoment | |
| Yagev Stav | 2015 | M. Irani | Software-Based Glass-Free Displays | |
| Maron Haggai | 2015 | A. Levin | A passive 8D display: Light and viewpoint sensitive display of 3D content | |
| Kukliansky Doron | 2015 | O. Shamir | Attribute efficient linear regression with data-dependent sampling | |
| Meir Omer | 2015 | R. Basri | A multiscale variable-grouping framework for MRF energy minimization | |
| Cohen Nadav | 2015 | A. Tanay | Biclustering single cell RNA-sequencing data | |
| Libman Eliahu | 2015 | Y. Lipman | Average shape co-registration and foreground-background motion segmentation under a bounded distortion model | |
| Shikhelman Clara | 2015 | E. Friedgut | Thresholds of monotone properties with small minterms | |
| Loewenthal Noa Dina | 2015 | R. Krauthgamer | Exploiting temporal information for detecting communities in social networks | |
| Aharon Inbar | 2015 | Y. Lipman | Two-layer Alignment between Images | |
| Ziv Asaf | 2015 | M. Naor | Primary-Secondary-Resolver membership proof systems | |
| Livni Navon Inbal Rachel | 2015 | A. Shamir | Image watermarking techniques which are robust against geometric distortions | |
| Kogan Dmitry | 2015 | R. Krauthgamer | Sketching cuts in graphs and hypergraphs | |
| Gutman Masha | 2015 | A. Shamir | Improved top-down techniques in differential cryptanalysis | |
| Granot Elad | 2015 | M. Irani | Inferring missing Z-Axis resolution from high-resolution X-Y slices | |
| Mor Ami | 2015 | S. Dobzinski | Three problems in submodular optimization | |
| Amir Tal | 2015 | R. Basri | Multi-view structure from motion using rank-constrained optimization | |
| Lotan Or | 2015 | M. Irani | Needle-Match: Reliable Patch Matching under High Uncertainty | |
| Shaviv Ary | 2015 | M. Gorelik | On the correspondence of affine generalized root systems and symmetrizable affine Kac-Moody superalgebras | |
| Shwartz Ofer | 2015 | B. Nadler | Computing the large entries of a sparse covariance matrix in sub-linear time | |
| Tanny Shira | 2015 | S. Yakovenko | Local Weyl equivalence of higher order Fuchsian equations | |
| Vainberg Slutskin Ilya | 2015 | E. Segal | Unraveling grammatical rules of gene expression regulation by systematic sequence manipulations of 3' UTRs | |
| Lifshitz Aviezer | 2015 | A. Tanay | Assessment of tumor samples heterogeneity using DNA methylation patterns | |
| Hirszhorn Ariel | 2015 | S. Ullman | Contour Representation: Combining Biological and Computational Considerations | |
| 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 | |
| Kohen Dovrat | 2014 | T. Flash | ||
| Regev Ifat | 2014 | E. Segal | ||
| Nahum Yinon | 2014 | D. Peleg | Diffusion models for money laundering detection | |
| Polak Inna | 2014 | A. Shamir | Using random codes to improve algorithms for finding near-collisions in hash-functions | |
| 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 | |
| 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 | |
| Arbitman Alina | 2012 | U. Feige | Planted random 3SAT with a small fraction of 1-clauses | |
| Bartal Ofer | 2012 | R. Basri | Photometric stereo with unknown lighting and specular reflectance | |
| Douek Yehonatan | 2012 | E. Shapiro | Bio-computers which operate in living cells for smart diagnosis and treatment | |
| Dvir Shlomi | 2012 | E. Segal | Unraveling the effect of 5'UTR sequences on protein expression in yeast | |
| Eitan Nir | 2012 | D. Harel | Adaptive behavioral programming | |
| Factor Alon | 2012 | M. Irani | Visual inference by collaborative composition using the "wisdom of crowds of images" | |
| Finucane Hilary Kiyo | 2012 | I. Dinur | Gap amplification-based constructions of locally testable codes and low-locality and low-degree cryptography | |
| Ganor Anat | 2012 | R. Raz | Efficient communication | |
| Goldberg Lior | 2012 | V. Berkovich | Extensions of Wythoff's game | |
| Hafets Ora | 2012 | E. Segal | Promoter activity in S. cerevisiae maintains proportionality under different growth conditions | |
| Katz Guy | 2012 | D. Harel | Non-intrusive repair of behavioral programs | |
| Klots Michael | 2012 | S. Ullman | Context-free detection and classification of minimal recognizable images and configurations | |
| Meir Moran | 2012 | R. Basri | fibers, blood vessels and neurons | |
| Reznik Aviv | 2012 | O. Goldreich | Finding k-paths in cycle-free graphs | |
| Sherman Dana | 2012 | D. Harel | Computer Modeling of the vibrissa sensorimotor system in rats | |
| Zondiner Tamar | 2012 | R. Krauthgamer | Eliminating steiner vertices in graph metrics | |
| Segal Barak | 2011 | E. Segal | Controlling cell to cell expression variability by DNA sequence | |
| Oded Noa | 2011 | A. Tanay | Models for comparative epigenomics and their applications to the evolution of polycomb recruiting elements in drosophila embryos | |
| Patish Uri | 2011 | S. Ullman | Classifying images by semantic knowledge | |
| Chapal Ilani Noa | 2011 | E. Shapiro | Quantifying the ability to reconstruct a cell-lineage tree using microsatellite mutations and characterizing their mutation rates by tracking cell divisions | |
| Kor Liah | 2011 | D. Peleg | Time and communication for distributed verification | |
| Kolc Mary Elizabeth | 2011 | S. Ullman | Determining head orientation and gaze direction from single images | |
| Rothblum Ron | 2011 | O. Goldreich | On homomorphic encryption and enhanced trapdoor permutations | |
| Shahar Oded | 2011 | M. Irani | Space-time super-resolution from a single video | |
| Tamuz Omer | 2011 | E. Mossel | Estimation in modern contexts | |
| Shimon Hila | 2011 | |||
| Yaari Yariv | 2011 | I. Benjamini | Estimation in modern contexts | |
| Yankielowicz Keren Leeat | 2011 | E. Segal | Exploring the relationship between transcriptional control and metabolic network structure in Saccharomycescerevisiae | |
| Birnbaum Aharon | 2011 | B. Nadler | Eigenvector estimates in sparse PCA- a correlation approach | |
| Benditkis Sergey | 2011 | D.Novikov | On the number of zeroes of iterated integrals | |
| 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 | |
| Batenkov Dmitry | 2010 | Y. Yomdin | Algebraic reconstruction of geometric models from integral measurements | |
| Avigad Lidor | 2010 | O. Goldreich | On the lowest level of query complexity in testing graph properties | |
| Arbitman Yuriy | 2010 | M. Naor | Efficient dictionary data structures based on cuckoo hashing | |
| Arkind Noaz | 2010 | B. Nadler | Parametric joint detection-estimation of the number of sources in array processing | |
| Berger Tal | 2010 | D. Harel | Superstep reuse during smart play-out of reactive systems | |
| Brostovski Ori | 2010 | M. Irani | Detecting the Common | |
| Gat Eran | 2010 | S. Goldwasser | On the canonization of probabilistic algorithms | |
| Hodis Eran | 2010 | E. Segal | Divergent gene regulation and Overlapping codes in protein-coding sequences | |
| Josef Shlomo | 2010 | U. Feige | Local algorithms for the maximum directed cut problem | |
| Kenigsberg Ephraim | 2010 | A. Tanay | Testing the selection hypothesis for the nucleosome positioning sequence | |
| Dinur Itai | 2010 | A. Shamir | New methods of cryptanalysis | |
| Landan Gilad | 2010 | A. Tanay | Functional enhancers at the gene-poor 8q24 cancer-linked locus epigenetic switching in immortalized fibroblast culture | |
| Levo Michal | 2010 | E. Segal | Transcriptional lego- from promoter building blocks, mediating nucleosomes and transcription factors binding, to expression | |
| Mazor Elad | 2010 | E. Segal | High-throughput measurement of RNA secondary structure | |
| Mazor Yair | 2010 | E. Shapiro | DNA libraries construction via DNA editing- design and planning | |
| Mendelson-Cohen Netta | 2010 | A. Tanay | DNA methylation and the evolution of CpGs in the human genome | |
| Novikov Sergey | 2010 | O. Reingold | On derandomized direct product theorems | |
| Orenshtein Tal | 2010 | G. Kozma & B. Tsaban | Global Topological properties and convergence of real functions | |
| Ozana Eilam Shira | 2010 | S. Ullman H. Slovin | development of an image identification decoder for voltage-sensitive dye signal in early visual cortex of fixating monkeys | |
| Stern Shani | 2010 | A. Tanay | A computational model for prediction of polycomb recruitment elements in fruit flies embryos | |
| Shinkar Igor | 2010 | I. Dinur | Intersecting families, independent sets and coloring of certain graph products | |
| Talgam-Cohen Inbal | 2010 | U. Feige | A direct reduction from k-player to 2-player Nash Equilibrium | |
| Tzur Yoav | 2010 | O. Goldreich | Notions of weak pseudorandomness and GF(2n)- polynomials | |
| Shafrir Doron | 2009 | A.Joseph | Duality of orbits and invariants in representations of Lie algebras | |
| Zeldin Maria | 2009 | S. Ullman | Combining skin color and segmentation to detect people in images | |
| Noor Elad | 2009 | |||
| Chechik Shiri | 2009 | D. Peleg | Fault-tolerant structures in graphs | |
| Kantor Amir | 2009 | D. Harel | Foundations of scenario-based modeling | |
| Lubliner Shai | 2009 | E. Segal | New algorithms for motif finding and for genome-wide prediction of nucleosome occupancy | |
| Manor Ohad | 2009 | E. Segal | Studying the relations between microRNA and mRNA expression profiles in hESCs | |
| Dubey Chandan | 2009 | U. Feige | On bandwidth approximation on graphs | |
| Efremenko Klim | 2009 | O. Reingold | How well do random walks parallelize? | |
| Frumkin Dmitry | 2009 | A.Shamir | The security of RFID tag identification schemes | |
| Gilat Tom | 2009 | Z. Artstein | Periodic solutions to long run average optimization problems - existence proof for a specific example | |
| Granot-Atedgi Einat | 2009 | E. Schneidman | Stimulus-dependent maximum entropy models and decoding of naturalistic movies form large populations of retinal neurons | |
| 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 | |
| Shellef Eric | 2008 | I. Benjamini | Random interacting particle systems | |
| Bagon Shai | 2008 | M. Irani | What is a good image segment? Currently at: PhD student, Weizmann Inst., Rehovot | |
| Adjiashvili David | 2008 | D. Peleg | Equal-area locus-based convex polygon decomposition | |
| Baruch Leehod | 2008 | E. Shapiro, Eran Segal | Empirical evidence and implications of the chemoaffinity hypothesis | |
| Eiger Dror | 2008 | S. Goldwasser | Proactive secret sharing with partial erasures Currently at: Google, Tel Aviv | |
| Ettinger Boris | 2008 | E. Titi | Global existence and uniqueness of weak solutions of the three dimensional Euler equations with helical symmetry | |
| Ganmor Elad | 2008 | |||
| Kleinbort Asaf | 2008 | D. Harel | An LSC compiler | |
| Kol Gillat | 2008 | M. Naor | Games for exchanging information | |
| Kramer Tal | 2008 | O. Reingold | On the universality of bit fixing sources | |
| Kritchman Shira | 2008 | B. Nadler | Determining the number of components in a factor model from limited noisy data | |
| Meir Or | 2008 | O. Goldreich | Combinatorial construction of locally testable codes | |
| Peled (Hadad) Udi | 2008 | A. Fraenkel, A. Regev | Polynomializing hard sequences using surrogate sequences | |
| Poupko Ouri | 2008 | D. Harel | Specifying and executing web service choreography using live sequence charts | |
| Rabani Michal | 2008 | E. Segal | A Probabilistic model for identifying RNA motifs in unaligned sequences | |
| Samet Nadav | 2008 | G. Schechtman, B.Tsaban | Ramsey theory of open covers Currently at: Google, Mountain View, California | |
| Sadka Tali | 2007 | E. Segal | A thermodynamic approach | |
| Sarig Niv Moshe | 2007 | Y. Yomdin | Robust reconstruction of nonlinear model parameters from measurement data | |
| Binyamini Gal | 2007 | A. Joseph | Semi-invariants for biparabolic (Seaweed) algebras | |
| Segall Itai | 2007 | D. Harel | Mutual usage of scenario-based programming and AI planning | |
| Reif Shifra | 2007 | M. Gorelik | On simplicity of W-algebras Wk (SI(2|n),f theta) | |
| Shahmoon Shahar | 2007 | E. Segal | Inferring regulator activity levels in transcription systems | |
| Arie-Nachimson Mica | 2007 | R. Basri | Multiview object detection using a probabilistic 3D class model | |
| Sheffet Or | 2007 | O. Goldreich | Reducing the randomness complexity of property testing with an emphasis on testing bipartiteness | |
| 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 | |
| Admanit Yishai | 2007 | E. Shapiro, E. Segal | Advanced algorithms for inferring cell lineage trees | |
| Barhum Kfir | 2007 | O. Goldreich | Approximating averages of geometrical and combinatorial quantities | |
| Barkan Gilad | 2007 | R. Basri | Segmentation-based long range motion estimation Currently at: Rad Vision | |
| Izkovsky Roey | 2007 | I. Benjamini | The tale of two phase transitions | |
| Maoz Hillel | 2007 | M. Naor | An n 2/5 upper bound for the greedy diameter of general graphs Currently at: Google, Tel Aviv | |
| Bright Ido | 2007 | T. Flash | Motion planning through optimization | |
| Meirovich Yaron | 2007 | T. Flash | Kinematic analyses of the Israeli sign language | |
| Merom Ron | 2007 | D. Harel | Distributed collaborative play-out of live sequence charts | |
| Oren Yossef | 2007 | A. Shamir | Remote power analysis of RFID tags Currently at: Tel-Aviv University | |
| Peled Tomer | 2007 | R. Basri | Towards segmentation-based scene understanding Currently at: Elbit Systems Electro-optics-Elop Ltd. | |
| Raveh Barak | 2007 | R. Basri | Rediscovering secondary structures by searching for repetitive patterns in graphs of protein folds Currently at: PhD student, Hebrew University | |
| Field Yair | 2007 | E. Segal | In-silico study of chromatin structure | |
| Ruinskiy Dima | 2007 | A. Shamir | The security of cryptosystems based on combinatorial groups Currently at: Intel, Haifa | |
| Segev Gil | 2007 | V. Katsnelson | Tight bounds for unconditional authentication protocols in the manual channel and shared key models | |
| 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 | |
| Tirosh Itay | 2006 | N. Barkai | Evolution of gene expression in related yeast species | |
| Meoded Yaniv | 2006 | A. Regev | Balanced tableaux | |
| Yehudayoff Amir | 2006 | R. Raz | Arithmetic Circuits and Formulas | |
| Perry Meital | 2006 | T. Flash | Noise models for simple and complex reaching movements | |
| Rothblum Guy | 2006 | M. Naor | The complexity of online memory checking | |
| Segev Idith | 2006 | V. Katsnelson | The Hawaiian conjecture | |
| Shpigelmacher Michael | 2006 | T. Flash | Directional-geometrical approach to via - point movement | |
| Gourevitch Dmitry | 2006 | S. Gelbart, J. Bernstein | Schwartz functions on Nash manifolds | |
| Sokolovsky Alexander | 2006 | R. Raz, A. Shpilka | From derandomized affine homomorphism testing to derandomized homomorphism testing | |
| Trayambaka Nath Karra | 2006 | T. Flash | ||
| Yadin Ariel | 2006 | I. Benjamini | Random Graph-Homomorphisms, Random-Graph Properties and Random Walks | |
| Zarkhi Shlomit | 2006 | Z. Artstein, E. Titi | On two-player zero-sum games with information | |
| 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 | |
| Barak Dan | 2005 | D. Harel | Horizontal scale-up and transition to design in scenario-based programming Currently at: CEO & Co-Founder of Bloggers Base | |
| Ben-Dor Uri | 2005 | E. Shapiro | Compiling medical knowledge into molecular automata Currently at: HP Software R&D | |
| Etin Alexey | 2005 | A.Pnueli | Parameterized SPL compiler | |
| Cohen Daniel | 2005 | Y. Yomdin | Some quantitative results in singularity theory | |
| Gabizon Ariel | 2005 | R. Raz | Deterministic extraction and other problems relating to weak random sources Currently at: Department of Computing Science, Simon Fraser Univesity, Vancouver | |
| Gendelman Ilan | 2005 | T. Flash | Model-based control for an octopus arm | |
| Benenson Yaakov | 2005 | |||
| Gordin Ira | 2005 | A. Pnueli | Binary code validation tool (CVT/A) | |
| Zahavi Gal | 2005 | Y. Yomdin | Solutions of large systems of O.D.E's as interpretation of evolutionary surfaces | |
| Gronau Ilan | 2005 | E. Shapiro | Computational model for divide and conquer DNA synthesis protocol | |
| Hoch Ya'Akov | 2005 | A. Shamir | Fault analysis of stream ciphers | |
| Michal Igell | 2005 | O. Reingold | On the universality of adversarial bit fixing sources | |
| Haddad Refael | 2005 | D. Harel | Predicting the molecular receptive range of an odorant receptor using an electronic nose | |
| Kantor Erez | 2005 | D. Peleg | Approximation algorithms for minimum energy bounded-hop strong connectivity range assignment in ad-hoc networks Currently at: Currently Ph.D. student at Weizmann | |
| Karlinski Leonid | 2005 | S. Ullman | The learning and use of graphical models for image interpretation | |
| Korman Simon | 2005 | U. Feige | On the use of randomization in the online set cover problem | |
| Lifshitz-Shpringer Ita | 2005 | S. Ullman | Image interpretation using bottom-up top-down cycle on fragment trees | |
| Makmal Adi | 2005 | L. Kronik | Mn nano-crystals - A first principles study | |
| Atir Yoram | 2005 | D. Harel | Object refinement and composition in scenario-based programming | |
| Margel Shiri | 2005 | E. Domany | A method for reconstructing transcriptional regulatory networks | |
| Shlizerman Eli | 2005 | V. Rom-Kedar | ||
| Nadav Uri | 2005 | M. Naor | Fault-tolerant storage systems and quorum system for dynamic environment | |
| 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 | |
| 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 | |
| Haitner Iftach | 2004 | O. Goldreich | Implementing oblivious transfer using a collection of dense trapdoor permutations Currently at: Microsoft Research, New England | |
| Segal-Agmon Noa | 2004 | D.Peleg | Gathering autonomous mobile robots with faults | |
| Shaham Oded | 2004 | D. Harel | On mapping between electronic noses | |
| Vilenchik Dan | 2004 | U. Feige | Finding a satisfying assignment for random satisfiable 3CNF formulas | |
| Waisbard Erez | 2004 | S. Goldwasser | New directions in constructing efficient and secure designated confirmer signatures | |
| Wishko-Stern Sharon | 2004 | A. Brandt | An algebraic multigrid based algorithm for bisectioning general graphs | |
| Nivasch Gabriel | 2004 | A. Fraenkel | on the location of the g-values Currently at: Blavatnik School of Computer Science, Tel Aviv University, Tel Aviv | |
| Blumenfeld Barak | 2004 | M. Tsodyks, S. Ullman | Functional maps and intracortical connectivity in the primary visual cortex | |
| Emek Yuval | 2004 | D.Peleg | Low stretch spanning trees Currently at: School of Electrical Engineering, Tel Aviv University | |
| Gorelick Lena | 2004 | A. Brandt, R. Basri | Object recognition by silhouette shape | |
| Kushnir Dan | 2004 | A. Brandt | Fast multi-scale clustering algorithm with application on cold and black matter simulations | |
| Zelman Ido | 2004 | U. Alon | Mathematical model for C. elegans locomotion | |
| Levant Boris | 2004 | G. Schechtman | Euclidean sections of the cross-polytope | |
| Apartsin Alexander | 2004 | R. Basri | Multiscale segmentation of independent object motion using irregular pyramids | |
| Bart Evgeniy | 2004 | S. Ullman | Object recognition using shared extended fragments Currently at: Palo Alto Research Center, Palo Alto, CA | |
| Levi Dan | 2004 | S. Ullman | A network model for fragment-based object classification | |
| Barzuza Tamar | 2004 | R.Shamir, J. Beckmann | Computational resolution and tagging of perfect phylogeny haplotypes | |
| Noy Lior | 2004 | T. Flash | Features of human movement imitation | |
| Elbaz Ariel | 2004 | R. Raz | Improved constructions for extracting quasi-random bits from sources of weak randomness | |
| Gilboa Amos | 2004 | D. Harel | Finding all possible supersteps in LSCs | |
| Gordon Dafna | 2004 | Y. Moses | ||
| Katz Natan | 2004 | V. Rom-Kedar | On models for tumor growth with dynamical oxygen supply | |
| 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 | |
| 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 | |
| Bernstein Dan | 2003 | A. Regev | The complexity of two different rules for computing characters of Sn Currently at: Apple Inc., Cupertino | |
| Machline Moshe | 2002 | M. Irani | Revisiting motion consistency | |
| Mantin Itsik | 2002 | A.Shamir | Analysis of the stream cipher RC4 | |
| Rahat Ofer | 2002 | A. Fraenkel | Complexity of error-correcting codes derived from combinatorial games | |
| Lustig Yoad | 2002 | O. Goldreich | Security criteria for public-key encryption | |
| Kleper Dvir | 2002 | G. Schechtman | Haar block bases as complemented subspaces of Lp | |
| Wieder Ehud | 2002 | U. Feige | Offline allocation of satellite resources or maximun edge coloring with a fixed number of colors Currently at: Microsoft, Mountain View | |
| Dovgard Roman | 2002 | G. Schechtman | Simulations of Mahler's and volume monotonicity conjectures | |
| 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 | |
| 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 | |
| Rosen Alon | 2000 | M. Naor | Pesudo-random functions and factoring Currently at: School of Computer Science, Herzliya Interdisciplinary Center. | |
| Koren Yehuda | 2000 | D. Harel | Nice drawing of graphs with non-uniform vertices Currently at: Yahoo, Israel | |
| Borenstein Eran | 2000 | S. Ullman | ||
| Atzmony Yedidia | 2000 | D. Peleg | ||
| Degani Ilan | 2000 | A. Brandt | A Study of fast summation error and application in 1D molecular mechanics | |
| Kaminsky Moshe | 2000 | D.Harel | More results on non-regular PDL | |
| Hartman Tzvika | 2000 | R. Raz | Generalizing Extractors and Dispersers Currently at: Google, Tel Aviv. | |
| Cohen Meir | 2000 | M. Irani | Dense recovery of planar-parallax from multiple frames | |
| Kugler Hillel | 2000 | D. Harel | Synthesizing state-based object systems from LSC specifications. Currently at: Microsoft Research, UK. | |
| Spector Yuval | 2000 | R. Basri | Application and extensions. Currently at: Soligence Corporation | |
| Ein Dor Amir | 2000 | D. Roth | A Study of fast summation error and application in 1D molecular mechanics | |
| Harnik Danny | 2000 | R. Raz | Higher lower bounds on monotone size Currently at: IBM Haifa Research Labs | |
| Nicola Aurelian | 2000 | D. Michelson | Stability of discrete shocks for difference approximations to systems of conservation laws | |
| Sedletsky Catherine | 2000 | A. Pnueli | Formal verification of the ricart_agrawala algorithm. | |
| Seeman-Emerson Tamar | 2000 | A. Fraenkel | Complexity of certain Heap Game Characteristic functions Currently at: Dept. of Mathematics, Bar Ilan University, Ramat Gan | |
| 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 | |
| Temkin Michael | 1999 | V. Berkovich | ||
| 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 | |
| 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 | |
| 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 | |
| Shahar Elad | 1996 | A. Pnueli | Multiple encryption schemes with intermediate exclusive-or operations Currently at: IBM | |
| Gusis Anghela | 1996 | T. Flash | Arm trajectory planning in 3D space | |
| Pryadkin Yuri | 1996 | S. Edelman | Motion based figure-ground segmentation | |
| Peshkin Leonid | 1996 | S. Ullman | Statistical methods in the analysis of brain imaging data | |
| Bronstein Victor | 1996 | A. Fraenkel | Counting Sequences | |
| Karov Yael | 1996 | S. Edelman | Similarity-based word sense disambiguation | |
| Kovalenko Maxim | 1996 | E. Domany | Forecasting time series using mixtures of adaptive experts | |
| Liberman Boris | 1996 | A. Pnueli | ||
| Rayzman Giora | 1996 | U. Feige | Approximation techniques for job-shop scheduling problems | |
| Shamir Roy | 1996 | A. Shamir | Multiple encryption schemes with intermediate exclusive-or operations | |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| Rozantsev Michael | 1993 | A. Brandt | Methods for multigrid solution of quantum electrodynamics equations Currently at: Intercon Systems Ltd. | |
| Barabash Alexander | 1993 | A. Fraenkel | Two questions concerning beatty functions. | |
| Schechter (Cohen) Hagit | 1993 | D.Peleg | ||
| Gordon Raz | 1993 | |||
| Kamon Yishay | 1993 | |||
| Kasterstein Rami | 1993 | |||
| Diskin Boris | 1993 | A. Brandt | ||
| Krichevsky Nadya | 1993 | |||
| Manolache Florin | 1993 | |||
| Marcus Monica | 1993 | Y. Moses | Belief as Knowledge Relative to an Introspective Assumption Currently at: gmarcus@isugw.indstate.edu | |
| Mass Yossi | 1993 | E. Shapiro | An architecture for cyberspace | |
| Shmulyian Sergei | 1993 | A. Brandt | Multilevel monte carlo algorithms for spin models Currently at: IBM, Haifa | |
| Polunsky Zvi | 1993 | Y. Mozes | PTANGO-A system for algorithm animation in a distributed environment | |
| 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 | |
| Baruch Shmuel | 1992 | Yakar Kannai | Monotone Demand Currently at: Business administration, Technion, Haifa | |
| Armoni Roy | 1992 | D. Harel | ||
| Cohen Amit | 1992 | |||
| Friedman Nir | 1992 | D. Harel | ||
| Goldberg Merilee | 1992 | |||
| Kapon Ron | 1992 | |||
| Marcus Yosi | 1992 | |||
| Rimer Jacob | 1992 | |||
| Wool Avishai | 1992 | D.Peleg | ||
| Lalovic Ilija | 1992 | E. Shapiro | ||
| Galun Meirav | 1992 | A. Brandt | Optimal multigrid algorithms for model problems in statistical mechanics Currently at: Dept. of Computer Sci. and Appl. Mathematics, Weizmann Inst., Rehovot | |
| Goldberg Yaron | 1991 | |||
| Kislev Orit | 1991 | |||
| Kleinman Amit | 1991 | E. Shapiro | Performance visualization of concurrent logic programs | |
| Nachson Aharon | 1991 | |||
| Rubenstein Barton | 1991 | |||
| Sandak Bilha | 1991 | |||
| Schneider Haim | 1991 | |||
| Tirosh-Pundak-Mintz Limor | 1991 | |||
| Yalov Sharon | 1991 | |||
| Duvdevani-Bar Sharon | 1991 | L. Segel | ||
| Adini Yael | 1991 | D. Sagi | ||
| Etzion Yael | 1991 | |||
| Gilon Karni | 1991 | D. Peleg | ||
| Kortsarz Guy | 1990 | D. Peleg | ||
| Costiner Sorin | 1990 | S. Ta'asan | ||
| Jager Eva | 1990 | Lee A. Segel | On the distribution of dominance in a population of interacting anonymous organisms Currently at: GMAX Tel Aviv | |
| Raz Danny | 1990 | D. Harel | ||
| Moscowitz Yael | 1990 | E. Shapiro | ||
| Arnon Yoram | 1990 | |||
| Assaf Shai | 1990 | |||
| Benady Meny | 1990 | |||
| 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 | |
| Cojocaru Lutzy | 1989 | Y. Kannai | ||
| Patt-Shamir Boaz | 1989 | D. Peleg | ||
| Davidson Ron | 1989 | |||
| Harel Eyal | 1989 | |||
| Kaminsky Ron | 1989 | |||
| Kliger Orna | 1989 | S. Ta'asan | ||
| Lorberbom Mordechai | 1989 | |||
| Patt Boaz | 1989 | |||
| Roth Gil | 1989 | |||
| Shimshoni Ilan | 1989 | |||
| Shoham Doron | 1989 | |||
| Yolis Yoel | 1989 | |||
| Zilbershatz Avishai | 1989 | |||
| Cheifetz Joni | 1988 | |||
| Cohen Moshe | 1988 | |||
| Goren Amos | 1988 | |||
| Melamed Inna | 1988 | |||
| Peleg Yiffat | 1988 | |||
| Reches Ehud | 1988 | |||
| Retchikman Zvi | 1988 | |||
| Cohen Shimon | 1988 | |||
| Shalev Michal | 1988 | |||
| Szoke Daniel | 1988 | |||
| Waarts Orli | 1988 | |||
| Feldman Yosee | 1988 | |||
| Haras Zigo | 1988 | S. Taasan | ||
| Heiman Rafi | 1987 | A. Shamir | On the Security of Cryptosystems Based on Linear Error Correcting Codes. Currently at: Gilat Satellite Networks, Petah Tikva, Israel | |
| Feige Uriel | 1987 | A. Shamir | ||
| Tennenholtz Moshe | 1987 | Y. Moses | ||
| Ben-Av (Barchilon) Mercedes | 1987 | L. Segel | Adaptation, Oscillations and Relay in a model for cAMP secretion Currently at: Achva Academic College | |
| Kliger Shmuel | 1987 | E. Shapiro | ||
| Mikulinsky Vladimir | 1987 | A. Brandt | Multigrid treatment of boundary and free-boundary conditions Currently at: ORBOTECH, Yavne | |
| Yardeni Eyal | 1987 | E. Shapiro | ||
| Almagor Jacob | 1987 | |||
| Avrahami Gideon | 1987 | |||
| Duvdevani Nitsan | 1987 | |||
| Fogel Itzhak | 1987 | |||
| Gendler Effim | 1987 | |||
| Gera Dan | 1987 | |||
| Hirsch Michael | 1987 | |||
| Jaris Alan | 1987 | |||
| Katzenellenbongen Dan | 1987 | |||
| Lichtenstein Yossi | 1987 | |||
| Matias Yosef | 1987 | |||
| Mozes Eyal | 1987 | |||
| Scheff Chaim-Meyer | 1987 | |||
| 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 | |||
| Safra Shmuel | 1986 | A. Pnueli | ||
| Unger Ron | 1986 | D. Harel | ||
| 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 | |||
| Oldak Salomon | 1985 | I. Horowitz | ||
| Voicheck Naftali | 1984 | |||
| Ron Dorit | 1984 | A. Brandt | ||
| Barkan (Berkovitsh) Mordechai | 1984 | |||
| Campeanue Dalia | 1984 | |||
| Sidilkover David | 1984 | A. Brandt | ||
| Cohen Irit | 1984 | |||
| Fink (Paradiz) Leonora | 1984 | |||
| Finkelstein Benyamin | 1984 | |||
| 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 | |||
| Amit Batia | 1982 | |||
| Bercovitz Abraham | 1982 | |||
| Brooke Dane | 1982 | |||
| Kopilovitz Israel | 1982 | |||
| Laban Mordechai | 1982 | |||
| Levy Elias | 1982 | |||
| Manker Amos | 1982 | |||
| Neaab Smadar | 1982 | D. Harel | ||
| Rauch Dov | 1982 | |||
| Vardy Schlomo | 1982 | |||
| Werman Michael | 1982 | |||
| Feldman Yishai | 1982 | D. Harel | ||
| Fiat Amos | 1982 | A. Shamir | ||
| Goldberg Donna | 1981 | |||
| Keshet (Keish) Yehoshua | 1981 | L. Segel | Numerical studies of effects of predation on aspect diversity in prey | |
| Klein Thomas | 1981 | |||
| Kopelman Zvi | 1981 | |||
| Eran Yair | 1981 | A. Pnueli | ||
| Alpay Daniel | 1980 | H. Dym | Study of certain families of Hankel operators and applications to stochastic | |
| 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 | ||
| 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 | |||
| Amidror Itzhak | 1979 | |||
| Diamant Noam | 1979 | |||
| Fenig Bernardo | 1979 | |||
| Frank Ariel | 1979 | |||
| Gafni Ilana | 1979 | |||
| Greenberg Josef | 1979 | Z. Artstein | ||
| Krant Yonatan | 1979 | |||
| Lerner Abraham | 1979 | |||
| Malek Abraham | 1979 | |||
| Mass Daniel | 1979 | |||
| Rosenfeld Raaya | 1979 | |||
| Shoyom Thomas | 1979 | |||
| Pruzan Schmidt Jeanette | 1979 | |||
| Smursz Leon | 1979 | |||
| Ta'Asan Shlomo | 1979 | A. Brandt | ||
| Tadmor Gilad | 1979 | Z. Artstein | ||
| Weingarten Yaacov | 1979 | |||
| Zarhy Rebeka | 1979 | |||
| Zvuluny Eliyahu | 1979 | |||
| Goldenberg Doron | 1978 | |||
| Hochhauser Sara | 1978 | |||
| Malkosh Menachem | 1978 | |||
| Raban Eliyahu | 1978 | |||
| Tsadik Meir | 1978 | |||
| LIVNY MIRON | 1978 | M. Melman | ||
| Beilis Shai | 1978 | P. Rabinowitz | ||
| Fried Rachel | 1977 | |||
| MOR MOSHE | 1976 | A. Fraenkel | ||
| Dechter Rina | 1976 | Y. Gilis | ||
| Epstein Judith | 1976 | |||
| Etkin (Schiffmann) Edna | 1976 | |||
| Hadida Panner Shlomo | 1976 | |||
| Katz Chaim | 1976 | |||
| Netzer Itzhak | 1976 | |||
| Neuberger Judith | 1976 | |||
| Novick Amy | 1976 | |||
| Ross Rony | 1976 | |||
| Sagiv Yehoshua | 1976 | M. Raim | ||
| Shalgi Menahem | 1976 | |||
| Shmidman Amnon | 1976 | |||
| Tamir Moshe | 1976 | |||
| Triebitz Mark | 1976 | |||
| Gilad Joel | 1976 | |||
| Paz Zamir | 1976 | |||
| Raab David | 1976 | |||
| Shahar Ron | 1976 | |||
| Shapira Aharon | 1976 | |||
| Shemer Itzhak | 1976 | |||
| KENETT RON | 1976 | S. Karlin | ||
| Klebansky Boris | 1975 | |||
| Lamprecht Yehudit | 1975 | |||
| Levy Yosef | 1975 | |||
| Mochon Shimon | 1975 | |||
| Olshansky Tmima | 1975 | |||
| Schild Rivka | 1975 | |||
| TASSA UZI | 1975 | A. Fraenkel | ||
| Schusdek Joel | 1975 | |||
| Shemer Lea | 1975 | A. Brandt | ||
| BALABAN MIRA | 1975 | P. Rabinowitz | ||
| Shimoni Raphael | 1975 | |||
| Yesha Yaacov | 1975 | |||
| Belogus David | 1975 | |||
| 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 | |||
| 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 | |||
| Shamir Adi | 1974 | Z. Manna | ||
| Najfeld Igor | 1974 | |||
| Plan Meir | 1974 | |||
| Pomeranz Liora | 1974 | A. Pnueli | ||
| Ranel Hanna | 1974 | |||
| Shoham Ora | 1974 | |||
| Shraga Yosefa | 1974 | |||
| Slutzki Giora | 1974 | |||
| Stein (Burganski) Zvia | 1974 | |||
| Katz Shmuel | 1973 | A. Pnueli | An Implementation of APL Currently at: Computer Science Dept., Technion, Haifa | |
| Vishne Ada | 1973 | |||
| SYLMAN YEHUDA | 1973 | N. Liron | ||
| Wecksler Harry | 1973 | |||
| OPHIR DAN | 1973 | |||
| STEIN JOSEPH | 1973 | A. Tannenbaum | ||
| Batish Mathilda | 1973 | A. Pnueli | ||
| Debbi Danny | 1973 | |||
| Cutler Michael | 1973 | Z. Riesel | ||
| Fogel Roni | 1973 | |||
| Freund Gavriela | 1973 | |||
| Golde Shmuel | 1973 | |||
| Grushka Nurit | 1973 | |||
| Kahana Ruth | 1973 | |||
| Landau Weiss Nurit | 1973 | A. Ben-Menahem | ||
| Liebreich (Yahil) Hanna | 1973 | |||
| Mendes Varda | 1973 | |||
| Ram Giora | 1973 | |||
| Mory-Rauch Leah | 1973 | Z. Riesel | ||
| Roth Greenman Aviva | 1973 | S. Even | ||
| Salomon Yetty | 1973 | |||
| Skupsky Pnina | 1973 | |||
| Sorin Simha | 1973 | |||
| Spitz Eliezer | 1973 | |||
| Stern Eliahu | 1973 | |||
| 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 | |||
| FRANCEZ NISSIM | 1972 | |||
| AVNI HAIM | 1972 | |||
| 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 | |||
| ITAI ALON | 1971 | |||
| Weinstein Marcel | 1970 | |||
| Aboodi Ezra | 1970 | |||
| Diner Nathan | 1970 | |||
| Farkas (Rosengarten) Shoshana | 1970 | S. Karlin | ||
| Levite Uri | 1970 | |||
| Lipskier Jacques | 1970 | |||
| Accad Yigal | 1969 | C.L. Pekeris | ||
| Gillon (Ganz) Allon | 1969 | |||
| Israeli Imanuel | 1969 | |||
| Burbea Jacob | 1968 | |||
| Mishari Joseph | 1968 | |||
| Koren Ruth | 1967 | |||
| DYN (RICHTER) NIRA | 1967 | P. Rabinowitz | ||
| LOEWENTHAL DAN | 1967 | |||
| Keren Ruth | 1966 | |||
| Rosenthal Haya | 1966 | |||
| Salomon Eugenia | 1966 | |||
| Shkoller Boris | 1966 | |||
| LIRON NADAV | 1966 | J. Gillis | ||
| Alon Yaffa | 1965 | |||
| Katz Joseph | 1965 | |||
| Aboudi Jacob | 1964 | |||
| Bein Jacob | 1964 | |||
| Vilner Miriam | 1964 | |||
| ZWAS GIDEON | 1964 | S. Abarbanel | ||
| 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 | ||
| Attias Chen | R. Krauthgamer | Combinatorial optimization problems with testing | ||
| Edelman Shimon | S. Ullman | |||
| Codish Michael | E. Shapiro |
Contact Search
