IBM Haifa Research Seminars

20/05/2008
Synergistic Face Detection and Pose Estimation
Dr. Margarita Osadchy, Haifa University

15/04/2008
The Cloning Method for Combinatorial Optimization, Counting and Rare Events Using Gibbs Sampler
Prof. Reuven Rubinstein, -

03/04/2008
How to Gossip in an Asynchronous World
Seth Gilbert, Swiss Federal Institute of Technology

25/03/2008
Three Approaches to Object Evolution
Tal Cohen, Google

18/03/2008
Abandoning the Ring Concept in Structured Overlay Networks
Sarunas Girdzijauskas, IBM HRL and EPFL

12/03/2008
Motor Memory - does it address the past or the future?
Amir Karniel, Ben-Gurion University

04/03/2008
Pseudorandom Generators and Puzzles
Danny Harnik, IBM HRL

04/02/2008
Evolving Languages and Tools for Model Management
Richard Paige, University of York, UK

29/01/2008
Finding an Optimal Tree Searching Strategy in Linear Time
Oren Weimann, -

08/01/2008
Two Research Topics in Global Software Development: Utilizing Follow-the-Sun & Understanding the Impact of Time-Zone Differences
Prof. Erran Carmel, American University, Washington D.C

03/01/2008
Querying and Monitoring Business Processes
Anat Eyal, PhD

01/01/2008
Recent Advances in Solution Sampling
Prof. Rina Dechter, University of California

23/12/2007
An Axiomatic Approach to Ranking Systems
Prof. Moshe Tennenholtz, Technion

18/12/2007
Contextual Search and Disambiguation in Entity-Relation Graphs
Einat Minkov, Ph.D

11/12/2007
On the Complexity of Sequential Rectangle Placement In WIMAX
Prof. Amos Israeli, Netanya College

04/12/2007
Using GPUs for high performance computing - efficient use of memory hierarchy for memory-bound workloads
Mark Silberstein, Technion

27/11/2007
Self-Normalizing Structures for Synchronization and SNR Estimation in Coherent Wireless Communications
Yair Linn, PhD

06/11/2007
An Information Theorist Cleans Up Discrete Data
Tsachy Weissman, Technion

31/10/2007
Visual Correlation of Situational Awareness
Yarden Livnat, Scientific Computing and Imaging Institute,University of Utah

16/10/2007
Speeding Up HMM Decoding and Training by Exploiting Sequence Repetitions
Oren Weimann, -

27/08/2007
Story of IBM Research's Success in KDD/Netflix Cup 2007
Saharon Rosset, -

07/08/2007
Predicting MicroRNA Genes and Targets using Structural and Sequence
Malik Yousef, Wistar Institute, University of Pennsylvania, USA

11/07/2007
Verification Driven Formal Architecture and Microarchitecture Modeling
Sharad Malik, Princeton University

04/07/2007
Large scale identification and management of women at high risk for hereditary cancer: Using IT to improve medical care
Dr. Kevin Hughes, Harvard Medical School and Massachusetts General Hospital

12/06/2007
Self-Stabilizing Operating Systems
Reuven Yagel, Ben-Gurion University

05/06/2007
The Euler Path to Level-Ancestor Queries
Amir Ben-Amram, Tel-Aviv Academic College

06/05/2007
NFSv4 Replication for Grid Computing
Peter Honeyman, University of Michigan, USA

27/02/2007
Pathway Alignment by Approximate Labeled Subgraph Homeomorphism
Oleg Rokhlenko, PhD Candidate, Technion

20/02/2007
Lateral Transfer: How Tree-Like is the Tree-of-Life; A Survey and New Developments
Sagi Snir, Netanya College

14/02/2007
Medical Imaging from DSP point of view
Vadim Sheinin, IBM Research

13/02/2007
An Approach to Bounded Rationality
Adam Kalai, Weizmann Institute of Science

06/02/2007
Towards Approximate Service Retrieval
Eran Toch, Dept. of Industrial Engineering, Technion

24/01/2007
Wireless Communications for Public Transport and Road Infrastructure: Research Challenges
Dr. Lavy Libman, National ICT Australia

23/01/2007
Protecting privacy without misleading users, in the realm of XML
Yaron Kanza, University of Toronto

03/01/2007
Relaxed Currency Serializability for Middle-Tier Caching and Replication
Alan Fekete, University of Sydney

18/12/2006
Split Snapshots: a new approach to old state storage
Liuba Shrira, Brandeis University

28/11/2006
A Distributed System for Genetic Linkage Analysis
Mark Silberstein, The Technion

21/11/2006
Direct Policy Search in Reinforcement Learning and Synaptic Plasticity in Biological Neural Networks
Dorit Baras, IBM Haifa Research labs

07/11/2006
Integrated Process and Knowledge Management for Product Definition, Development and Delivery
Dr. Shai Koenig, The Open University of Israel

06/11/2006
Are All Large Scale Storage Systems I/O Bound?
Elliot Jaffe, The Hebrew University of Jerusalem

17/10/2006
Towards Automatic Integration of the Business-Data Layers in Enterprise-Systems
Prof. Mira Balaban, Ben-Gurion University of the Negev

15/10/2006
A Guide to "Popolitica" - Emotions in Speech
Dr. Noam Amir, Tel-Aviv University

13/06/2006
A Geometric Approach to Monitoring Threshold Functions Over Distributed Data Streams
Tsachi Sharfman, Technion

24/05/2006
Predictive Analytics: Algorithms and Systems for Business Applications
Chid Apte, IBM Research - T.J. Watson Research Center

23/05/2006
Minimizing Setup and Beam-On Times in Radiation Therapy
Baruch M Schieber, IBM T.J. Watson Research Center

09/05/2006
Principles and algorithms for extracting relevant data representations
Prof. Naftali Tishby, Hebrew University, Jerusalem, Israel

08/05/2006
PageRank Computation Using the Bulk Synchronous Parallel Model
Rob Bisseling, Utrecht University

