2012
105A model of CS teachers' knowledge growth. Neomi Liberman, Yifat Ben-David Kolikant, Catriel Beeri. ITiCSE 2012, 383. Web SearchBibTeXDownload
2011
104Difficulties in Learning Inheritance and Polymorphism. Neomi Liberman, Catriel Beeri, Yifat Ben-David Kolikant. TOCE (11): 4 (2011). Web SearchBibTeXDownload
2010
103Location-based algorithms for finding sets of corresponding objects over several geo-spatial data sets. Eliyahu Safra, Yaron Kanza, Yehoshua Sagiv, Catriel Beeri, Yerach Doytsher. International Journal of Geographical Information Science (24): 69-106 (2010). Web SearchBibTeXDownload
2009
102In-service teachers learning of a new paradigm: a case study. Neomi Liberman, Yifat Ben-David Kolikant, Catriel Beeri. ICER 2009, 43-50. Web SearchBibTeXDownload
101The ACM PODS Alberto O. Mendelzon test-of-time-award 2009. Catriel Beeri, Phokion G. Kolaitis, Christos H. Papadimitriou. PODS 2009, 43. Web SearchBibTeXDownload
2008
100Querying business processes with BP-QL. Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo. Inf. Syst. (33): 477-507 (2008). Cited by 16Web SearchBibTeXDownload
99BP-Mon: query-based monitoring of BPEL business processes. Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg. SIGMOD Record (37): 21-24 (2008). Cited by 1Web SearchBibTeXDownload
2007
98Query-based monitoring of BPEL business processes. Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg. SIGMOD Conference 2007, 1122-1124. Cited by 8Web SearchBibTeXDownload
97Monitoring Business Processes with Queries. Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg. VLDB 2007, 603-614. Cited by 18Web SearchBibTeXDownload
2006
96Querying Business Processes. Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo. VLDB 2006, 343-354. Cited by 40Web SearchBibTeXDownload
2005
95Finding corresponding objects when integrating several geo-spatial datasets. Catriel Beeri, Yerach Doytsher, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv. GIS 2005, 87-96. Web SearchBibTeXDownload
94Querying Business Processes with BP-QL. Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo. VLDB 2005, 1255-1258. Web SearchBibTeXDownload
2004
93Object Fusion in Geographic Information Systems. Catriel Beeri, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv. VLDB 2004, 816-827. Web SearchBibTeXDownload
2003
92Interrogation de ressources XML concernant un domaine d'intérêt. Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl. Technique et Science Informatiques (22): 1243-1270 (2003). Web SearchBibTeXDownload
2002
91Atomicity and isolation for transactional processes. Heiko Schuldt, Gustavo Alonso, Catriel Beeri, Hans-J÷rg Schek. ACM Trans. Database Syst. (27): 63-116 (2002). Cited by 120Web SearchBibTeXDownload
90Querying XML Sources Using an Ontology-based Mediator. Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl. BDA 2002. Cited by 55Web SearchBibTeX
89Querying XML Sources Using an Ontology-Based Mediator. Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl. CoopIS/DOA/ODBASE 2002, 429-448. Cited by 57Web SearchBibTeXDownload
88STYX: Connecting the XML Web to the World of Semantics. Irini Fundulaki, Bernd Amann, Catriel Beeri, Michel Scholl, Anne-Marie Vercoustre. EDBT 2002, 759-761. Cited by 6Web SearchBibTeXDownload
87Ontology-Based Integration of XML Web Resources. Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl. International Semantic Web Conference 2002, 117-131. Cited by 100Web SearchBibTeXDownload
2001
86Rewriting and Evaluating Tree Queries with XPath. Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl, Anne-Marie Vercoustre. BDA 2001. Cited by 2Web SearchBibTeX
85Mapping XML Fragments to Community Web Ontologies. Bernd Amann, Irini Fundulaki, Michel Scholl, Catriel Beeri, Anne-Marie Vercoustre. WebDB 2001, 97-102. Cited by 47Web SearchBibTeX
2000
84A 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, 138-143. Cited by 20Web SearchBibTeXDownload
83The MARIFlow Workflow Management System. Asuman Dogac, M. Ezbiderli, Yusuf Tambag, C. Icdem, Arif Tumer, Nesime Tatbul, N. Hamali, Catriel Beeri. ICDE 2000, 193. Web SearchBibTeXDownload
1999
82Inheritance Hierarchy Design in Object-Oriented Databases. Catriel Beeri, Anna Formica, Michele Missikoff. Data Knowl. Eng. (30): 191-216 (1999). Cited by 14Web SearchBibTeXDownload
81Schemas for Integration and Translation of Structured and Semi-structured Data. Catriel Beeri, Tova Milo. ICDT 1999, 296-313. Cited by 119Web SearchBibTeXDownload
80SAL: An Algebra for Semistructured Data and XML. Catriel Beeri, Yariv Tzaban. WebDB (Informal Proceedings) 1999, 37-42. Web SearchBibTeXDownload
1998
79Identification as a Primitive of Database Models. Catriel Beeri, Bernhard Thalheim. FMLDO 1998, 19-36. Web SearchBibTeX
78WebSuite: 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, 152-171. Cited by 30Web SearchBibTeXDownload
1997
77Towards a Language for the Fully Generic Queries. Catriel Beeri, Tova Milo, Paula Ta-Shma. DBPL 1997, 239-259. Cited by 3Web SearchBibTeXDownload
76Comparison of Functional and Predicative Query Paradigms. Catriel Beeri, Tova Milo. J. Comput. Syst. Sci. (54): 3-33 (1997). Cited by 7Web SearchBibTeXDownload
75Rewriting Queries Using Views in Description Logics. Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset. PODS 1997, 99-108. Cited by 156Web SearchBibTeXDownload
1996
74Switching Terminologies - Creating a New View of An Old World: Preliminary Report. Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset. Description Logics 1996, 79-83. Web SearchBibTeX
73On Genericity and Parametricity. Catriel Beeri, Tova Milo, Paula Ta-Shma. PODS 1996, 104-116. Cited by 7Web SearchBibTeXDownload
1995
72A High School Program in Computer Science. Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai. IEEE Computer (28): 73-80 (1995). Web SearchBibTeXDownload
71Subtyping in OODBs. Catriel Beeri, Tova Milo. J. Comput. Syst. Sci. (51): 223-243 (1995). Cited by 14Web SearchBibTeXDownload
70The Power of Languages for the Manipulation of Complex Values. Serge Abiteboul, Catriel Beeri. VLDB J. (4): 727-794 (1995). Cited by 91Web SearchBibTeXDownload
1994
69Bulk Types and Query Language Design. Catriel Beeri. COMPASS/ADT 1994, 30-47. Web SearchBibTeXDownload
68A Stack-Based Approach to Query Languages. Kazimierz Subieta, Catriel Beeri, Florian Matthes, Joachim W. Schmidt. East/West Database Workshop 1994, 159-180. Web SearchBibTeX
67A Logical Query Language for Hypermedia Systems. Catriel Beeri, Yoram Kornatzky. Inf. Sci. (77): 1-37 (1994). Web SearchBibTeXDownload
1993
66Some thoughts on the future evolution of object-oriented database concepts. Catriel Beeri. BTW 1993, 18-32. Web SearchBibTeX
65Bulk Data Types, A Theoretical Approach. Catriel Beeri, Paula Ta-Shma. DBPL 1993, 80-96. Web SearchBibTeX
64Extending the Well-Founded and Valid Semantics for Aggregation. S. Sudarshan, Divesh Srivastava, Raghu Ramakrishnan, Catriel Beeri. ILPS 1993, 590-608. Cited by 35Web SearchBibTeX
63Query Languages for Models with Object-Oriented Features. Catriel Beeri. NATO ASI OODBS 1993, 47-71. Web SearchBibTeX
62On the Power of Algebras with Recursion. Catriel Beeri, Tova Milo. SIGMOD Conference 1993, 377-386. Cited by 14Web SearchBibTeXDownload
61Algebraic Optimization of Object-Oriented Query Languages. Catriel Beeri, Yoram Kornatzky. Theor. Comput. Sci. (116): 59-94 (1993). Web SearchBibTeXDownload
1992
60Discussion Report: Update Languages. Catriel Beeri. FMLDO 1992, 221-222. Web SearchBibTeX
59Functional and Predicative Programming in OODB's. Catriel Beeri, Tova Milo. PODS 1992, 176-190. Cited by 28Web SearchBibTeXDownload
58The Valid Model Semantics for Logic Programs. Catriel Beeri, Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan. PODS 1992, 91-104. Cited by 23Web SearchBibTeXDownload
57New Data Models and Languages - the Challenge. Catriel Beeri. PODS 1992, 1-15. Web SearchBibTeXDownload
1991
56Theoretical Foundations for OODB's - a Personal Perspective. Catriel Beeri. IEEE Data Eng. Bull. (14): 8-12 (1991). Web SearchBibTeXDownload
55Set Constructors in a Logic Database Language. Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur. J. Log. Program. (10): 181-232 (1991). Cited by 107Web SearchBibTeXDownload
54On the Power of Magic. Catriel Beeri, Raghu Ramakrishnan. J. Log. Program. (10): 255-299 (1991). Cited by 612Web SearchBibTeXDownload
53Subtyping in OODB's. Catriel Beeri, Tova Milo. PODS 1991, 300-314. Web SearchBibTeXDownload
52A Model for Active Object Oriented Databases. Catriel Beeri, Tova Milo. VLDB 1991, 337-349. Cited by 139Web SearchBibTeXDownload
1990
51A Formal Approach to Object-Oriented Databases. Catriel Beeri. Data Knowl. Eng. (5): 353-382 (1990). Web SearchBibTeXDownload
50A Logical Query Language for Hypertext Systems. Catriel Beeri, Yoram Kornatzky. ECHT 1990, 67-80. Web SearchBibTeX
49The Many Faces of Query Monotonicity. Catriel Beeri, Yoram Kornatzky. EDBT 1990, 120-135. Web SearchBibTeXDownload
48Algebraic Optimization of Object-Oriented Query Languages. Catriel Beeri, Yoram Kornatzky. ICDT 1990, 72-88. Web SearchBibTeXDownload
47Logic Programming and Databases. Douglas Stott Parker Jr., Michael J. Carey, Letizia Tanca, Matthias Jarke, Edward Sciore, Adrian Walker. ICLP 1990, 783. Cited by 794Web SearchBibTeX
46Bounds on the Propagation of Selection into Logic Programs. Catriel Beeri, Paris C. Kanellakis, Franšois Bancilhon, Raghu Ramakrishnan. J. Comput. Syst. Sci. (41): 157-180 (1990). Cited by 65Web SearchBibTeXDownload
1989
45Formal Models for Object Oriented Databases. Catriel Beeri. DOOD 1989, 405-430. Web SearchBibTeX
44A model for concurrency in nested transactions systems. Catriel Beeri, Philip A. Bernstein, Nathan Goodman. J. ACM (36): 230-269 (1989). Cited by 181Web SearchBibTeXDownload
1988
43On the use of logic programming databases. Catriel Beeri. BDA 1988, 161-180. Web SearchBibTeX
42Multi-Level Transaction Management, Theoretical Art or Practical Need ?. Catriel Beeri, Hans-J÷rg Schek, Gerhard Weikum. EDBT 1988, 134-154. Cited by 82Web SearchBibTeXDownload
41Data Models and Languages for Databases. Catriel Beeri. ICDT 1988, 19-40. Web SearchBibTeXDownload
40Embedding Psi-Terms in a Horn-Clause Logic Language. Catriel Beeri, Roger Nasr, Shalom Tsur. JCDKB 1988, 347-359. Web SearchBibTeX
39Optimizing Existential Datalog Queries. Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy. PODS 1988, 89-102. Cited by 51Web SearchBibTeXDownload
1987
38A theory of intersection anomalies in relational database schemes. Catriel Beeri, Michael Kifer. J. ACM (34): 544-577 (1987). Web SearchBibTeXDownload
37An Introduction to the Completeness of Languages for Complex Objects and Nested Relations. Serge Abiteboul, Catriel Beeri, Marc Gyssens, Dirk Van Gucht. NF² 1987, 117-138. Cited by 37Web SearchBibTeXDownload
36On the Power of Magic. Catriel Beeri, Raghu Ramakrishnan. PODS 1987, 269-284. Cited by 612Web SearchBibTeXDownload
35Bounds on the Propagation of Selection into Logic Programs. Catriel Beeri, Paris C. Kanellakis, Franšois Bancilhon, Raghu Ramakrishnan. PODS 1987, 214-226. Cited by 65Web SearchBibTeXDownload
34Sets and Negation in a Logic Database Language (LDL1). Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur. PODS 1987, 21-37. Cited by 171Web SearchBibTeXDownload
1986
33An Integrated Approach to Logical Design of Relational Database Schemes. Catriel Beeri, Michael Kifer. ACM Trans. Database Syst. (11): 134-158 (1986). Web SearchBibTeXDownload
32Elimination of intersection anomalies from database schemes. Catriel Beeri, Michael Kifer. J. ACM (33): 423-450 (1986). Web SearchBibTeXDownload
31Pushing Selections into Logic Programs. Franšois Bancilhon, Catriel Beeri, Paris C. Kanellakis, Raghu Ramakrishnan. XP7.52 Workshop on Database Theory 1986. Web SearchBibTeX
1985
30Formal Systems for Join Dependencies. Catriel Beeri, Moshe Y. Vardi. Theor. Comput. Sci. (38): 99-116 (1985). Cited by 9Web SearchBibTeXDownload
1984
29Integrity and Reliability - Chairman's Report. Catriel Beeri. DDSS 1984, 191-192. Web SearchBibTeX
28On Acyclic Database Decompositions. Catriel Beeri, Moshe Y. Vardi. Information and Control (61): 75-84 (1984). Cited by 6Web SearchBibTeXDownload
27A Proof Procedure for Data Dependencies. Catriel Beeri, Moshe Y. Vardi. J. ACM (31): 718-741 (1984). Cited by 164Web SearchBibTeXDownload
26On the Structure of Armstrong Relations for Functional Dependencies. Catriel Beeri, Martin Dowd, Ronald Fagin, Richard Statman. J. ACM (31): 30-46 (1984). Web SearchBibTeXDownload
25Formal Systems for Tuple and Equality Generating Dependencies. Catriel Beeri, Moshe Y. Vardi. SIAM J. Comput. (13): 76-98 (1984). Cited by 73Web SearchBibTeXDownload
24Comprehensive Approach to the Design of Relational Database Schemes. Catriel Beeri, Michael Kifer. VLDB 1984, 196-207. Web SearchBibTeXDownload
1983
23On the Desirability of Acyclic Database Schemes. Catriel Beeri, Ronald Fagin, David Maier, Mihalis Yannakakis. J. ACM (30): 479-513 (1983). Cited by 482Web SearchBibTeXDownload
22A Concurrency Control Theory for Nested Transactions. Catriel Beeri, Philip A. Bernstein, Nathan Goodman. PODC 1983, 45-62. Cited by 43Web SearchBibTeXDownload
21Elimination of Intersection Anomalies from Database Schemes. Catriel Beeri, Michael Kifer. PODS 1983, 340-351. Web SearchBibTeXDownload
1982
20Compatible Attributes in a Universal Relation. Catriel Beeri, Henry F. Korth. PODS 1982, 55-62. Web SearchBibTeXDownload
1981
19The Implication Problem for Data Dependencies. Catriel Beeri, Moshe Y. Vardi. ICALP 1981, 73-85. Cited by 53Web SearchBibTeXDownload
18Preserving Functional Dependencies. Catriel Beeri, Peter Honeyman. SIAM J. Comput. (10): 647-656 (1981). Web SearchBibTeXDownload
17Equivalence of Relational Database Schemes. Catriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman. SIAM J. Comput. (10): 352-370 (1981). Cited by 78Web SearchBibTeXDownload
16A Note on Decompositions of Relational Databases. Catriel Beeri, Moshe Y. Vardi. SIGMOD Record (12): 33-37 (1981). Cited by 2Web SearchBibTeXDownload
15Properties of Acyclic Database Schemes. Catriel Beeri, Ronald Fagin, David Maier, Alberto O. Mendelzon, Jeffrey D. Ullman, Mihalis Yannakakis. STOC 1981, 355-362. Cited by 106Web SearchBibTeXDownload
14A Resource Class Independent Deadlock Detection Algorithm. Catriel Beeri, Ron Obermarck. VLDB 1981, 166-178. Web SearchBibTeX
1980
13On the Membership Problem for Functional and Multivalued Dependencies in Relational Databases. Catriel Beeri. ACM Trans. Database Syst. (5): 241-259 (1980). Web SearchBibTeXDownload
12Decision Problems for Data Dependencies. Catriel Beeri, Moshe Y. Vardi. XP1 Workshop on Database Theory 1980. Web SearchBibTeX
1979
11The Theory of Joins in Relational Databases. Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman. ACM Trans. Database Syst. (4): 297-314 (1979). Cited by 322Web SearchBibTeXDownload
10Computational Problems Related to the Design of Normal Form Relational Schemas. Catriel Beeri, Philip A. Bernstein. ACM Trans. Database Syst. (4): 30-59 (1979). Cited by 329Web SearchBibTeXDownload
9On the Properties of Join Dependencies. Catriel Beeri, Moshe Y. Vardi. Advances in Data Base Theory 1979, 25-71. Web SearchBibTeX
8Equivalence of Relational Database Schemes. Catriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman. STOC 1979, 319-329. Cited by 78Web SearchBibTeXDownload
1978
7A Sophisticate's Introduction to Database Normalization Theory. Catriel Beeri, Philip A. Bernstein, Nathan Goodman. VLDB 1978, 113-124. Cited by 201Web SearchBibTeX
1977
6The Theory of Joins in Relational Data Bases (Extended Abstract). Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman. FOCS 1977, 107-113. Cited by 3Web SearchBibTeXDownload
5A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations. Catriel Beeri, Ronald Fagin, John H. Howard. SIGMOD Conference 1977, 47-61. Web SearchBibTeXDownload
1976
4An Improvement on Valiant's Decision Procedure for Equivalence of Deterministic Finite Turn Pushdown Machines. Catriel Beeri. Theor. Comput. Sci. (3): 305-320 (1976). Web SearchBibTeXDownload
1975
3An Improvement of Valiant's Decision Procedure for Equivalence of Deterministic Finite-Turn Pushdown Automata. Catriel Beeri. FOCS 1975, 128-134. Web SearchBibTeXDownload
2Two-Way Nested Stack Automata Are Equivalent to Two-Way Stack Automata. Catriel Beeri. J. Comput. Syst. Sci. (10): 317-339 (1975). Web SearchBibTeXDownload
1974
1Checking Stacks and Context-Free Programmed Grammars Accept p-complete Languages. E. Shamir, Catriel Beeri. ICALP 1974, 27-33. Web SearchBibTeXDownload
from DBLP and Google Scholar
References
1. ^ The ACM SIGMOD/PODS Conference: Providence, Rhode Island, USA, 2009 - Program: SIGMOD Accepted Papers - Retrieved 2009-11-21 - details
2. ^ SIGMOD/PODS 2002 Conference - Retrieved 2013-05-12 - details
Developed by the Database Group at the University of Wisconsin and Yahoo! Research