You are here


Name Yearsort ascending 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
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:
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
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
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
Wecksler Harry 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
Berenholc Shmuel 1971
GERA AMOS 1971 I. Horowitz
Chang Ding-En 1971
Cheng Hui-Chou 1971
Melnick Yacob 1971
Ehrlich Gideon 1971
Perl Yehoshua 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
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