23/04/2006
Realtime Response Meets SMP Systems and Commercial Applications
Paul McKenney, IBM Beaverton, Oregon

21/03/2006
Do not Crawl in the DUST
Uri Schonfeld, Technion

14/03/2006
Effective Typestate Verification in the Presence of Aliasing
Eran Yahav, IBM T.J. Watson Research Center

05/03/2006
Parallel and Distributed Systems - a Combined Theoretical and Practical Perspective
Liran Liss, Technion

02/03/2006
Practical Middleware Fault-Tolerance
Erez Hadad, Technion

28/02/2006
Multi-Box RAID with 3rd Party Transfer and ECC Calculation in Targets using RDMA
Erez Zilber, Technion

26/02/2006
Adaptive TCP Congestion Control
Alex Kesselman, Corvil Networks

06/02/2006
From static business processes to executable business processes (BPM) and business activity monitoring (BAM/CEP)
Professor Rainer von Ammon, Daniel Jobst, CITT, University of Applied Sciences of Regensburg and University of Upper Austria

19/01/2006
Distributed Compressed Sensing
Dror Baron, Rice University

03/01/2006
Computational Stylistics and Applications
Dr. Shlomo Argamon, Illinois Institute of Technology

03/01/2006
Compiler-Driven Checkpoint and Rollback-Recovery for Distributed Systems
Adnan Agbaria, Information Sciences Institute (ISI) and University of Southern California

27/12/2005
Resource Allocation and Work Delegation in Condor
Miron Livny, University of Wisconsin - Madison

21/12/2005
The Next Revolution: Mobile P2P
Ouri Wolfson, University of Illinois at Chicago

21/12/2005
An Architecture for Bayesian Communication of Clinical Trials
Harold Lehmann, Johns Hopkins School of Medicine

20/12/2005
The "Alternative Programming" paradigm and First Order Text Calculus
Andrew Gleibman, Microspec Technologies

13/12/2005
Variational Inference and Learning for a Unified Model of Syntax, Semantics, and Morphology
Leo Kontorovich, Carnegie Mellon University

15/11/2005
Quality management and quality standards for learning, education and training
Christian Stracke, University of Duisburg-Essen, Germany

02/10/2005
TerraFly
Professor Naphtali David Rishe, Florida International University

07/09/2005
Data Storage Devices and Systems (DS2) Research Roadmap
Giora J. Tarnopolsky, INSIC DS2 Program Leader & TarnoTek Consultant

06/09/2005
The Julia Content Distribution Network
Danny Bickson, The Hebrew University of Jerusalem

14/08/2005
Formal Models and Tools for NIDS Development
Shai Rubin, University of Wisconsin, Madison

11/08/2005
Coverage Metrics in Formal Verification
Hana Chockler, WPI and MIT

26/07/2005
Efficient Byzantine Broadcast in Wireless Ad-Hoc Networks
Vadim Drabkin, Technion

26/07/2005
Derivative Free Optimization --Some New Results
Andrew R. Conn, IBM Watson

12/07/2005
Gatekeeping and Information Control in Networks
Karine Barzilai-Nahon, University of Washington

12/07/2005
Counting-basedlook-ahead schemes for constraint satisfaction and The impact of AND/OR search space on counting solutions
Rina Dechter, UCI

27/06/2005
Why SAT works and QBF (often) doesn't
Bart Selman, Cornell University

21/06/2005
Disambiguating Web Appearances of People in a Social Network
Ron Bekkerman, University of Massachusetts

14/06/2005
Personalized Information Delivery in Dynamic Museum Environment by Implicit Organizations of Agents
Dr. Tsvi Kuflik, Haifa University

01/06/2005
Who Wrote this Document?
Dr. Charles Nicholas, University of Maryland Baltimore County (UMBC)

31/05/2005
An Incremental Super-Linear Preferential Internet Topology Model
Mira Gonen, Tel Aviv University

24/05/2005
Eight Keys to Innovation
Daniel Raviv, Florida Atlantic University

09/05/2005
Server Scalability and TCP Offload
Erich Nahum, IBM Watson

04/05/2005
Biomolecular Computing Devices
Prof. Ehud Keinan, Dean of the Technion Chemistry Department

03/05/2005
Towards Hard Realtime Response from the Linux Kernel: Adapting RCU to Hard Realtime
Paul Mckenny, IBM Beaverton

19/04/2005
Self-Stabilizing Systems as a Base for Autonomic Computing
Olga Brukman and Shlomi Dolev, Ben-Gurion University

05/04/2005
The EDA (Event-Driven Architecture) Initiative in IBM
Opher Etzion, IBM Haifa Research Lab

29/03/2005
Reinforcement Learning
Yishay Mansour, Tel-Aviv University

01/03/2005
Workload Flurries
Dan Tsafrir, The Hebrew U. of Jerusalem

22/02/2005
Distributional Similarity and Lexical Entailment
Maayan Gefet, HUJI

15/02/2005
Local Data Mining Algorithms for Peer-to-Peer and Sensor Networks
Ran Wolff, University of Maryland, Baltimore County

08/02/2005
A finite-state based morphological analyzer for Hebrew
Shlomo Yona, Haifa University

01/02/2005
Delivery Times in Packet Networks: Packet Rate versus Network Latency under Adversarial Traffic
Michael Tsirkin, Mellanox Technologies

11/01/2005
Riemannian Geometry and Statistical Machine Learning
Guy Lebanon, CMU

30/12/2004
Comparison of HMM word model architectures and recognition networks for connected digits recognition
Tzur Vaich, -

28/12/2004
Master-Slave Dependency Model and its Application to the Hebrew Understanding
Yan Tsitrin, Technion

20/12/2004
Corpus structure, language models, and ad hoc information retrieval
Oren Kurland, Cornell

07/12/2004
Theoretical Issues of Searching Aerial Photographs: A Bird's Eye View
Amihood Amir, Bar-Ilan University and Georgia Tech

