Catriel Beeri

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

Coauthor Index

1	Serge Abiteboul	[38] [72]
2	Alfred V. Aho	[6] [8]
3	Gustavo Alonso	[90]
4	Bernd Amann	[88] [89] [91] [92] [93] [94] [95]
5	François Bancilhon	[33] [36] [46]
6	Philip A. Bernstein	[7] [9] [23] [44]
7	Peter Buneman	[85]
8	Alin Deutsch	[98]
9	Asuman Dogac	[86] [87]
10	Martin Dowd	[26]
11	Yerach Doytsher	[100] [108]
12	Gershon Elber	[80]
13	Anat Eyal	[99] [101] [102] [103] [104] [105]
14	M. Ezbiderli	[86] [87]
15	Ronald Fagin	[5] [18] [21] [26]
16	Anna Formica	[82]
17	Irini Fundulaki	[88] [89] [91] [92] [93] [94] [95]
18	Judith Gal-Ezer	[74]
19	Nathan Goodman	[7] [23] [44]
20	Dirk Van Gucht	[38]
21	Marc Gyssens	[38]
22	Alon Y. Halevy (Alon Y. Levy)	[76] [78]
23	N. Hamali	[86] [87]
24	David Harel	[74]
25	Peter Honeyman	[15]
26	John H. Howard	[5]
27	C. Icdem	[86] [87]
28	Simon Kamenkovich	[99] [101] [105]
29	Paris C. Kanellakis	[33] [36] [46]
30	Yaron Kanza	[97] [100] [108]
31	Michael Kifer	[22] [28] [31] [32] [34]
32	Yakov A. Kogan	[80]
33	Phokion G. Kolaitis	[106]
34	Yifat Ben-David Kolikant	[107] [109]
35	David Konopnicki	[80]
36	Yoram Kornatzky	[49] [50] [51] [61] [68]
37	Henry F. Korth (Hank Korth)	[20]
38	Ravi Krishnamurthy	[39]
39	Neomi Liberman	[107] [109]
40	David Maier	[18] [21]
41	Florian Matthes	[69]
42	Alberto O. Mendelzon	[10] [16] [18]
43	Tova Milo	[55] [56] [58] [62] [73] [75] [77] [79] [80] [84] [96] [99] [101] [102] [103] [104] [105]
44	Michele Missikoff	[82]
45	Pini Mogilevski	[80]
46	Shamim A. Naqvi	[37] [53]
47	Roger Nasr	[40]
48	Frank Neven	[96]
49	Ron Obermarck	[17]
50	Atsushi Ohori	[71]
51	Christos H. Papadimitriou	[106]
52	Alon Pilberg	[102] [103] [104]
53	Raghu Ramakrishnan	[33] [35] [36] [37] [39] [46] [52] [57] [64]
54	Marie-Christine Rousset	[76] [78]
55	Eliyahu Safra	[97] [100] [108]
56	Yehoshua Sagiv	[10] [16] [80] [97] [100] [108]
57	Hans-Jörg Schek	[42] [90]
58	Joachim W. Schmidt	[69]
59	Michel Scholl	[88] [89] [91] [92] [93] [94] [95]
60	Heiko Schuldt	[90]
61	E. Shamir	[1]
62	Dennis Shasha (Dennis E. Shasha)	[71]
63	Oded Shmueli	[37] [53] [80]
64	Noam Slonim	[80]
65	Divesh Srivastava	[57] [64]
66	Richard Statman	[26]
67	Kazimierz Subieta	[69]
68	S. Sudarshan	[57] [64]
69	Paula Ta-Shma	[65] [75] [79]
70	Yusuf Tambag	[86] [87]
71	Nesime Tatbul	[86] [87]
72	Bernhard Thalheim	[81]
73	Naftali Tishby	[80]
74	Shalom Tsur	[37] [40] [53]
75	Arif Tumer	[86] [87]
76	Yariv Tzaban	[83]
77	Jeffrey D. Ullman	[6] [8] [10] [16] [18]
78	Moshe Y. Vardi	[11] [13] [14] [19] [24] [25] [27] [30]
79	Anne-Marie Vercoustre	[88] [89] [92]
80	Gerhard Weikum	[42]
81	Mihalis Yannakakis	[18] [21]
82	Amiram Yehudai	[74]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page