Checking Stacks and Context-Free Programmed Grammars Accept p-complete Languages. - Eli Shamir 001; Catriel Beeri (ICALP, 1974)

An Improvement of Valiant's Decision Procedure for Equivalence of Deterministic Finite-Turn Pushdown Automata - Catriel Beeri (FOCS, 1975)

Two-Way Nested Stack Automata Are Equivalent to Two-Way Stack Automata. - Catriel Beeri (J. Comput. Syst. Sci., 1975)

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

An Improvement on Valiant's Decision Procedure for Equivalence of Deterministic Finite Turn Pushdown Machines. - Catriel Beeri (Theor. Comput. Sci., 1976)

The Theory of Joins in Relational Data Bases (Extended Abstract) - Alfred V. Aho; Catriel Beeri; Jeffrey D. Ullman (FOCS, 1977)

A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations. - Catriel Beeri; Ronald Fagin; John H. Howard (SIGMOD Conference, 1977)

A Sophisticate's Introduction to Database Normalization Theory. - Catriel Beeri; Philip A. Bernstein; Nathan Goodman (VLDB, 1978)

On the Properties of Join Dependencies. - Catriel Beeri; Moshe Y. Vardi (Advances in Data Base Theory, 1979)

The Theory of Joins in Relational Databases. - Alfred V. Aho; Catriel Beeri; Jeffrey D. Ullman (ACM Trans. Database Syst., 1979)

Computational Problems Related to the Design of Normal Form Relational Schemas. - Catriel Beeri; Philip A. Bernstein (ACM Trans. Database Syst., 1979)

Decision Problems for Data Dependencies. - Catriel Beeri; Moshe Y. Vardi (XP1 Workshop on Database Theory, 1980)

On the Membership Problem for Functional and Multivalued Dependencies in Relational Databases. - Catriel Beeri (ACM Trans. Database Syst., 1980)

The Implication Problem for Data Dependencies. - Catriel Beeri; Moshe Y. Vardi (ICALP, 1981)

Properties of Acyclic Database Schemes - Catriel Beeri; Ronald Fagin; David Maier 001; Alberto O. Mendelzon; Jeffrey D. Ullman; Mihalis Yannakakis (STOC, 1981)

A Resource Class Independent Deadlock Detection Algorithm - Catriel Beeri; Ron Obermarck (VLDB, 1981)

Preserving Functional Dependencies. - Catriel Beeri; Peter Honeyman (SIAM J. Comput., 1981)

Equivalence of Relational Database Schemes. - Catriel Beeri; Alberto O. Mendelzon; Yehoshua Sagiv; Jeffrey D. Ullman (SIAM J. Comput., 1981)

A Note on Decompositions of Relational Databases. - Catriel Beeri; Moshe Y. Vardi (SIGMOD Rec., 1981)

Compatible Attributes in a Universal Relation. - Catriel Beeri; Henry F. Korth (PODS, 1982)

A Concurrency Control Theory for Nested Transactions. - Catriel Beeri; Philip A. Bernstein; Nathan Goodman (PODC, 1983)

On the Desirability of Acyclic Database Schemes - Catriel Beeri; Ronald Fagin; David Maier 001; Mihalis Yannakakis (J. ACM, 1983)

Integrity and Reliability - Chairman's Report. - Catriel Beeri (DDSS, 1984)

Comprehensive Approach to the Design of Relational Database Schemes. - Catriel Beeri; Michael Kifer (VLDB, 1984)

On the Structure of Armstrong Relations for Functional Dependencies. - Catriel Beeri; Martin Dowd; Ronald Fagin; Richard Statman (J. ACM, 1984)

A Proof Procedure for Data Dependencies. - Catriel Beeri; Moshe Y. Vardi (J. ACM, 1984)

Formal Systems for Tuple and Equality Generating Dependencies. - Catriel Beeri; Moshe Y. Vardi (SIAM J. Comput., 1984)

On Acyclic Database Decompositions - Catriel Beeri; Moshe Y. Vardi (Inf. Control., 1984)

Formal Systems for Join Dependencies. - Catriel Beeri; Moshe Y. Vardi (Theor. Comput. Sci., 1985)

Pushing Selections into Logic Programs. - François Bancilhon; Catriel Beeri; Paris C. Kanellakis; Raghu Ramakrishnan 001 (XP7.52 Workshop on Database Theory, 1986)

Elimination of intersection anomalies from database schemes. - Catriel Beeri; Michael Kifer (J. ACM, 1986)

An Integrated Approach to Logical Design of Relational Database Schemes. - Catriel Beeri; Michael Kifer (ACM Trans. Database Syst., 1986)

An Introduction to the Completeness of Languages for Complex Objects and Nested Relations. - Serge Abiteboul; Catriel Beeri; Marc Gyssens; Dirk Van Gucht (NF², 1987)

