Catriel Beeri

According to our database, Catriel Beeri authored at least 101 papers between 1974 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2012

"Regressed experts" as a new state in teachers' professional development: lessons from Computer Science teachers' adjustments to substantial changes in the curriculum.

Neomi Liberman, Yifat Ben-David Kolikant, Catriel Beeri

Comput. Sci. Educ., 2012

A model of CS teachers' knowledge growth.

Neomi Liberman, Yifat Ben-David Kolikant, Catriel Beeri

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

2011

Difficulties in Learning Inheritance and Polymorphism.

Neomi Liberman, Catriel Beeri, Yifat Ben-David Kolikant

ACM Trans. Comput. Educ., 2011

2010

Location-based algorithms for finding sets of corresponding objects over several geo-spatial data sets.

Eliyahu Safra, Yaron Kanza, Yehoshua Sagiv, Catriel Beeri, Yerach Doytsher

Int. J. Geogr. Inf. Sci., 2010

2009

The ACM PODS Alberto O. Mendelzon test-of-time-award 2009.

Catriel Beeri, Phokion G. Kolaitis, Christos H. Papadimitriou

Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2009

In-service teachers learning of a new paradigm: a case study.

Neomi Liberman, Yifat Ben-David Kolikant, Catriel Beeri

Proceedings of the Fifth International Workshop on Computing Education Research, 2009

2008

BP-Mon: query-based monitoring of BPEL business processes.

Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg

SIGMOD Rec., 2008

Querying business processes with BP-QL.

Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo

Inf. Syst., 2008

2007

Monitoring Business Processes with Queries.

Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg

Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Query-based monitoring of BPEL business processes.

Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2007

2006

Querying Business Processes.

Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo

Proceedings of the 32nd International Conference on Very Large Data Bases, 2006

2005

Finding corresponding objects when integrating several geo-spatial datasets.

Catriel Beeri, Yerach Doytsher, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv

Proceedings of the 13th ACM International Workshop on Geographic Information Systems, 2005

2004

Object Fusion in Geographic Information Systems.

Catriel Beeri, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv

Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31, 2004

2003

Interrogation de ressources XML concernant un domaine d'intérêt.

Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl

Tech. Sci. Informatiques, 2003

2002

Atomicity and isolation for transactional processes.

Heiko Schuldt, Gustavo Alonso, Catriel Beeri, Hans-Jörg Schek

ACM Trans. Database Syst., 2002

Ontology-Based Integration of XML Web Resources.

Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl

Proceedings of the Semantic Web, 2002

ST_YX: Connecting the XML Web to the World of Semantics.

Irini Fundulaki, Bernd Amann, Catriel Beeri, Michel Scholl, Anne-Marie Vercoustre

Proceedings of the Advances in Database Technology, 2002

Querying XML Sources Using an Ontology-Based Mediator.

Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl

Proceedings of the On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002

2001

Mapping XML Fragments to Community Web Ontologies.

Bernd Amann, Irini Fundulaki, Michel Scholl, Catriel Beeri, Anne-Marie Vercoustre

Proceedings of the Fourth International Workshop on the Web and Databases, 2001

Rewriting and Evaluating Tree Queries with XPath.

Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl, Anne-Marie Vercoustre

Proceedings of the 17èmes Journées Bases de Données Avancées, 2001

2000

The MARIFlow Workflow Management System.

Asuman Dogac, M. Ezbiderli, Yusuf Tambag, C. Icdem, Arif Tumer, Nesime Tatbul, N. Hamali, Catriel Beeri

Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000

A Workflow System through Cooperating Agents for Control and Document Flow over the Internet.

Asuman Dogac, Yusuf Tambag, Arif Tumer, M. Ezbiderli, Nesime Tatbul, N. Hamali, C. Icdem, Catriel Beeri

Proceedings of the Cooperative Information Systems, 7th International Conference, 2000

1999

Inheritance Hierarchy Design in Object-Oriented Databases.

Catriel Beeri, Anna Formica, Michele Missikoff

Data Knowl. Eng., 1999

SAL: An Algebra for Semistructured Data and XML.

Catriel Beeri, Yariv Tzaban

Proceedings of the ACM SIGMOD Workshop on The Web and Databases, 1999

Schemas for Integration and Translation of Structured and Semi-structured Data.

Catriel Beeri, Tova Milo

Proceedings of the Database Theory, 1999

1998

WebSuite: A Tool Suite for Harnessing Web Data.

Catriel Beeri, Gershon Elber, Tova Milo, Yehoshua Sagiv, Oded Shmueli, Naftali Tishby, Yakov A. Kogan, David Konopnicki, Pini Mogilevski, Noam Slonim

Proceedings of the World Wide Web and Databases, 1998

Identification as a Primitive of Database Models.

Catriel Beeri, Bernhard Thalheim

Proceedings of the Fundamentals of Information Systems, 1998

1997

Comparison of Functional and Predicative Query Paradigms.

Catriel Beeri, Tova Milo

J. Comput. Syst. Sci., 1997

Rewriting Queries Using Views in Description Logics.

Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset

Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1997

