| Student Name |
Graduation Year |
Advisors |
Abstarcts |
Research Name |
| Brifman Alon |
2019 |
Michael Elad |
Abstracts |
Novel Image and Video Super-Resolution Relying on Denoising Algorithms |
| Zarecki Jonathan |
2019 |
Shaul Markovitch |
Abstracts |
Textual Membership Queries |
| Harel Shahar |
2019 |
Shaul Markovitch, Kira Radinsky, |
Abstracts |
Prototype-Based Chemical Design using Diversity-Driven Generative Models |
| Zur Yochai |
2019 |
Alexander Bronstein |
Abstracts |
Differentiable Neural Architecture Search with an Arithmetic Complexity Constraint |
| Shoshan Eylon |
2019 |
Kira Radinsky |
Abstracts |
Latent Entities Extraction: How to Extract Entities that Do Not Appear in the Text? |
| Derech Niv |
2019 |
Ayellet Tal, |
Abstracts |
Solving Archaeological Puzzles |
| Evron Itay |
2019 |
Daniel Soudry, Yacov Crammer, |
Abstracts |
Efficient Loss-Based Decoding on Graphs for Extreme Classification |
| Elizarov Avner |
2019 |
Erez Petrank |
Abstracts |
LOFT: Lock-Free Transactional Data Structures |
| Nezri Yuval |
2019 |
Reuven Cohen |
Abstracts |
Cardinality Estimation In a Virtualized Network Device Using Online Machine Learning |
| Kreimer Alexander |
2019 |
Ehud Rivlin, |
Abstracts |
Algorithms for Visual Odometry |
| Zohar Dor |
2019 |
Roi Reichart |
Abstracts |
Label Expansio – Integrating Prior Knowledge to Large Label Set Tasks |
| Devir Nurit |
2019 |
Orna Grumberg, Shaul Markovitch, |
Abstracts |
Applying Machine Learning for Identifying Attacks at Run-Time |
| Eshel Yotam |
2019 |
Shaul Markovitch |
Abstracts |
An Attention-RNN Based Approach for Named Entity Disambiguation with Noisy Texts |
| Minkin Marina |
2019 |
Mark Silberstein |
Abstracts |
Improving Performance and Security of Intel SGX |
| Rosenbaum Assaf |
2019 |
Eli Biham, Sara Bitan, |
Abstracts |
Trusted Execution Environments |
| Givoli Ofer |
2019 |
Roi Reichart |
Abstracts |
Zero-Shot Semantic Parsing for Instructions |
| Golan Izhak |
2019 |
Ran El-Yaniv |
Abstracts |
Deep Anomaly Detection using Geometric Transformations |
| Cohen David |
2019 |
Mirela Ben-Chen |
Abstracts |
Generalized Volumetric Foliation from Inverted Viscous Flow |
| Zehavi Sa’ar |
2018 |
Eyal Kushilevitz |
Abstracts |
On the Gap Between Deterministic Communication Complexity and the Partition Number |
| Saig Eden |
2018 |
Eliyahu Ben Sasson |
Abstracts |
Modeling Collaborative Discovery |
| Marcovitch Ori |
2018 |
Joseph Gil |
Abstracts |
A Nano Patterns Language for Java |
| Omari Majd |
2018 |
Yuval Ishai |
Abstracts |
The Complexity of Identifying Cheaters |
| Farchi Nahum |
2018 |
Mirela Ben-Chen |
Abstracts |
Integer-Only Cross Field Computation |
| Trostanetski Anna |
2018 |
Orna Grumberg |
Abstracts |
Modular Demand-Driven Analysis of Semantic Difference for Program Versions |
| Rasin Dan |
2018 |
Orna Grumberg, Sharon Shoham-Buchbind, |
Abstracts |
Modular Verification of Concurrent Programs via Sequential Model Checking |
| Tabaja Ali |
2018 |
Reuven Cohen |
Abstracts |
A Network Layer Attack for the Price of a Physical Layer Attack in a Wireless Mesh Network with Application to RPL |
| Ravid Noam |
2018 |
Benny Kimelfeld |
Abstracts |
Ranked Enumeration of Tree Decompositions |
| Fuchs Amit |
2018 |
Avi Mendelson |
Abstracts |
Fault-Tolerant Operanting System for Many-Core Processors |
| Moroshko Evgeny |
2018 |
Reuven Cohen |
Abstracts |
Sampling-on-Demand in SDN |
| Kiyanovski Arthur |
2018 |
Dan Tsafrir |
Abstracts |
The Real Difference Between Emulation and Paravirtualization of High-Throughput I/0 Devices |
| Zarivach Igor |
2018 |
Shlomo Moran, Yossi Shiloach, |
Abstracts |
The Cruncher: A solver for Large-Scale MIP Problems |
| Khoury Seri |
2018 |
Keren Censor-Hillel |
Abstracts |
New Lower Bounds for the CONGEST Model |
| Makhoul Waseem |
2018 |
Nader Bshouty |
Abstracts |
On Polynomial Time Constructions of Minimum Height Decision Tree |
| Pat Barak |
2018 |
Joseph Gil, Yaron Kanza, |
Abstracts |
Geosocial Search: Finding Places based on Geotagged Social-Media Posts |
| Talmi Itamar |
2018 |
Lihi Zelnik-Manor |
Abstracts |
Template Matching with Deformable Diversity Smiliarity |
| Cohen Uzi |
2018 |
Benny Kimelfeld |
Abstracts |
Query Engine System for Probabilistic Preferences |
| Kligler Netanel |
2018 |
Ayellet Tal |
Abstracts |
On Visibility and Image Processing |
| Gross Amit |
2018 |
Ran El-Yaniv |
Abstracts |
Usages of Selective Regression |
| Duek Sarai |
2018 |
Shaul Markovitch |
Abstracts |
Automatic Generation of Language-Independent Features for Cross-Lingual Classification |
| Elbaz Dan |
2018 |
Michael Zibulevsky |
Abstracts |
Speech Signals Frequency Modulation Decoding via Deep Neural Networks |
| Alperovich Dalia |
2018 |
Zohar Yakhini, Yael Mandel-Gutfreun, |
Abstracts |
Efficient Search for Optimally Enriched Combination of Ranked Lists |
| Carmeli Tamir |
2018 |
Reuven Cohen |
Abstracts |
Detection of BGP Hijacking Using TTL Analysis |
| Levy Maya |
2018 |
Eitan Yaakobi |
Abstracts |
Mutually Uncorrelated Codes for DNA Storage |
| Kupfer Gil |
2018 |
Dan Tsafrir, Amit Nadav, |
Abstracts |
IOMMU-Resistant DMA Attacks |
| Nahshon Yoav |
2018 |
Benny Kimelfeld |
Abstracts |
Relational Framework for information Extraction |
| Dagan Yuval |
2018 |
Yuval Filmus |
Abstracts |
Twenty Questions Game Using Restricted Sets of Questions |
| Malca Rivka |
2018 |
Roi Reichart |
Abstracts |
Neural Transition Based Parsing of Web Queries: An Entity Based Approach |
| Asi Hilal |
2018 |
Eitan Yaakobi |
Abstracts |
Constructions of PIR and Batch Codes for Distributed Storage |
| Moscovici Nurit |
2018 |
Erez Petrank |
Abstracts |
A GPU-Friendly Skiplist Algorithm |
| Gelbhart Roei |
2018 |
Ran El-Yaniv |
Abstracts |
The Relationship Between Agnostic Selective Classification Active Learning and the Disagreement Coefficient |
| Yavneh Gili |
2018 |
Hagit Attiya |
Abstracts |
Remote Memory References at Block Granularity |
| Amir Michael |
2018 |
Alfred Bruckstein |
Abstracts |
Probabilistic Pursuits on Graphs |
| Hooker Niv |
2018 |
Tuvi Etzion |
Abstracts |
On the Existence of the q-Fano Planes |
| Cohen Snir |
2018 |
Shie Mannor |
Abstracts |
Restricted Optimism |
| Shor Tal |
2018 |
Dan Geiger |
Abstracts |
SciLMM: Computing Heritability with Millions of Individuals |
| Rabinovich Dmitry |
2018 |
Alfred Bruckstein |
Abstracts |
Gathering of Agents on a Line |
| Mour Tamer |
2018 |
Eyal Kushilevitz |
Abstracts |
New Efficient Constructions for Distributed Oblivious RAM |
| Zheng Yufei |
2018 |
Gill Barequet |
Abstracts |
Two Researches on Lattice Animals |
| Shor Roman |
2018 |
Eitan Yaakobi, Gala Yadgar, Assaf Schuster, |
Abstracts |
Efficiently Combining Confidentiality and Availability in Distributed Storage Systems |
| Sheffi Gal |
2017 |
Erez Petrank |
Abstracts |
A Scalable Linearizable Multi-Index Table |
| Breuer Ran |
2017 |
Ron Kimmel |
Abstracts |
A Deep Learning Perspective on the Origine of Facial Expressions |
| Hamilis Matan |
2017 |
Eliyahu Ben Sasson, Mark Silberstein, |
Abstracts |
Parallel Additive Fast Fourier Transform Algorithms |
| Costa Areej |
2017 |
Nader Bshouty |
Abstracts |
Exact Learning of Juntas from Membership Queries |
| Cohen Gal |
2017 |
Dan Raz |
Abstracts |
On routing schemes that are robust to changes in bandwidth demand |
| Pismenny Boris |
2017 |
Assaf Schuster, Orna Agmon Ben-Yehud, |
Abstracts |
Market Driven Queueing |
| Maor Gal |
2017 |
Eliyahu Ben Sasson |
Abstracts |
Information Theory and Privacy Related Questions in Communication Comlexity |
| Bernstein Ran |
2017 |
Assaf Schuster |
Abstracts |
Laban Movement Analysis and LDA Distributed Monitoring |
| Richardson Elad |
2017 |
Ron Kimmel |
Abstracts |
Learning to Reconstruct Face Geometries |
| Levy Rina |
2017 |
Keren Censor-Hillel, Hadas Shachnai, |
Abstracts |
Fast Distributed Approximation for Max-Cut |
| Levy Tomer |
2017 |
Joseph Gil |
Abstracts |
Fajita – a Fluent API for Automatic Generation of Fluent APIs in Java |
| Pergament Evgenya |
2017 |
Eliyahu Ben Sasson |
Abstracts |
Algebraic RAM |
| Liss Rotem |
2017 |
Tal Mor |
Abstracts |
Entanglement and Geometrical Distances in Quantum Information and Quantum Cryptography |
| Hazan Itay |
2017 |
Eyal Kushilevitz |
Abstracts |
Two-Party Direct-Sum Questions through the Lens of Multiparty Communication Complexity |
| Licher Roni |
2017 |
Roy Friedman |
Abstracts |
Hardening Cassandra Against Byzantine Failures |
| Regev Tal |
2017 |
Vadim Indelman |
Abstracts |
Multi- Robot Decentralized Belief Space Planning in Unknown Environments |
| Choukroun Yoni |
2017 |
Ron Kimmel |
Abstracts |
On Elliptic Operators and Non-Rigid Shapes |
| Mayzels Tehila |
2017 |
Yoav Etsion |
Abstracts |
Software Management of Hardware Memory Versioning |
| Koretzki Ran |
2017 |
Assaf Schuster, Eitan Yaakobi, |
Abstracts |
Improving SSD-based Caches Lifetime with Write-Once Memory Codes |
| Kaplan Avi |
2017 |
Michael Lindenbaum, Tamar Avraham, |
Abstracts |
Interpreting the Ratio Criterion for Matching SIFT Descriptors |
| Moscovici Eyal |
2017 |
Dan Tsafrir |
Abstracts |
Towards Sidecore Management for Virtualized Environments |
| Damti Yanir |
2017 |
Shlomo Moran, Ilan Gronau, Irad Yavneh, |
Abstracts |
Adaptive Methods for Computing and Comparing Evolutionary Distances |
| Ren Yi |
2017 |
Michael Elad |
Abstracts |
Example-Based Image Synthesis via Randomized Patch-Matching |
| Haramaty Krasne Naama |
2017 |
Eyal Kushilevitz, Yuval Ishai, |
Abstracts |
Low-Complexity Cryptographic Hash Functions |
| Friedman Lior |
2017 |
Shaul Markovitch |
Abstracts |
Recursive Feature Generation for Knowledge-Based Induction |
| Balber Michael |
2017 |
Tomer Shlomi |
Abstracts |
Constraint-Based Isotope Tracing (CBIT): Inferring Flux Constraints from Isotopic Tracing Data |
| Liram Matan |
2017 |
Gala Yadgar, Assaf Schuster, Eitan Yaakobi, |
Abstracts |
Evaluating Zigzag Code in a Distributed Storage System |
| Stiefel Avi |
2016 |
Gill Barequet |
Abstracts |
Motion Planning in the Presence of Mobile Obstacles |
| Moraney Jalil |
2016 |
Dan Raz |
Abstracts |
Efficient Detection of Flow Anomalies with Limited Monitoring Resources |
| Rond Arie |
2016 |
Michael Elad |
Abstracts |
Handling poisson Inverse Problems by the Plug-and-Play Priors Scheme |
| Djerbetian Alexandre |
2016 |
Mirela Ben-Chen |
Abstracts |
Tangent Vector Fields on Triangulated Surfaces – An Edge-Based Approach |
| Grabovitch-Zuyev Irena |
2016 |
Ziv Bar-Yossef, Yaron Kanza, |
Abstracts |
Entity search in Facebook |
| Yadid Shir |
2016 |
Eran Yahav |
Abstracts |
Extracting Code from Programming Tutorial Videos |
| Segall Aviv |
2016 |
Mirela Ben-Chen |
Abstracts |
2D Simulation and Mapping using the Cauchy-Green Complex Barycentric Coordinates |
| Abramovich Evgeny |
2016 |
Eran Yahav |
Abstracts |
Static Mining of Common Concurrency Patterns |
| Zmiry Iddo |
2016 |
Joseph Gil |
Abstracts |
Lola – A Programming Language for Augmenting Programming Languages |
| Berkman Anat |
2016 |
David Harel, Eran Yahav, |
Abstracts |
Scenario based programming for Mobile Applications |
| Lesokhin Ilya |
2016 |
Dan Tsafrir |
Abstracts |
I/O Page Faults |
| Segev Noam |
2016 |
Ran El-Yaniv |
Abstracts |
Transfer Learning using Decision Forests |
| Timnat Erez |
2016 |
Joseph Naor |
Abstracts |
The List Update Problem |
| Abdelkader Karam |
2016 |
Sharon Shoham-Buchbind, Orna Grumberg, |
Abstracts |
Automated Circular Assume-Guarantee Reasoning |
| Hershko Nir |
2016 |
Gershon Elber |
Abstracts |
3D Augmentations of 2D Maps |
| Mordechai Yael |
2016 |
Hadas Shachnai |
Abstracts |
Optimization and Reoptimization in Scheduling Problems |
| Chrizman Cherkassky Nitsan |
2016 |
Alon Itai |
Abstracts |
How to Construct Multilingual Domain Ontologies |
| Geiger Omer |
2016 |
Shaul Markovitch |
Abstracts |
Algorithmic Exam Generation |
| Wagner Jonathan Andre |
2016 |
Elad Hazan |
Abstracts |
Multiplicative Approximation Algorithms for Generalized Covering and Packing Problems |
| Briskin Gil |
2015 |
Ehud Rivlin, Hector Rotstein, |
Abstracts |
Estimating Pose and Motion Using Bundle Adjustment and Digital Elevation Model Consraints |
| Yudin Eric |
2015 |
Ron Kimmel, Eran Yahav, |
Abstracts |
Improving Facial Expression Analysis via Intrinsic Normalization of Surfaces |
| Labai Nadia |
2015 |
Johann Makowsky |
Abstracts |
Definability and Hankel Matrices |
| Has Green Raziel David |
2015 |
Reuven Cohen |
Abstracts |
When a Router Tells Different Stories to Different Neighbors: A New Partition Attack on Link-State Routing Protocols |
| Sennesh Eli |
2015 |
Joseph Gil |
Abstracts |
Unstructured Jumps and Compressed Size as Defect-Prediction Metrics |
| Gonen Ido |
2015 |
Roy Friedman |
Abstracts |
Defending against Eclipse Attacks in Unstructured Overlays |
| Aharoni Eldar |
2015 |
Eyal Kushilevitz |
Abstracts |
Direct Sum Related Problems in Communication Complexity |
| Peterfreund Liat |
2015 |
Michael Kaminski |
Abstracts |
Closure under Reversal of Languages over Infinite Alphabets: A Case Study |
| Malka Moshe |
2015 |
Dan Tsafrir |
Abstracts |
Rethinking the I/O Memory Management Unit (IOMMU) |
| Nus Alexander |
2015 |
Dan Raz |
Abstracts |
Migration Plans with Minimum Overall Migration Time |
| Ben-Yehuda Shmuel |
2015 |
Dan Tsafrir |
Abstracts |
The nom Profit-Maximizing Operating System |
| Rosenfeld Eitan |
2015 |
Dan Tsafrir, Michael Factor, |
Abstracts |
RAIDP: Replication with Intra-Disk Parity |
| Zilberstein Meital |
2015 |
Eran Yahav |
Abstracts |
Code Similarity via Natural Language Descriptions |
| Peleg Omer |
2015 |
Dan Tsafrir |
Abstracts |
Utilizing the IOMMU Scalably |
| Borodin Gregory |
2015 |
Shaul Markovitch, Yaron Kanza, |
Abstracts |
Efficient Query Recommendation |
| Ben Bassat Ran |
2015 |
Hadas Shachnai |
Abstracts |
Parameterized Automata Constructions and Their Applications |
| Toukan Tariq |
2015 |
Keren Censor-Hillel |
Abstracts |
Fault-Tolerant Information Spreading Algorithms |
| Kuperman Yossi |
2015 |
Dan Tsafrir |
Abstracts |
vRio: Efficient Paravirtual Remote I/O |
| Bolshinsky Ella |
2015 |
Roy Friedman |
Abstracts |
Towards an Autonomous Sailing Trainer |
| Jioussy Rami |
2015 |
Avi Mendelson, Ran Wolff, |
Abstracts |
Enhancing Energy-Performance for Power Constrained SoC Systems |
| Elad Noa |
2015 |
Joseph Naor |
Abstracts |
Online Semidefinite Programming |
| Kantor Yoav |
2014 |
Roy Friedman |
Abstracts |
Combining Erasure-Code and Replication Redundancy Schemes for Increased Storage and Repair Efficiency in P2P Storage Systems |
| Hauser Nir Shmuel |
2014 |
Roy Friedman |
Abstracts |
COARA: Code Offloading on Android with RMI and Aspects |
| Volk Ben Lee |
2014 |
Amir Shpilka |
Abstracts |
On the Structure of Boolean Functions with Small Spectral Norm |
| Abasi Hassan |
2014 |
Nader Bshouty |
Abstracts |
On r-Simple k-Path |
| Rybnikov Denis |
2014 |
Mirela Ben-Chen, Chaim Craig Gotsman, |
Abstracts |
A Semi-Automatic System for Non-Rigid Matching and Temporally Coherent 3D Shading of Animation Sequences |
| Zlotnik Alexander |
2014 |
Dan Raz |
Abstracts |
Efficient Use of Geographically Spread Cloud Resources |
| Strauss Rouven |
2014 |
Gershon Elber |
Abstracts |
Geometric Multi-Covering |
| Cherevatsky Boris |
2014 |
Ehud Rivlin, |
Abstracts |
Estimating Epipolar Geometry for Mobile Robots |
| Jacobs Kayla |
2014 |
Alon Itai, Shalom Wintner, |
Abstracts |
Hebrew Acronym: Identification; Expansion and Disambiguation |
| Grinberg Maor |
2014 |
Gershon Elber |
Abstracts |
Comprehensive Free Handed 3D User Interface for Geometric Design Systems |
| Kibar Eyal |
2014 |
Roy Friedman |
Abstracts |
E-Wolf: A Distributed Online Social Network |
| Baltaxe Michael |
2014 |
Michael Lindenbaum |
Abstracts |
Probabilistic Local Variation Segmentation |
| Wajc David |
2014 |
Nir Ailon, Hadas Shachnai, Joseph Naor, |
Abstracts |
Parameterizing P: Proximity to Easy Variants |
| Malul Elior |
2014 |
Joseph Gil, Opher Etzion, |
Abstracts |
Towards Temporal Correctness of Event Processing |
| Goldman Yehonatan |
2014 |
Ehud Rivlin, |
Abstracts |
Robust Epipolar Geometry Estimation Using Noisy Pose Priors |
| Elenbogen Dima |
2014 |
Ofer Strichman, Shmuel Katz, |
Abstracts |
Proving Mutual Termination of Programs |
| Shapira Nitzan |
2014 |
Mirela Ben-Chen |
Abstracts |
Cross-Collection Map Inference by Intrinsic Alignment Shape Spaces |
| Ghanayim Alaa |
2014 |
Dan Geiger |
Abstracts |
Iterative Referencing for Improving the Interpretation of DNA Sequence Data |
| Even Karine |
2013 |
Eran Yahav, Hana Chockler, |
Abstracts |
Finding Rate Numerical Stability Errors in Concurrent Computations |
| Raviv Netanel |
2013 |
Eyal Kushilevitz |
Abstracts |
Truth Table Minimization of Computational Models |
| Gretz Avishai |
2013 |
Alon Itai, Shalom Wintner, |
Abstracts |
Syntactic Annotation of Hebrew CHILDES Corpora |
| Fadida Hanna |
2013 |
Alon Itai, Shalom Wintner, |
Abstracts |
Automatic Extraction of Subcategorization Frames for Hebrew |
| Gurevich Pavel |
2013 |
Meir Orenstein, Tal Mor, |
Abstracts |
Experimental Quantum Key Distribution with Classical Alice |
| Flur Shaked |
2013 |
Orna Grumberg |
Abstracts |
Weak Omega Automata |
| Geva Amir |
2013 |
Michael Heymann |
Abstracts |
Far Field Surveillance Target Classification |
| Atia Yosi |
2013 |
Tal Mor |
Abstracts |
Algorithmic Cooling of Spins by Optimal Control |
| Zeyde Roman |
2013 |
Irad Yavneh |
Abstracts |
Computational Electrokinetics |
| Gabel Moshe |
2013 |
Assaf Schuster, Ran Gilad-Bachrach, |
Abstracts |
Unsupervised Anomaly Detection in Large Datacenters |
| Druk Erez |
2013 |
Yuval Ishai |
Abstracts |
Linear Time Encodable Codes and Cryptography |
| Gotsman Ranit |
2013 |
Yaron Kanza |
Abstracts |
Generating Map-based Routes from GPS Trajectories and their Compact Representation |
| Toledano Haggai |
2013 |
Shaul Markovitch |
Abstracts |
Coverage-Driven Refinement of Conceptual Representations |
| Naamneh Raeda |
2013 |
Gill Barequet |
Abstracts |
Fair Multi-Label Reconstruction from Cross-Sections |
| Strulovich Omer |
2013 |
Yuval Ishai, Eyal Kushilevitz, |
Abstracts |
Lossy Chains and Fractional Secret Sharing |
| Posener Eyal |
2013 |
Assaf Schuster |
Abstracts |
Dynamic Memory Allocation in Cloud Computers Using Progressive Second Price Auction |
| Israel Assaf |
2013 |
Dan Raz |
Abstracts |
Cost Aware Fault Recovery in Clouds |
| Shragai Nadav |
2013 |
Gershon Elber |
Abstracts |
Geometric Covering |
| Beder Michael |
2013 |
Reuven Bar-Yehuda |
Abstracts |
Approximation Algorithms for Resource Scheduling and Allocation Problems |
| Porat Mordechai |
2013 |
Eliezer Kantorowitz |
Abstracts |
A Semantic Approach to User Interface Design |
| Ben-Elazar Shay |
2013 |
Zohar Yakhini |
Abstracts |
Computational Methods for Analyzing Gene Regulation in Model Organisms |
| Agbaria Sabih |
2013 |
Joseph Gil |
Abstracts |
On Incomplete Bug Fixes and Programmers’ Intuition on These |
| Haimovitch Yoav |
2013 |
Yacov Crammer, Shie Mannor, |
Abstracts |
Large-Scale Semi-Supervised Sentiment Analysis |
| Paz Ami |
2013 |
Hagit Attiya |
Abstracts |
Counting-Based Impossibility Proofs for Distributed Tasks |
| Mishne Alon |
2013 |
Eran Yahav |
Abstracts |
Programming with Millions of Examples – Scalable Static Specification Mining |
| Pidan Dmitry |
2013 |
Ran El-Yaniv |
Abstracts |
Selective Prediction with Hidden Markov Models |
| Rappaport Assaf |
2013 |
Dan Raz |
Abstracts |
Approximation Algorithms for Soft-Capacitated Connected Facility Location Problems |
| Vornovitsky Kolman |
2012 |
Carmel Domshlak |
Abstracts |
Abstractions for Devising Compact Controllers for MDPs |
| Kuperstein Michael |
2012 |
Eran Yahav, Martin Wechev, |
Abstracts |
Preserving Correctness Under Relaxed Memory Models |
| Mejer Avihai |
2012 |
Yacov Crammer |
Abstracts |
Confidence Estimation in Structured Predicition |
| Abboud Amir |
2012 |
Assaf Schuster, Daniel Keren, |
Abstracts |
Monitoring General Functions in Distributed Systems with Minimal Communication |
| Bar Pavel |
2012 |
Assaf Schuster |
Abstracts |
Resource Management in Grid Environments |
| Regev Eyal |
2012 |
Alfred Bruckstein, Yaniv Altshuler, |
Abstracts |
Multi Agent Systems in Stochastic Dynamic Environments |
| Gidron Elad |
2012 |
Idit Keidar |
Abstracts |
Exploiting Locality and NUMA in Scalable Conncurrent Libraries |
| Grushko Carmi |
2012 |
Ron Kimmel |
Abstracts |
Continuous Symmetries of Non-rigid Shapes |
| Garber Dan |
2012 |
Elad Hazan |
Abstracts |
Approximating Semidefinite Programs in Sublinear Time |
| Hurwitz Daniel |
2012 |
Alon Itai |
Abstracts |
Morphological and Lexical Decomposition as a Basis for Identifying Multiword Expressions |
| Magadla Muhammad |
2012 |
Roy Friedman |
Abstracts |
Accelerating CIFS over Satellite Networks |
| Hartstein Itamar |
2012 |
Shmuel Zaks, Mordohay Salom, |
Abstracts |
On the Complexity of the Regenerator Location Problem – Treewidth and Other Parameters |
| Koren Tomer |
2012 |
Elad Hazan |
Abstracts |
Learning Linear Support Vector Machines in Sublinear Time |
| Faynburd Alexandra |
2012 |
Ran El-Yaniv |
Abstracts |
Autoregressive Short-Term Prediction of Turning Points Using Support Vector Regression |
| Shimron Yuval |
2012 |
Joseph Gil |
Abstracts |
Smaller Footprint for Java Collections |
| Raviv Ariel |
2012 |
Shaul Markovitch |
Abstracts |
Concept-Based Approach to Word-Sense Disambiguation |
| Portnoy Amit |
2012 |
Roy Friedman |
Abstracts |
TrustPack: a Decentralized Trust Management Framework |
| Kviatkovsky Igor |
2012 |
Michael Heymann, Ehud Rivlin, Amit Adam, |
Abstracts |
Color Invariants for Person Re-Identification |
| Ben-David David |
2012 |
Assaf Schuster, Daniel Keren, |
Abstracts |
Violation Resolution in Distributed Stream Networks |
| Zemach Ran |
2012 |
Irad Yavneh |
Abstracts |
Algebraic Collocation Coarse Approximation (ACCA) in Multigrid |
| Tal Avishay |
2012 |
Amir Shpilka |
Abstracts |
On The Minimal Fourier Degree of Symmetric Boolean Functions |
| Eisenberg Vadim |
2012 |
Yaron Kanza |
Abstracts |
Programming Applications over the Semantic-Web |
| Avraham Uri |
2012 |
Eli Biham, Orr Dunkelman, |
Abstracts |
ABC – A New Framework for Symmetric Block Ciphers |
| Levy Omer |
2012 |
Shaul Markovitch |
Abstracts |
Teaching Machines to Learn by Metaphor |
| Kraus Naama |
2012 |
Ziv Bar-Yossef, Shaul Markovitch, |
Abstracts |
Context-Aware Query Suggestion |
| Eran Haggai |
2012 |
Erez Petrank |
Abstracts |
A Study of Data Structures with a Deep Heap Shape |
| Kolan Tom |
2011 |
Ronny Roth |
Abstracts |
Coding Techiques for Burst Errors |
| Chernoy Viacheslav |
2011 |
Shmuel Zaks, Mordohay Salom, |
Abstracts |
On the Performance of Dijkstra’s Third Self-Stabilizing Algorithm for Mutual Exclusion and Related Algorithms |
| Hashavit Anat |
2011 |
Shaul Markovitch |
Abstracts |
Unbiased Rational Decision Making in Multiple-Adversary Environments |
| Genkin Daniel |
2011 |
Michael Kaminski |
Abstracts |
Radical Lexicalization of Mildly Context-Sensitive Languages |
| Nudelman Ilia |
2011 |
Reuven Cohen |
Abstracts |
Dependent UFP On a Shared Channel With Application to a Network Centric Operation |
| Vitkin Edward |
2011 |
Tomer Shlomi |
Abstracts |
Functional Genomics Based Approach for Reconstruction of Genome Scale Metabolic Network Models |
| Kulik Ariel |
2011 |
Hadas Shachnai |
Abstracts |
Submodular and Linear Maximization with Knapsack Constraints |
| Zinenko Dmitry |
2011 |
Shay Kutten |
Abstracts |
Communication-Efficient Self-Stabilization |
| Shulman Anna |
2011 |
Roy Friedman |
Abstracts |
A Density Driven Publish Subscribe Service for Mobile Ad-Hoc Networks |
| Brickner Boaz |
2011 |
Assaf Schuster, Daniel Keren, |
Abstracts |
Methods for Recognition by Graphical Style and Style Synthesis Using Local Analysis |
| Barabash Katherine |
2011 |
Erez Petrank |
Abstracts |
Scalable Garbage Collection on Highly Parallel Platforms |
| Polevoy Gleb |
2011 |
Reuven Bar-Yehuda |
Abstracts |
Bandwidth Allocation in Cellular Networks with Multiple Interferences |
| Weissbrod Omer |
2011 |
Dan Geiger |
Abstracts |
Genetic Linkage Analysis in the Presence of Germline Mosaicism |
| Adadi Roi |
2011 |
Tomer Shlomi |
Abstracts |
Prediction of Microbial Growth Rate versus Biomass Yield by a Metabolic Network with Kinetic Parameters |
| Bendersky Anna |
2011 |
Erez Petrank |
Abstracts |
On the Limits of Partial Compaction |
| Shalom Israel |
2011 |
Joseph Naor |
Abstracts |
Online Load-Distance Balancing |
| Bermano Amit |
2011 |
Chaim Craig Gotsman |
Abstracts |
Online Reconstruction of 3D Objects from Arbitrary Cross- Section Data |
| Shem-Tov Shachar |
2011 |
Alfred Bruckstein |
Abstracts |
Topics in Over-Parametrization Variational Methods |
| Yanay David |
2011 |
Ran El-Yaniv |
Abstracts |
Supervised Learning of Semantic Relatedness |
| Kutiel Gilad |
2011 |
Dan Raz, David Brietgand, |
Abstracts |
Cost-Aware Live Migration of Services in the Cloud |
| Yaniv Jonathan |
2011 |
Joseph Naor |
Abstracts |
Truthful Mechanisms for Value-Based Scheduling in Cloud Computing |
| Roggel Neer |
2011 |
Roy Friedman |
Abstracts |
Anonymous Routing for Mobile Ad Hoc Networks |
| Livne Avishay |
2010 |
Assaf Schuster, Daniel Keren, |
Abstracts |
Monitoring Distributed Data Streams |
| Nisenson Mordechai |
2010 |
Ran El-Yaniv |
Abstracts |
On the Foundations of Adversarial Single-Class Classification |
| Albocher Dan |
2010 |
Gershon Elber |
Abstracts |
Real-Time Haptic Simulation for Surgical Procedures |
| Cohen Gil |
2010 |
Amir Shpilka |
Abstracts |
On the Degree of Symmetric Functions on the Boolean Cube |
| Kerem Nir |
2010 |
Alon Itai |
Abstracts |
Effects of Typicality on the Interpretation of Reciprocal Expressions |
| Ben Moshe Sagi |
2010 |
Eldar Fischer |
Abstracts |
Using Property Testing for Efficient Detection of Nearly-Sorted relations |
| Elazar Raviv |
2010 |
Hadas Shachnai |
Abstracts |
Algorithms for Two-Tier Scalable Data Upload |
| Ben-Israel Shir |
2010 |
Eliyahu Ben Sasson |
Abstracts |
Symmetry Breaking Can Dramatically Reduce the Length of Propositional Refutations |
| Vainsencher Daniel |
2010 |
Alfred Bruckstein |
Abstracts |
2D Digital Balls |
| Liberman Sofia |
2010 |
Shaul Markovitch |
Abstracts |
Wikipedia-Based Compact Hierarchical Semantics for Natural Language Processing |
| Peles David |
2010 |
Michael Lindenbaum |
Abstracts |
Segmentation by Classification |
| Meller Yael |
2010 |
Orna Grumberg |
Abstracts |
Multi Valued Abstraction and Compositional Model Checking |
| Alperin Yevgenia |
2010 |
Shmuel Katz |
Abstracts |
Property Analysis and Automatic Detection of Aspect Categories |
| Belchich Masha |
2010 |
Gershon Elber |
Abstracts |
Sketch Based Design of 2D and 3D Freeform Geometry |
| Egozi Ofer |
2010 |
Shaul Markovitch |
Abstracts |
Concept-Based Information Retrieval Using Explicit Semantic Analysis |
| Myaskouvskey Artiom |
2010 |
Michael Lindenbaum |
Abstracts |
Using A Contrario Methology for Part-Based Object Detection |
| Carmi Adam |
2010 |
Michael Kaminski, Ron Pinter, |
Abstracts |
Adaptive Multi-Pass Parsing |
| Rybnikov Silvina |
2010 |
Ehud Rivlin, |
Abstracts |
Building a Non-Euclidean Roadmap from a Small Set of Images |
| Ron-Zewi Noga |
2010 |
Joseph Naor, Ron Aharoni, |
Abstracts |
Vector Representation of Graph Domination |
| Bentov Iddo |
2010 |
Nader Bshouty |
Abstracts |
On Exact Learning from Random Walk |
| Sharov Artyom |
2010 |
Ronny Roth |
Abstracts |
Coding Techniques for Multidimensional Constrained Channels |
| Ryabtsev Michael |
2009 |
Ofer Strichman |
Abstracts |
Translation Validation: from Simulink to C |
| Karmon Kfir |
2009 |
Assaf Schuster |
Abstracts |
Enforcing a Global Resource Quota in a grid Environment |
| Shemy Nir |
2009 |
Roy Friedman |
Abstracts |
QoS Enforcement for Web Services in Dynamic Networks |
| Giryes Raja |
2009 |
Michael Elad, Yonina Eldar, |
Abstracts |
Automatic Parameter Tuning for Inverse Problems |
| Mhameed Aezalden |
2009 |
Dan Raz, Reuven Cohen, |
Abstracts |
Locally vs. Globally Optimized Flow-Based Content Distribution to Mobile Nodes |
| Tzur Yochay |
2009 |
Ayellet Tal |
Abstracts |
Photogrammetric Texture Mapping Using Casual Images |
| Shnaiderman Lila |
2009 |
Oded Shmueli |
Abstracts |
Incermental Reclustering of Augmented XML Trees |
| Gelles Ran |
2009 |
Tal Mor |
Abstracts |
On the Security of Theoretical and Realistic Quantum Key Distribution Schemes |
| Devir Yohai |
2009 |
Yuval Rabani |
Abstracts |
Intrinsic Regularization of Inverse Problems Involving Non-Rigid Shapes |
| Tal Asenath |
2009 |
Gill Barequet |
Abstracts |
Algorithms for Heilbronn’s Triangle Problem |
| Shaphir Evgeny |
2009 |
Ron Pinter, Shmuel Wimer, |
Abstracts |
Interconnect-Driven Cell-Based Migration of Integrated Circuit Layout |
| Skolozub Alexandra |
2009 |
Ron Pinter |
Abstracts |
Conditional Integration of Biological Pathways |
| Bar-Aviv Ezer |
2009 |
Ehud Rivlin |
Abstracts |
Function Based Object Categorization Using Simulation of an Agent |
| Shragai Tali |
2009 |
Joseph Gil |
Abstracts |
Empiric Evaluation of the Usability of Virtual Function Calls within Constructors |
| Tzemach Anna |
2009 |
Dan Geiger |
Abstracts |
Preparing SNP Data For Genetic Linkage Analysis |
| Mori Noam |
2009 |
Roy Friedman |
Abstracts |
3DLS:Density-Driven Data Location Service for Mobile Ad-Hoc Networks |
| Oshman Rotem |
2008 |
Orna Grumberg |
Abstracts |
Bounded Model – Checking for Branching-Time Logic |
| Flysher Guy |
2008 |
Reuven Bar-Yehuda |
Abstracts |
Approximation Algorithms for Partial Capacitated Covering Problems |
| Rosman Guy |
2008 |
Ron Kimmel |
Abstracts |
Efficient Flattening in Manifold Learning and Image Processing |
| Orlovsky Arie |
2008 |
Dan Raz |
Abstracts |
Decentralized Enforcement of Security Policies for Distributed Computational Systems |
| Dubov Yulia |
2008 |
Michael Kaminski |
Abstracts |
Infinite Alphabet Pushdown Automata: Various Approaches and Comparison of Their Consequences |
| Shotland Ari |
2008 |
Roy Friedman |
Abstracts |
Efficient Route Discovery in Hybrid Networks |
| Pekelny Yuri |
2008 |
Chaim Craig Gotsman |
Abstracts |
Articulated Object Reconstruction and Motion Capture from Depth Video |
| Yaakobi Eitan |
2008 |
Tuvi Etzion |
Abstracts |
Codes for Correcting Multi-Dimensional Bursts |
| Goldin Ishay |
2008 |
Alfred Bruckstein |
Abstracts |
Vesicles and Amoebae: On Globally Constrained Shape Deformation |
| Mano Adi |
2008 |
Ron Pinter |
Abstracts |
Building Phylogenetic Trees Based on Biochemical Pathways |
| Mashiach Li-Tal |
2008 |
Ziv Bar-Yossef |
Abstracts |
Local Approximation of PageRank and Reverse PageRank |
| Zamir Tal |
2008 |
Assaf Schuster, Michael Factor, |
Abstracts |
Speculative Lock Acquisition for Fault-Tolerant Distributed Systems |
| Gattegno Gil |
2008 |
Michael Lindenbaum, |
Abstracts |
Object Recognition Using Geometric Hashing Extensions |
| Devir Zvi |
2008 |
Michael Lindenbaum |
Abstracts |
Generalized Blind Sampling of Images |
| Kermany Haim |
2008 |
Erez Petrank |
Abstracts |
The Compressor: Concurrent, Incremental, and Parallel Compaction |
| Zarivach Evelina |
2008 |
Joseph Gil |
Abstracts |
Evaluating Datalog Programs over Infinite and Founded Databases |
| Klinger Andrey |
2008 |
Moshe Tennenholtz |
Abstracts |
Stability against Group Deviations in Non-Cooperative Computation |
| Massarwa Fady |
2008 |
Chaim Craig Gotsman, Gershon Elber, |
Abstracts |
Papercrafts from 3D Polygonal Models |
| Aboud Amjad |
2008 |
Yuval Rabani |
Abstracts |
Correlation Clustering with Penalties and Approximating the Recordering Buffer Management Problem |
| Itamar Einav |
2008 |
Alon Itai |
Abstracts |
Using Movie Subtitles for Creating Statistical Alignment Models |
| Marie Anan |
2008 |
Carmel Domshlak, Avigdor Gal, |
Abstracts |
Second Line Schema Matchers |
| Yoshpa Bennyamin |
2008 |
Ariel Orda, Assaf Schuster, |
Abstracts |
Economic Aspects of QoS in Grid Computing |
| Mansour Saeb |
2008 |
Alon Itai, Yoad Winter, |
Abstracts |
Combining Character and Morpheme Based Models for Part-of- Speech Tagging of Semitic Languages |
| Kogan Alex |
2008 |
Hagit Attiya |
Abstracts |
Efficient and Robust Local Mutual Exclusion in Mobile Ad- Hoc Networks |
| Ginzburg Mark |
2008 |
Alfred Bruckstein |
Abstracts |
Holographic Video-Scene Watermarking in the 3D-DFT Domain |
| Godlin Benny |
2008 |
Ofer Strichman |
Abstracts |
Regression Verification: Theoretical and Implementation Aspects |
| Fox Roy |
2008 |
Moshe Tennenholtz |
Abstracts |
Reinforcement Learning in Partially Observable Decision Processes |
| Raviv Dan |
2008 |
Ron Kimmel |
Abstracts |
Symmetries of Non-rigid Shapes |
| Gross Ron |
2008 |
Michael Kaminski |
Abstracts |
Invariance under Stuttering in Branching-Time Temporal Logic |
| Mazzawi Hanna |
2007 |
Nader Bshouty |
Abstracts |
Learning Composed Classes with a Small Number of Mistakes |
| Ohayon Shay |
2007 |
Ehud Rivlin |
Abstracts |
A Computational Analysis of Biological Behavior: Interactions of Gaze Control and Visual Attention |
| Grimberg Benjamin |
2007 |
Michael Kaminski |
Abstracts |
Minimal Model semantics for First-Order Ground Non-Monotonic Modal Logic |
| Magid Yonit |
2007 |
Johann Makowsky |
Abstracts |
BSS Model of Computation over the Reals and Choice Operator |
| Rubinstein Amir |
2007 |
Ron Pinter, Yona Kassir, |
Abstracts |
Faithful Modeling of Transient Behavior in Developmental Pathways |
| Bisht Laurence |
2007 |
Nader Bshouty |
Abstracts |
On Optimal Learning Algorithms for Multiplicity Automata |
| Guy Ido |
2007 |
Ziv Bar-Yossef |
Abstracts |
Cluster Ranking with an Application to Mining Mailbox Networks |
| Brickner Erez |
2007 |
Alfred Bruckstein, Israel Wagner, |
Abstracts |
The Populating Problem A Study in Multi-Nano-Robotics |
| Goren Yaron |
2007 |
Yuval Ishai |
Abstracts |
Basing Weak Public-Key Cryptography on Strong One-Way Functions |
| Eden Eran |
2007 |
Zohar Yakhini |
Abstracts |
Discovering Motifs in Ranked Lists of DNA Sequences |
| Shalem Iddit |
2007 |
Irad Yavneh |
Abstracts |
Multilevel Two-dimensional Phase Unwrapping |
| Shklover Gregory |
2007 |
Assaf Schuster |
Abstracts |
Explicitly-Parallel Code Compilation Methods for Shared- Context Architecture |
| Yehezkely Omer |
2007 |
Hadas Shachnai |
Abstracts |
Approximation Schemes for Packing with Item Fragmentation |
| Zamansky Alik |
2007 |
Gill Barequet |
Abstracts |
A Framework for Surface Reconstruction of Sparsely- Sampled Objects |
| Mador-Haim Sela |
2007 |
Yoad Winter |
Abstracts |
Natural Language Interface for Geographical Information Systems |
| Gershman Roman |
2007 |
Ofer Strichman |
Abstracts |
Improvements of SAT Solving Techniques |
| Osherovich Eliyahu |
2007 |
Alfred Bruckstein |
Abstracts |
Ant Robotics: Covering Continuous Domains by Multi-A(ge)nt Systems |
| Tsitrin Yan |
2007 |
Uzi Ornan |
Abstracts |
Master-Slave Dependency Model and its Application to the Hebrew Understanding |
| Pechuk Michael |
2007 |
Ehud Rivlin |
Abstracts |
Function-based Object Recognition |
| Datsenko Dmitry |
2007 |
Michael Elad |
Abstracts |
Example-based Regularization in Inverse Problems |
| Rozenfeld Olga |
2007 |
Moshe Tennenholtz |
Abstracts |
Strong Equilibrium in Congestion Games |
| Shaikhet Alina |
2007 |
Gill Barequet |
Abstracts |
The On-Line Heilbronn’s Triangle Problem in d Dimensions |
| Subag Jacob |
2006 |
Gershon Elber |
Abstracts |
Piecewise Developable Surface Approximation of General NURBS Surfaces, with Global Error Bounds |
| Lyakas Alexander |
2006 |
Eliezer Kantorowitz |
Abstracts |
Specification-Oriented Construction of Web Information Systems |
| Brel Rachel |
2006 |
Orna Grumberg |
Abstracts |
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation |
| Zeitlin Daniel |
2006 |
Michael Kaminski |
Abstracts |
Look-Ahead Finite-Memory Automata |
| Estrin Yacov |
2006 |
Shmuel Katz |
Abstracts |
Expert System On Translations among Formal Verification Tools in VeriTech |
| Goldman Max |
2006 |
Shmuel Katz |
Abstracts |
Modular Verification of Aspects |
| Kloper Dimitry |
2006 |
Gill Barequet, Chaim Craig Gotsman, |
Abstracts |
Geometries and Topologies of Triangulations of Point Sets |
| Katz Emilia |
2006 |
Shmuel Katz |
Abstracts |
Verifying Scenario-Based Aspect Specifications |
| Avni Ofir |
2006 |
Ehud Rivlin |
Abstracts |
Biologically Motivated Modeling and Imitating the Chameleon’s Vision System |
| Dotan Dolev |
2006 |
Ron Pinter |
Abstracts |
HyperFlow: a Visual, Ontology-Based Query and Data-Flow Language for End-User Information Analysis |
| Dubrov Bella |
2006 |
Yuval Ishai |
Abstracts |
On the Randomness Complexity of Efficient Sampling |
| Feldman Ido |
2006 |
Reuven Bar-Yehuda |
Abstracts |
A 2+Epsilon Approximation Algorithm for Convex Recoloring of Trees |
| Sabato Sivan |
2006 |
Yoad Winter |
Abstracts |
The Semantics of Reciprocal Expressions in Natural Language |
| Krivitski Denis |
2006 |
Assaf Schuster |
Abstracts |
A Local Facility Location Algorithm for Large-Scale Distributed Systems |
| Lerner Tal |
2006 |
Moshe Gur, Ehud Rivlin, |
Abstracts |
Motion Correction in fMRI Images |
| Yogev Sivan |
2006 |
Shlomo Moran |
Abstracts |
Evaluation of Scoring Functions for Protein Multiple Sequence Alignment using Structural Alignments |
| Sela Guy |
2006 |
Gershon Elber |
Abstracts |
Exploiting the Free-Form Deformation Function as a Geometric Modeling Tool |
| Feldman Roman |
2006 |
Dov Dori |
Abstracts |
Designing Data Warehouse with Object-Process Methodology |
| Gurevich Nela |
2006 |
Shaul Markovitch, Ehud Rivlin, |
Abstracts |
Automatic Generation of Near Misses for Active Learning of Visual Concepts |
| Sharon Itai |
2006 |
Golan Yona, Ran El-Yaniv, |
Abstracts |
Similarity Detection for Low Complexity and Remotely Related Proteins |
| Shraer Alexander |
2006 |
Idit Keidar |
Abstracts |
Timeliness, Failure-Detectors and Consensus Performance |
| Wattad Ehab |
2006 |
Nader Bshouty |
Abstracts |
On Exact Learning Halfspaces with Random Consistent Hypothesis Oracle |
| Sidlesky Avishay |
2006 |
Gill Barequet, Chaim Craig Gotsman, |
Abstracts |
Polygon Reconstruction from Line Cross-Sections |
| Katzengold Oren |
2006 |
Avi Mendelson, Assaf Schuster, |
Abstracts |
Effective Use of Trace Caches |
| Censor Hillel Keren |
2006 |
Tuvi Etzion |
Abstracts |
Constrained Codes for Two-Dimensional Channels |
| Krisher Sharon |
2006 |
Oded Shmueli |
Abstracts |
On XML Schema Identity Constraints |
| Golubchyck Roman |
2006 |
Michael Lindenbaum |
Abstracts |
Improving the Saliency Algorithm by Grouping Cues Optimization |
| Ratsaby Gil |
2006 |
Tal Mor |
Abstracts |
Quantum Advantage, even without Entanglement |
| Adler Amir |
2006 |
Shaul Markovitch, Ariel Felner, |
Abstracts |
Reducing Memory Requirements for Pattern Databases |
| Henig Asaf |
2006 |
Dan Raz |
Abstracts |
The Transcoders’ Placement Problem over Multicast Networks |
| Naor Jonathan |
2006 |
Gill Barequet |
Abstracts |
d-Dimensional Variants of Heilbronn’s Triangle Problem |
| Fireman Liza |
2006 |
Erez Petrank |
Abstracts |
The Complexity of SIMD Alignment |
| Vaxman Amir |
2006 |
Gill Barequet |
Abstracts |
Nonlinear Interpolation between Slices |
| Polonsky Oleg |
2006 |
Chaim Craig Gotsman |
Abstracts |
What’s in an Image? Towards the Computation of Good Views for Three-Dimensional Objects |
| Golan Shimon |
2006 |
Avigdor Gal, Ron Pinter, |
Abstracts |
Efficient Algorithms for Computing Resource Availability in WAA Environments |
| Sandler Roman |
2005 |
|
Abstracts |
Gabor Filters Analysis for Texture Segmentation |
| Laserson Jonathan |
2005 |
Reuven Bar-Yehuda |
Abstracts |
Approximations Algorithms for Sorting Buffers |
| Izmerly Oleg |
2005 |
Tal Mor |
Abstracts |
Modern Cryptography in a Quantum World |
| Yedidya Haggai |
2005 |
Ron Pinter |
Abstracts |
Performance Evaluation of Data Caches Organizations for SMT Processors |
| Ifergan Nili |
2005 |
Orna Grumberg |
Abstracts |
Achieving High Speedups in Distributed Reachability Analysis through Asynchronous Computation |
| Landa Shimon |
2005 |
Joseph Naor |
Abstracts |
Combinatorial Approximation Algorithms for the Fractional Set-Cover Problem |
| Matusevich Mark |
2005 |
Dan Geiger |
Abstracts |
Off-Line Improvement of Generic Group Trackers |
| Frank Roy |
2005 |
Michal Penn |
Abstracts |
Revenue-Maximizing Allocations in Constrained Multi-Object and Combinatorial Auctions |
| Beryozkin Genady |
2005 |
Nissim Francez |
Abstracts |
Plural Semantics for Control Sentences in LFG’s “Glue” Interface |
| Pilosof Saar |
2005 |
Dan Raz |
Abstracts |
TCP Fairness over Wireless LAN |
| Flaisher Alon |
2005 |
|
Abstracts |
Enhanced Vacuity Detection in Linear Temporal Logic |
| Yarom Sasson Gil |
2005 |
Z. Ben-Shaul |
Abstracts |
D-SEDA Distributed Staged Event-Driven Architecture |
| Harel Assaf |
2005 |
Eliezer Kantorowitz |
Abstracts |
Estimating the Number of Faults Remaining in Software Code Document Inspected with Iterative Code Reviews |
| Saba Shadi |
2005 |
Irad Yavneh, Alla Sheffer, Chaim Craig Gotsman, |
Abstracts |
Barycentric Spherical Embeddings – Algorithms and Theory |
| Slavkin Michael |
2005 |
Alon Itai |
Abstracts |
Detecting Data Structures from Traces |
| Bronstein Michael |
2005 |
Ron Kimmel |
Abstracts |
Three-Dimensional Face Recognition |
| Begleiter Ron |
2005 |
Ran El-Yaniv |
Abstracts |
Can Theory Meet Practice in Sequence Prediction? |
| Barsky Roman |
2005 |
Israel Wagner |
Abstracts |
Electromigration-dependent Parametric Yield Estimation |
| Eden Orit |
2005 |
Marius Ungarish, Gershon Elber, |
Abstracts |
Simulation and Visualization of Gravity Currents |
| Galperin Vadim |
2005 |
Yoram Baram |
Abstracts |
In-Line Regression by Support Vectors with Application to Head Motion Anticipation from EMG Signals |
| Bennet Rotem |
2005 |
Nader Bshouty |
Abstracts |
Improved Learning with Corrupt Oracles |
| Meir Orly |
2005 |
Ofer Strichman |
Abstracts |
A Decision Procedure for Equality Logic |
| Korland Guy |
2005 |
Roy Friedman |
Abstracts |
Location Awareness in Wireless Ad-Hoc Networks (or How to RLISE a TIGR?) |
| Salman Tamer |
2005 |
Yoram Baram, Alfred Bruckstein, |
Abstracts |
Learning Polynomial Generating Rules Using Support Vector Machines |
| Elster Constantine |
2005 |
Dan Raz |
Abstracts |
Efficient Monitoring of QOS Parameters |
| Khoury Lawrance |
2005 |
Nader Bshouty |
Abstracts |
Learning with Errors in Answers to Membership Queries |
| Shochot Amnon |
2005 |
Reuven Cohen |
Abstracts |
Extending BGP to Support the Concept of “Global AS” |
| Goryachev Alex |
2005 |
Gill Barequet |
Abstracts |
Offset-Polygon and Annulus Placement Problems |
| Gordon Eyal |
2005 |
Adi Rosen |
Abstracts |
Competitive Throughput Analysis of Greedy Protocols on Directed Acyclic Networks |
| Shnitzer Oren |
2005 |
Shaul Markovitch |
Abstracts |
Self-Consistent Batch Classification |
| Dardyk Gregory |
2005 |
Irad Yavneh |
Abstracts |
Robust Nonlinear Multigrid Methods |
| Bar-Haim Roy |
2005 |
Yoad Winter |
Abstracts |
Part-of-Speech Tagging for Hebrew and other Semitic Languages |
| Buchbinder Niv |
2004 |
Erez Petrank |
Abstracts |
Lower and Upper Bounds on Obtaining History Independence |
| Amit Asaf |
2004 |
Shaul Markovitch |
Abstracts |
Learning to Cooperete with Application to Bridge Bidding |
| Derbeko Philip |
2004 |
Ran El-Yaniv |
Abstracts |
Explicit Learning Curves for Transduction and Application to Clustering and Compression Algorithms |
| Kaplan Yaniv |
2004 |
Hagit Attiya |
Abstracts |
Lower Bounds for Adaptive Collect and Related Objects |
| Veksler Tatyana |
2004 |
Nissim Francez |
Abstracts |
Automata and Type-Logical Grammars |
| Sapir Tali |
2004 |
Chaim Craig Gotsman, Uzi Vishkin, |
Abstracts |
Parallel Raytracing Using the XMT Paradigm |
| Souroujon Oren |
2004 |
Ran El-Yaniv |
Abstracts |
Iterative Double Clustering: An Information-Theoretic Algorithm for Clustering Textual Data |
| Lifshits Michael |
2004 |
Ehud Rivlin |
Abstracts |
Vision-Based Navigation on Microscopic Images |
| Altman Alon |
2004 |
Yoad Winter |
Abstracts |
Computation and Specification of Scope Dominance with Monotone Quantifiers in Natural Language |
| Talmor Yoram |
2004 |
Assaf Schuster |
Abstracts |
Higher Performance DSM by Peaking Network Utilization |
| Polak Simon |
2004 |
Yoram Baram |
Abstracts |
Head Motion Anticipation for Virtual-Environment Applications Using Kinematics and EMG Energy |
| Louidor Erez |
2004 |
Ronny Roth |
Abstracts |
Lowest-Density MDS Codes over Super-Alphabets |
| Gavish Moran |
2004 |
Michael Lindenbaum |
Abstracts |
A Sequential Algorithm for Face Recognition |
| Avidor Zvi |
2004 |
Hagit Attiya |
Abstracts |
n-Set Consensus when Inputs are Restricted |
| Glikson Alexander |
2004 |
Johann Makowsky |
Abstracts |
Verification of Generally Intractable Graph Properties on Graphs Generated by Graph Grammars |
| Zamansky )Lifshits( Anna |
2004 |
Nissim Francez |
Abstracts |
A ‘Natural Logic’ Inference System Based on the Lambek Calculus |
| Rokhlenko Oleg |
2004 |
Ron Pinter |
Abstracts |
Tree-Based Comparison of Metabolic Pathways |
| Getselevich Vladimir |
2004 |
Dan Raz |
Abstracts |
Enabling Efficient Fast Track Services in Active Networks |
| Luz Kobi |
2004 |
Ran El-Yaniv, Yoram Baram, |
Abstracts |
Online Choice of Active Learning Algorithms |
| Gutterman Zvi |
2004 |
Irad Yavneh, Joseph Gil, |
Abstracts |
Symbolic Pre-Computation for Numerical Applications |
| Schwartz Roy |
2004 |
Joseph Naor |
Abstracts |
Circular Arrangements |
| Tsirkin Michael |
2004 |
Adi Rosen |
Abstracts |
Delivery Times in Packet Networks under Full Load |
| Merksamer Yael |
2004 |
Tuvi Etzion |
Abstracts |
Two Dimensional Cluster Error-Correcting Codes |
| Bar-Or Amir |
2004 |
Assaf Schuster |
Abstracts |
Hierarchical Decision Tree Induction for Highly Dimensional Data in Large-Scale Distributed Systems |
| Balter Dorit |
2004 |
Shlomo Moran |
Abstracts |
Medical Records Confidentiality Problem |
| Guez Dan |
2004 |
Adi Rosen |
Abstracts |
Scheduling Time-Constrained Communication in Input Queued Switches |
| Tcharny Galina |
2004 |
Roy Friedman |
Abstracts |
Fuzzy Group Communication in Mobile Ad Hoc Networks |
| Moffie Micha |
2004 |
Gill Barequet |
Abstracts |
Counting Polyominoes in Two and Three Dimensions |
| Gilburd Baruch |
2004 |
Assaf Schuster |
Abstracts |
A Privacy Model and Privacy-Preserving Algorithms for Data Mining in Large-Scale Distributed Systems |
| Yadgar Avraham |
2004 |
Orna Grumberg, Assaf Schuster, |
Abstracts |
Solving All-SAT Problem for Reachability Analysis |
| Shoham Buchbinder Sharon |
2004 |
Orna Grumberg |
Abstracts |
A Game-Based Framework for CTL Counterexamples and Abstraction-Refinement |
| Dvorkin Alexander |
2004 |
Dan Raz |
Abstracts |
Ensuring End-to-End Delay in the DiffServ Model |
| Aharon Michal |
2004 |
Michael Elad, Ron Kimmel, |
Abstracts |
Representation Analysis and Synthesis of Lip Images Using Dimensionality Reduction |
| Gutter Israel |
2004 |
Uzi Ornan |
Abstracts |
Sentence Parsing in Hebrew by Semantic Features |
| Scharf Yuval |
2004 |
Gill Barequet |
Abstracts |
Covering Points with a Polygon |
| Zach Idan |
2004 |
Hagit Attiya |
Abstracts |
Fully Adaptive Shared Memory Algorithms |
| Cohen Rami |
2004 |
Dan Raz |
Abstracts |
Time Dependent Multi Scheduling of Multicast |
| Skarbovsky Alina |
2004 |
Dan Raz |
Abstracts |
Performance Evaluation and Modeling of TCP over Cellular Wireless Links |
| Mogilnitsky Maxim |
2004 |
Moshe Israeli (Deceased), Alla Sheffer, |
Abstracts |
Efficient, Low Distortion, Conformal Parameterization of Large Meshes |
| Kadry Wisam |
2004 |
Ron Pinter |
Abstracts |
Simulation of Metabolic Pathways |
| Rotstein Carmen |
2004 |
Yoad Winter |
Abstracts |
A Semantic Framework for Total and Partial Adjectives |
| Iosevich Vadim |
2004 |
Assaf Schuster |
Abstracts |
Distributed Shared Memory: To Relax or not to Relax? |
| Bekkerman Anna |
2004 |
Joseph Gil |
Abstracts |
Conflict Resolution and Operator Priorities in Extended BNF |
| Yakersberg Evgeny |
2004 |
Gill Barequet |
Abstracts |
Morphing between Geometric Shapes using a Straight-Skeleton- Based Interpolation |
| Sasson Amir |
2004 |
Idit Keidar |
Abstracts |
Understanding and Mitigating the Effects of Denail-of- Service Attacks on Secure Gossip-Based Multicast |
| Keidar Sharon |
2003 |
Orna Grumberg |
Abstracts |
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking |
| Beliak Leonid |
2003 |
Moshe Israeli (Deceased) |
Abstracts |
Adaptive Calculation of Variable Coefficients Elliptic Differential Equations via Wavelets |
| Wexler Ydo |
2003 |
Dan Geiger |
Abstracts |
Finding Approximate Tandem Repeats in Genomic Sequences |
| Brunstein Daniel |
2003 |
Gill Barequet, Chaim Craig Gotsman, |
Abstracts |
Animating a Camera for Viewing a Planar Polygon |
| Broom Ya’akov |
2003 |
Dan Geiger |
Abstracts |
Bayesian Classification and Clustering via DAG Hierarchies |
| Cohen Tzafrir |
2003 |
Erez Petrank |
Abstracts |
Responsive Round Complexity and Concurrent Zero-Knowledge |
| Ben-Chen Mirela |
2003 |
Chaim Craig Gotsman |
Abstracts |
On the Optimality of Spectreal Mesh Compression |
| Bekkerman Ron |
2003 |
Yoad Winter, Ran El-Yaniv, |
Abstracts |
Distributional Clustering of Words for Text Categorization |
| Szarfman Dafna |
2003 |
Erez Petrank |
Abstracts |
Reducing Cache Conflicts via Garbage Collection |
| Kenigsberg Avraham |
2003 |
Ron Kimmel, Irad Yavneh, |
Abstracts |
A Multigraid Approach for Fast Geodesic Activ Contour |
| Cohen Uriel |
2003 |
Joseph Gil |
Abstracts |
Object Relations and Syntactic Mechanisms in Design Patterns |
| Bar-Lev Adi |
2003 |
Alfred Bruckstein, Gershon Elber, |
Abstracts |
virtual marionettes: a system for real-time animation in 3D |
| Berg Mirit |
2003 |
Shmuel Katz |
Abstracts |
Property Transformations for Translations |
| Kama Alon |
2003 |
Roy Friedman |
Abstracts |
Transparent Fault-Tolerant Java Virtual Machine |
| Panman Evgeny |
2003 |
Dan Raz |
Abstracts |
Efficient Data Collection Algorithm |
| Tal Ido |
2003 |
Ronny Roth |
Abstracts |
List Decoding of Lee Metric Codes |
| Jaeger Efrat |
2003 |
Nissim Francez, Shalom Wintner, |
Abstracts |
Unification Grammars and Off-Line Parsability |
| Lipson Doron |
2003 |
Zohar Yakhini, Uri Sivan, |
Abstracts |
Optimization Problems in Design of Oligonucleotides for Hybridization Based Methods |
| Kraevoy Vladislav |
2003 |
Alla Sheffer, Chaim Craig Gotsman, |
Abstracts |
Matchmaker: Constructing Constrained Texture Maps |
| Heiman Amnon |
2003 |
Dan Geiger, Arie Admon, |
Abstracts |
Protein Identification via Mass Spectrometry |
| Azatchi Hezi |
2003 |
Erez Petrank |
Abstracts |
Integrating Generations with Advanced Reference Counting Collectors |
| Shapiro Constantine |
2003 |
Shmuel Katz |
Abstracts |
Object-Oriented Implementation of Reconciliations |
| Katsman Igor |
2003 |
Ehud Rivlin |
Abstracts |
Biologically Motivated Modeling and Simulation of Animals Vision Activities |
| Sifri Oren |
2003 |
Alla Sheffer, Chaim Craig Gotsman, |
Abstracts |
Surface Meshing Using Geodesic Distances |
| Golbandi Nadav |
2003 |
Ami Litman |
Abstracts |
Characterization and Classification of Butterfly Like Networks |
| Goldin Alexander |
2003 |
Chaim Craig Gotsman |
Abstracts |
Geometric Message-Filtering Protocols for Distributed Multi- Agent Environments |
| Livshitz Dmitry |
2003 |
Alfred Bruckstein |
Abstracts |
Robotic Self Location Using Three Dimensional Fiducials and Omnidirectional Cameras |
| Veytsal Boris |
2003 |
Eliezer Kantorowitz, Roy Friedman, |
Abstracts |
Model Driven Help Systems Generation |
| Pozniansky Eliyahu |
2003 |
Assaf Schuster |
Abstracts |
Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs |
| Davidov Dmitry |
2003 |
Shaul Markovitch |
Abstracts |
Multiple-Goal Heuristic Search Algorithms |
| Gavish Yael |
2003 |
Erez Petrank |
Abstracts |
Cache-Conscious Garbage Collection for Servers |
| Dekel Uri |
2003 |
Joseph Gil |
Abstracts |
Revealing JAVA Class Structure with Concept Lattices |
| Scalosub Gabriel |
2003 |
Yuval Rabani |
Abstracts |
Bicriteria Approximation Tradeoff for the Node-Cost Budget Problem |
| Raab Roni |
2003 |
Chaim Craig Gotsman, Alla Sheffer, |
Abstracts |
Virtual Woodwork: Making Toys from Geometric Models |
| Owshanko Avraham |
2003 |
Nader Bshouty |
Abstracts |
Learning Finite Automata, Using Incomplete Membership Queries |
| Nevo Ziv |
2002 |
Ran El-Yaniv |
Abstracts |
On Online Learning of Decision Lists |
| Tadmor Sally |
2002 |
Eliezer Kantorowitz, Roy Friedman, |
Abstracts |
A Framework for Interactive Information Systems |
| Adi Liav |
2002 |
Ron Kimmel |
Abstracts |
Fast Computation of Geodesic Distances: Graphic Applications |
| Frank Ari |
2002 |
Dan Geiger, Zohar Yakhini, |
Abstracts |
A New Branch and Bound Feature Selection Algorithm |
| Elad Asi |
2002 |
Ron Kimmel |
Abstracts |
On Surface Flattening via MDS and FMMTD |
| Bendel Keren |
2002 |
Reuven Bar-Yehuda |
Abstracts |
Applications of the Local-Ratio Technique: A Survey |
| Ben Avi Gilad |
2002 |
Yoad Winter |
Abstracts |
Monotonicity Properties of Plural Quantifiers in Natural Language |
| Firstenberg Yosef |
2002 |
Shmuel Katz, Oded Shmueli, |
Abstracts |
Selective Caching for Acceleration Purposes of Intermediate Results in Object-Oriented Programs |
| Shatil Assaf |
2002 |
Shaul Markovitch |
Abstracts |
Speedup Learning for Repair-Based Search by Identifying Redundant Steps |
| Hamo Yaniv |
2002 |
Reuven Cohen |
Abstracts |
Balanced Packet Discard for Improving TCP Performance in ATM Networks |
| Laor Dor |
2002 |
Roy Friedman |
Abstracts |
Soft Real-Time Layered Group Communication |
| Ram Roni |
2002 |
Dan Raz |
Abstracts |
Efficient Distribution of Email Messages |
| Atzmon Hilla |
2002 |
Roy Friedman |
Abstracts |
Replacement Policies for Internet Wide Caching of Distributed Objects |
| Parham Robert |
2002 |
Yoram Baram |
Abstracts |
Solving the Dynamic Conflict between N Moving Objects Using Neural Networks |
| Kenigsberg Dan |
2002 |
Eli Biham |
Abstracts |
Grover’s Quantum Search Algorithm and Mixed States |
| Yaroshinsky Ran |
2002 |
Ran El-Yaniv |
Abstracts |
Smooth Online Learning of Expert Advice |
| Katriel Irit |
2002 |
Alon Itai |
Abstracts |
Implicit Data Structures based on Local Reorganizations |
| Ron Lior |
2002 |
Yoram Baram |
Abstracts |
A Visual Feedback System |
| Cohen Tal |
2002 |
Joseph Gil |
Abstracts |
Self-Calibration of Metrics of Java Methods towards the Discovery of the Common Programming Practice |
| Fedorov Yaroslav |
2002 |
Yoad Winter |
Abstracts |
Implementing and Extending Natural Logic |
| Tulchinsky Elena |
2002 |
Joseph Gil |
Abstracts |
Positive Semantics of Projections in Venn-Euler Diagrams |
| Koyfman Shlomit |
2002 |
Nissim Francez |
Abstracts |
Semantic Invariance of Algorithms for Nominal Anaphora Resolution |
| Gleizer Vadim |
2002 |
Assaf Schuster |
Abstracts |
Optimizing Sharing Patterns and Locality via Thread Migration |
| Katz Sagi |
2002 |
Orna Grumberg |
Abstracts |
Techniques for Increasing Coverage of Formal Verification |
| Kalinovsky Vladislav |
2002 |
Assaf Schuster, Roy Friedman, |
Abstracts |
Symphony: Managing Virtual Servers |
| Kaplan Alexandr |
2002 |
Ehud Rivlin, |
Abstracts |
Finding Epipolar Geometry from Two Color Images |
| Kohn Emil |
2002 |
Assaf Schuster |
Abstracts |
A Transparent DSM System |
| Gavinsky Dmitry |
2002 |
Nader Bshouty |
Abstracts |
Boosting with Polynomially Bounded Distributions |
| Hameiri Eyal |
2002 |
Michael Lindenbaum, |
Abstracts |
Estimating the Principal Curvatures and the Darboux Frame from Real 3D Range Data and its Application to the Recovery of Primitives |
| Feldman Vitaly |
2002 |
Nader Bshouty |
Abstracts |
On Using Extended Statistical Queries to Avoid Membership Queries |
| Reger Ronit |
2002 |
Shaul Markovitch |
Abstracts |
Learning and Exploiting Relative Weaknesses of Opponent Agents |
| Bortnikov Vita |
2001 |
Hagit Attiya |
Abstracts |
Adaptive Algorithms for Mutual Exclusion |
| Livne Shlomo |
2001 |
Shaul Markovitch, Orna Grumberg, |
Abstracts |
Machine Learning for Efficient BDD Variable Ordering in Verification |
| Chuzhoy Julia |
2001 |
Yuval Rabani |
Abstracts |
Hardness of Approximation and New Approximability Classes |
| Katz Yoav |
2001 |
Hadas Shachnai |
Abstracts |
Scheduling with Batching and Incompatible Job Families |
| Eckel Natalie |
2001 |
Joseph Gil |
Abstracts |
Empirical Study of Object-Layout Strategies and Optimization Techniqes |
| Epelman Boris |
2001 |
Gershon Elber |
Abstracts |
Remote Geometrical Modeling |
| Mosin Julia |
2001 |
Michael Kaminski |
Abstracts |
Base Dependence of Extensions for Open Default Theories |
| Moran Shiri |
2001 |
Ami Litman |
Abstracts |
Fast, Minimal, and Oblivious Routing Algorithms on the Mesh with Bounded Queues |
| Ekshtein Ilya |
2001 |
Chaim Craig Gotsman |
Abstracts |
Texture Mapping Using Constrained Parametrization |
| Kehat Zehavit |
2001 |
Reuven Bar-Yehuda |
Abstracts |
Approximating the Dense Set-Cover Problem |
| Shakhnarovich Gregory |
2001 |
Ran El-Yaniv, Yoram Baram, |
Abstracts |
Statistical Data Cloning for Machine Learning |
| Almog Eli |
2001 |
Hadas Shachnai |
Abstracts |
Scheduling Accesses to Shared Memory by a Bus Arbiter: The k-client Problem Revisited |
| Zeev Ben Mordejai Oren |
2001 |
Assaf Schuster |
Abstracts |
Efficient Integration of On-the-fly Data Race Detection in Distributed Shared Memory and Symmetric Multiprocessor Environments |
| Tayar Rafi |
2001 |
Shimon Even (Deceased) |
Abstracts |
Scanning Directed Eulerian Mazes by a Finite-State Robot |
| Rinetskey Noam |
2001 |
Shmuel Sagiv, Orna Grumberg, |
Abstracts |
Interprocedural Shape Analysis |
| Tsoglin Yuri |
2001 |
Joseph Gil |
Abstracts |
JAMOOS – an Object Oriented Language for Grammars |
| Levyatan Tzach |
2001 |
Shaul Markovitch |
Abstracts |
Anytime Search by Improving Highest-Utility Solution Segments |
| Halevy Shirley |
2001 |
Ronny Roth |
Abstracts |
Two-Dimensional Coding for Recording Channels |
| Levanoni Yosseff |
2001 |
Erez Petrank |
Abstracts |
On-The-Fly Garbage Collection via Sliding Views |
| Hermesh Barak |
2001 |
Alfred Bruckstein |
Abstracts |
Fiducials for Precise Location Estimation |
| Kronrod Boris |
2001 |
Chaim Craig Gotsman |
Abstracts |
Topics in Compression of 3d Models |
| Shapira Irina |
2001 |
Hadas Shachnai |
Abstracts |
Scheduling Splitting Intervals |
| Kronrod Svetlana |
2001 |
Roy Friedman |
Abstracts |
Probablistic Scalable Application Placement in Distributed Systems |
| Yanovski Vladimir |
2001 |
Alfred Bruckstein |
Abstracts |
Simple Agents for Complex Tasks |
| Sorkin Yan |
2001 |
Joseph Gil |
Abstracts |
CD-Edit- A Constraint Diagrams’ Editor |
| Leiba Lior |
2001 |
Oded Shmueli |
Abstracts |
Towards Automatic Electronic Commerce: EContracts Framework Specification and Preliminary Implementation |
| Bogomjakov Alexander |
2001 |
Chaim Craig Gotsman |
Abstracts |
Optimized Polygon Traversal of Progressive Meshes for Vertex Caching |
| Gaysinsky Alexander |
2001 |
Hadas Shachnai |
Abstracts |
Caching Integrated with Pipelined Prefetching |
| Furman Vladimir |
2001 |
Eli Biham |
Abstracts |
Cryptanalysis of Some Modern Blockciphers |
| Tal Dina |
2001 |
Uzi Ornan |
Abstracts |
Analysis and Use of Subcategorization of Verbs in Validation of Hebrew Sentences |
| Gorovoy Alexander |
2001 |
Alon Itai, Joseph Gil, |
Abstracts |
Applying Data Compression Algorithms to Software Engineering |
| Levinson Dmitry |
2000 |
Alon Itai |
Abstracts |
Corpus-Based Methods for Word Sense Disambiguation |
| Kogan Dmitry |
2000 |
|
Abstracts |
Remote Reference Counting: Distributed Garbage Collection With Low Communication and Computation Overhead |
| Froimovich Guy |
2000 |
Ehud Rivlin, |
Abstracts |
Object Classification from Range Images |
| Manor Shiri |
2000 |
Roy Friedman |
Abstracts |
Scalable Multicast in a Logical Hypercube |
| Dozorets Igor |
2000 |
Isak Gath, Hadas Shachnai, |
Abstracts |
Computer-Based Model for Speaker Recognition by a Human Listener |
| Zbar Yael |
2000 |
Michael Kaminski |
Abstracts |
Open Default Theories |
| Artzi Shay |
2000 |
Michael Kaminski |
Abstracts |
Lower Bounds on the Complexity of Polynomail Multiplication Over Finite Fields |
| Zigelman Gil |
2000 |
Ron Kimmel |
Abstracts |
Texture Mapping by Surface Flattening Via Mds |
| Rusakov Dmitry |
2000 |
Shaul Markovitch, Michael Lindenbaum, |
Abstracts |
Selective Sampling for Nearest Neighbor Classifiers |
| Niv Nitzan |
2000 |
Assaf Schuster |
Abstracts |
Dynamic Adaptation of the Sharing Granularity in Dsm Systems |
| Skoblikov Victoria |
2000 |
Nissim Francez |
Abstracts |
Feature-Based Computational Lexicon of Hebrew Vrebs |
| Rey Guy |
2000 |
Michael Kaminski |
Abstracts |
First-Order Non-Monotonic Logic |
| Barkol Omer |
2000 |
|
Abstracts |
Tighter Lower Bounds for Nearest Neighbor Search and Related Problems in the Cell Probe Model |
| Chouraqui Patrick |
2000 |
Gershon Elber |
Abstracts |
Surface Reconstruction with Triangular Bezier Patches from Range Measurements |
| Voloshin Ariella |
2000 |
|
Abstracts |
A Unified Approach to Computing Domination Sets and Independence Sets for Intervals on a Line |
| Vardi Gal |
2000 |
Uzi Ornan |
Abstracts |
Analysis and Generation of Hebrew Nouns with Derivational Morphemes |
| Segal Erel |
2000 |
Alon Itai |
Abstracts |
Hebrew Morphological Analyzer for Hebrew Undotted Texts |
| Lebanon Guy |
2000 |
Alfred Bruckstein |
Abstracts |
Moire Pattern Synthesis |
| Rosenstein Dan |
1999 |
|
Abstracts |
Feature Generation Using General Constructor Functions |
| Plavnik Michael |
1999 |
|
Abstracts |
Surface Design Using Global Second Order Differential Constraints |
| Koyfman Anatoly |
1999 |
|
Abstracts |
Facilitating Generation of Help Systems |
| Arzi Lior |
1999 |
Eliezer Kantorowitz |
Abstracts |
Probabilistic Model for Predicting the Efficiency of a Fault Detection Process in a Software Requirement Document |
| Tal Arie |
1999 |
Michael Kaminski |
Abstracts |
Decidability of Inclusion for Unification Based Automata |
| Surazhsky Vitaly |
1999 |
Chaim Craig Gotsman |
Abstracts |
Morphing Planar Triangulations |
| Miroshnik Yuri |
1999 |
|
Abstracts |
Skew-Tolerant Clocking Techniques |
| Estrin Arkady |
1999 |
|
Abstracts |
A Comparison Between First-Order Temporal Logic and Temporal Logic of Actions |
| Rawitz Dror |
1999 |
|
Abstracts |
Combinatorial and LP-based Methods for Designing Approximation Algorithms |
| Shalev Lea |
1999 |
|
Abstracts |
Load Sharing in Distributed Shared Memory Systems |
| Rubin Shai |
1999 |
|
Abstracts |
Using Virtual Cache Lines for Higher Data Cache Performance |
| Gertelman Michael |
1999 |
Eliezer Kantorowitz |
Abstracts |
Automatic User Interface Generation from a Given Domain Model |
| Gorbach Alla |
1999 |
|
Abstracts |
Computing in Anonymous Asynchronous Shared Memory |
| Netzer Arnon |
1999 |
Chaim Craig Gotsman |
Abstracts |
Mosaicing Video Sequences |
| Nossenson Ronit |
1999 |
|
Abstracts |
Dynamic Maintenance of Connectivity Classes of a Graph Using Decomposition Into 3-Components |
| Gretskin Ilia |
1999 |
|
Abstracts |
Java Interface for Irit Solid Modeler |
| Or Sharon |
1999 |
|
Abstracts |
Encapsulating Real-Time in Failure Detectors |
| Cohen Amit |
1999 |
|
Abstracts |
A Dynamic Approach for Efficient Tcp Buffer Allocation |
| Biberstein Marina |
1999 |
|
Abstracts |
Constructions and Bounds for Blot-Correcting Codes |
| Raviv Alon |
1999 |
Gershon Elber |
Abstracts |
Three Dimensional Freeform Sculpting Via Zero Sets Of Scalar Trivariate Functions |
| Soldea Octavian |
1999 |
|
Abstracts |
Algorithms on Continued Fractions |
| Frenkel Oleg |
1999 |
|
Abstracts |
Multicast Group Synchronization in Atm |
| Makbily Yohai |
1999 |
Reuven Bar-Yehuda, Chaim Craig Gotsman, |
Abstracts |
Message Filtering for Geometric Distributed Virtual Environments |
| Lempel Ronny |
1999 |
|
Abstracts |
Finding Authoritative Sites on the Www (and Other Hyperlinked Media) by Analyzing the Web’s Link- Structure |
| Touma Costa |
1999 |
Reuven Bar-Yehuda, Chaim Craig Gotsman, |
Abstracts |
Triangle Mesh Compression |
| Orni Avigail |
1999 |
|
Abstracts |
Measuring the Locality of Space-Filling Curves |
| Ravid Alon |
1999 |
|
Abstracts |
A Method for Extracting and Stating Software Requirements That a User Interface Prototype Contains |
| Yaniv Mira |
1998 |
Hadas Shachnai |
Abstracts |
Dynamic Schemes for Specualtive Code Execution |
| Reisman Amit |
1998 |
Chaim Craig Gotsman, Assaf Schuster, |
Abstracts |
Animation Using Parallel Progressive Ray-Tracing |
| Snir Sagi |
1998 |
Shlomo Moran |
Abstracts |
A Simple and Efficient Method for Network Decomposition And Synchronization |
| Eckel Jacob |
1998 |
Shmuel Katz, Joseph Gil, |
Abstracts |
A Framework for Static Checking of Design Level Traits |
| Freund Ari |
1998 |
Joseph Naor |
Abstracts |
On-Line Assignment with Load Balancing |
| Hornreich Harry |
1998 |
Daniel Berry |
Abstracts |
A Case Study of Software Reengineering |
| Yatzkar Tali |
1998 |
Ami Litman |
Abstracts |
Lower Bound on the Bisection Width of the Butterfly Network |
| Gringauze Anna |
1998 |
Yuval Rabani, Shay Ben David, |
Abstracts |
The Complexity of Propositional Proofs |
| Dagan Eyal |
1998 |
Hagit Attiya |
Abstracts |
Universal Operations: Unary Versus Binary |
| Skachek Vitaly |
1998 |
Tuvi Etzion, Ronny Roth, |
Abstracts |
Coding for Spectral-Null Constraints |
| Rabinovich Boris |
1998 |
Chaim Craig Gotsman |
Abstracts |
Visualization of Large Terrains in Resource-Limited Computing Environments |
| Bianu-Minei Inna |
1998 |
Reuven Cohen |
Abstracts |
Increasing the Performance of Tcp Over a Unidirectional Geostationary Satellite Channel |
| Zemlyak Boris |
1997 |
Michael Lindenbaum, Alfred Bruckstein, |
Abstracts |
Direct Depth from Axial Camera Motion |
| Mador Ziv |
1997 |
Ben-Zion Chor |
Abstracts |
The Probed Partial Digest Problem – Algorithms and Number Of Solutions |
| Drory Tal |
1997 |
Opher Etzion |
Abstracts |
Consistency Maintenance by Self Stabilization in Active Temporal Databases |
| Holstein Beery |
1997 |
Joseph Gil |
Abstracts |
T++ : Test Case Generator Using Code Abstraction |
| Ishai Yuval |
1997 |
Eyal Kushilevitz |
Abstracts |
Characterizing Perfect Privacy |
| Kazinnik Roman |
1997 |
Gershon Elber |
Abstracts |
Free-Form Surface Editing Using Multiresolution Decomposition |
| Talyansky Roman |
1997 |
Tuvi Etzion, Ronny Roth, |
Abstracts |
Coding for Two-Dimensional Constraints |
| Shpilberg Fanny Faina |
1997 |
Daniel Berry |
Abstracts |
Wd-Pic, a Wysiwyg Direct-Manipulation Pic |
| Shoikhet Kirill |
1997 |
Dan Geiger |
Abstracts |
Optimal Triangulations Via Mininal Separators |
| Aharoni Ehud |
1997 |
Reuven Cohen |
Abstracts |
Restricted Dynamic Steiner Trees for Scalable Multicast in Datagram Networks |
| Voldman Leonid |
1997 |
Joseph Gil |
Abstracts |
Using Smart Terminals to Effectively Enhance Commuication Throughput |
| Ruckenstein Gitit |
1996 |
Ronny Roth |
Abstracts |
Encoding for Input-Constrained Channels |
| Moss Anna |
1996 |
Michael Lindenbaum |
Abstracts |
Quantifying the Reliability of Feature-Based Object Recognition |
| Farizon Boris |
1996 |
Alon Itai |
Abstracts |
Dynamic Data Management in Parallel Ray Tracing |
| Goldin Maxim |
1996 |
Assaf Schuster |
Abstracts |
Weak Consistency Distributed Shared Memory System Design |
| Ben-Shahar Ohad |
1996 |
Ehud Rivlin |
Abstracts |
To Push Or Not to Push: on the Rearrangement of Movable Objects by a Mobile Robot |
| Sheinerman Juliana |
1996 |
Shay Ben David |
Abstracts |
Consequence Relations for Default Reasoning Without the ‘and’ Rule |
| Hod Ofra |
1996 |
Tuvi Etzion, Ronny Roth, |
Abstracts |
Constructions for Error-Correcting Codes and Covering Codes |
| Stein Eli |
1996 |
Reuven Cohen |
Abstracts |
An Efficient Approach for Emulating a Token-Ring Lan Over An Atm Network |
| Eiron Nadav |
1996 |
Shay Ben David |
Abstracts |
Variants of Mistake Bound Learning Algorithms |
| Cohen Shmuel |
1996 |
Gershon Elber |
Abstracts |
Matching of Curves in Computer Aided Geometric Design and Computer Graphics |
| Dubrovsky Alexander |
1996 |
Assaf Schuster |
Abstracts |
Load Balancing in Distributed Shared Memory System |
| Bashkansky Guy |
1996 |
Uzi Ornan |
Abstracts |
Monolingual Translator Workstation |
| Tebelev Olga |
1996 |
Gershon Elber, |
Abstracts |
Volumetric Computer Graphics in Surgery Process Planning |
| Givaty Galia |
1996 |
Eyal Kushilevitz |
Abstracts |
Learning Subclasses of Dnf Formulas and Disjunctions Of Threshold Functions Using Queries |
| Kliot Michael |
1996 |
Ehud Rivlin, Alfred Bruckstein, |
Abstracts |
Local Multivalued Invariant Signatures and Their Usage in Pictorial Databases |
| Konopnicki David |
1996 |
Oded Shmueli |
Abstracts |
Information Gathering in the World-Wide Web: the W3ql Query Language and the W3qs System |
| Evron Ilan |
1996 |
Reuven Cohen |
Abstracts |
Reliable Signaling in Atm Networks Over Parallel Signaling Vc Connections |
| Barta David |
1996 |
Joseph Gil |
Abstracts |
A System for Document Reuse |
| Miller Hillel |
1996 |
Shmuel Katz |
Abstracts |
Saving Space by Fully Exploiting Invisible Transitions |
| Rabinovitz Ishai |
1996 |
Shimon Even (Deceased) |
Abstracts |
Random and Deterministic Approximation Algorithms for Covering Problems. |
| Tamir Tamar |
1995 |
Hagit Attiya |
Abstracts |
Local Labeling and Resource Allocation Using Preprocessing |
| Holtz Karen |
1995 |
Eliezer Kantorowitz |
Abstracts |
Semrel – a Semantic Relationship Model for Object Oriented Databases |
| Bejerano Yigal |
1995 |
Adrian Segall |
Abstracts |
Setup and Maintenance of a Multi-Point Conversation |
| Hod Ronen |
1995 |
Ronny Roth |
Abstracts |
Coding Methods for Imput Constraind Channels |
| Paz Noam |
1995 |
Oded Shmueli |
Abstracts |
Ursus: An Advanced Neural Network Environment |
| Notkin Irina |
1995 |
Chaim Craig Gotsman |
Abstracts |
Parallel Adaptive Ray Tracing |
| Eliaz Amir |
1995 |
Dan Geiger |
Abstracts |
Handwriting Recognition Via Short Line Segments |
| Kupershtok Ahron |
1995 |
Shimon Even (Deceased) |
Abstracts |
The Hypercube – Features Generalizations and Embedding Sets Of Numbers in It |
| Tamir Boaz |
1995 |
Joseph Naor |
Abstracts |
K-Connected Graphp Partitions and Approximation Algorithms For Covering Problems |
| Ravve Elena |
1995 |
Johann Makowsky |
Abstracts |
Model Cheking for Various Notions of Product |
| Rappoport Rinat |
1995 |
Hagit Attiya |
Abstracts |
The Level of Handshake Required for Establishing Connection |
| Kariv Michael |
1995 |
Chaim Craig Gotsman |
Abstracts |
Model-Based Compression of Synthetic Animation Sequences |
| Becker Ann |
1995 |
Dan Geiger |
Abstracts |
Optimization of Bayesian Inference and Approximation Algorithms for the Weighted Vertex Feedback Set Problem |
| Zavalkovsky Artur |
1995 |
Eliezer Kantorowitz |
Abstracts |
Mys – An Object Oriented Database Management System in the Mach Operating System Environment |
| Shavitt Nira |
1995 |
Avi Mendelson, |
Abstracts |
Mapping Dynamic Parallel Programs Into Parallel Systems |
| Shirazi Asaf |
1995 |
Amos Israel |
Abstracts |
Efficient Wait-Free Implementations of Atomic Snapshot Memories |
| Golland Polina |
1995 |
Michael Lindenbaum, Alfred Bruckstein, |
Abstracts |
Use of Color for Optical Flow Estimation |
| Wasserkrug Segev |
1995 |
Yoram Baram |
Abstracts |
Neural Network Design for Classification |
| Frances Mordechai |
1994 |
Shay Ben David, Ami Litman, |
Abstracts |
Measuers of Complexity of Classes of Sets and Their |
| Zimerman Offer |
1994 |
Avi Mendelson |
Abstracts |
Using “Write”Only Cache” for Improring “Cacne Based” Systems |
| Jacovi Michal |
1994 |
Shay Ben David |
Abstracts |
Learmnning in the Limit and Non-Uniform |
| Zosin Leonid |
1994 |
Ben-Zion Chor |
Abstracts |
Privacy of Symmetric Functions |
| Ben-David Shoham |
1994 |
Shmuel Katz |
Abstracts |
Using Graphs to Represent Equivalence Classes of Parallel |
| Lorenz David |
1994 |
Shaul Markovitch |
Abstracts |
Learning in Games Using Symbolic Classification |
| Djerassi-Shintel Tal |
1994 |
Hagit Attiya |
Abstracts |
Lower Bounds for Decision Problems in Semi-Sjnchronous |
| Ben-Dor Amir |
1994 |
Ben-Zion Chor |
Abstracts |
On the Complexity of Computing the Permanent |
| Berkovich Zvi |
1994 |
|
Abstracts |
Sematic Debugging of Black Boxes |
| Roytman Evgeny |
1994 |
Chaim Craig Gotsman |
Abstracts |
Dynamic Color Quantization of Animation Sequences |
| Brezner Oren |
1994 |
Shay Ben David, Nissim Francez, |
Abstracts |
Expectation Semantucs for Modal Logic |
| Adir Allon |
1994 |
Shmuel Katz, Nissim Francez, |
Abstracts |
Compiling Programs with Multiparty-Interactions and Teams |
| Carmel David |
1994 |
Shaul Markovitch |
Abstracts |
Learning Models of Strategy’s Strategy in Game Playing |
| Ben-Aroya Ishai |
1994 |
Assaf Schuster |
Abstracts |
Bounds and Algorithms for Deflection Routing |
| Brit Hagit |
1994 |
Shlomo Moran |
Abstracts |
Public Data Structures and Public Counters as a Special Case |
| Ben Ephraim Arie |
1994 |
Dan Geiger |
Abstracts |
Pattern Recognition Using Similarity Networks |
| Shaham Amnon |
1994 |
Amos Israel |
Abstracts |
Implementation of Multi-Writer Multi-Reader Atomic Register |
| Katz Baruch |
1994 |
Michael Rodeh |
Abstracts |
Minimzing the Performance Degradation Due to Conditional |
| Gershon Benjamin |
1994 |
Michael Yoeli (Deceased), Orna Grumberg, |
Abstracts |
Synthesis of Concurrent Systems |
| Rosdeutscher Irit |
1994 |
Shaul Markovitch |
Abstracts |
Systematic Experimentation with Macro-Learning |
| Abarbanel Yael |
1994 |
Joseph Naor |
Abstracts |
Algorithms for Dynamic Graphs |
| Granot Gilad |
1994 |
Shimon Even (Deceased) |
Abstracts |
Planar Geid Drawings of Graphs with Few Bends in Eahe Edge |
| Lempel Oded |
1994 |
Ami Litman |
Abstracts |
Dual Round Retiming |
| Shemesh Galit |
1994 |
Assaf Schuster |
Abstracts |
Upper & Lower Bounds in Reconfigurable Networks |
| Halevi Shai |
1993 |
Assaf Schuster |
Abstracts |
Greedy Hot-Potato Routing |
| Fraiman Ronit |
1993 |
Shay Ben David |
Abstracts |
Complexity of Learning by Distances |
| Aizenbud Netta |
1993 |
Shmuel Katz, Hagit Attiya, |
Abstracts |
Self-Stabilization of Fault-Tolerant Distributed Algorithms |
| Amir Arnon |
1993 |
Alfred Bruckstein |
Abstracts |
Depth from Structured Lisht and Axial Motion |
| Marcus Shaul Silvian |
1993 |
Shaul Markovitch |
Abstracts |
Estimation of Lexical Relations Using Word Similarities |
| Sharell Abraham |
1993 |
Johann Makowsky |
Abstracts |
On the Average Gomplexity of Sat for Fiat Distributions |
| Levinger Moshe |
1993 |
Uzi Ornan |
Abstracts |
Morphological Disambiguation in Hebrew |
| Lubitch Ronit |
1993 |
Shlomo Moran |
Abstracts |
Closed Schedvlers: Motivation Construction and Application |
| Orenstein Tatiana |
1993 |
Zvi Kohavi, Irith Pomeranz, |
Abstracts |
Using Partial Scan for Testing of Digital Sequential Circoir |
| Munk Ophir |
1993 |
Ilan Bar-on |
Abstracts |
A New Parallel Factorization A= Ddtbc for Band Symmetric |
| Finkelstein Lev |
1993 |
Shaul Markovitch |
Abstracts |
Learning to Play by Acquiring Move-Patterns |
| Namolaru Mircea |
1993 |
|
Abstracts |
Compilation Techniques for Distributed Constraint Languages |
| Shintel Noam |
1993 |
Michael Yoeli (Deceased) |
Abstracts |
Synthesis of Modular Delay-Insensitive Netwerks from Petri |
| Sella Yaron |
1993 |
Shaul Markovitch |
Abstracts |
Learning of Resource Allocation Strategies for Game Playing |
| Brown Yishay |
1993 |
|
Abstracts |
Common Sense Maps Generator |
| Ronel Ilan |
1993 |
|
Abstracts |
Topolgy Design Capacity Allocation and Route Assignment |
| Efrat Alon |
1993 |
Alon Itai, Reuven Bar-Yehuda, |
Abstracts |
Dynamically Maintainhg the Ceter of a |
| Navony Nechama |
1993 |
Shlomo Moran |
Abstracts |
A Verge and Randomized Complexity of Distributed Problems |
| Kahan Ariel |
1993 |
Oded Goldreich |
Abstracts |
Zero Knowledge Proofs with Constant Number of Iterations |
| Hasson Ruben |
1992 |
Johann Makowsky |
Abstracts |
A Comparison of Data Models Forcomplex Objects |
| Sneh Dror |
1992 |
Oded Goldreich |
Abstracts |
The Complexity of Global Computation in the Presence of |
| Nativ Isaac |
1992 |
Eliezer Kantorowitz |
Abstracts |
Consistent Database with Non-Serialized Queries |
| Rachman Ophir |
1992 |
Ben-Zion Chor |
Abstracts |
Wait Free Randomized Consensus |
| Peres Yardena |
1992 |
Oded Shmueli |
Abstracts |
Implementation of the Grid File System |
| Zamir Elana |
1992 |
Uzi Ornan |
Abstracts |
Semantic Parser for Context Free Sentences in Hebrew |
| Beimel Amos |
1992 |
Ben-Zion Chor |
Abstracts |
Ideal Secret Sharing Schemes |
| Dvir Nir |
1992 |
Shmuel Katz |
Abstracts |
Freezing – Interaction Between Concurrent Distributed Algs. |
| Collin Ze’ev |
1992 |
Shmuel Katz, |
Abstracts |
A Self Stabilizing Distributed Solution |
| Petrank Erez |
1992 |
Oded Goldreich |
Abstracts |
The Knowledge Complexity of Interactive Proofs |
| Canetti Ran |
1992 |
Oded Goldreich |
Abstracts |
A Tradeoff Between Randomness and Commonication Complexity |
| Barguri Yaniv |
1992 |
Johann Makowsky |
Abstracts |
The Hierarchy of Transitive Closure |
| Aharonson Eran |
1992 |
Hagit Attiya |
Abstracts |
The Structure of Counting Networks |
| Yadin Irit |
1992 |
Shlomo Moran |
Abstracts |
The Distributet Counter Problem |
| Singer Yoram |
1992 |
Dan Chazan |
Abstracts |
Non Parametric Methods for Speech Consonants Recognition |
| Nelson Lee-Bath |
1992 |
Ben-Zion Chor |
Abstracts |
Characterization of Distributed Interactive Tasks |
| Pollak Avigdor |
1992 |
Ehud Bar-on |
Abstracts |
From Neural Networks to Production Rvles and Back |
| Michaeli-Aaroni Merav |
1992 |
Ben-Zion Chor |
Abstracts |
A Generalization of Group Testing |
| Dvir Michal |
1992 |
Shay Ben David |
Abstracts |
Incompleteness and the Theory of Computer Science |
| Adar Michel |
1991 |
Ehud Bar-on |
Abstracts |
An Interactive Graphical Development System for Orject |
| Grinwald Raanan |
1991 |
Reuven Bar-Yehuda |
Abstracts |
Merging Polygons with Holes |
| Pinhasov Meir |
1991 |
Amos Israel |
Abstracts |
A Linear-Time Bounded Concurrent Time-Stamp Scheme |
| Even Guy |
1991 |
Oded Goldreich |
Abstracts |
Construction of Small Probability Spaces |
| Solel Nir |
1991 |
|
Abstracts |
Efficient Algorithms for Disjoint Paths Steiner Tree |
| De-Lion Hana |
1991 |
Orna Grumberg |
Abstracts |
Real Time Temporal Logics |
| Amir Yair |
1991 |
|
Abstracts |
Customer Scheguling Under Qveueing and Delay Constraints |
| Resnik Ron |
1991 |
Moshe Israeli (Deceased), Marius Ungarish, |
Abstracts |
Nuerical Analysis of Two-Phase Rotating Flow |
| Wintner Shalom |
1991 |
Uzi Ornan |
Abstracts |
Syntactic Analysis of Hebrew Sentences |
| Dichterman Eli |
1991 |
Shay Ben David |
Abstracts |
Derandomizing Online Algorithms |
| Shurek Gil |
1991 |
Orna Grumberg |
Abstracts |
Modular Computer Aided Verification of Concurrent Systems |
| Rinoenau Yael |
1991 |
Shlomo Moran, Amos Israel, |
Abstracts |
An Efficient Algorithm for Maximum Dyramis Flow Problem |
| Helman Anat |
1991 |
Moshe Israeli (Deceased), Marius Ungarish, |
Abstracts |
Parallel Solution of An Elliptic Eguation in Twd Dimentidns |
| Srouji Johny |
1991 |
Daniel Berry |
Abstracts |
Adaptaticn of the Unix Ditroff for Formatting Arabic Text |
| Marelly Rami |
1991 |
Orna Grumberg |
Abstracts |
Automatic Verifier of Distributed Algorithms |
| Sharon Miriam |
1991 |
Alon Itai |
Abstracts |
Learning Automata |
| Sharon Oran |
1990 |
Adrian Segall |
Abstracts |
Session Management and Organization in Broadcast Networks |
| Shani Netta |
1990 |
Ben-Zion Chor |
Abstracts |
On the Privocy Gdp in Dense Symmetric Functions |
| Dolev Shlomo |
1990 |
Amos Israel, Shlomo Moran, |
Abstracts |
Self Stabilization of Dynamic Systems Assuming Only Read/ |
| Erez Ruthi |
1990 |
Daniel Berry |
Abstracts |
An Interactive Iaterpretes Withgraphic Display of Program |
| Ur Shmuel |
1990 |
Azaria Paz |
Abstracts |
Graphoids: Graph Representation and Membership Problems |
| Calo Ariel |
1990 |
Johann Makowsky |
Abstracts |
The Expressive Power of the Transitive Closure |
| Goldstein Lyor |
1990 |
Uzi Ornan |
Abstracts |
Generation and Analysis of the Possession Inflexion of |
| Yona Gidon |
1990 |
Amos Israel, Shay Ben David, |
Abstracts |
Verification of Protocols Fur Sharfd Registers Systems by G |
| Shtapler Zeiev |
1990 |
Orna Grumberg |
Abstracts |
Automatic Verification of Distributed Algorithms |
| Moscovici Lior |
1990 |
Ben-Zion Chor |
Abstracts |
Implementing Distributed Tasks in Presence of Failures |
| Geva Robert |
1990 |
Azaria Paz |
Abstracts |
Representation of Irrelevance Relations by Graphs |
| Neeman Yuval |
1990 |
Nissim Francez |
Abstracts |
Domain Archetype – a Eeasiblit Y Study |
| Neeman Elan |
1990 |
Adrian Segall |
Abstracts |
Route Setmp and Takedown in a Funnel Network |
| Kimmel Dan |
1990 |
Shimon Even (Deceased) |
Abstracts |
Simulation Project on Ibm/pc for Electronic Wallet |
| Tal Ady |
1990 |
|
Abstracts |
Vertex Disjoint Paths in Series Paraller Graphs |
| Amit Erela |
1990 |
Ehud Bar-on |
Abstracts |
Machine Learning Algorithm for Diagnosing Misconceptions |
| Fogel Sergio |
1990 |
Reuven Bar-Yehuda |
Abstracts |
Ray Shooting: Searching and Counting Queries |
| Molcho Moshe |
1990 |
Shmuel Zaks |
Abstracts |
Distributed Algorithms with a Fault Detection Ring |
| Bezalel Iris |
1990 |
Michael Yoeli (Deceased) |
Abstracts |
Structured Design of Delay-Insensitive Controllers |
| Lempel Mordkhai |
1990 |
Azaria Paz |
Abstracts |
Modular Lattices – An Algorithmic Approach |
| Shany-Klein Michal |
1990 |
Uzi Ornan |
Abstracts |
Generating & Analyzing Segolatenoun Inflection in Hebrew |
| Meir Osnat |
1990 |
|
Abstracts |
Analysis of the Performance of the Exponential Pxramid |
| Cohen Doron |
1990 |
Tuvi Etzion |
Abstracts |
Combinatorical Designs Derived from Constant Weight Godes |
| Yanai Shimon |
1990 |
Daniel Berry |
Abstracts |
Environment for Translating “Metafont”to”Postscrcpt” |
| Bittan Sara |
1990 |
Shmuel Zaks |
Abstracts |
Linear Broadcast Routing |
| Jalfon Marc Elie |
1990 |
Amos Israel |
Abstracts |
Self Stabilizing Random Algorithms on Distributed Uniform Sy |
| Ben-Chanoch Eyal |
1990 |
Reuven Bar-Yehuda |
Abstracts |
Covering Polygons with Squares |
| Licht Rivka |
1990 |
Tuvi Etzion |
Abstracts |
Realization of Permutations in a Shuffle-Exchange Network |
| Goldfeld David |
1989 |
Tuvi Etzion |
Abstracts |
Eguivalence of Interconnection Netnorus |
| Sananes Moises |
1989 |
Eliezer Kantorowitz |
Abstracts |
Dros a Distributed Replicated Data Systam |
| Fournier Laurent |
1989 |
|
Abstracts |
Performance Evalualion of Priorilized Token Sing Local |
| Cohen-Rabinovici Simona |
1989 |
|
Abstracts |
Parallelization Strategies in Knowledge Bases |
| Rafaeli Raz |
1989 |
Shay Ben David |
Abstracts |
Global Time in Distributed Systems |
| Rahat Amir |
1989 |
Oded Shmueli |
Abstracts |
Logic Programming in a Distributed Euvironment |
| Hausman Ehud |
1989 |
Eliezer Kantorowitz, Alon Itai, |
Abstracts |
Erd Raseb Natural Qvery Langvage |
| Ostfeld Zvi |
1989 |
|
Abstracts |
Des Trees Construction:characterizations and Sequential and |
| Shemesh Yael |
1989 |
Nissim Francez |
Abstracts |
Relation Recognizing Automatta |
| Lavie Alon |
1989 |
Uzi Ornan, Alon Itai, |
Abstracts |
Two Level Morphology for Hebrew |
| Matsliach Gabriel |
1989 |
Oded Shmueli |
Abstracts |
Fitting Traditional Search Structures to New Architectures. |
| Sideman Gil |
1989 |
|
Abstracts |
Evaluation of Hop by Hop Vs End to End Go Back-N Protocol |
| Hurvitz Oren |
1989 |
Alon Itai |
Abstracts |
Janus Automata as a Model for the Intelligent Scan Problem |
| Koren Tziporet |
1989 |
Oded Goldreich |
Abstracts |
On the Construction of Pseudo Random Block Ciphers |
| Wolfman Tony |
1989 |
Daniel Berry |
Abstracts |
“”Flo” a Language for Typesetting Flowcharts |
| Habusha Uri |
1989 |
Daniel Berry |
Abstracts |
Vi Iv a Ri-Directional Version of the Vi Full-Screen Edito |
| Lesser Ofrit |
1989 |
Raphael Rom |
Abstracts |
Routing by Controlled Flooding |
| Kushilevitz Eyal |
1989 |
Oded Goldreich |
Abstracts |
Perfect Zero-Knowledge Proofs |
| Allon Gil |
1989 |
Daniel Berry |
Abstracts |
Towauosabi Divectional Operating System |
| Kariv Itay |
1989 |
|
Abstracts |
Hierarchical Symbolic Indices in General Purpose |
| Gafni Yael |
1989 |
Shay Ben David |
Abstracts |
Semantics for a “Knowing at Most” Operator |
| Nathan Abraham |
1989 |
Ran Ginosar |
Abstracts |
Compilation of Fcp to Carmel and Its Performance Analysis |
| Leyzerovitch Esther |
1989 |
Orna Grumberg |
Abstracts |
Impiementing Superimpositions for Occam |
| Becker Zeev |
1988 |
Daniel Berry |
Abstracts |
An Adaptation of the Unix Ditroff for Rormatting Tri-Directi |
| Abu-Hanna Ameen |
1988 |
|
Abstracts |
An Integrated Deep-Shallow Expert System for Multi-Leuel |
| Reicher Iris |
1988 |
Michael Yoeli (Deceased) |
Abstracts |
Verification and Synthesis of Asynchronous Circuits |
| Fischer Daniel |
1988 |
Shlomit Pinter |
Abstracts |
Maintenance of Unreliable Distributed Systems |
