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