Sets and Negation in a Logic Database Language (LDL1). - Catriel Beeri; Shamim A. Naqvi; Raghu Ramakrishnan 001; Oded Shmueli; Shalom Tsur (PODS, 1987)

A theory of intersection anomalies in relational database schemes. - Catriel Beeri; Michael Kifer (J. ACM, 1987)

On the use of logic programming databases. - Catriel Beeri (BDA, 1988)

Multi-Level Transaction Management, Theoretical Art or Practical Need ? - Catriel Beeri; Hans-Jörg Schek; Gerhard Weikum (EDBT, 1988)

Data Models and Languages for Databases. - Catriel Beeri (ICDT, 1988)

Embedding Psi-Terms in a Horn-Clause Logic Language. - Catriel Beeri; Roger Nasr; Shalom Tsur (JCDKB, 1988)

Optimizing Existential Datalog Queries. - Raghu Ramakrishnan 001; Catriel Beeri; Ravi Krishnamurthy (PODS, 1988)

Formal Models for Object Oriented Databases. - Catriel Beeri (DOOD, 1989)

A model for concurrency in nested transactions systems. - Catriel Beeri; Philip A. Bernstein; Nathan Goodman (J. ACM, 1989)

A Logical Query Language for Hypertext Systems. - Catriel Beeri; Yoram Kornatzky (ECHT, 1990)

The Many Faces of Query Monotonicity. - Catriel Beeri; Yoram Kornatzky (EDBT, 1990)

Logic Programming and Databases. - Catriel Beeri (ICLP, 1990)

New directions in database management systems. - Catriel Beeri (Jerusalem Conference on Information Technology, 1990)

A Formal Approach to Object-Oriented Databases. - Catriel Beeri (Data Knowl. Eng., 1990)

Bounds on the Propagation of Selection into Logic Programs. - Catriel Beeri; Paris C. Kanellakis; François Bancilhon; Raghu Ramakrishnan 001 (J. Comput. Syst. Sci., 1990)

Subtyping in OODB's. - Catriel Beeri; Tova Milo (PODS, 1991)

A Model for Active Object Oriented Databases. - Catriel Beeri; Tova Milo (VLDB, 1991)

Theoretical Foundations for OODB's - a Personal Perspective. - Catriel Beeri (IEEE Data Eng. Bull., 1991)

Set Constructors in a Logic Database Language. - Catriel Beeri; Shamim A. Naqvi; Oded Shmueli; Shalom Tsur (J. Log. Program., 1991)

On the Power of Magic. - Catriel Beeri; Raghu Ramakrishnan 001 (J. Log. Program., 1991)

Discussion Report: Update Languages. - Catriel Beeri (FMLDO, 1992)

New Data Models and Languages - the Challenge. - Catriel Beeri (PODS, 1992)

Functional and Predicative Programming in OODB's. - Catriel Beeri; Tova Milo (PODS, 1992)

The Valid Model Semantics for Logic Programs. - Catriel Beeri; Raghu Ramakrishnan 001; Divesh Srivastava; S. Sudarshan 001 (PODS, 1992)

Some thoughts on the future evolution of object-oriented database concepts. - Catriel Beeri (BTW, 1993)

Bulk Data Types, A Theoretical Approach. - Catriel Beeri; Paula Ta-Shma (DBPL, 1993)

Query Languages for Models with Object-Oriented Features. - Catriel Beeri (NATO ASI OODBS, 1993)

On the Power of Algebras with Recursion. - Catriel Beeri; Tova Milo (SIGMOD Conference, 1993)

Extending the Well-Founded and Valid Semantics for Aggregation. - S. Sudarshan 001; Divesh Srivastava; Raghu Ramakrishnan 001; Catriel Beeri (ILPS, 1993)

Algebraic Optimization of Object-Oriented Query Languages. - Catriel Beeri; Yoram Kornatzky (Theor. Comput. Sci., 1993)

Bulk Types and Query Language Design. - Catriel Beeri (COMPASS/ADT, 1994)

A Stack-Based Approach to Query Languages. - Kazimierz Subieta; Catriel Beeri; Florian Matthes; Joachim W. Schmidt (East/West Database Workshop, 1994)

A Logical Query Language for Hypermedia Systems. - Catriel Beeri; Yoram Kornatzky (Inf. Sci., 1994)

A High School Program in Computer Science. - Judith Gal-Ezer; Catriel Beeri; David Harel; Amiram Yehudai (Computer, 1995)

Subtyping in OODBs. - Catriel Beeri; Tova Milo (J. Comput. Syst. Sci., 1995)

The Power of Languages for the Manipulation of Complex Values - Serge Abiteboul; Catriel Beeri (VLDB J., 1995)

