Catriel Beeri

114 papers A* 32A 5B 6Misc 2Journal 37Unranked 29
YearRankTypeTitle / Venue / Authors
2012 J jnl
"Regressed experts" as a new state in teachers' professional development: lessons from Computer Science teachers' adjustments to substantial changes in the curriculum.
Comput. Sci. Educ.
Neomi Liberman, Yifat Ben-David Kolikant, Catriel Beeri
2012 B conf
A model of CS teachers' knowledge growth.
ITiCSE
Neomi Liberman, Yifat Ben-David Kolikant, Catriel Beeri
2011 J jnl
Difficulties in Learning Inheritance and Polymorphism.
ACM Trans. Comput. Educ.
Neomi Liberman, Catriel Beeri, Yifat Ben-David Kolikant
2010 J jnl
Location-based algorithms for finding sets of corresponding objects over several geo-spatial data sets.
Int. J. Geogr. Inf. Sci.
Eliyahu Safra, Yaron Kanza, Yehoshua Sagiv, Catriel Beeri, Yerach Doytsher
2009 A conf
In-service teachers learning of a new paradigm: a case study.
ICER
Neomi Liberman, Yifat Ben-David Kolikant, Catriel Beeri
2009 A* conf
The ACM PODS Alberto O. Mendelzon test-of-time-award 2009.
PODS
Catriel Beeri, Phokion G. Kolaitis, Christos H. Papadimitriou
2008 J jnl
BP-Mon: query-based monitoring of BPEL business processes.
SIGMOD Rec.
Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg
2008 J jnl
Querying business processes with BP-QL.
Inf. Syst.
Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo
2007 A* conf
Monitoring Business Processes with Queries.
VLDB
Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg
2007 — conf
Query-based monitoring of BPEL business processes.
SIGMOD Conference
Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg
2006 A* conf
Querying Business Processes.
VLDB
Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo
2005 — conf
Finding corresponding objects when integrating several geo-spatial datasets.
GIS
Catriel Beeri, Yerach Doytsher, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv
2005 A* conf
Querying Business Processes with BP-QL.
VLDB
Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo
2004 A* conf
Object Fusion in Geographic Information Systems.
VLDB
Catriel Beeri, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv
2004 A* ed.
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 14-16, 2004, Paris, France
PODS
Catriel Beeri, Alin Deutsch
2003 J jnl
Interrogation de ressources XML concernant un domaine d'intérêt.
Tech. Sci. Informatiques
Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl
2003 A* ed.
Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 9-12, 2003, San Diego, CA, USA
Frank Neven, Catriel Beeri, Tova Milo
2002 J jnl
Atomicity and isolation for transactional processes.
ACM Trans. Database Syst.
Heiko Schuldt, Gustavo Alonso, Catriel Beeri, Hans-Jörg Schek
2002 Misc conf
Ontology-Based Integration of XML Web Resources.
ISWC
Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl
2002 — conf
Querying XML Sources Using an Ontology-Based Mediator.
OTM
Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl
2002 — conf
Querying XML Sources Using an Ontology-based Mediator.
BDA
Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl
2002 B conf
ST
EDBT
Irini Fundulaki, Bernd Amann, Catriel Beeri, Michel Scholl, Anne-Marie Vercoustre
2001 — conf
Mapping XML Fragments to Community Web Ontologies.
WebDB
Bernd Amann, Irini Fundulaki, Michel Scholl, Catriel Beeri, Anne-Marie Vercoustre
2001 — conf
Rewriting and Evaluating Tree Queries with XPath.
BDA
Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl, Anne-Marie Vercoustre
2000 B conf
A Workflow System through Cooperating Agents for Control and Document Flow over the Internet.
CoopIS
Asuman Dogac, Yusuf Tambag, Arif Tumer, M. Ezbiderli, Nesime Tatbul, N. Hamali, C. Icdem, Catriel Beeri
2000 A* conf
The MARIFlow Workflow Management System.
ICDE
Asuman Dogac, M. Ezbiderli, Yusuf Tambag, C. Icdem, Arif Tumer, Nesime Tatbul, N. Hamali, Catriel Beeri
1999 A ed.
Database Theory - ICDT '99, 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings.
ICDT
Catriel Beeri, Peter Buneman
1999 J jnl
Inheritance Hierarchy Design in Object-Oriented Databases.
Data Knowl. Eng.
Catriel Beeri, Anna Formica, Michele Missikoff
1999 — conf
SAL: An Algebra for Semistructured Data and XML.
WebDB (Informal Proceedings)
Catriel Beeri, Yariv Tzaban
1999 A conf
Schemas for Integration and Translation of Structured and Semi-structured Data.
ICDT
Catriel Beeri, Tova Milo
1998 — conf
Identification as a Primitive of Database Models.
FMLDO
Catriel Beeri, Bernhard Thalheim
1998 — conf
WebSuite: A Tool Suite for Harnessing Web Data.
WebDB
Catriel Beeri, Gershon Elber, Tova Milo, Yehoshua Sagiv, Oded Shmueli, Naftali Tishby, Yakov A. Kogan, David Konopnicki, Pini Mogilevski, Noam Slonim
1997 J jnl
Comparison of Functional and Predicative Query Paradigms.
J. Comput. Syst. Sci.
Catriel Beeri, Tova Milo
1997 A* conf
Rewriting Queries Using Views in Description Logics.
PODS
Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset
1997 — conf
Towards a Language for the Fully Generic Queries.
DBPL
Catriel Beeri, Tova Milo, Paula Ta-Shma
1996 A* conf
On Genericity and Parametricity.
PODS
Catriel Beeri, Tova Milo, Paula Ta-Shma
1996 — conf
Switching Terminologies - Creating a New View of An Old World: Preliminary Report.
Description Logics
Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset
1995 J jnl
A High School Program in Computer Science.
Computer
Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai
1995 J jnl
Subtyping in OODBs.
J. Comput. Syst. Sci.
Catriel Beeri, Tova Milo
1995 J jnl
The Power of Languages for the Manipulation of Complex Values
VLDB J.
Serge Abiteboul, Catriel Beeri
1994 J jnl
A Logical Query Language for Hypermedia Systems.
Inf. Sci.
Catriel Beeri, Yoram Kornatzky
1994 — conf
A Stack-Based Approach to Query Languages.
East/West Database Workshop
Kazimierz Subieta, Catriel Beeri, Florian Matthes, Joachim W. Schmidt
1994 — conf
Bulk Types and Query Language Design.
COMPASS/ADT
Catriel Beeri
1994 — ed.
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 - 1 September 1993
DBPL
Catriel Beeri, Atsushi Ohori, Dennis E. Shasha
1993 J jnl
Algebraic Optimization of Object-Oriented Query Languages.
Theor. Comput. Sci.
Catriel Beeri, Yoram Kornatzky
1993 — conf
Bulk Data Types, A Theoretical Approach.
DBPL
Catriel Beeri, Paula Ta-Shma
1993 — conf
Extending the Well-Founded and Valid Semantics for Aggregation.
ILPS
S. Sudarshan, Divesh Srivastava, Raghu Ramakrishnan, Catriel Beeri
1993 — conf
On the Power of Algebras with Recursion.
SIGMOD Conference
Catriel Beeri, Tova Milo
1993 A* ed.
Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC, USA
Catriel Beeri
1993 — conf
Query Languages for Models with Object-Oriented Features.
NATO ASI OODBS
Catriel Beeri
1993 Misc conf
Some thoughts on the future evolution of object-oriented database concepts.
BTW
Catriel Beeri
1992 — conf
Discussion Report: Update Languages.
FMLDO
Catriel Beeri
1992 A* conf
Functional and Predicative Programming in OODB's.
PODS
Catriel Beeri, Tova Milo
1992 A* conf
New Data Models and Languages - the Challenge.
PODS
Catriel Beeri
1992 A* conf
The Valid Model Semantics for Logic Programs.
PODS
Catriel Beeri, Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan
1991 A* conf
A Model for Active Object Oriented Databases.
VLDB
Catriel Beeri, Tova Milo
1991 J jnl
On the Power of Magic.
J. Log. Program.
Catriel Beeri, Raghu Ramakrishnan
1991 J jnl
Set Constructors in a Logic Database Language.
J. Log. Program.
Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur
1991 A* conf
Subtyping in OODB's.
PODS
Catriel Beeri, Tova Milo
1991 J jnl
Theoretical Foundations for OODB's - a Personal Perspective.
IEEE Data Eng. Bull.
Catriel Beeri
1990 J jnl
A Formal Approach to Object-Oriented Databases.
Data Knowl. Eng.
Catriel Beeri
1990 — conf
A Logical Query Language for Hypertext Systems.
ECHT
Catriel Beeri, Yoram Kornatzky
1990 A conf
Algebraic Optimization of Object-Oriented Query Languages.
ICDT
Catriel Beeri, Yoram Kornatzky
1990 J jnl
Bounds on the Propagation of Selection into Logic Programs.
J. Comput. Syst. Sci.
Catriel Beeri, Paris C. Kanellakis, François Bancilhon, Raghu Ramakrishnan
1990 B conf
Logic Programming and Databases.
ICLP
Catriel Beeri
1990 — conf
New directions in database management systems.
Jerusalem Conference on Information Technology
Catriel Beeri
1990 B conf
The Many Faces of Query Monotonicity.
EDBT
Catriel Beeri, Yoram Kornatzky
1989 J jnl
A model for concurrency in nested transactions systems.
J. ACM
Catriel Beeri, Philip A. Bernstein, Nathan Goodman
1989 — conf
Formal Models for Object Oriented Databases.
DOOD
Catriel Beeri
1988 A conf
Data Models and Languages for Databases.
ICDT
Catriel Beeri
1988 — conf
Embedding Psi-Terms in a Horn-Clause Logic Language.
JCDKB
Catriel Beeri, Roger Nasr, Shalom Tsur
1988 B conf
Multi-Level Transaction Management, Theoretical Art or Practical Need ?
EDBT
Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum
1988 — conf
On the use of logic programming databases.
BDA
Catriel Beeri
1988 A* conf
Optimizing Existential Datalog Queries.
PODS
Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy
1988 — ed.
Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, June 28-30, 1988, Jerusalem, Israel.
JCDKB
Catriel Beeri, Joachim W. Schmidt, Umeshwar Dayal
1987 J jnl
A theory of intersection anomalies in relational database schemes.
J. ACM
Catriel Beeri, Michael Kifer
1987 — conf
An Introduction to the Completeness of Languages for Complex Objects and Nested Relations.
NF²
Serge Abiteboul, Catriel Beeri, Marc Gyssens, Dirk Van Gucht
1987 A* conf
Bounds on the Propagation of Selection into Logic Programs.
PODS
Catriel Beeri, Paris C. Kanellakis, François Bancilhon, Raghu Ramakrishnan
1987 A* conf
On the Power of Magic.
PODS
Catriel Beeri, Raghu Ramakrishnan
1987 A* conf
Sets and Negation in a Logic Database Language (LDL1).
PODS
Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur
1986 J jnl
An Integrated Approach to Logical Design of Relational Database Schemes.
ACM Trans. Database Syst.
Catriel Beeri, Michael Kifer
1986 J jnl
Elimination of intersection anomalies from database schemes.
J. ACM
Catriel Beeri, Michael Kifer
1986 — conf
Pushing Selections into Logic Programs.
XP7.52 Workshop on Database Theory
François Bancilhon, Catriel Beeri, Paris C. Kanellakis, Raghu Ramakrishnan
1985 J jnl
Formal Systems for Join Dependencies.
Theor. Comput. Sci.
Catriel Beeri, Moshe Y. Vardi
1984 J jnl
A Proof Procedure for Data Dependencies.
J. ACM
Catriel Beeri, Moshe Y. Vardi
1984 A* conf
Comprehensive Approach to the Design of Relational Database Schemes.
VLDB
Catriel Beeri, Michael Kifer
1984 J jnl
Formal Systems for Tuple and Equality Generating Dependencies.
SIAM J. Comput.
Catriel Beeri, Moshe Y. Vardi
1984 — conf
Integrity and Reliability - Chairman's Report.
DDSS
Catriel Beeri
1984 J jnl
On Acyclic Database Decompositions
Inf. Control.
Catriel Beeri, Moshe Y. Vardi
1984 J jnl
On the Structure of Armstrong Relations for Functional Dependencies.
J. ACM
Catriel Beeri, Martin Dowd, Ronald Fagin, Richard Statman
1983 A* conf
A Concurrency Control Theory for Nested Transactions.
PODC
Catriel Beeri, Philip A. Bernstein, Nathan Goodman
1983 A* conf
Elimination of Intersection Anomalies from Database Schemes.
PODS
Catriel Beeri, Michael Kifer
1983 J jnl
On the Desirability of Acyclic Database Schemes
J. ACM
Catriel Beeri, Ronald Fagin, David Maier, Mihalis Yannakakis
1982 A* conf
Compatible Attributes in a Universal Relation.
PODS
Catriel Beeri, Henry F. Korth
1981 J jnl
A Note on Decompositions of Relational Databases.
SIGMOD Rec.
Catriel Beeri, Moshe Y. Vardi
1981 A* conf
A Resource Class Independent Deadlock Detection Algorithm
VLDB
Catriel Beeri, Ron Obermarck
1981 J jnl
Equivalence of Relational Database Schemes.
SIAM J. Comput.
Catriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman
1981 J jnl
Preserving Functional Dependencies.
SIAM J. Comput.
Catriel Beeri, Peter Honeyman
1981 A* conf
Properties of Acyclic Database Schemes
STOC
Catriel Beeri, Ronald Fagin, David Maier, Alberto O. Mendelzon, Jeffrey D. Ullman, Mihalis Yannakakis
1981 A* conf
The Implication Problem for Data Dependencies.
ICALP
Catriel Beeri, Moshe Y. Vardi
1980 — conf
Decision Problems for Data Dependencies.
XP1 Workshop on Database Theory
Catriel Beeri, Moshe Y. Vardi
1980 J jnl
On the Membership Problem for Functional and Multivalued Dependencies in Relational Databases.
ACM Trans. Database Syst.
Catriel Beeri
1979 J jnl
Computational Problems Related to the Design of Normal Form Relational Schemas.
ACM Trans. Database Syst.
Catriel Beeri, Philip A. Bernstein
1979 A* conf
Equivalence of Relational Database Schemes
STOC
Catriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman
1979 — conf
On the Properties of Join Dependencies.
Advances in Data Base Theory
Catriel Beeri, Moshe Y. Vardi
1979 J jnl
The Theory of Joins in Relational Databases.
ACM Trans. Database Syst.
Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman
1978 A* conf
A Sophisticate's Introduction to Database Normalization Theory.
VLDB
Catriel Beeri, Philip A. Bernstein, Nathan Goodman
1977 — conf
A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations.
SIGMOD Conference
Catriel Beeri, Ronald Fagin, John H. Howard
1977 A* conf
The Theory of Joins in Relational Data Bases (Extended Abstract)
FOCS
Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman
1976 J jnl
An Improvement on Valiant's Decision Procedure for Equivalence of Deterministic Finite Turn Pushdown Machines.
Theor. Comput. Sci.
Catriel Beeri
1975 A* conf
An Improvement of Valiant's Decision Procedure for Equivalence of Deterministic Finite-Turn Pushdown Automata
FOCS
Catriel Beeri
1975 J jnl
Two-Way Nested Stack Automata Are Equivalent to Two-Way Stack Automata.
J. Comput. Syst. Sci.
Catriel Beeri
1975 — —
על מידת הסיבוך של מספר בעיות בתורת האוטומטים. (On the complexity of some problems in automata theory.).
Catriel Beeri
1974 A* conf
Checking Stacks and Context-Free Programmed Grammars Accept p-complete Languages.
ICALP
Eli Shamir, Catriel Beeri