24/11/2004
Trends in Global Software Development and Research
Charles Pau, Director, Globalization Architecture and Techonology, SWG

23/11/2004
A Random Walk through Human Associations
Raz Tamir, Hebrew Universitiy Jerusalem

12/10/2004
Locality Aware Network Solutions
Ittai Abraham, Hebrew Universitiy Jerusalem

22/09/2004
Verification of low-level, concurrent ANSI-C Programs
Daniel Kroening, Swiss Institute of Technology

14/09/2004
Beyond Document Retrieval: Answering Natural Language Questions
Gilad Mishne, Univ. of Amsterdam

07/09/2004
Filtering Speaker-Specific Words from Electronic Discussions to Improve Document Clustering
Yuval Marom, Monash University

16/08/2004
Accessibility for Business Advantage
Sara Basson, IBM Global Services

11/08/2004
Adventures in Time and Space: Leveraging Geo-Referenced Digital Photographs
Mor Naaman, Stanford

10/08/2004
Microprocessor Global Clock Distribution Directions
Phillip J. Restle, IBM Watson Research Center

20/07/2004
Automated Test Generation and Simulation System for Combinational Circuits
Eli De-Paz, ORT Braude, Carmiel

13/07/2004
Factors Influencing the Success of Radical Technological Innovation Projects: A Strategic Perspective
Dan Cohen, Tel Aviv University

11/07/2004
Analyzable Structural Models of Software
Daniel Jackson, MIT

06/07/2004
Customer lifetime evaluation in e-commerce and its application for scheduling
Amit Fisher, HRL

29/06/2004
The Trusted Computing Initiative
Orr Dunkelman, Technion

23/06/2004
How can voice interface applications of tomorrow be developed with speech recognition technology of today?
Alexander Faisman, IBM Watson Research Center

22/06/2004
Looking into Main Technologies of the Future
Shlomit Harth, Gartner

15/06/2004
Semi-Lossless Text Compression
Prof. Tomi Klein, Bar-Ilan University

08/06/2004
Application level attacks: Security holes are YOUR fault
Aviram Jenik, Beyond Security

07/06/2004
Ranking the Web Frontier
Nadav Eiron, Almaden

01/06/2004
winfs (longhorn): The next generation windows file system
Uri Schonfeld, IBM Haifa Labs

18/05/2004
Finding Needles in a 20 TB Haystack, 200 Million Times Per Day
Eran Gabber, Google, Inc.

11/05/2004
Instant Messaging as Social Mediation
Anabel Quann-Hasse, University of Toronto

04/05/2004
Optimizing the Performance of Parallel Job Scheduling
Edi Shmueli, IBM Haifa Labs

20/04/2004
Time Dependent Multi Scheduling of Multicast
Rami Cohen, Technion

30/03/2004
The Role of Regularization in Modern Data Analysis
Saharon Rosset, IBM T.J. Watson Research Center

23/03/2004
Distributed Intelligent Abstraction, Visualization, and Interactive Exploration of Time Oriented Data
Prof. Yuval Shahar, BGU

16/03/2004
Hspell- a free Hebrew Spell-checker
Nadav Harel, IBM HRL

11/03/2004
The Model Driven Enterprise
David L. Cohn, Director, Business Informatics, IBM Watson Research Center

09/03/2004
Active Learning - From Theory to Practice
Ran Gilad-Bachrach, Hebrew University

02/03/2004
Why do people forward chain letters and Urban Legends and how to stop it
Hanan Cohen, -

24/02/2004
The Security of Protocols in Modern Network Settings
Yehuda Lindell, IBM Watson

17/02/2004
Security Weaknesses in the GSM Cellular System
Elad Barkan, Technion

10/02/2004
Colorimetric Imaging with Minimum Noise
Dr. Hagit Hel-Or, Haifa University

02/02/2004
An Analysis of Read-Copy-Update Techniques in Operating System Kernels
Paul McKenney, IBM Linux Technology Center

27/01/2004
Men are from Mars: Explorations in Style-Based Text Categorization
Prof. Moshe Koppel, Bar-Ilan University

26/01/2004
Semantics for Incomplete Information as Hereditary Graph Properties
Sara Cohen, Hebrew University

22/01/2004
Policies, Presence and Availability Services
Jorge Lobo, Teltier Technologies

20/01/2004
Quantum Cryptography
Prof. Michael Ben-Or, The Hebrew University of Jerusalem

13/01/2004
Enhanced Vacuity Detection in Linear Temporal Logic
Nir Piterman, Weizmann Institute of Science

06/01/2004
Building and Validating Intrusion-Tolerant Distributed Systems
Dr. Adnan Agbaria, UIUC

30/12/2003
Massive Data Sets: Theory and Practice
Ziv Br-Yossef, Almaden

16/12/2003
Men are from Mars: Explorations in Style-Based Text Categorization
Moshe Koppel, Bar-Ilan University

09/12/2003
On Evaluating Fairness in Queues
Prof. Hanoch Levy, TAU

02/12/2003
On Multicast Trees: Structure and Size Estimation
Osnat Mokryn, Hebrew University

25/11/2003
String Matching with k Mismatches
Moshe Lewenstein, Bar-Ilan University

18/11/2003
The Connectivity Sonar: Detecting Site Functionality by Structural Patterns
Ronny Lempel, HRL

10/11/2003
Relational Database Technology: Modern challenges and requirements posed by today's customers
Mr. Gene Kligerman, IBM Toronto - This talk is open only for IBM employees

04/11/2003
Management Systems for Clusters and Grids
Prof. Amnon Barak, Hebrew University of Jerusalem

02/11/2003
Putting the “Engineering” into Software Engineering
Philippe Kruchten, IBM Software Group, Rational Software, Vancouver BC Canada

21/10/2003
Parallel Huffman Decoding
Yair Wiseman, Bar-Ilan University