Switching Terminologies - Creating a New View of An Old World: Preliminary Report. - Catriel Beeri; Alon Y. Levy; Marie-Christine Rousset (Description Logics, 1996)

On Genericity and Parametricity. - Catriel Beeri; Tova Milo; Paula Ta-Shma (PODS, 1996)

Towards a Language for the Fully Generic Queries. - Catriel Beeri; Tova Milo; Paula Ta-Shma (DBPL, 1997)

Rewriting Queries Using Views in Description Logics. - Catriel Beeri; Alon Y. Levy; Marie-Christine Rousset (PODS, 1997)

Comparison of Functional and Predicative Query Paradigms. - Catriel Beeri; Tova Milo (J. Comput. Syst. Sci., 1997)

Identification as a Primitive of Database Models. - Catriel Beeri; Bernhard Thalheim (FMLDO, 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 (WebDB, 1998)

Schemas for Integration and Translation of Structured and Semi-structured Data. - Catriel Beeri; Tova Milo (ICDT, 1999)

SAL: An Algebra for Semistructured Data and XML. - Catriel Beeri; Yariv Tzaban (WebDB (Informal Proceedings), 1999)

Inheritance Hierarchy Design in Object-Oriented Databases. - Catriel Beeri; Anna Formica; Michele Missikoff (Data Knowl. Eng., 1999)

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 (CoopIS, 2000)

The MARIFlow Workflow Management System. - Asuman Dogac; M. Ezbiderli; Yusuf Tambag; C. Icdem; Arif Tumer; Nesime Tatbul; N. Hamali; Catriel Beeri (ICDE, 2000)

Rewriting and Evaluating Tree Queries with XPath. - Bernd Amann; Catriel Beeri; Irini Fundulaki; Michel Scholl; Anne-Marie Vercoustre (BDA, 2001)

Mapping XML Fragments to Community Web Ontologies. - Bernd Amann; Irini Fundulaki; Michel Scholl; Catriel Beeri; Anne-Marie Vercoustre (WebDB, 2001)

Querying XML Sources Using an Ontology-Based Mediator. - Bernd Amann; Catriel Beeri; Irini Fundulaki; Michel Scholl (OTM, 2002)

STYX: Connecting the XML Web to the World of Semantics. - Irini Fundulaki; Bernd Amann; Catriel Beeri; Michel Scholl; Anne-Marie Vercoustre (EDBT, 2002)

Ontology-Based Integration of XML Web Resources. - Bernd Amann; Catriel Beeri; Irini Fundulaki; Michel Scholl (ISWC, 2002)

Atomicity and isolation for transactional processes. - Heiko Schuldt; Gustavo Alonso; Catriel Beeri; Hans-Jörg Schek (ACM Trans. Database Syst., 2002)

Interrogation de ressources XML concernant un domaine d'intérêt. - Bernd Amann; Catriel Beeri; Irini Fundulaki; Michel Scholl (Tech. Sci. Informatiques, 2003)

Object Fusion in Geographic Information Systems. - Catriel Beeri; Yaron Kanza; Eliyahu Safra; Yehoshua Sagiv (VLDB, 2004)

Finding corresponding objects when integrating several geo-spatial datasets. - Catriel Beeri; Yerach Doytsher; Yaron Kanza; Eliyahu Safra; Yehoshua Sagiv (GIS, 2005)

Querying Business Processes. - Catriel Beeri; Anat Eyal; Simon Kamenkovich; Tova Milo (VLDB, 2006)

Query-based monitoring of BPEL business processes. - Catriel Beeri; Anat Eyal; Tova Milo; Alon Pilberg (SIGMOD Conference, 2007)

Monitoring Business Processes with Queries. - Catriel Beeri; Anat Eyal; Tova Milo; Alon Pilberg (VLDB, 2007)

Querying business processes with BP-QL. - Catriel Beeri; Anat Eyal; Simon Kamenkovich; Tova Milo (Inf. Syst., 2008)

BP-Mon: query-based monitoring of BPEL business processes. - Catriel Beeri; Anat Eyal; Tova Milo; Alon Pilberg (SIGMOD Rec., 2008)

In-service teachers learning of a new paradigm: a case study. - Neomi Liberman; Yifat Ben-David Kolikant; Catriel Beeri (ICER, 2009)

The ACM PODS Alberto O. Mendelzon test-of-time-award 2009. - Catriel Beeri; Phokion G. Kolaitis; Christos H. Papadimitriou (PODS, 2009)

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)

Difficulties in Learning Inheritance and Polymorphism. - Neomi Liberman; Catriel Beeri; Yifat Ben-David Kolikant (ACM Trans. Comput. Educ., 2011)

A model of CS teachers' knowledge growth. - Neomi Liberman; Yifat Ben-David Kolikant; Catriel Beeri (ITiCSE, 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)