Towards a Language for the Fully Generic Queries.

Catriel Beeri, Tova Milo, Paula Ta-Shma

Proceedings of the Database Programming Languages, 6th International Workshop, 1997

1996

On Genericity and Parametricity.

Catriel Beeri, Tova Milo, Paula Ta-Shma

Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

Switching Terminologies - Creating a New View of An Old World: Preliminary Report.

Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset

Proceedings of the 1996 International Workshop on Description Logics, 1996

1995

The Power of Languages for the Manipulation of Complex Values

Serge Abiteboul, Catriel Beeri

VLDB J., 1995

Subtyping in OODBs.

Catriel Beeri, Tova Milo

J. Comput. Syst. Sci., 1995

A High School Program in Computer Science.

Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai

Computer, 1995

1994

A Logical Query Language for Hypermedia Systems.

Catriel Beeri, Yoram Kornatzky

Inf. Sci., 1994

A Stack-Based Approach to Query Languages.

Kazimierz Subieta, Catriel Beeri, Florian Matthes, Joachim W. Schmidt

Proceedings of the East/West Database Workshop, 1994

Bulk Types and Query Language Design.

Catriel Beeri

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Algebraic Optimization of Object-Oriented Query Languages.

Catriel Beeri, Yoram Kornatzky

Theor. Comput. Sci., 1993

Extending the Well-Founded and Valid Semantics for Aggregation.

S. Sudarshan, Divesh Srivastava, Raghu Ramakrishnan, Catriel Beeri

Proceedings of the Logic Programming, 1993

On the Power of Algebras with Recursion.

Catriel Beeri, Tova Milo

Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

Query Languages for Models with Object-Oriented Features.

Catriel Beeri

Proceedings of the Advances in Object-Oriented Database Systems, 1993

Bulk Data Types, A Theoretical Approach.

Catriel Beeri, Paula Ta-Shma

Proceedings of the Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August, 1993

Some thoughts on the future evolution of object-oriented database concepts.

Catriel Beeri

Proceedings of the Datenbanksysteme in Büro, 1993

1992

The Valid Model Semantics for Logic Programs.

Catriel Beeri, Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan

Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Functional and Predicative Programming in OODB's.

Catriel Beeri, Tova Milo

Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

New Data Models and Languages - the Challenge.

Catriel Beeri

Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Discussion Report: Update Languages.

Catriel Beeri

Proceedings of the Modelling Database Dynamics, 1992

1991

On the Power of Magic.

Catriel Beeri, Raghu Ramakrishnan

J. Log. Program., 1991

Set Constructors in a Logic Database Language.

Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur

J. Log. Program., 1991

Theoretical Foundations for OODB's - a Personal Perspective.

Catriel Beeri

IEEE Data Eng. Bull., 1991

A Model for Active Object Oriented Databases.

Catriel Beeri, Tova Milo

Proceedings of the 17th International Conference on Very Large Data Bases, 1991

Subtyping in OODB's.

Catriel Beeri, Tova Milo

Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991

1990

Bounds on the Propagation of Selection into Logic Programs.

Catriel Beeri, Paris C. Kanellakis, François Bancilhon, Raghu Ramakrishnan

J. Comput. Syst. Sci., 1990

A Formal Approach to Object-Oriented Databases.

Catriel Beeri

Data Knowl. Eng., 1990

New directions in database management systems.

Catriel Beeri

Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990

Logic Programming and Databases.

Catriel Beeri

Proceedings of the Logic Programming, 1990

The Many Faces of Query Monotonicity.

Catriel Beeri, Yoram Kornatzky

Proceedings of the Advances in Database Technology, 1990

A Logical Query Language for Hypertext Systems.

Catriel Beeri, Yoram Kornatzky

Proceedings of the Hypertext: Concepts, 1990

1989

A model for concurrency in nested transactions systems.

Catriel Beeri, Philip A. Bernstein, Nathan Goodman

J. ACM, 1989

Formal Models for Object Oriented Databases.

Catriel Beeri

Proceedings of the Deductive and Object-Oriented Databases, 1989

1988

Optimizing Existential Datalog Queries.

Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy

Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

Embedding Psi-Terms in a Horn-Clause Logic Language.

Catriel Beeri, Roger Nasr, Shalom Tsur

Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, 1988

Data Models and Languages for Databases.

Catriel Beeri

Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988

Multi-Level Transaction Management, Theoretical Art or Practical Need ?

Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum

Proceedings of the Advances in Database Technology, 1988

On the use of logic programming databases.

Catriel Beeri

Proceedings of the Quatrièmes Journées Bases de Données Avancées, 1988

1987

A theory of intersection anomalies in relational database schemes.

Catriel Beeri, Michael Kifer

J. ACM, 1987

Sets and Negation in a Logic Database Language (LDL1).

Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur

Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

An Introduction to the Completeness of Languages for Complex Objects and Nested Relations.

Serge Abiteboul, Catriel Beeri, Marc Gyssens, Dirk Van Gucht

Proceedings of the Nested Relations and Complex Objects, 1987