12/08/2003
Unified Modeling Language (UML)
Shiri Davidson & Nadav Golbandi, IBM Haifa Labs

29/07/2003
Effects of Clock Resolution on the Scheduling of Interactive and Soft Real-Time
Yoav Etzion, Hebrew University of Jerusalem

22/07/2003
Segmentation of Medical Images Using Active Contour Model
Dr. Erik Fredj, JCT

15/07/2003
Based Implementation of Factoring Algorithms
Eran Tromer, The Weizmann Institute of Science

08/07/2003
Web sites and user interface in the sight of the blind
Gidi Aharonovich and Shoshannah Forbes, -

01/07/2003
Subsetting SPEC When Measuring Results: Valid or Manipulative?
Daniel Citron, IBM

22/06/2003
Collaborative Creation Tools – the Case of Interconnected Musical Networks
Gil Weinberg, MIT Media Laboratory

17/06/2003
eXtreme Programming: Academic and Industrial perspectives
Yael Dubinsky, Dr. Orit Hazan, Technion

[Replication or Save Conflict][Replication or Save Conflict]16/06/2003
Joint HRL / CRI Seminar - Information Technology for Tourism
Prof. Oliviero Stock , Prof. Hannes Werthner, -

12/06/2003
A Survivable, Scalable Distributed Storage System
Richard Golding, IBM Almaden

08/06/2003
Overview of the ContextSphere Project
Norman Cohen, IBM Watson

03/06/2003
Dynamic Context-dependent Process Interleaving
Arie Segev, U.C. Berkeley

19/05/2003
Multiscale Blind Source Separation
Pavel Kisilev, Technion

14/05/2003
Efficient Algorithms for the Runtime Environment of Object Oriented
Yoav Zibin, Ph.D student, Technion

08/04/2003
Spatial Pattern Discovery in Structural Bioinformatics and its Applications to Computer Aided Drug Design
Haim J. Wolfson, Tel Aviv University

31/03/2003
Collaborative Creation Tools – the Case of Interconnected Musical Networks
Gil Weinberg, Media Lab, MIT

25/03/2003
How to Go Beyond the Black-Box Simulation Barrier
Boaz Barak, Weizmann Institute of Science

20/02/2003
Junior Vs. Kasparov - The inside scoop
Shay Bushinsky, -

18/02/2003
Nizim – Empty containers management system in Zim
Yossi Shiloach, IBM HRL

11/02/2003
Algorithms for Drawing Large Graphs
Yehuda Koren, Weizmann Institute

04/02/2003
Temporal Link Analysis on the Web
Einat Amitay, IBM HRL

14/01/2003
What the "non-codong sequences" code for?
Edward N. Trifonov, Haifa U.

07/01/2003
Garbage collection techniques and considerations
Yoav Ossia, IBM HRL

30/12/2002
Modern applications of Bloom filters
Andrei Broder, IBM Watson Research Center

24/12/2002
Restricting SBH Ambiguity via Restriction Enzymes
Sagi Snir, Technion

19/12/2002
Admission control and request scheduling for dynamic content Web servers
Erich Nahum, IBM T.J. Watson Research Center

17/12/2002
Video Summaries and Cross-Referencing through Mosaic-Based Representation
Aya Aner-Wolf, The Weizmann Institute

08/12/2002
Lightning-Fast Resource Management
Eitan Frachtenberg, The Hebrew University & Los Alamos National Laboratory

03/12/2002
Towards Odor Communication and Synthesis
Liran Carme, The Weizmann Institute

28/11/2002
Lightning-Fast Resource Management
Eitan Frachtenberg, The Hebrew University & Los Alamos National Laboratory

07/10/2002
Incorporating Generations into a Modern Reference-Counting Garbage Collector
Hezi Azatchi, Technion/HRL

02/10/2002
FM (Fraenkel-Mostowski) semantics for variable bindings
Jamie Gabbay, University of Cambridge

20/08/2002
Reasoning with Classifiers
Dan Roth, University of Illinois at Urbana-Champaign

13/08/2002
Utilizing Shared Storage for Scalable Object Replication
Gregory Chokler, Hebrew University

16/07/2002
Reliability in High Performance Distributed Computing Systems
Adnan Agbaria, Technion

11/07/2002
Genetic manipulation of cells and molecules of the immune system
Dr. Yoram Reiter, Technion

09/07/2002
Storage Tank
Miriam Sivan-Zimet, IBM Almaden

11/06/2002
Synthesis of reactive systems
Orna Kupferman, Hebrew University

03/06/2002
Secure Computation and its Composition
Yehuda Lindell, The Weizmann Institute

23/05/2002
Linking Advanced Development with Leading Edge Academic Research: IBM's Centers for Advanced Studies
Gabby Silberman, IBM TJ Watson

07/05/2002
The Hardness of Cache Conscious Data Placement
Dror Rawitz, Technion

30/04/2002
Cancer therapy using genetically engineered homing missiles
Yoram Reiter, Technion

08/04/2002
Using Tarjan's Red Rule for Fast Dependency Tree Construction
Dan Pelleg, CMU

19/03/2002
An Efficient Profile-Analysis Framework for Data-Layout Optimization
Shai Rubin, University of Wisconsin - Madison

17/03/2002
TeleRobotics - a new paradigm
Dr. Reuven Granot, Visiting Scientist Technion and MAFAT, IMoD

05/03/2002
A Text-to-Scene Conversion System
Richard Sproat, AT&T Research Labs

28/02/2002
Calculated Bets: Computers, Gambling, and Mathematical Modeling to Win
Steven Skiena, SUNY Stony Brook

26/02/2002
Calculated Bets: Computers, Gambling, and Mathematical Modeling to Win
Steven Skiena, SUNY Stony Brook

19/02/2002
Disk scheduling and the maximal increasing subsequence problem
Eitan Bachmat, Ben Gurion U.

12/02/2002
Communication-Efficient Distributed Mining of Association Rules
Ran Wolff, Technion

