dblp.uni-trier.dewww.uni-trier.de

Catriel Beeri

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
102EECatriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo: Querying business processes with BP-QL. Inf. Syst. 33(6): 477-507 (2008)
101EECatriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg: BP-Mon: query-based monitoring of BPEL business processes. SIGMOD Record 37(1): 21-24 (2008)
2007
100EECatriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg: Query-based monitoring of BPEL business processes. SIGMOD Conference 2007: 1122-1124
99EECatriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg: Monitoring Business Processes with Queries. VLDB 2007: 603-614
2006
98EECatriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo: Querying Business Processes. VLDB 2006: 343-354
2005
97EECatriel Beeri, Yerach Doytsher, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv: Finding corresponding objects when integrating several geo-spatial datasets. GIS 2005: 87-96
96EECatriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo: Querying Business Processes with BP-QL. VLDB 2005: 1255-1258
2004
95EECatriel Beeri, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv: Object Fusion in Geographic Information Systems. VLDB 2004: 816-827
2003
94EEBernd 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
93 Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl: Querying XML Sources Using an Ontology-based Mediator. BDA 2002
92EEBernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl: Querying XML Sources Using an Ontology-Based Mediator. CoopIS/DOA/ODBASE 2002: 429-448
91EEIrini Fundulaki, Bernd Amann, Catriel Beeri, Michel Scholl, Anne-Marie Vercoustre: STYX: Connecting the XML Web to the World of Semantics. EDBT 2002: 759-761
90EEBernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl: Ontology-Based Integration of XML Web Resources. International Semantic Web Conference 2002: 117-131
89EEHeiko 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
88 Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl, Anne-Marie Vercoustre: Rewriting and Evaluating Tree Queries with XPath. BDA 2001
87 Bernd Amann, Irini Fundulaki, Michel Scholl, Catriel Beeri, Anne-Marie Vercoustre: Mapping XML Fragments to Community Web Ontologies. WebDB 2001: 97-102
2000
86EEAsuman 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
85EEAsuman Dogac, M. Ezbiderli, Yusuf Tambag, C. Icdem, Arif Tumer, Nesime Tatbul, N. Hamali, Catriel Beeri: The MARIFlow Workflow Management System. ICDE 2000: 193
1999
84 Catriel Beeri, Peter Buneman: Database Theory - ICDT '99, 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings. Springer 1999
83EECatriel Beeri, Tova Milo: Schemas for Integration and Translation of Structured and Semi-structured Data. ICDT 1999: 296-313
82EECatriel Beeri, Yariv Tzaban: SAL: An Algebra for Semistructured Data and XML. WebDB (Informal Proceedings) 1999: 37-42
81EECatriel Beeri, Anna Formica, Michele Missikoff: Inheritance Hierarchy Design in Object-Oriented Databases. Data Knowl. Eng. 30(3): 191-216 (1999)
1998
80 Catriel Beeri, Bernhard Thalheim: Identification as a Primitive of Database Models. FMLDO 1998: 19-36
79 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
78EECatriel Beeri, Tova Milo, Paula Ta-Shma: Towards a Language for the Fully Generic Queries. DBPL 1997: 239-259
77EECatriel Beeri, Alon Y. Levy, Marie-Christine Rousset: Rewriting Queries Using Views in Description Logics. PODS 1997: 99-108
76 Catriel Beeri, Tova Milo: Comparison of Functional and Predicative Query Paradigms. J. Comput. Syst. Sci. 54(1): 3-33 (1997)
1996
75 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
74EECatriel Beeri, Tova Milo, Paula Ta-Shma: On Genericity and Parametricity. PODS 1996: 104-116
1995
73 Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai: A High School Program in Computer Science. IEEE Computer 28(10): 73-80 (1995)
72 Catriel Beeri, Tova Milo: Subtyping in OODBs. J. Comput. Syst. Sci. 51(2): 223-243 (1995)
71EESerge Abiteboul, Catriel Beeri: The Power of Languages for the Manipulation of Complex Values VLDB J. 4(4): 727-794 (1995)
1994
70 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
69 Catriel Beeri: Bulk Types and Query Language Design. COMPASS/ADT 1994: 30-47
68 Kazimierz Subieta, Catriel Beeri, Florian Matthes, Joachim W. Schmidt: A Stack-Based Approach to Query Languages. East/West Database Workshop 1994: 159-180
67 Catriel Beeri, Yoram Kornatzky: A Logical Query Language for Hypermedia Systems. Inf. Sci. 77(1-2): 1-37 (1994)
1993
66 Catriel Beeri: Some thoughts on the future evolution of object-oriented database concepts. BTW 1993: 18-32
65EECatriel 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
62EECatriel 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
59EECatriel Beeri: New Data Models and Languages - the Challenge. PODS 1992: 1-15
58EECatriel Beeri, Tova Milo: Functional and Predicative Programming in OODB's. PODS 1992: 176-190
57EECatriel Beeri, Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: The Valid Model Semantics for Logic Programs. PODS 1992: 91-104
1991
56EECatriel Beeri, Tova Milo: Subtyping in OODB's. PODS 1991: 300-314
55EECatriel Beeri, Tova Milo: A Model for Active Object Oriented Databases. VLDB 1991: 337-349
54EECatriel 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(1/2/3&4): 181-232 (1991)
52 Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. J. Log. Program. 10(1/2/3&4): 255-299 (1991)
1990
51 Catriel Beeri, Yoram Kornatzky: A Logical Query Language for Hypertext Systems. ECHT 1990: 67-80
50EECatriel Beeri, Yoram Kornatzky: The Many Faces of Query Monotonicity. EDBT 1990: 120-135
49EECatriel 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
44EECatriel 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
42EECatriel Beeri, Hans-Jörg Schek, Gerhard Weikum: Multi-Level Transaction Management, Theoretical Art or Practical Need ? EDBT 1988: 134-154
41EECatriel 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
39EERaghu 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
37EECatriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37
36EECatriel Beeri, Paris C. Kanellakis, François Bancilhon, Raghu Ramakrishnan: Bounds on the Propagation of Selection into Logic Programs. PODS 1987: 214-226
35EECatriel Beeri, Raghu Ramakrishnan: On the Power of Magic. PODS 1987: 269-284
34EECatriel Beeri, Michael Kifer: A theory of intersection anomalies in relational database schemes. J. ACM 34(3): 544-577 (1987)
1986
33EEFrançois Bancilhon, Catriel Beeri, Paris C. Kanellakis, Raghu Ramakrishnan: Pushing Selections into Logic Programs. XP7.52 Workshop on Database Theory 1986
32EECatriel Beeri, Michael Kifer: An Integrated Approach to Logical Design of Relational Database Schemes. ACM Trans. Database Syst. 11(2): 134-158 (1986)
31EECatriel 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
28EECatriel 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)
26EECatriel Beeri, Martin Dowd, Ronald Fagin, Richard Statman: On the Structure of Armstrong Relations for Functional Dependencies. J. ACM 31(1): 30-46 (1984)
25EECatriel 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
22EECatriel Beeri, Michael Kifer: Elimination of Intersection Anomalies from Database Schemes. PODS 1983: 340-351
21EECatriel Beeri, Ronald Fagin, David Maier, Mihalis Yannakakis: On the Desirability of Acyclic Database Schemes J. ACM 30(3): 479-513 (1983)
1982
20EECatriel 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
17EECatriel 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)
14EECatriel Beeri, Moshe Y. Vardi: A Note on Decompositions of Relational Databases. SIGMOD Record 12(1): 33-37 (1981)
1980
13EECatriel Beeri, Moshe Y. Vardi: Decision Problems for Data Dependencies. XP1 Workshop on Database Theory 1980
12EECatriel 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
9EECatriel Beeri, Philip A. Bernstein: Computational Problems Related to the Design of Normal Form Relational Schemas. ACM Trans. Database Syst. 4(1): 30-59 (1979)
8EEAlfred V. Aho, Catriel Beeri, Jeffrey D. Ullman: The Theory of Joins in Relational Databases. ACM Trans. Database Syst. 4(3): 297-314 (1979)
1978
7EECatriel 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
5EECatriel 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)