Formal verification of information derivability in databases using precedence analyses. - Antoni Olivé; Fèlix Saltor (Inf. Syst., 1982)

Analysis of Conceptual and Logical Models in Information Systems Design Methodologies. - Antoni Olivé (CRIS, 1983)

Information Derivability Analysis In Logical Information Systems. - Antoni Olivé (Commun. ACM, 1983)

Input output timing in information systems. - Antoni Olivé (Inf. Syst., 1983)

Analysis of conceptual and logical models in information systems design methodologies. - Antoni Olivé (Trends in Information Systems, 1986)

A Comparison of the Operational and Deductive Approaches to Conceptual Information Systems Modelling. - Antoni Olivé (IFIP Congress, 1986)

A formal approach to timing analysis and design of information systems. - Antoni Olivé (Inf. Syst., 1987)

On the design and implementation of information systems from deductive conceptual models. - Antoni Olivé (VLDB, 1989)

Integrity Constraints Checking in Deductive Databases with the Internal Events Method. - Antoni Olivé; Joan Antoni Pastor (FMLDO, 1990)

Integrity Constraints Checking In Deductive Databases. - Antoni Olivé (VLDB, 1991)

A Method for Reasoning About Deductive Conceptual Models of Information Systems. - Dolors Costal; Antoni Olivé (CAiSE, 1992)

The Events Method for View Updating in Deductive Databases. - Ernest Teniente; Antoni Olivé (EDBT, 1992)

A Method for Change Computation in Deductive Databases. - Toni Urpí; Antoni Olivé (VLDB, 1992)

Evants and Events rules in Active Databases. - Toni Urpí; Antoni Olivé (IEEE Data Eng. Bull., 1992)

Object Interaction in Object-Oriented Deductive Conceptual Models - Carme Quer; Antoni Olivé (CAiSE, 1993)

Deriving Transaction Specifications from Deductive Conceptual Models of Information Systems - Maria-Ribera Sancho; Antoni Olivé (CAiSE, 1994)

Semantic Change Computation Optimization in Active Databases. - Toni Urpí; Antoni Olivé (RIDE-ADS, 1994)

Deteriming Object Interaction in Object-Oriented Deductive Conceptual Models. - Carme Quer; Antoni Olivé (Inf. Syst., 1994)

A Method for Explaining the Behaviour of Conceptual Models - Antoni Olivé; Maria-Ribera Sancho (CAiSE, 1995)

Supporting Transaction Design in Conceptual Modelling of Information Systems - Joan Antoni Pastor; Antoni Olivé (CAiSE, 1995)

Updating Knowledge Bases While Maintaining Their Consistency - Ernest Teniente; Antoni Olivé (VLDB J., 1995)

Las Clases de Objetos en ROSES. - Pablo Costa; Miguel Barceló; Dolors Costal; Antoni Olivé; Carme Quer; Anna Roselló; Maria-Ribera Sancho (JIDBD, 1996)

Validating Conceptual Specifications Through Model Execution. - Antoni Olivé; Maria-Ribera Sancho (Inf. Syst., 1996)

The Cause-Effect Rules of ROSES. - Dolors Costal; Maria-Ribera Sancho; Antoni Olivé; Miguel Barceló; Pablo Costa; Carme Quer; Anna Roselló (ADBIS, 1997)

The Role of Structural Events in Behaviour Specification. - Dolors Costal; Maria-Ribera Sancho; Antoni Olivé; Anna Roselló (DEXA, 1997)

Temporal Features of Class Populations and Attributes in Conceptual Models. - Dolors Costal; Antoni Olivé; Maria-Ribera Sancho (ER, 1997)

Planning Based on View Updating in Deductive Databases. - Dolors Costal; Antoni Olivé (ISMIS, 1997)

Porting ROSES to UML - An Experience Report. - Antoni Olivé; Maria-Ribera Sancho (UML, 1998)

Special Issue on Advanced Information Systems Engineering. - Antoni Olivé; Maria-Ribera Sancho (Inf. Syst., 1998)

Relationship Reification: A Temporal View. - Antoni Olivé (CAiSE, 1999)