10/02/2002
Visualization, Presentation & Storytelling: Technology Meets Culture
Nahum Gershon, The MITRE Corporation

23/01/2002
Graph Visualization Technology
Brendan Madden, Tom Sawyer Software

20/01/2002
Criteria for evaluating IR systems in highly dynamic environments
Judit Bar-Ilan, Hebrew University

17/01/2002
Interacting with a Robot to Enhance Its Perceptual Analysis
Yuval Marom, Edinburgh U., Scotland

15/01/2002
Combinatorial Optimization via Random Walks on Graphs Relative Entropy and Rare Events
Reuven Rubinstein, Technion

09/01/2002
Specification and Verification using Message Sequence Charts
Doron Peled, University of Texas at Austin

08/01/2002
Specification and Verification using Message Sequence Charts
Doron Peled, University of Texas at Austin

07/01/2002
The Effect of Metrics and Workloads on Performance Evaluation
Dror Feitelson, Hebrew University

02/12/2001
Beyond Regular Model Checking
Dana Fisman, HRL

27/11/2001
Object-Process Methodology - A Holistic Systems Paradigm
Dov Dori, Technion

20/11/2001
Does the Brain Use Clocks, Counters, or Switches During Motor Adaptation?
Amir Karniel, Northwestern University

15/11/2001
Some Recent Results on Data Mining and Search
Amos Fiat, Tel Aviv University

13/11/2001
CCS – Call Center Scheduler
Yossi Shiloach, HRL

06/11/2001
Refinement of Search in Information Systems
Offer Drori, Hebrew University

01/11/2001
Natural Language Questions: From Logical Semantics to Interfacing Temporal Databases
Rani Nelken, Technion

28/10/2001
Towards a Design Methodology for Supporting Creativity
Daniel Oppenheim, IBM Watson

23/10/2001
Real-time visualization of cortical dynamics
Alexander Sterkin, Weizmann Institute

25/09/2001
Dividing and Conquering Logic
Eyal Amir, Stanford University

20/09/2001
Extreme Blue – HRL project: Active Services in Wireless Environment
-, -

16/09/2001
Oceano - Highly Available Reactive Management System
Tamar Eilam, IBM Watson

11/09/2001
Trace-and-Revoke algorithms for Content Protection
Dalit Naor, HRL

06/09/2001
QoS Routing and Partitioning in Networks with Per-Link Performance-Dependent Costs
Dean H. Lorenz, Technion

05/09/2001
Designing Components versus Objects: A Transformational Approach
David H. Lorenz, Northeastern University

14/08/2001
Extreme-blue: DEAPspace Service Discovery
Michael Nidd, IBM Research, Zurich Research Lab

08/08/2001
A Hybrid GMM/SVM Approach to Speaker Recognition
Shai Fine, IBM Watson

07/08/2001
Computing the minimum representation of Boolean functions defined by intervals
Danny Geist, HRL

31/07/2001
Unsupervised Taxonomy of Large Document Corpora Utilizing Idiomatic Character of Natural Languages
Nahum Korda, Virtual Self

30/07/2001
Removing Architectural Bottlenecks to the Scalability of Speculative Parallelization
Lawrence Rauchwerger, Texas A&M

29/07/2001
Removing Architectural Bottlenecks to the Scalability of Speculative Parallelization
Lawrence Rauchwerger, Texas A&M

24/07/2001
Ramsey-type Theorems for Metric Spaces and their Application for Metrical Task Systems
Manor Mendel, Tel-Aviv University

22/07/2001
The Condor View of Grid Computing
Miron Livny, University of Wisconsin

17/07/2001
Function Matching
Moshe Lewenstein, IBM Research, Yorktown Heights

16/07/2001
A Motion Planning Approach to Protein Folding
Nancy Amato, Texas A&M

12/07/2001
Uniform Sampling from the Web using Random Walks
Ziv Bar-Yossef, Berkeley

10/07/2001
Utilizing link analysis for advanced Web search applications: Domain specific search from PDAs and Image Search
Aya Soffer, HRL

26/06/2001
Backoff Protocols for Distributed Mutual Exclusion and Ordering
Gregory Chokler, Hebrew University

19/06/2001
An authorization model for temporal data
Avigdor Gal, Technion

12/06/2001
Towards Automatic Electronic Commerce: EContracts Framework Specification and Preliminary Implementation
Lior Leiba, Dealigence

05/06/2001
Key Challenges Facing Software Developers
Danniel Yellin, Watson Research Center

09/05/2001
Reconstruction of the geometry, motion and electrical activity of the heart using a catheter
-, -

08/05/2001
Shape Representation and Similarity Measure for Fast Shape Indexing
Konstantin Kupeev, HRL

03/05/2001
An update on B2B: ebXML, Web Service, and the Semantic Web
Sig Handelman, Watson

01/05/2001
Data cache exploitation for recursive data structures
Mustafa Hagog, HRL

24/04/2001
WES - Websphere Everyplace Suite
Gil Shapir, HRL

01/04/2001
Customer Relationship Management (CRM) and Customer-Lifetime Value
Barak Libai, Technion

27/03/2001
User interface Tools for Distributed Computing
Solange Karsenty, Hebrew University

20/03/2001
Community, Communication, and Connections in IBM
David Singer, IBM Almaden Researh Center

13/03/2001
Positive Semantics of Projections in Venn-Euler Diagrams
Yossi Gil, Technion

06/03/2001
DIX (Data Integration via XML) Middleware
Simona Cohen, HRL

27/02/2001
Fault Tolerance in Multistage Interconnection Networks
Israel Gazit, Rafael

27/02/2001
DIX (Data Integration via XML) Middleware
Simona Cohen, HRL

13/02/2001
Storage Management for Continuous Media Data
Tami Tamir, Technion

30/01/2001
Performance of Intel compiler-generated code with the Intel Pentium 4 processor
Robert Geva, Intel, USA

