Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Catriel Beeri
2010 – today
- 2012
[c69]Neomi Liberman, Yifat Ben-David Kolikant, Catriel Beeri: A model of CS teachers' knowledge growth. ITiCSE 2012: 383- 2011
- [j36]Neomi Liberman, Catriel Beeri, Yifat Ben-David Kolikant: Difficulties in Learning Inheritance and Polymorphism. TOCE 11(1): 4 (2011)
- 2010
- [j35]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)
2000 – 2009
- 2009
- [c68]Neomi Liberman, Yifat Ben-David Kolikant, Catriel Beeri: In-service teachers learning of a new paradigm: a case study. ICER 2009: 43-50
- [c67]Catriel Beeri, Phokion G. Kolaitis, Christos H. Papadimitriou: The ACM PODS Alberto O. Mendelzon test-of-time-award 2009. PODS 2009: 43
- 2008
- [j34]Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo: Querying business processes with BP-QL. Inf. Syst. 33(6): 477-507 (2008)
- [j33]Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg: BP-Mon: query-based monitoring of BPEL business processes. SIGMOD Record 37(1): 21-24 (2008)
- 2007
- [c66]Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg: Query-based monitoring of BPEL business processes. SIGMOD Conference 2007: 1122-1124
- [c65]Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg: Monitoring Business Processes with Queries. VLDB 2007: 603-614
- 2006
- [c64]Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo: Querying Business Processes. VLDB 2006: 343-354
- 2005
- [c63]Catriel Beeri, Yerach Doytsher, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv: Finding corresponding objects when integrating several geo-spatial datasets. GIS 2005: 87-96
- [c62]Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo: Querying Business Processes with BP-QL. VLDB 2005: 1255-1258
- 2004
- [c61]Catriel Beeri, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv: Object Fusion in Geographic Information Systems. VLDB 2004: 816-827
- [e5]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
- 2003
- [j32]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)
- [e4]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
- 2002
- [j31]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)
- [c60]Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl: Querying XML Sources Using an Ontology-based Mediator. BDA 2002
- [c59]Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl: Querying XML Sources Using an Ontology-Based Mediator. CoopIS/DOA/ODBASE 2002: 429-448
- [c58]Irini Fundulaki, Bernd Amann, Catriel Beeri, Michel Scholl, Anne-Marie Vercoustre: STYX: Connecting the XML Web to the World of Semantics. EDBT 2002: 759-761
- [c57]Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl: Ontology-Based Integration of XML Web Resources. International Semantic Web Conference 2002: 117-131
- 2001
- [c56]Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl, Anne-Marie Vercoustre: Rewriting and Evaluating Tree Queries with XPath. BDA 2001
- [c55]Bernd Amann, Irini Fundulaki, Michel Scholl, Catriel Beeri, Anne-Marie Vercoustre: Mapping XML Fragments to Community Web Ontologies. WebDB 2001: 97-102
- 2000
- [c54]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
- [c53]Asuman Dogac, M. Ezbiderli, Yusuf Tambag, C. Icdem, Arif Tumer, Nesime Tatbul, N. Hamali, Catriel Beeri: The MARIFlow Workflow Management System. ICDE 2000: 193
1990 – 1999
- 1999
- [j30]Catriel Beeri, Anna Formica, Michele Missikoff: Inheritance Hierarchy Design in Object-Oriented Databases. Data Knowl. Eng. 30(3): 191-216 (1999)
- [c52]
- [c51]Catriel Beeri, Yariv Tzaban: SAL: An Algebra for Semistructured Data and XML. WebDB (Informal Proceedings) 1999: 37-42
- [e3]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
- 1998
- [c50]Catriel Beeri, Bernhard Thalheim: Identification as a Primitive of Database Models. FMLDO 1998: 19-36
- [c49]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
- 1997
- [j29]Catriel Beeri, Tova Milo: Comparison of Functional and Predicative Query Paradigms. J. Comput. Syst. Sci. 54(1): 3-33 (1997)
- [c48]Catriel Beeri, Tova Milo, Paula Ta-Shma: Towards a Language for the Fully Generic Queries. DBPL 1997: 239-259
- [c47]Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset: Rewriting Queries Using Views in Description Logics. PODS 1997: 99-108
- 1996
- [c46]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
- [c45]
- 1995
- [j28]Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai: A High School Program in Computer Science. IEEE Computer 28(10): 73-80 (1995)
- [j27]
- [j26]Serge Abiteboul, Catriel Beeri: The Power of Languages for the Manipulation of Complex Values. VLDB J. 4(4): 727-794 (1995)
- 1994
- [j25]Catriel Beeri, Yoram Kornatzky: A Logical Query Language for Hypermedia Systems. Inf. Sci. 77(1-2): 1-37 (1994)
- [c44]
- [c43]Kazimierz Subieta, Catriel Beeri, Florian Matthes, Joachim W. Schmidt: A Stack-Based Approach to Query Languages. East/West Database Workshop 1994: 159-180
- [e2]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
- 1993
- [j24]Catriel Beeri, Yoram Kornatzky: Algebraic Optimization of Object-Oriented Query Languages. Theor. Comput. Sci. 116(1&2): 59-94 (1993)
- [c42]Catriel Beeri: Some thoughts on the future evolution of object-oriented database concepts. BTW 1993: 18-32
- [c41]
- [c40]
- [c39]
- [c38]S. Sudarshan, Divesh Srivastava, Raghu Ramakrishnan, Catriel Beeri: Extending the Well-Founded and Valid Semantics for Aggregation. ILPS 1993: 590-608
- [e1]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
- 1992
- [c37]
- [c36]
- [c35]Catriel Beeri, Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: The Valid Model Semantics for Logic Programs. PODS 1992: 91-104
- [c34]
- 1991
- [j23]Catriel Beeri: Theoretical Foundations for OODB's - a Personal Perspective. IEEE Data Eng. Bull. 14(2): 8-12 (1991)
- [j22]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)
- [j21]
- [c33]
- [c32]
- 1990
- [j20]
- [j19]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)
- [c31]
- [c30]
- [c29]Catriel Beeri, Yoram Kornatzky: Algebraic Optimization of Object-Oriented Query Languages. ICDT 1990: 72-88
- [c28]
1980 – 1989
- 1989
- [j18]Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A model for concurrency in nested transactions systems. J. ACM 36(2): 230-269 (1989)
- [c27]
- 1988
- [c26]
- [c25]Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum: Multi-Level Transaction Management, Theoretical Art or Practical Need ? EDBT 1988: 134-154
- [c24]
- [c23]Catriel Beeri, Roger Nasr, Shalom Tsur: Embedding Psi-Terms in a Horn-Clause Logic Language. JCDKB 1988: 347-359
- [c22]Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy: Optimizing Existential Datalog Queries. PODS 1988: 89-102
- 1987
- [j17]Catriel Beeri, Michael Kifer: A theory of intersection anomalies in relational database schemes. J. ACM 34(3): 544-577 (1987)
- [c21]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
- [c20]Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37
- [c19]Catriel Beeri, Paris C. Kanellakis, François Bancilhon, Raghu Ramakrishnan: Bounds on the Propagation of Selection into Logic Programs. PODS 1987: 214-226
- [c18]
- 1986
- [j16]Catriel Beeri, Michael Kifer: Elimination of intersection anomalies from database schemes. J. ACM 33(3): 423-450 (1986)
- [j15]Catriel Beeri, Michael Kifer: An Integrated Approach to Logical Design of Relational Database Schemes. ACM Trans. Database Syst. 11(2): 134-158 (1986)
- [c17]François Bancilhon, Catriel Beeri, Paris C. Kanellakis, Raghu Ramakrishnan: Pushing Selections into Logic Programs. XP7.52 Workshop on Database Theory 1986
- 1985
- [j14]Catriel Beeri, Moshe Y. Vardi: Formal Systems for Join Dependencies. Theor. Comput. Sci. 38: 99-116 (1985)
- 1984
- [j13]Catriel Beeri, Moshe Y. Vardi: On Acyclic Database Decompositions. Information and Control 61(2): 75-84 (1984)
- [j12]Catriel Beeri, Martin Dowd, Ronald Fagin, Richard Statman: On the Structure of Armstrong Relations for Functional Dependencies. J. ACM 31(1): 30-46 (1984)
- [j11]Catriel Beeri, Moshe Y. Vardi: A Proof Procedure for Data Dependencies. J. ACM 31(4): 718-741 (1984)
- [j10]Catriel Beeri, Moshe Y. Vardi: Formal Systems for Tuple and Equality Generating Dependencies. SIAM J. Comput. 13(1): 76-98 (1984)
- [c16]
- [c15]Catriel Beeri, Michael Kifer: Comprehensive Approach to the Design of Relational Database Schemes. VLDB 1984: 196-207
- 1983
- [j9]Catriel Beeri, Ronald Fagin, David Maier, Mihalis Yannakakis: On the Desirability of Acyclic Database Schemes. J. ACM 30(3): 479-513 (1983)
- [c14]Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A Concurrency Control Theory for Nested Transactions. PODC 1983: 45-62
- [c13]Catriel Beeri, Michael Kifer: Elimination of Intersection Anomalies from Database Schemes. PODS 1983: 340-351
- 1982
- [c12]
- 1981
- [j8]Catriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman: Equivalence of Relational Database Schemes. SIAM J. Comput. 10(2): 352-370 (1981)
- [j7]Catriel Beeri, Peter Honeyman: Preserving Functional Dependencies. SIAM J. Comput. 10(3): 647-656 (1981)
- [j6]Catriel Beeri, Moshe Y. Vardi: A Note on Decompositions of Relational Databases. SIGMOD Record 12(1): 33-37 (1981)
- [c11]
- [c10]Catriel Beeri, Ronald Fagin, David Maier, Alberto O. Mendelzon, Jeffrey D. Ullman, Mihalis Yannakakis: Properties of Acyclic Database Schemes. STOC 1981: 355-362
- [c9]Catriel Beeri, Ron Obermarck: A Resource Class Independent Deadlock Detection Algorithm. VLDB 1981: 166-178
- 1980
- [j5]Catriel Beeri: On the Membership Problem for Functional and Multivalued Dependencies in Relational Databases. ACM Trans. Database Syst. 5(3): 241-259 (1980)
- [c8]Catriel Beeri, Moshe Y. Vardi: Decision Problems for Data Dependencies. XP1 Workshop on Database Theory 1980
1970 – 1979
- 1979
- [j4]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)
- [j3]Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman: The Theory of Joins in Relational Databases. ACM Trans. Database Syst. 4(3): 297-314 (1979)
- [c7]Catriel Beeri, Moshe Y. Vardi: On the Properties of Join Dependencies. Advances in Data Base Theory 1979: 25-71
- [c6]Catriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman: Equivalence of Relational Database Schemes. STOC 1979: 319-329
- 1978
- [c5]Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A Sophisticate's Introduction to Database Normalization Theory. VLDB 1978: 113-124
- 1977
- [c4]Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman: The Theory of Joins in Relational Data Bases (Extended Abstract). FOCS 1977: 107-113
- [c3]Catriel Beeri, Ronald Fagin, John H. Howard: A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations. SIGMOD Conference 1977: 47-61
- 1976
- [j2]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)
- 1975
- [j1]Catriel Beeri: Two-Way Nested Stack Automata Are Equivalent to Two-Way Stack Automata. J. Comput. Syst. Sci. 10(3): 317-339 (1975)
- [c2]Catriel Beeri: An Improvement of Valiant's Decision Procedure for Equivalence of Deterministic Finite-Turn Pushdown Automata. FOCS 1975: 128-134
- 1974
- [c1]E. Shamir, Catriel Beeri: Checking Stacks and Context-Free Programmed Grammars Accept p-complete Languages. ICALP 1974: 27-33
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-03-09 18:08 CET by the dblp team