Entity Evolution in ISA Hierarchies. - Antoni Olivé; Dolors Costal; Maria-Ribera Sancho (ER, 1999)

A Framework for the Evolution of Temporal Conceptual Schemas of Information Systems. - Juan-Ramón López; Antoni Olivé (CAiSE, 2000)

Taxonomies and Derivation Rules in Conceptual Modeling. - Antoni Olivé (CAiSE, 2001)

Relationship Type Refinement in Conceptual Models with Multiple Classification. - Dolors Costal; Antoni Olivé; Ernest Teniente (ER, 2001)

Evolving Partitions in Conceptual Schemas in the UML. - Cristina Gómez 001; Antoni Olivé (CAiSE, 2002)

Representation of Generic Relationship Types in Conceptual Modeling. - Antoni Olivé (CAiSE, 2002)

Specific Relationship Types in Conceptual Modeling: The Cases of Generic and with Common Participants. - Antoni Olivé (ICEIS, 2002)

Derived types and taxonomic constraints in conceptual modeling. - Antoni Olivé; Ernest Teniente (Inf. Syst., 2002)

Derivation Rules in Object-Oriented Conceptual Modeling Languages. - Antoni Olivé (CAiSE, 2003)

Building Conceptual Schemas by Refining General Ontologies. - Jordi Conesa; Xavier de Palol; Antoni Olivé (DEXA, 2003)

Entity Types Derived by Symbol-Generating Rules. - Jordi Cabot; Antoni Olivé; Ernest Teniente (ER, 2003)

Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages. - Antoni Olivé (ER, 2003)

Evolving Derived Entity Types in Conceptual Schemas in the UML. - Cristina Gómez 001; Antoni Olivé (OOIS, 2003)

Representing Temporal Information in UML. - Jordi Cabot; Antoni Olivé; Ernest Teniente (UML, 2003)

On the Role of Conceptual Schemas in Information Systems Development. - Antoni Olivé (Ada-Europe, 2004)

A General Method for Pruning OWL Ontologies. - Jordi Conesa; Antoni Olivé (CoopIS/DOA/ODBASE (2), 2004)

Pruning Ontologies in the Development of Conceptual Schemas of Information Systems. - Jordi Conesa; Antoni Olivé (ER, 2004)

Definition of Events and Their Effects in Object-Oriented Conceptual Modeling Languages. - Antoni Olivé (ER, 2004)

Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research. - Antoni Olivé (CAiSE, 2005)

A method for the definition of integrity constraints in object-oriented conceptual modeling languages. - Antoni Olivé (Data Knowl. Eng., 2006)

Modeling events as entities in object-oriented conceptual modeling languages. - Antoni Olivé; Ruth Raventós (Data Knowl. Eng., 2006)

A Method for Pruning Ontologies in the Development of Conceptual Schemas of Information Systems. - Jordi Conesa; Antoni Olivé (J. Data Semant., 2006)

Conceptual modeling of information systems. - Antoni Olivé (Springer, 2007)

Definición, importancia y especificación en UML de las restricciones de integridad constante y permanente. - Raquel Pau; Antoni Olivé (JISBD, 2007)

25th International conference on conceptual modeling (ER 2006). - David W. Embley; Antoni Olivé; Peter P. Chen (Data Knowl. Eng., 2007)

An object-oriented operation-based approach to translation between MOF metaschemas. - Ruth Raventós; Antoni Olivé (Data Knowl. Eng., 2008)

First Steps Towards Conceptual Schema Testing. - Albert Tort; Antoni Olivé (CAiSE Forum, 2009)

On Computing the Importance of Entity Types in Large Conceptual Schemas. - Antonio Villegas; Antoni Olivé (ER Workshops, 2009)

Testing Conceptual Schema Satisfiability. - Antoni Olivé; Albert Tort (Intentional Perspectives on Information Systems Engineering, 2010)

A Method for Filtering Large Conceptual Schemas. - Antonio Villegas; Antoni Olivé (ER, 2010)

Improving the Usability of HL7 Information Models by Automatic Filtering. - Antonio Villegas; Antoni Olivé; Josep Vilalta (SERVICES, 2010)

