2008 |
102 | EE | Catriel Beeri,
Anat Eyal,
Simon Kamenkovich,
Tova Milo:
Querying business processes with BP-QL.
Inf. Syst. 33(6): 477-507 (2008) |
101 | EE | 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 |
100 | EE | Catriel Beeri,
Anat Eyal,
Tova Milo,
Alon Pilberg:
Query-based monitoring of BPEL business processes.
SIGMOD Conference 2007: 1122-1124 |
99 | EE | Catriel Beeri,
Anat Eyal,
Tova Milo,
Alon Pilberg:
Monitoring Business Processes with Queries.
VLDB 2007: 603-614 |
2006 |
98 | EE | Catriel Beeri,
Anat Eyal,
Simon Kamenkovich,
Tova Milo:
Querying Business Processes.
VLDB 2006: 343-354 |
2005 |
97 | EE | Catriel Beeri,
Yerach Doytsher,
Yaron Kanza,
Eliyahu Safra,
Yehoshua Sagiv:
Finding corresponding objects when integrating several geo-spatial datasets.
GIS 2005: 87-96 |
96 | EE | Catriel Beeri,
Anat Eyal,
Simon Kamenkovich,
Tova Milo:
Querying Business Processes with BP-QL.
VLDB 2005: 1255-1258 |
2004 |
95 | EE | Catriel Beeri,
Yaron Kanza,
Eliyahu Safra,
Yehoshua Sagiv:
Object Fusion in Geographic Information Systems.
VLDB 2004: 816-827 |
2003 |
94 | EE | 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 |
93 | | Bernd Amann,
Catriel Beeri,
Irini Fundulaki,
Michel Scholl:
Querying XML Sources Using an Ontology-based Mediator.
BDA 2002 |
92 | EE | Bernd Amann,
Catriel Beeri,
Irini Fundulaki,
Michel Scholl:
Querying XML Sources Using an Ontology-Based Mediator.
CoopIS/DOA/ODBASE 2002: 429-448 |
91 | EE | 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 |
90 | EE | Bernd Amann,
Catriel Beeri,
Irini Fundulaki,
Michel Scholl:
Ontology-Based Integration of XML Web Resources.
International Semantic Web Conference 2002: 117-131 |
89 | EE | 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 |
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 |
86 | EE | 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 |
85 | EE | 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 |
84 | | Catriel Beeri,
Peter Buneman:
Database Theory - ICDT '99, 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings.
Springer 1999 |
83 | EE | Catriel Beeri,
Tova Milo:
Schemas for Integration and Translation of Structured and Semi-structured Data.
ICDT 1999: 296-313 |
82 | EE | Catriel Beeri,
Yariv Tzaban:
SAL: An Algebra for Semistructured Data and XML.
WebDB (Informal Proceedings) 1999: 37-42 |
81 | EE | Catriel 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 |
78 | EE | Catriel Beeri,
Tova Milo,
Paula Ta-Shma:
Towards a Language for the Fully Generic Queries.
DBPL 1997: 239-259 |
77 | EE | Catriel 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 |
74 | EE | Catriel 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) |
71 | EE | Serge 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 |
65 | EE | 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 | EE | 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 | EE | Catriel Beeri:
New Data Models and Languages - the Challenge.
PODS 1992: 1-15 |
58 | EE | Catriel Beeri,
Tova Milo:
Functional and Predicative Programming in OODB's.
PODS 1992: 176-190 |
57 | EE | Catriel Beeri,
Raghu Ramakrishnan,
Divesh Srivastava,
S. Sudarshan:
The Valid Model Semantics for Logic Programs.
PODS 1992: 91-104 |
1991 |
56 | EE | Catriel Beeri,
Tova Milo:
Subtyping in OODB's.
PODS 1991: 300-314 |
55 | EE | Catriel Beeri,
Tova Milo:
A Model for Active Object Oriented Databases.
VLDB 1991: 337-349 |
54 | EE | 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(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 |
50 | EE | Catriel Beeri,
Yoram Kornatzky:
The Many Faces of Query Monotonicity.
EDBT 1990: 120-135 |
49 | EE | 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 | EE | 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 | EE | Catriel Beeri,
Hans-Jörg Schek,
Gerhard Weikum:
Multi-Level Transaction Management, Theoretical Art or Practical Need ?
EDBT 1988: 134-154 |
41 | EE | 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 | EE | 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 | EE | 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 | EE | Catriel Beeri,
Paris C. Kanellakis,
François Bancilhon,
Raghu Ramakrishnan:
Bounds on the Propagation of Selection into Logic Programs.
PODS 1987: 214-226 |
35 | EE | Catriel Beeri,
Raghu Ramakrishnan:
On the Power of Magic.
PODS 1987: 269-284 |
34 | EE | Catriel Beeri,
Michael Kifer:
A theory of intersection anomalies in relational database schemes.
J. ACM 34(3): 544-577 (1987) |
1986 |
33 | EE | François Bancilhon,
Catriel Beeri,
Paris C. Kanellakis,
Raghu Ramakrishnan:
Pushing Selections into Logic Programs.
XP7.52 Workshop on Database Theory 1986 |
32 | EE | Catriel Beeri,
Michael Kifer:
An Integrated Approach to Logical Design of Relational Database Schemes.
ACM Trans. Database Syst. 11(2): 134-158 (1986) |
31 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Catriel Beeri,
Michael Kifer:
Elimination of Intersection Anomalies from Database Schemes.
PODS 1983: 340-351 |
21 | EE | Catriel Beeri,
Ronald Fagin,
David Maier,
Mihalis Yannakakis:
On the Desirability of Acyclic Database Schemes
J. ACM 30(3): 479-513 (1983) |
1982 |
20 | EE | 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 | EE | 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 | EE | Catriel Beeri,
Moshe Y. Vardi:
A Note on Decompositions of Relational Databases.
SIGMOD Record 12(1): 33-37 (1981) |
1980 |
13 | EE | Catriel Beeri,
Moshe Y. Vardi:
Decision Problems for Data Dependencies.
XP1 Workshop on Database Theory 1980 |
12 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |