Catriel Beeri

Neomi Liberman, Yifat Ben-David Kolikant, Catriel Beeri: A model of CS teachers' knowledge growth. ITiCSE 2012: 383

Neomi Liberman, Catriel Beeri, Yifat Ben-David Kolikant: Difficulties in Learning Inheritance and Polymorphism. TOCE 11(1): 4 (2011)

Eliyahu Safra, Yaron Kanza, Yehoshua Sagiv, Catriel Beeri, Yerach Doytsher: Location-based algorithms for finding sets of corresponding objects over several geo-spatial data sets. International Journal of Geographical Information Science 24(1): 69-106 (2010)

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

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

Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo: Querying business processes with BP-QL. Inf. Syst. 33(6): 477-507 (2008)

Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg: BP-Mon: query-based monitoring of BPEL business processes. SIGMOD Record 37(1): 21-24 (2008)

Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg: Query-based monitoring of BPEL business processes. SIGMOD Conference 2007: 1122-1124

Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg: Monitoring Business Processes with Queries. VLDB 2007: 603-614

Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo: Querying Business Processes. VLDB 2006: 343-354

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

Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo: Querying Business Processes with BP-QL. VLDB 2005: 1255-1258

Catriel Beeri, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv: Object Fusion in Geographic Information Systems. VLDB 2004: 816-827

Catriel Beeri, Alin Deutsch (Eds.): Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 14-16, 2004, Paris, France. ACM 2004, isbn 1-58113-858-X

Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl: Interrogation de ressources XML concernant un domaine d'intérêt. Technique et Science Informatiques 22(10): 1243-1270 (2003)

Frank Neven, Catriel Beeri, Tova Milo (Eds.): Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 9-12, 2003, San Diego, CA, USA. ACM 2003, isbn 1-58113-670-6

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

Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl: Querying XML Sources Using an Ontology-based Mediator. BDA 2002

Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl: Querying XML Sources Using an Ontology-Based Mediator. CoopIS/DOA/ODBASE 2002: 429-448

Irini Fundulaki, Bernd Amann, Catriel Beeri, Michel Scholl, Anne-Marie Vercoustre: ST_YX: Connecting the XML Web to the World of Semantics. EDBT 2002: 759-761

Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl: Ontology-Based Integration of XML Web Resources. International Semantic Web Conference 2002: 117-131

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

Bernd Amann, Irini Fundulaki, Michel Scholl, Catriel Beeri, Anne-Marie Vercoustre: Mapping XML Fragments to Community Web Ontologies. WebDB 2001: 97-102

Asuman Dogac, Yusuf Tambag, Arif Tumer, M. Ezbiderli, Nesime Tatbul, N. Hamali, C. Icdem, Catriel Beeri: A Workflow System through Cooperating Agents for Control and Document Flow over the Internet. CoopIS 2000: 138-143

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

Catriel Beeri, Anna Formica, Michele Missikoff: Inheritance Hierarchy Design in Object-Oriented Databases. Data Knowl. Eng. 30(3): 191-216 (1999)

Catriel Beeri, Tova Milo: Schemas for Integration and Translation of Structured and Semi-structured Data. ICDT 1999: 296-313

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

Catriel Beeri, Peter Buneman (Eds.): Database Theory - ICDT '99, 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings. Lecture Notes in Computer Science 1540, Springer 1999, isbn 3-540-65452-6

Catriel Beeri, Bernhard Thalheim: Identification as a Primitive of Database Models. FMLDO 1998: 19-36

Catriel Beeri, Gershon Elber, Tova Milo, Yehoshua Sagiv, Oded Shmueli, Naftali Tishby, Yakov A. Kogan, David Konopnicki, Pini Mogilevski, Noam Slonim: WebSuite: A Tool Suite for Harnessing Web Data. WebDB 1998: 152-171

Catriel Beeri, Tova Milo: Comparison of Functional and Predicative Query Paradigms. J. Comput. Syst. Sci. 54(1): 3-33 (1997)

Catriel Beeri, Tova Milo, Paula Ta-Shma: Towards a Language for the Fully Generic Queries. DBPL 1997: 239-259

Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset: Rewriting Queries Using Views in Description Logics. PODS 1997: 99-108

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