29/01/2001
What to do with all this hardware
Uzi Vishkin, Technion

23/01/2001
Biochemistry and bioinformatics in the service of anti-cancer immunotherapy
Arie Admon, Technion

16/01/2001
On the Common Substring Alignment Problem
Michal Ziv-Ukelson, Haifa University and IBM T.J.W Research Center

15/01/2001
Software Verification Based on Linear Programming
Samuel Dellacherie, Valiosys, France

09/01/2001
ABLE - An Active Network Approach to Efficient Network Management
Yuval Shavitt, Tel-Aviv University

03/01/2001
What Lays in the Layout: Using anchor-paragraph arrangements to extract descriptions of Web documents
Einat Amitay, Macquarie U. & CSIRO (Sydney, Australia)

02/01/2001
Large Vocabulary Speech Recognition
Ron Hoory, HRL

21/12/2000
Cleanness Checking of Strings in C Programs
Nurit Dor, Tel-Aviv University

12/12/2000
Communication Adaptive Self-Stabilizing Group Communication
Shlomi Dolev, Ben Gurion University

05/12/2000
Verification at IBM and the FM9801 Microprocessor Verification
Warren Hunt, IBM Austin Research Laboratory

28/11/2000
Adaptive Fuzzy Modeling and Control of Chaotic Dynamical Systems
Ellen Applebaum, RSL Electronics & University of Colorado, Denver

21/11/2000
Improving Network Utilization
Danny Raz, Technion

07/11/2000
Verification of safety properties
Orna Kupferman, Hebrew University

01/11/2000
A Prototype Tool for Verifying Java Components
Alex Warshavsky, HRL

31/10/2000
Distributed Games: From Mechanisms to Protocols
Dov Monderer, Technion

24/10/2000
Recent Progress in Locality of Reference in Numerical Algorithms
Sivan Toledo, Tel-Aviv University

11/10/2000
Semantic SQL and other Database Research at Florida International University High Performance Database Research Center
Naphtali Rishe, Florida Intetnational University

10/10/2000
Document Clustering using Word Clusters via the Information Bottleneck Method
Noam Slonim and Naftali Tishby, Hebrew University

27/09/2000
Portability of Parallel and Distributed Applications
Ami Markowa, Hebrew University

19/09/2000
Bellagio - EBusiness Management
Jim Claggett, IGS

06/09/2000
NextWeb
Jacob Ukelson, IBM Watson Research Center

16/08/2000
Global Market: the work of ebXML
Sigmund Handelman, IBM Watson Research Center

15/08/2000
Successes and Failures in OpenSource
Moshe Bar, -

06/08/2000
The Océano Project
German Goldszmidt, IBM Watson Research Center

03/08/2000
From satisfaction to optimization through inference and search
Rina Dechter, University Of California, Irvine

01/08/2000
Jamoos* + , An Object Oriented Language for Languages
Yossi Gil, Technion & HRL

30/07/2000
IEEE802.3 ("Link Aggregation") Standard
Dov Litmanovitz, -

24/07/2000
Managing Projects - the Workflow Approach
Avi Shtub, -

18/07/2000
Random Walks with "Back Buttons"
Ron Fagin, IBM Almaden Research Center

12/07/2000
The Organization of Lookup Tables for Instruction Memorization
Daniel Citron, Hebrew University

09/07/2000
Mobile Users Tracking in Wireless Networks
Zohar Naor, Tel-Aviv University

29/06/2000
Communicating Mathematics across the Web
Arjeh Cohen, Eindhoven University of Technology

26/06/2000
The Adaptive Distributed Multimedia Machine (ADM3)
Laszlo Boeszoermenyi, University Klagenfurt

20/06/2000
Models of e-Work: Integration of Distributed, Interactive Collaboration
Shimon Nof, Purdue University

14/06/2000
Internet Telephony
Richard V. Cox, AT&T Labs Research

13/06/2000
Why Are Some Things More Visually Striking Than Others? Neural Mechanisms and Computer Modeling of Perceptual Salience
Leif Finkel, University of Pennsylvania

06/06/2000
Constrained Multi-Object Auctions and b-Matching
Michal Penn, Technion

23/05/2000
Modeling Direct Inference in Natural Language
Yoad Winter, Technion

16/05/2000
A Unified Approach to Approximating Resource Allocation and Scheduling
Reuven Bar-Yehuda, Technion

11/05/2000
The IRM seek estimate and metric spaces
Eitan Bachmat, Ben Gurion University

02/05/2000
Anti-Faces for Detection
Daniel Keren, Haifa University

18/04/2000
Equivalence and Rewriting Problems for Aggregate Queries
Werner Nutt, German Research Center for Artificial Intelligence (DFKI)

11/04/2000
Going Virtual: The Driving Forces and Arrangements
Magid Igabria, Tel-Aviv University and Claremont Graduate University

06/04/2000
Performance Issues in WWW Servers
Erich M. Nahum, IBM T.J. Watson Research Center

02/04/2000
A Polynomial-Time Algorithm for the Establishment of Primary and Alternate Paths in ATM Networks
Rasti Slosiar, Swisscom

23/03/2000
Fair Sharing Among Virtual Networks: A Capacity Resizing Approach
Rahul Garg, IBM Research Lab in India

19/03/2000
Empirical Study of Object-Layout Strategies and Optimization Techniques
Natalie Eckel, Technion

16/03/2000
Numerical Weather Prediction and the Supercomputer Toolkit
Jacob Katzemelson, Technion

13/03/2000
Blind Source Separation by Sparse Decomposition
Michael Zibulevsky, University of Nex-Mexico

07/03/2000
Are zero knowledge protocols safe on the internet?
Erez Petrank, Technion

29/02/2000
Dynamic monopolies of constant size
Eli Berger, HRL

24/02/2000
SAT-based Model Checking
Ofer Shtrichman, Weizmann Institute

22/02/2000
Case-Based Decision Support in Criminal Sentencing
Uri Schild, Bar-Ilan University

