default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCatriel Beeri
Person information
- affiliation: Hebrew University of Jerusalem, Israel
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2012
[j37]Neomi Liberman, Yifat Ben-David Kolikant, Catriel Beeri:
"Regressed experts" as a new state in teachers' professional development: lessons from Computer Science teachers' adjustments to substantial changes in the curriculum. Comput. Sci. Educ. 22(3): 257-283 (2012)- [c70]Neomi Liberman, Yifat Ben-David Kolikant, Catriel Beeri:
A model of CS teachers' knowledge growth. ITiCSE 2012: 383 - 2011
- [j36]Neomi Liberman, Catriel Beeri, Yifat Ben-David Kolikant:
Difficulties in Learning Inheritance and Polymorphism. ACM Trans. Comput. Educ. 11(1): 4:1-4:23 (2011) - 2010
- [j35]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. Int. J. Geogr. Inf. Sci. 24(1): 69-106 (2010)
2000 – 2009
- 2009
- [c69]Neomi Liberman, Yifat Ben-David Kolikant, Catriel Beeri:
In-service teachers learning of a new paradigm: a case study. ICER 2009: 43-50 - [c68]Catriel Beeri, Phokion G. Kolaitis, Christos H. Papadimitriou:
The ACM PODS Alberto O. Mendelzon test-of-time-award 2009. PODS 2009: 43 - 2008
- [j34]Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo:
Querying business processes with BP-QL. Inf. Syst. 33(6): 477-507 (2008) - [j33]Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg:
BP-Mon: query-based monitoring of BPEL business processes. SIGMOD Rec. 37(1): 21-24 (2008) - 2007
- [c67]Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg:
Query-based monitoring of BPEL business processes. SIGMOD Conference 2007: 1122-1124 - [c66]Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg:
Monitoring Business Processes with Queries. VLDB 2007: 603-614 - 2006
- [c65]Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo:
Querying Business Processes. VLDB 2006: 343-354 - 2005
- [c64]Catriel Beeri, Yerach Doytsher, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv:
Finding corresponding objects when integrating several geo-spatial datasets. GIS 2005: 87-96 - [c63]Catriel Beeri, Anat Eyal, Simon Kamenkovich, Tova Milo:
Querying Business Processes with BP-QL. VLDB 2005: 1255-1258 - 2004
- [c62]Catriel Beeri, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv:
Object Fusion in Geographic Information Systems. VLDB 2004: 816-827 - [e6]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, ISBN 1-58113-858-X [contents] - 2003
- [j32]Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl:
Interrogation de ressources XML concernant un domaine d'intérêt. Tech. Sci. Informatiques 22(10): 1243-1270 (2003) - [e5]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, ISBN 1-58113-670-6 [contents] - 2002
- [j31]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) - [c61]Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl:
Querying XML Sources Using an Ontology-based Mediator. BDA 2002 - [c60]Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl:
Querying XML Sources Using an Ontology-Based Mediator. OTM 2002: 429-448 - [c59]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 - [c58]Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl:
Ontology-Based Integration of XML Web Resources. ISWC 2002: 117-131 - 2001
- [c57]Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl, Anne-Marie Vercoustre:
Rewriting and Evaluating Tree Queries with XPath. BDA 2001 - [c56]Bernd Amann, Irini Fundulaki, Michel Scholl, Catriel Beeri, Anne-Marie Vercoustre:
Mapping XML Fragments to Community Web Ontologies. WebDB 2001: 97-102 - 2000
- [c55]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 - [c54]Asuman Dogac, M. Ezbiderli, Yusuf Tambag, C. Icdem, Arif Tumer, Nesime Tatbul, N. Hamali, Catriel Beeri:
The MARIFlow Workflow Management System. ICDE 2000: 193
1990 – 1999
- 1999
- [j30]Catriel Beeri, Anna Formica, Michele Missikoff:
Inheritance Hierarchy Design in Object-Oriented Databases. Data Knowl. Eng. 30(3): 191-216 (1999) - [c53]Catriel Beeri, Tova Milo:
Schemas for Integration and Translation of Structured and Semi-structured Data. ICDT 1999: 296-313 - [c52]Catriel Beeri, Yariv Tzaban:
SAL: An Algebra for Semistructured Data and XML. WebDB (Informal Proceedings) 1999: 37-42 - [e4]Catriel Beeri, Peter Buneman:
Database Theory - ICDT '99, 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings. Lecture Notes in Computer Science 1540, Springer 1999, ISBN 3-540-65452-6 [contents] - 1998
- [c51]Catriel Beeri, Bernhard Thalheim:
Identification as a Primitive of Database Models. FMLDO 1998: 19-36 - [c50]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
- [j29]Catriel Beeri, Tova Milo:
Comparison of Functional and Predicative Query Paradigms. J. Comput. Syst. Sci. 54(1): 3-33 (1997) - [c49]Catriel Beeri, Tova Milo, Paula Ta-Shma:
Towards a Language for the Fully Generic Queries. DBPL 1997: 239-259 - [c48]Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset:
Rewriting Queries Using Views in Description Logics. PODS 1997: 99-108 - 1996
- [c47]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 - [c46]Catriel Beeri, Tova Milo, Paula Ta-Shma:
On Genericity and Parametricity. PODS 1996: 104-116 - 1995
- [j28]Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai:
A High School Program in Computer Science. Computer 28(10): 73-80 (1995) - [j27]Catriel Beeri, Tova Milo:
Subtyping in OODBs. J. Comput. Syst. Sci. 51(2): 223-243 (1995) - [j26]Serge Abiteboul, Catriel Beeri:
The Power of Languages for the Manipulation of Complex Values. VLDB J. 4(4): 727-794 (1995) - 1994
- [j25]Catriel Beeri, Yoram Kornatzky:
A Logical Query Language for Hypermedia Systems. Inf. Sci. 77(1-2): 1-37 (1994) - [c45]Catriel Beeri:
Bulk Types and Query Language Design. COMPASS/ADT 1994: 30-47 - [c44]Kazimierz Subieta, Catriel Beeri, Florian Matthes, Joachim W. Schmidt:
A Stack-Based Approach to Query Languages. East/West Database Workshop 1994: 159-180 - [e3]Catriel Beeri, Atsushi Ohori, Dennis E. 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. Workshops in Computing, Springer 1994, ISBN 3-540-19853-9 [contents] - 1993
- [j24]Catriel Beeri, Yoram Kornatzky:
Algebraic Optimization of Object-Oriented Query Languages. Theor. Comput. Sci. 116(1): 59-94 (1993) - [c43]Catriel Beeri:
Some thoughts on the future evolution of object-oriented database concepts. BTW 1993: 18-32 - [c42]Catriel Beeri, Paula Ta-Shma:
Bulk Data Types, A Theoretical Approach. DBPL 1993: 80-96 - [c41]Catriel Beeri:
Query Languages for Models with Object-Oriented Features. NATO ASI OODBS 1993: 47-71 - [c40]Catriel Beeri, Tova Milo:
On the Power of Algebras with Recursion. SIGMOD Conference 1993: 377-386 - [c39]S. Sudarshan, Divesh Srivastava, Raghu Ramakrishnan, Catriel Beeri:
Extending the Well-Founded and Valid Semantics for Aggregation. ILPS 1993: 590-608 - [e2]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, ISBN 0-89791-593-3 [contents] - 1992
- [c38]Catriel Beeri:
Discussion Report: Update Languages. FMLDO 1992: 221-222 - [c37]Catriel Beeri:
New Data Models and Languages - the Challenge. PODS 1992: 1-15 - [c36]Catriel Beeri, Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan:
The Valid Model Semantics for Logic Programs. PODS 1992: 91-104 - [c35]Catriel Beeri, Tova Milo:
Functional and Predicative Programming in OODB's. PODS 1992: 176-190 - 1991
- [j23]Catriel Beeri:
Theoretical Foundations for OODB's - a Personal Perspective. IEEE Data Eng. Bull. 14(2): 8-12 (1991) - [j22]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) - [j21]Catriel Beeri, Raghu Ramakrishnan:
On the Power of Magic. J. Log. Program. 10(3&4): 255-299 (1991) - [c34]Catriel Beeri, Tova Milo:
Subtyping in OODB's. PODS 1991: 300-314 - [c33]Catriel Beeri, Tova Milo:
A Model for Active Object Oriented Databases. VLDB 1991: 337-349 - 1990
- [j20]Catriel Beeri:
A Formal Approach to Object-Oriented Databases. Data Knowl. Eng. 5: 353-382 (1990) - [j19]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) - [c32]Catriel Beeri, Yoram Kornatzky:
A Logical Query Language for Hypertext Systems. ECHT 1990: 67-80 - [c31]Catriel Beeri, Yoram Kornatzky:
The Many Faces of Query Monotonicity. EDBT 1990: 120-135 - [c30]Catriel Beeri, Yoram Kornatzky:
Algebraic Optimization of Object-Oriented Query Languages. ICDT 1990: 72-88 - [c29]Catriel Beeri:
Logic Programming and Databases. ICLP 1990: 783 - [c28]Catriel Beeri:
New directions in database management systems. Jerusalem Conference on Information Technology 1990: 500-506
1980 – 1989
- 1989
- [j18]Catriel Beeri, Philip A. Bernstein, Nathan Goodman:
A model for concurrency in nested transactions systems. J. ACM 36(2): 230-269 (1989) - [c27]Catriel Beeri:
Formal Models for Object Oriented Databases. DOOD 1989: 405-430 - 1988
- [c26]Catriel Beeri:
On the use of logic programming databases. BDA 1988: 161-180 - [c25]Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum:
Multi-Level Transaction Management, Theoretical Art or Practical Need ? EDBT 1988: 134-154 - [c24]Catriel Beeri:
Data Models and Languages for Databases. ICDT 1988: 19-40 - [c23]Catriel Beeri, Roger Nasr, Shalom Tsur:
Embedding Psi-Terms in a Horn-Clause Logic Language. JCDKB 1988: 347-359 - [c22]Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy:
Optimizing Existential Datalog Queries. PODS 1988: 89-102 - [e1]Catriel Beeri, Joachim W. Schmidt, Umeshwar Dayal:
Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, June 28-30, 1988, Jerusalem, Israel. Morgan Kaufmann 1988, ISBN 978-1-4832-1313-2 [contents] - 1987
- [j17]Catriel Beeri, Michael Kifer:
A theory of intersection anomalies in relational database schemes. J. ACM 34(3): 544-577 (1987) - [c21]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 - [c20]Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur:
Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37 - [c19]Catriel Beeri, Paris C. Kanellakis, François Bancilhon, Raghu Ramakrishnan:
Bounds on the Propagation of Selection into Logic Programs. PODS 1987: 214-226 - [c18]Catriel Beeri, Raghu Ramakrishnan:
On the Power of Magic. PODS 1987: 269-284 - 1986
- [j16]Catriel Beeri, Michael Kifer:
Elimination of intersection anomalies from database schemes. J. ACM 33(3): 423-450 (1986) - [j15]Catriel Beeri, Michael Kifer:
An Integrated Approach to Logical Design of Relational Database Schemes. ACM Trans. Database Syst. 11(2): 134-158 (1986) - [c17]François Bancilhon, Catriel Beeri, Paris C. Kanellakis, Raghu Ramakrishnan:
Pushing Selections into Logic Programs. XP7.52 Workshop on Database Theory 1986 - 1985
- [j14]Catriel Beeri, Moshe Y. Vardi:
Formal Systems for Join Dependencies. Theor. Comput. Sci. 38: 99-116 (1985) - 1984
- [j13]Catriel Beeri, Moshe Y. Vardi:
On Acyclic Database Decompositions. Inf. Control. 61(2): 75-84 (1984) - [j12]Catriel Beeri, Martin Dowd, Ronald Fagin, Richard Statman:
On the Structure of Armstrong Relations for Functional Dependencies. J. ACM 31(1): 30-46 (1984) - [j11]Catriel Beeri, Moshe Y. Vardi:
A Proof Procedure for Data Dependencies. J. ACM 31(4): 718-741 (1984) - [j10]Catriel Beeri, Moshe Y. Vardi:
Formal Systems for Tuple and Equality Generating Dependencies. SIAM J. Comput. 13(1): 76-98 (1984) - [c16]Catriel Beeri:
Integrity and Reliability - Chairman's Report. DDSS 1984: 191-192 - [c15]Catriel Beeri, Michael Kifer:
Comprehensive Approach to the Design of Relational Database Schemes. VLDB 1984: 196-207 - 1983
- [j9]Catriel Beeri, Ronald Fagin, David Maier, Mihalis Yannakakis:
On the Desirability of Acyclic Database Schemes. J. ACM 30(3): 479-513 (1983) - [c14]Catriel Beeri, Philip A. Bernstein, Nathan Goodman:
A Concurrency Control Theory for Nested Transactions. PODC 1983: 45-62 - [c13]Catriel Beeri, Michael Kifer:
Elimination of Intersection Anomalies from Database Schemes. PODS 1983: 340-351 - 1982
- [c12]Catriel Beeri, Henry F. Korth:
Compatible Attributes in a Universal Relation. PODS 1982: 55-62 - 1981
- [j8]Catriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman:
Equivalence of Relational Database Schemes. SIAM J. Comput. 10(2): 352-370 (1981) - [j7]Catriel Beeri, Peter Honeyman:
Preserving Functional Dependencies. SIAM J. Comput. 10(3): 647-656 (1981) - [j6]Catriel Beeri, Moshe Y. Vardi:
A Note on Decompositions of Relational Databases. SIGMOD Rec. 12(1): 33-37 (1981) - [c11]Catriel Beeri, Moshe Y. Vardi:
The Implication Problem for Data Dependencies. ICALP 1981: 73-85 - [c10]Catriel Beeri, Ronald Fagin, David Maier, Alberto O. Mendelzon, Jeffrey D. Ullman, Mihalis Yannakakis:
Properties of Acyclic Database Schemes. STOC 1981: 355-362 - [c9]Catriel Beeri, Ron Obermarck:
A Resource Class Independent Deadlock Detection Algorithm. VLDB 1981: 166-178 - 1980
- [j5]Catriel Beeri:
On the Membership Problem for Functional and Multivalued Dependencies in Relational Databases. ACM Trans. Database Syst. 5(3): 241-259 (1980) - [c8]Catriel Beeri, Moshe Y. Vardi:
Decision Problems for Data Dependencies. XP1 Workshop on Database Theory 1980
1970 – 1979
- 1979
- [j4]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) - [j3]Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman:
The Theory of Joins in Relational Databases. ACM Trans. Database Syst. 4(3): 297-314 (1979) - [c7]Catriel Beeri, Moshe Y. Vardi:
On the Properties of Join Dependencies. Advances in Data Base Theory 1979: 25-71 - [c6]Catriel Beeri, Alberto O. Mendelzon, Yehoshua Sagiv, Jeffrey D. Ullman:
Equivalence of Relational Database Schemes. STOC 1979: 319-329 - 1978
- [c5]Catriel Beeri, Philip A. Bernstein, Nathan Goodman:
A Sophisticate's Introduction to Database Normalization Theory. VLDB 1978: 113-124 - 1977
- [c4]Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman:
The Theory of Joins in Relational Data Bases (Extended Abstract). FOCS 1977: 107-113 - [c3]Catriel Beeri, Ronald Fagin, John H. Howard:
A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations. SIGMOD Conference 1977: 47-61 - 1976
- [j2]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
- [b1]Catriel Beeri:
על מידת הסיבוך של מספר בעיות בתורת האוטומטים. (On the complexity of some problems in automata theory.). Hebrew University of Jerusalem, Israel, 1975 - [j1]Catriel Beeri:
Two-Way Nested Stack Automata Are Equivalent to Two-Way Stack Automata. J. Comput. Syst. Sci. 10(3): 317-339 (1975) - [c2]Catriel Beeri:
An Improvement of Valiant's Decision Procedure for Equivalence of Deterministic Finite-Turn Pushdown Automata. FOCS 1975: 128-134 - 1974
- [c1]Eli Shamir, Catriel Beeri:
Checking Stacks and Context-Free Programmed Grammars Accept p-complete Languages. ICALP 1974: 27-33
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