Catriel Beeri, Tova Milo, Paula Ta-Shma: On Genericity and Parametricity. PODS 1996: 104-116

Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai: A High School Program in Computer Science. IEEE Computer 28(10): 73-80 (1995)

Catriel Beeri, Tova Milo: Subtyping in OODBs. J. Comput. Syst. Sci. 51(2): 223-243 (1995)

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

Catriel Beeri, Yoram Kornatzky: A Logical Query Language for Hypermedia Systems. Inf. Sci. 77(1-2): 1-37 (1994)

Catriel Beeri: Bulk Types and Query Language Design. COMPASS/ADT 1994: 30-47

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

Catriel Beeri, Atsushi Ohori, Dennis Shasha (Eds.): 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. Workshops in Computing, Springer 1994, isbn 3-540-19853-9

Catriel Beeri, Yoram Kornatzky: Algebraic Optimization of Object-Oriented Query Languages. Theor. Comput. Sci. 116(1&2): 59-94 (1993)

Catriel Beeri: Some thoughts on the future evolution of object-oriented database concepts. BTW 1993: 18-32

Catriel Beeri, Paula Ta-Shma: Bulk Data Types, A Theoretical Approach. DBPL 1993: 80-96

Catriel Beeri: Query Languages for Models with Object-Oriented Features. NATO ASI OODBS 1993: 47-71

Catriel Beeri, Tova Milo: On the Power of Algebras with Recursion. SIGMOD Conference 1993: 377-386

S. Sudarshan, Divesh Srivastava, Raghu Ramakrishnan, Catriel Beeri: Extending the Well-Founded and Valid Semantics for Aggregation. ILPS 1993: 590-608

Catriel Beeri (Ed.): Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC, USA. ACM Press 1993, isbn 0-89791-593-3

Catriel Beeri: Discussion Report: Update Languages. FMLDO 1992: 221-222

Catriel Beeri: New Data Models and Languages - the Challenge. PODS 1992: 1-15

Catriel Beeri, Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: The Valid Model Semantics for Logic Programs. PODS 1992: 91-104

Catriel Beeri, Tova Milo: Functional and Predicative Programming in OODB's. PODS 1992: 176-190

Catriel Beeri: Theoretical Foundations for OODB's - a Personal Perspective. IEEE Data Eng. Bull. 14(2): 8-12 (1991)

Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur: Set Constructors in a Logic Database Language. J. Log. Program. 10(3&4): 181-232 (1991)

Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. J. Log. Program. 10(3&4): 255-299 (1991)

Catriel Beeri, Tova Milo: Subtyping in OODB's. PODS 1991: 300-314

Catriel Beeri, Tova Milo: A Model for Active Object Oriented Databases. VLDB 1991: 337-349

Catriel Beeri: A Formal Approach to Object-Oriented Databases. Data Knowl. Eng. 5: 353-382 (1990)

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

Catriel Beeri, Yoram Kornatzky: A Logical Query Language for Hypertext Systems. ECHT 1990: 67-80

Catriel Beeri, Yoram Kornatzky: The Many Faces of Query Monotonicity. EDBT 1990: 120-135

Catriel Beeri, Yoram Kornatzky: Algebraic Optimization of Object-Oriented Query Languages. ICDT 1990: 72-88

Catriel Beeri: Logic Programming and Databases. ICLP 1990: 783

Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A model for concurrency in nested transactions systems. J. ACM 36(2): 230-269 (1989)

Catriel Beeri: Formal Models for Object Oriented Databases. DOOD 1989: 405-430

Catriel Beeri: On the use of logic programming databases. BDA 1988: 161-180

Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum: Multi-Level Transaction Management, Theoretical Art or Practical Need ? EDBT 1988: 134-154

Catriel Beeri: Data Models and Languages for Databases. ICDT 1988: 19-40

Catriel Beeri, Roger Nasr, Shalom Tsur: Embedding Psi-Terms in a Horn-Clause Logic Language. JCDKB 1988: 347-359

Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy: Optimizing Existential Datalog Queries. PODS 1988: 89-102