1986

An Integrated Approach to Logical Design of Relational Database Schemes.

Catriel Beeri, Michael Kifer

ACM Trans. Database Syst., 1986

Elimination of intersection anomalies from database schemes.

Catriel Beeri, Michael Kifer

J. ACM, 1986

Pushing Selections into Logic Programs.

François Bancilhon, Catriel Beeri, Paris C. Kanellakis, Raghu Ramakrishnan

Proceedings of the XP / 7.52 Workshop on Database Theory, 1986

1985

Formal Systems for Join Dependencies.

Catriel Beeri, Moshe Y. Vardi

Theor. Comput. Sci., 1985

1984

On Acyclic Database Decompositions

Catriel Beeri, Moshe Y. Vardi

Inf. Control., May, 1984

Formal Systems for Tuple and Equality Generating Dependencies.

Catriel Beeri, Moshe Y. Vardi

SIAM J. Comput., 1984

A Proof Procedure for Data Dependencies.

Catriel Beeri, Moshe Y. Vardi

J. ACM, 1984

On the Structure of Armstrong Relations for Functional Dependencies.

Catriel Beeri, Martin Dowd, Ronald Fagin, Richard Statman

J. ACM, 1984

Comprehensive Approach to the Design of Relational Database Schemes.

Catriel Beeri, Michael Kifer

Proceedings of the Tenth International Conference on Very Large Data Bases, 1984

Integrity and Reliability - Chairman's Report.

Catriel Beeri

Proceedings of the Distributed Data Sharing Systems, 1984

1983

On the Desirability of Acyclic Database Schemes

Catriel Beeri, Ronald Fagin, David Maier, Mihalis Yannakakis

J. ACM, July, 1983

A Concurrency Control Theory for Nested Transactions.

Catriel Beeri, Philip A. Bernstein, Nathan Goodman

Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, 1983

1982

Compatible Attributes in a Universal Relation.

Catriel Beeri, Henry F. Korth

Proceedings of the ACM Symposium on Principles of Database Systems, 1982

1981

A Note on Decompositions of Relational Databases.

Catriel Beeri, Moshe Y. Vardi

SIGMOD Rec., 1981

Equivalence of Relational Database Schemes.

Catriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman

SIAM J. Comput., 1981

Preserving Functional Dependencies.

Catriel Beeri, Peter Honeyman

SIAM J. Comput., 1981

A Resource Class Independent Deadlock Detection Algorithm

Catriel Beeri, Ron Obermarck

Proceedings of the Very Large Data Bases, 1981

Properties of Acyclic Database Schemes

Catriel Beeri, Ronald Fagin, David Maier, Alberto O. Mendelzon, Jeffrey D. Ullman, Mihalis Yannakakis

Proceedings of the 13th Annual ACM Symposium on Theory of Computing, 1981

The Implication Problem for Data Dependencies.

Catriel Beeri, Moshe Y. Vardi

Proceedings of the Automata, 1981

1980

On the Membership Problem for Functional and Multivalued Dependencies in Relational Databases.

Catriel Beeri

ACM Trans. Database Syst., 1980

Decision Problems for Data Dependencies.

Catriel Beeri, Moshe Y. Vardi

Proceedings of the XP1 Workshop on Relational Database Theory, 30 June, 1980

1979

Computational Problems Related to the Design of Normal Form Relational Schemas.

Catriel Beeri, Philip A. Bernstein

ACM Trans. Database Syst., 1979

The Theory of Joins in Relational Databases.

Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman

ACM Trans. Database Syst., 1979

On the Properties of Join Dependencies.

Catriel Beeri, Moshe Y. Vardi

Proceedings of the Advances in Data Base Theory, 1979

1978

A Sophisticate's Introduction to Database Normalization Theory.

Catriel Beeri, Philip A. Bernstein, Nathan Goodman

Proceedings of the Fourth International Conference on Very Large Data Bases, 1978

1977

A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations.

Catriel Beeri, Ronald Fagin, John H. Howard

Proceedings of the 1977 ACM SIGMOD International Conference on Management of Data, 1977

The Theory of Joins in Relational Data Bases (Extended Abstract)

Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman

Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977

1976

An Improvement on Valiant's Decision Procedure for Equivalence of Deterministic Finite Turn Pushdown Machines.

Catriel Beeri

Theor. Comput. Sci., 1976

1975

על מידת הסיבוך של מספר בעיות בתורת האוטומטים. (On the complexity of some problems in automata theory.).

Catriel Beeri

PhD thesis, 1975

Two-Way Nested Stack Automata Are Equivalent to Two-Way Stack Automata.

Catriel Beeri

J. Comput. Syst. Sci., 1975

An Improvement of Valiant's Decision Procedure for Equivalence of Deterministic Finite-Turn Pushdown Automata

Catriel Beeri

Proceedings of the 16th Annual Symposium on Foundations of Computer Science, 1975

1974

Checking Stacks and Context-Free Programmed Grammars Accept p-complete Languages.

Eli Shamir, Catriel Beeri

Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974