15/02/2000
SUPERSCALARABILITY - A NEW APPROACH FOR PARALLEL IMPLEMENTATION OF ITERATIVE NUMERICAL ALGORITHMS
Sergey PEIGIN, Institute National de Recherche en Informatique et en Automatique, Nice, France

08/02/2000
Dynamic Configuration of Access Control for Mobile Components
Yoad Gidron, HRL

01/02/2000
The Starfish System
Adnan Agbaria, Technion

25/01/2000
Boosting Algorithms for Text and Speech Categorization
Yoram Singer, Hebrew University

18/01/2000
Approximate Pattern Matching - the Hamming Distance Case
Amihood Amir, Bar-Ilan University

11/01/2000
Secure and Scalable Replication in Fleet
Dahlia Malkhi, Hebrew University

04/01/2000
Lattice Salad
Muli Safra, Tel-Aviv University

28/12/1999
Why did the cat smile? --- Undergraduate Students' Perception of Data Structures
Dan Aharoni, HRL

23/12/1999
Flexible Subclassing in Statically-Typed Object-Oriented Languages
Ran Rinat, Hebrew University

14/12/1999
The Maximal Rejection Classifier for Pattern Detection
Yakov Hel-Or, The Inter Disciplinary Center, Herzlyia

07/12/1999
Portability by Automatic Translation Two Case Studies
Yishai Feldman, IDC

30/11/1999
A Prototype Database for Scientific Information
Richard Zippel, Cornell University and IDC

26/11/1999
From Image Watermarking to Holographic Image Representation
Alfred M. Bruckstein, Technion

23/11/1999
Amit - Active Middleware Technology
Opher Etzion, HRL

16/11/1999
Parameter Priors for Bayesian Networks and the Characterization of Several Probability Distributions
Dan Geiger, Technion

09/11/1999
IDA-Based Protocols for Reliable Multicast
Hadas Shachnai, Technion

02/11/1999
2-Point Site Voronoi Diagrams
Gill Barequet, Technion

19/10/1999
Morphological Disambiguation for Hebrew Search Systems
David Carmel, HRL

12/10/1999
DFL -- A Dialog Based Integration of Concept and Rule Reasoners
Mira Balaban, Ben-Gurion University

05/10/1999
Coverage Tools
Shmuel Ur, HRL

09/09/1999
hardware control as a concurrent distributed algorithm: the formal design of a cache coherence protocol
Cindy Eisner, HRL

02/09/1999
Information Retrieval on the Web -- Algorithmic Challenges and opportunities
Andrei Broder, Chief Technology Officer, Altavista

01/08/1999
Caching Exposed
Larry Rudolph, Lab for Computer Science, MIT

29/07/1999
On What Linda Is: a Formal Description of Linda as a Reactive System
Lenore Zuck, Yale University

25/07/1999
cJVM: a Single System Image of a JVM on a Cluster
Yariv Aridor, HRL

22/07/1999
Multiplex and IQ
Ami Motro, George Mason University

13/07/1999
Optimizing Symbolic Model Checking for Invariant-Rich Models
Randy Bryant, Carnegie Mellon University

04/07/1999
Advances in Association-Rule Mining
J. D. Ullman, Stanford University

29/06/1999
Program Analyses and Transformations for Multithreaded Programs
Martin Rinard, MIT

20/06/1999
Visual Homing: Surfing on the Epipoles
Ilan Shimshoni, Technion

13/06/1999
The Forgotten Factor: Facts
Dror Feitelson, Hebrew University

06/06/1999
To Encode or Not to Encode
Ronen Brafman, Ben-Gurion University

31/05/1999
Xavier: An Autonomous Indoor Delivery Robot
Reid Simmons, Carnegie Mellon University

23/05/1999
Computer-Mediated Communication Applications in Higher Education: Learning about E-Commerce from Teaching
Sheizaf Rafaeli and Gilad Ravid, Haifa University

09/05/1999
Retrieval by Content in Symbolic Image Databases
Aya Soffer, Technion

02/05/1999
A Temporal Refinement Calculus
Yoram Moses, Technion

25/04/1999
Efficient Parallel Solutions of Linear Algebraic Circuits
Gadi Haber, HRL

18/04/1999
Multimedia or Multimodality? A Human Factors Approach
Yaakov Greenshpan, Ul and Technion

11/04/1999
A Document-Clustering Interface to Web Search Engines
Oren Zamir, University of Washington

28/03/1999
Verifying Software in its Hardware Context
Bob Kurshan, Bell Laboratories Lucent Technologies

21/03/1999
Search in a Structured Domain
Eitan Farchi, HRL

14/03/1999
Virtual Cameras using Image Mosaicing
Shmuel Peleg, Hebrew University

07/03/1999
IPSEC -- Securing the Internet Protocol
Hugo Krawczyk, Technion

28/02/1999
Collaborative Best-Effort Real-Time Agents - A New Paradigm
Jair Jehuda, Rafael

21/02/1999
Capacities and Graph Powers
Noga Alon, Tel-Aviv University

14/02/1999
A Biased Introduction to Computational Learning Theory
Shai Ben-David, Technion

07/02/1999
JavaClass (JC) Broker
Zvi Rosberg, HRL

24/01/1999
Universal Data Access with ISG Navigator
Allen Reiter, ISG

17/01/1999
Simple and Efficient Routing Methods
Tamar Eilam, Technion

14/01/1999
Transaction Processing and Distributed Computing in the Internet Age
C. Mohan, INRIA (Rocquencourt, France) and IBM Almaden Research Center (San Jose, USA)

07/01/1999
Orthogonal Persistence Matters
Malcolm Atkinson, University of Glasgow

29/12/1998
A Bird in the Hand is Worth Two in the Bush: Evolutionary Computation -- A Bird's-Eye View
Moshe Sipper, Swiss Federal Institute of Technology, Lausanne