Catriel Beeri, Michael Kifer: A theory of intersection anomalies in relational database schemes. J. ACM 34(3): 544-577 (1987)

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

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

Catriel Beeri, Paris C. Kanellakis, François Bancilhon, Raghu Ramakrishnan: Bounds on the Propagation of Selection into Logic Programs. PODS 1987: 214-226

Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. PODS 1987: 269-284

Catriel Beeri, Michael Kifer: Elimination of intersection anomalies from database schemes. J. ACM 33(3): 423-450 (1986)

Catriel Beeri, Michael Kifer: An Integrated Approach to Logical Design of Relational Database Schemes. ACM Trans. Database Syst. 11(2): 134-158 (1986)

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

Catriel Beeri, Moshe Y. Vardi: Formal Systems for Join Dependencies. Theor. Comput. Sci. 38: 99-116 (1985)

Catriel Beeri, Moshe Y. Vardi: On Acyclic Database Decompositions. Information and Control 61(2): 75-84 (1984)

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

Catriel Beeri, Moshe Y. Vardi: A Proof Procedure for Data Dependencies. J. ACM 31(4): 718-741 (1984)

Catriel Beeri, Moshe Y. Vardi: Formal Systems for Tuple and Equality Generating Dependencies. SIAM J. Comput. 13(1): 76-98 (1984)

Catriel Beeri: Integrity and Reliability - Chairman's Report. DDSS 1984: 191-192

Catriel Beeri, Michael Kifer: Comprehensive Approach to the Design of Relational Database Schemes. VLDB 1984: 196-207

Catriel Beeri, Ronald Fagin, David Maier, Mihalis Yannakakis: On the Desirability of Acyclic Database Schemes. J. ACM 30(3): 479-513 (1983)

Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A Concurrency Control Theory for Nested Transactions. PODC 1983: 45-62

Catriel Beeri, Michael Kifer: Elimination of Intersection Anomalies from Database Schemes. PODS 1983: 340-351

Catriel Beeri, Henry F. Korth: Compatible Attributes in a Universal Relation. PODS 1982: 55-62

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

Catriel Beeri, Peter Honeyman: Preserving Functional Dependencies. SIAM J. Comput. 10(3): 647-656 (1981)

Catriel Beeri, Moshe Y. Vardi: A Note on Decompositions of Relational Databases. SIGMOD Record 12(1): 33-37 (1981)

Catriel Beeri, Moshe Y. Vardi: The Implication Problem for Data Dependencies. ICALP 1981: 73-85

Catriel Beeri, Ronald Fagin, David Maier, Alberto O. Mendelzon, Jeffrey D. Ullman, Mihalis Yannakakis: Properties of Acyclic Database Schemes. STOC 1981: 355-362

Catriel Beeri, Ron Obermarck: A Resource Class Independent Deadlock Detection Algorithm. VLDB 1981: 166-178

Catriel Beeri: On the Membership Problem for Functional and Multivalued Dependencies in Relational Databases. ACM Trans. Database Syst. 5(3): 241-259 (1980)

Catriel Beeri, Moshe Y. Vardi: Decision Problems for Data Dependencies. XP1 Workshop on Database Theory 1980

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

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

Catriel Beeri, Moshe Y. Vardi: On the Properties of Join Dependencies. Advances in Data Base Theory 1979: 25-71

Catriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman: Equivalence of Relational Database Schemes. STOC 1979: 319-329

Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A Sophisticate's Introduction to Database Normalization Theory. VLDB 1978: 113-124

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

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

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

Catriel Beeri: Two-Way Nested Stack Automata Are Equivalent to Two-Way Stack Automata. J. Comput. Syst. Sci. 10(3): 317-339 (1975)

Catriel Beeri: An Improvement of Valiant's Decision Procedure for Equivalence of Deterministic Finite-Turn Pushdown Automata. FOCS 1975: 128-134

E. Shamir, Catriel Beeri: Checking Stacks and Context-Free Programmed Grammars Accept p-complete Languages. ICALP 1974: 27-33