An approach to testing conceptual schemas. - Albert Tort; Antoni Olivé (Data Knowl. Eng., 2010)

Extending the Methods for Computing the Importance of Entity Types in Large Conceptual Schemas. - Antonio Villegas; Antoni Olivé (J. Univers. Comput. Sci., 2010)

Refactoring and its Application to Ontologies. - Jordi Conesa; Antoni Olivé; Santi Caballé (Semantic Web Personalization and Context Awareness, 2011)

An Eclipse Plugin for Validating Names in UML Conceptual Schemas. - David Aguilera; Raúl García-Ranea; Cristina Gómez 001; Antoni Olivé (ER Workshops, 2011)

Panel: New Directions for Conceptual Modeling. - Jeffrey Parsons; Antoni Olivé; Sudha Ram; Gerd Wagner 001; Yair Wand; Eric S. K. Yu (ER, 2011)

The CSTL Processor: A Tool for Automated Conceptual Schema Testing. - Albert Tort; Antoni Olivé; Maria-Ribera Sancho (ER Workshops, 2011)

A Tool for Filtering Large Conceptual Schemas. - Antonio Villegas; Maria-Ribera Sancho; Antoni Olivé (ER Workshops, 2011)

An approach to test-driven development of conceptual schemas. - Albert Tort; Antoni Olivé; Maria-Ribera Sancho (Data Knowl. Eng., 2011)

On Computing the Importance of Associations in Large Conceptual Schemas. - Antonio Villegas; Antoni Olivé; Maria-Ribera Sancho (Conceptual Modelling and Its Theoretical Foundations, 2012)

On Checking Executable Conceptual Schema Validity by Testing. - Albert Tort; Antoni Olivé; Maria-Ribera Sancho (DEXA (1), 2012)

A Method for the Definition and Treatment of Conceptual Schema Quality Issues. - David Aguilera; Cristina Gómez 001; Antoni Olivé (ER, 2012)

An Eclipse Plugin for Improving the Quality of UML Conceptual Schemas. - David Aguilera; Cristina Gómez 001; Antoni Olivé (ER Workshops, 2012)

Understanding Constraint Expressions in Large Conceptual Schemas by Automatic Filtering. - Antonio Villegas; Antoni Olivé; Maria-Ribera Sancho (ER, 2012)

A Web-Based Filtering Engine for Understanding Event Specifications in Large Conceptual Schemas. - Antonio Villegas; Antoni Olivé; Maria-Ribera Sancho (ER Workshops, 2012)

Enforcement of Conceptual Schema Quality Issues in Current Integrated Development Environments. - David Aguilera; Cristina Gómez 001; Antoni Olivé (CAiSE, 2013)

Former Students' Perception of Improvement Potential of Conceptual Modeling in Practice. - Albert Tort; Antoni Olivé; Joan Antoni Pastor (ER, 2013)

Former Students' Views on the Usefulness of Conceptual Modeling Education. - Albert Tort; Antoni Olivé; Joan Antoni Pastor (ER Workshops, 2013)

A complete set of guidelines for naming UML conceptual schema elements. - David Aguilera; Cristina Gómez 001; Antoni Olivé (Data Knowl. Eng., 2013)

A Computer-Guided Approach to Website Schema.org Design. - Albert Tort; Antoni Olivé (ER, 2014)

Conceptual Modeling in Agile Information Systems Development. - Antoni Olivé (ICEIS (1), 2014)

An Approach to Conceptual Fit Analysis for COTS Selection. - Antoni Olivé (CAiSE Forum, 2015)

A Formal Method for Conceptual Fit Analysis. - Antoni Olivé (Complex Syst. Informatics Model. Q., 2015)

An approach to website schema.org design. - Albert Tort; Antoni Olivé (Data Knowl. Eng., 2015)

The Universal Ontology: A Vision for Conceptual Modeling and the Semantic Web (Invited Paper). - Antoni Olivé (ER, 2017)

A Universal Ontology-based Approach to Data Integration. - Antoni Olivé (Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018)

The Conceptual Schema of Ethereum. - Antoni Olivé (ER, 2020)