27/12/1998
Object Based Illumination Classification
Hagit Hel-Or, Haifa University

06/12/1998
Sometimes and Not Never Re-revisited: On Branching Versus Linear Time
Moshe Vardi, Rice University

29/11/1998
On-line Assignment and Reassignment of Parallel Jobs in a Scalable Computing Cluster
Amnon Barak, Hebrew University

22/11/1998
Information-Flow Models for Shared Memory with an Application to the PowerPC Architecture
Gil Shorek and Allon Adir, Rice University

20/11/1998
Knowledge Discovery in Complex Domains
John Zeleznikow, Applied Computing Research Institute, La Trobe University, Bundoora, Victoria, Australia, 3083

15/11/1998
Text, Language and Computers: The Challenge of the 2000s and how is Hebrew going to cope with it
Yaacov Choueka, Bar-Ilan University

13/11/1998
Introduction to model checking
Cindey Eisner, HRL

08/11/1998
Optimal Search in Trees
Ilan Newman, Haifa University

01/11/1998
Triangle Mesh Compression
Craig Gotsman, Virtue Ltd. and Computer Science Dept. Technion

25/10/1998
The Filmless and Paperless Hospital of the Future
Uri Shani, HRL

18/10/1998
Querying the WWW and Beyond
Oded Shmueli, Technion

27/09/1998
The Use of Write Caches in Fault Tolerant Systems
Avi Mendelson, National

13/09/1998
The Object-Process Methodology: A Basis for Integrated Systems Engineering Environment
Dov Dori, Technion

06/09/1998
Robotic Exploration, Brownian Motion and Electrical Resistance
Israel Wagner, HRL

19/08/1998
Explicit Multi-Threading (XMT) for Instruction Parallelism
Uzi Vishkin, University of Maryland

19/07/1998
On Team Knowledge and Common Knowledge
Gil Tidhar, The University of Melbourne

12/07/1998
Fuzzy Queries in Multimedia Database Systems
Ronald Fagin, IBM Almaden Research Center

05/07/1998
Component-Based E-Commerce: Emerging Business & Technology Modelss
Arie Segev, U.C. Berkeley

28/06/1998
Speedup Learning: A Tale of Two Systems
Shaul Markovitch, Technion

21/06/1998
Uniquely Restricted Matching
Martin Golombic, Bar-Ilan University

14/06/1998
Static Analysis of Object-Oriented Programs
Sara Porat, HRL

07/06/1998
New Directions in Cryptography: Twenty Some Years Later (or Cryptography and Complexity Theory: A Match Made in Heaven)
Shafi Goldwasser, Weizmann Institute and M.I.T.

01/06/1998
Mobile Agent Technology
Yariv Aridor, HRL

24/05/1998
MIRS - The Meta-knowledged Intelligent Routing System
Ran Giladi, Ben-Gurion University

17/05/1998
Edge Profiling versus Path Profiling: The Showdown
Mooly Sagiv, Tel-Aviv University

10/05/1998
Computation by Dynamical Systems: Theory, Devices and Nature
Hava Siegelmann, Technion

03/05/1998
Tabular vs. Graphic Displays - Differences in Sensitivity and Decision Criterion
Daniel Gopher, Head of the Human Engineering Center, Technion

26/04/1998
Spatial Databases and Geographic Information Systems
Hanan Samet, University of Maryland

19/04/1998
Economics and Artificial Intelligence:   Internet Auctions
Moshe Tennenholtz, Technion

05/04/1998
Cortical Anatomy and Visual Perception
Hezy Yeshurun, Tel-Aviv University

29/03/1998
Building Reliable Distributed Systems using Group Communication Tools
Roy Friedman, Technion

22/03/1998
Minimizing Service and Operation Costs of Periodic Scheduling (The Broadcast Disks Problem)
Amoz Bar-Noy, Tel-Aviv University

15/03/1998
Distributed Enforcement of Integrity Constraints
Opher Etzion, HRL and Technion

08/03/1998
Structures for Fast Collision Detection
Ayellet Tal, Technion

01/03/1998
Deductive-Algorithmic Verification of Infinite-State Systems
Zohar Manna, Stanford University

22/02/1998
Mapping Natural Language and Sensory Information into Manipulatory Actions
Ealan Henis, HRL

15/02/1998
One for the Price of Two: A Unified Approach for Approximating Covering Problems
Reuven Bar-Yehuda, Technion

08/02/1998
Deterministic Polylog Approximation for Minimum Communication Spanning Trees
David Peleg, Weizmann Institute

01/02/1998
Java Consistency: Non-Operational Characterizations for the Java Memory Behavior
Assaf Schuster, Technion

25/01/1998
Managing Memory Globally in Networked Computer Clusters
Henry M. Levy, University of Washington

18/01/1998
On Modeling and Analyzing System Behavior: Myths, Facts and Challenges
David Harel, Weizmann Institute

11/01/1998
Covering Freeform Surfaces
Gershon Elber, Technion

04/01/1998
Stabilizing Time-Adaptive Protocols
Boaz Patt-Shamir, Tel-Aviv University

28/12/1997
The Coopware Project - Cooperation with active relationship enforcement
Avigdor Gal, Rutgers University

21/12/1997
Object-Oriented Enterprise Modelling
Yair Wand, Faculty of Commerce and Business Administration, The University of British Columbia,Visiting Professor, Haifa University, The Technion

14/12/1997
Moving Up the Information Food Chain: Softbots as Information Carnivores
Oren Etzioni, University of Washington/Seattle

07/12/1997
Globally Distributed Computation over the Internet
Noam Nissan, Hebrew University, Jerusalem and IDC, Herzliya

01/12/1997
Formal Methods, the Very Idea, Some Thoughts
Dan Berry, Technion

21/11/1997
Analyzing big programs: taking approximate information to task
David Notkin, University of Washinton, Seattle, USA

16/11/1997
Knowledge based abstraction and visualization of time oriented data
Yuval Shahar, Stanford University