John Mylopoulos Papers on DiSC'04 The hyperion project: from data integration to data coordination From Entities and Relationships to Social Actors and Dependencies A Semantic Approach to XML-based Data Integration Reasoning with Goal Models Publications Note: Links lead to the DBLP on the Web. John Mylopoulos Yannis Velegrakis , Renée J. Miller , Lucian Popa , John Mylopoulos: ToMAS: A System for Adapting Mappings while Schemas Evolve. ICDE 2004 : 862 Paolo Giorgini , Fabio Massacci , John Mylopoulos, Nicola Zannone : Requirements Engineering Meets Trust Management: Model, Methodology, and Reasoning. iTrust 2004 : 176-190 Andrea De Lucia , James R. Cordy , John Mylopoulos: Introduction. Autom. Softw. Eng. 11 (1): 5-6 (2004) John Mylopoulos, Carson C. Woo : Introduction to special issue with best papers from CAiSE 2002. Inf. Syst. 29 (2): 95-96 (2004) Dieter Fensel , Katia P. Sycara , John Mylopoulos: The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings Springer 2003 Jaelson Castro , Carla T. L. L. Silva , John Mylopoulos: Modeling Organizational Architectural Styles in UML. CAiSE 2003 : 111-126 Manuel Kolp , Paolo Giorgini , John Mylopoulos: Organizational Patterns for Early Requirements Analysis. CAiSE 2003 : 617-632 Luciano Serafini , Fausto Giunchiglia , John Mylopoulos, Philip A. Bernstein : Local Relational Model: A Logical Formalization of Database Coordination. CONTEXT 2003 : 286-299 John Mylopoulos: Tenth Anniversasy of CoopIS: Cooperative Information Systems Then and Now. CoopIS/DOA/ODBASE 2003 : 1 Vasiliki Kantere , John Mylopoulos, Iluju Kiringa : A Distributed Rule Mechanism for Multidatabase Systems. CoopIS/DOA/ODBASE 2003 : 56-73 Vasiliki Kantere , Iluju Kiringa , John Mylopoulos, Anastasios Kementsietsidis , Marcelo Arenas : Coordinating Peer Databases Using ECA Rules. DBISP2P 2003 : 108-122 John Mylopoulos: Modeling Software. Description Logics 2003 Paolo Giorgini , Fabio Massacci , John Mylopoulos: Requirement Engineering Meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard. ER 2003 : 263-276 Jianguo Lu , John Mylopoulos: Automated EJB Client Code Generation Using Database Query Rewriting. IDEAS 2003 : 308-319 Paolo Giorgini , John Mylopoulos, Eleonora Nicchiarelli , Roberto Sebastiani : Formal Reasoning Techniques for Goal Models. J. Data Semantics I 2003 : 1-20 John Mylopoulos: Agent Oriented Software Development. OOIS 2003 : 1 Ariel Fuxman , Lin Liu , Marco Pistore , Marco Roveri , John Mylopoulos: Specifying and Analyzing Early Requirements: Some Experimental Results. RE 2003 : 105- Bowen Hui , Sotirios Liaskos , John Mylopoulos: Requirements Analysis for Customizable Software Goals-Skills-Preferences Framework. RE 2003 : 117-126 Lin Liu , Eric S. K. Yu , John Mylopoulos: Security and Privacy Requirements Analysis within a Social Setting. RE 2003 : 151-161 Davide Bolchini , John Mylopoulos: From Task-Oriented to Goal-Oriented Web Requirements Analysis. WISE 2003 : 166-175 John Mylopoulos, Maria E. Orlowska : SemanticWeb Services: Facts and Fiction. WISE 2003 : 369-372 Ladan Tahvildari , Kostas Kontogiannis , John Mylopoulos: Quality-driven software re-engineering. Journal of Systems and Software 66 (3): 225-239 (2003) Pericles Loucopoulos , John Mylopoulos: Requirements Engineering editorial. Requir. Eng. 8 (1): 1 (2003) Marcelo Arenas , Vasiliki Kantere , Anastasios Kementsietsidis , Iluju Kiringa , Renée J. Miller , John Mylopoulos: The hyperion project: from data integration to data coordination. SIGMOD Record 32 (3): 53-58 (2003) Anne Banks Pidduck , John Mylopoulos, Carson C. Woo , M. Tamer Özsu : Advanced Information Systems Engineering, 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings Springer 2002 Fausto Giunchiglia , John Mylopoulos, Anna Perini : The tropos software development methodology: processes, models and diagrams. AAMAS 2002 : 35-36 Manuel Kolp , Paolo Giorgini , John Mylopoulos: Organizational multi-agent architectures: a mobile robot example. AAMAS 2002 : 94-95 Paolo Giorgini , Manuel Kolp , John Mylopoulos: Socio-Intentional Architectures for Multi-Agent Systems: the Mobile Robot Control case. AOIS@CAiSE 2002 Paolo Giorgini , Manuel Kolp , John Mylopoulos: Multi-agent and Software Architectures: A Comparative Case Study. AOSE 2002 : 101-112 Fausto Giunchiglia , John Mylopoulos, Anna Perini : The Tropos Software Development Methodology: Processes, Models and Diagrams. AOSE 2002 : 162-173 Loris Penserini , L. Liu , John Mylopoulos, Luca Spalazzi : Modeling and Evaluating Cooperation Strategies in P2P Agent Systems. AP2PC 2002 : 87-99 Paolo Giorgini , John Mylopoulos, Eleonora Nicchiarelli , Roberto Sebastiani : Reasoning with Goal Models. ER 2002 : 167-181 Manuel Kolp , Paolo Giorgini , John Mylopoulos: Information systems development through social structures. SEKE 2002 : 183-190 Jaelson Castro , Rosa Pinto , Andréa Castor , John Mylopoulos: Requirements Traceability in Agent Oriented Development. SELMAS 2002 : 57-72 John Mylopoulos, Manuel Kolp , Paolo Giorgini : Agent-Oriented Software Development. SETN 2002 : 3-17 Gregory McArthur , John Mylopoulos, Siu Kee Keith Ng : An Extensible Tool for Source Code Representation Using XML. WCRE 2002 : 199- Philip A. Bernstein , Fausto Giunchiglia , Anastasios Kementsietsidis , John Mylopoulos, Luciano Serafini , Ilya Zaihrayeu : Data Management for Peer-to-Peer Computing : A Vision. WebDB 2002 : 89-94 Huaiqing Wang , John Mylopoulos, Stephen Liao : Intelligent agents and financial risk monitoring systems. Commun. ACM 45 (3): 83-88 (2002) Jaelson Castro , Manuel Kolp , John Mylopoulos: Towards requirements-driven information systems engineering: the Tropos project. Inf. Syst. 27 (6): 365-389 (2002) Jianguo Lu , John Mylopoulos: Extensible Information Brokers. International Journal on Artificial Intelligence Tools 11 (1): 95-115 (2002) Hermann Kaindl , Sjaak Brinkkemper , Janis A. Bubenko Jr. , Barbara Farbey , Sol J. Greenspan , Constance L. Heitmeyer , Julio Cesar Sampaio do Prado Leite , Nancy R. Mead , John Mylopoulos, Jawed I. A. Siddiqi : Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda. Requir. Eng. 7 (3): 113-123 (2002) Paolo Bresciani , Anna Perini , Paolo Giorgini , Fausto Giunchiglia , John Mylopoulos: Modeling Early Requirements in Tropos: A Transformation Based Approach. AOSE 2001 : 151-168 Manuel Kolp , Paolo Giorgini , John Mylopoulos: A Goal-Based Organizational Perspective on Multi-agent Architectures. ATAL 2001 : 128-140 Paolo Bresciani , Anna Perini , Paolo Giorgini , Fausto Giunchiglia , John Mylopoulos: A knowledge level software engineering methodology for agent oriented programming. Agents 2001 : 648-655 Jaelson Castro , Manuel Kolp , John Mylopoulos: A Requirements-Driven Development Methodology. CAiSE 2001 : 108-123 Patricia Rodríguez-Gianolli , John Mylopoulos: A Semantic Approach to XML-based Data Integration. ER 2001 : 117-132 Ariel Fuxman , Paolo Giorgini , Manuel Kolp , John Mylopoulos: Information systems as social structures. FOIS 2001 : 10-21 Jaelson Castro , John Mylopoulos, Fernanda M. R. Alencar , Gilberto A. Cysneiros Filho : Integrating Organizational Requirements and Object Oriented Modeling. RE 2001 : 146-153 Ariel Fuxman , John Mylopoulos, Marco Pistore , Paolo Traverso : Model Checking Early Requirements Specifications in Tropos. RE 2001 : 174-181 John Mylopoulos, Manuel Kolp , Jaelson Castro : UML for Agent-Oriented Software Development: The Tropos Proposal. UML 2001 : 422-441 Ladan Tahvildari , Kostas Kontogiannis , John Mylopoulos: Requirements-Driven Software Re-engineering Framework. WCRE 2001 : 71-80 Raoul Jarvis , Gregory McArthur , John Mylopoulos, Patricia Rodríguez-Gianolli , Shun Zhou : Semantic Models for Knowledge Management. WISE (1) 2001 : 8- John Mylopoulos, Lawrence Chung , Stephen Liao , Huaiqing Wang , Eric S. K. Yu : Exploring Alternatives during Requirements Analysis. IEEE Software 18 (1): (2001) Avigdor Gal , John Mylopoulos: Toward Web-Based Application Management Systems. IEEE Trans. Knowl. Data Eng. 13 (4): 683-702 (2001) Jianguo Lu , John Mylopoulos, Jamie Ho : Towards Extensible Information Brokers Based on XML. CAiSE 2000 : 32-46 Hermann Kaindl , John Mylopoulos: Why Is It So Difficult to Introduce RE Research Results into Mainstream RE Practice? CAiSE 2000 : 7-12 John Mylopoulos, Ariel Fuxman , Paolo Giorgini : From Entities and Relationships to Social Actors and Dependencies. ER 2000 : 27-36 Jaelson Castro , Manuel Kolp , John Mylopoulos: Developing Agent-Oriented Information Systems for the Enterprise. ICEIS 2000 : IS 9-24 Jianguo Lu , John Mylopoulos, Masateru Harao , Masami Hagiya : Higher order generalization and its application in program verification. Ann. Math. Artif. Intell. 28 (1-4): 107-126 (2000) Igor Jurisica , Janice I. Glasgow , John Mylopoulos: Incremental Iterative Retrieval and Browsing for Efficient Conversational CBR Systems. Appl. Intell. 12 (3): 251-268 (2000) John Mylopoulos: Desert Island Column: A Trip to Carthea. Autom. Softw. Eng. 7 (4): 377-380 (2000) Weidong Kou , David Lauzon , William G. O'Farrell , Teo Loo See , Daniel Wee , Daniel Tan , Kelvin Cheung , Richard Gregory , Kostas Kontogiannis , John Mylopoulos: End-to-end E-commerce Application Development Based on XML Tools. IEEE Data Eng. Bull. 23 (1): 29-36 (2000) Avigdor Gal , John Mylopoulos: Supporting Distributed Autonomous Information Services Using Coordination. Int. J. Cooperative Inf. Syst. 9 (3): 255-282 (2000) Yves Lespérance , Todd G. Kelley , John Mylopoulos, Eric S. K. Yu : Modeling Dynamic Domains with ConGolog. CAiSE 1999 : 365-380 John Mylopoulos, Lawrence Chung , Eric S. K. Yu : From Object-Oriented to Goal-Oriented Requirements Analysis. Commun. ACM 42 (1): 31-37 (1999) Avigdor Gal , Scott Kerr , John Mylopoulos: Information Services for the Web: Building and Maintaining Domain Models. Int. J. Cooperative Inf. Syst. 8 (4): 227-254 (1999) Scott Kerr , Avigdor Gal , John Mylopoulos: Information Services for the Web: Building and Maintaining Domain Models. CoopIS 1998 : 4-13 John Mylopoulos: Panel on Next Generation Database Systems Won't Work Without Semantics! SIGMOD Conference 1998 : 497 Igor Jurisica , John Mylopoulos, Janice I. Glasgow , Heather Shapiro , Robert F. Casper : Case-based reasoning in IVF: prediction and knowledge mining. Artificial Intelligence in Medicine 12 (1): 1-24 (1998) Giorgio De Michelis , Eric Dubois , Matthias Jarke , Florian Matthes , John Mylopoulos, Joachim W. Schmidt , Carson C. Woo , Eric S. K. Yu : A Three-Faced View of Information Systems. Commun. ACM 41 (12): 64-70 (1998) John Mylopoulos: Information Modeling in the Time of the Revolution. Inf. Syst. 23 (3-4): 127-155 (1998) Avigdor Gal , John Mylopoulos: Information Services: Coping with the Information Crisis - Guest Editors' Introduction. Int. J. Cooperative Inf. Syst. 7 (2-3): 117-122 (1998) John Mylopoulos, Alexander Borgida , Eric S. K. Yu : Representing Software Engineering Knowledge. Autom. Softw. Eng. 4 (3): 291-317 (1997) Patrick J. Finnigan , Richard C. Holt , Ivan Kalas , Scott Kerr , Kostas Kontogiannis , Hausi A. Müller , John Mylopoulos, Stephen G. Perelgut , Martin Stanley , Kenny Wong : The Software Bookshelf. IBM Systems Journal 36 (4): 564-593 (1997) John Mylopoulos, Mike P. Papazoglou : Guest Editors' Introduction. IEEE Expert 12 (5): 28-31 (1997) Panos Constantopoulos , John Mylopoulos, Yannis Vassiliou : Advances Information System Engineering, 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, May 20-24, 1996, Proceedings Springer 1996 Renate Motschnig-Pitrik , John Mylopoulos: Semantics, Features, and Applications of the Viewpoint Abstraction. CAiSE 1996 : 514-539 Matthias Jarke , John Mylopoulos: Cooperative Information Systems: A Research Agenda (Tutorial). CSCW 1996 : 5 Bryan M. Kramer , John Mylopoulos, Michael E. Benjamin , Q. B. Chou , Peter Ahn , John Opala : Developing an Expert System Technology for Industrial Process Control: An Experience Report. Canadian Conference on AI 1996 : 172-186 John Mylopoulos, Avigdor Gal , Kostas Kontogiannis , Martin Stanley : A Generic Integration Architecture for Cooperative Information Systems. CoopIS 1996 : 208-217 Dimitris Plexousakis , John Mylopoulos: Accomodating Integrity Constraints During Database Design. EDBT 1996 : 497-513 Thodoros Topaloglou , John Mylopoulos: Representing Partial Spatial Information in Databases. ER 1996 : 325-340 Eric S. K. Yu , John Mylopoulos, Yves Lespérance : AI Models for Business Process Reengineering. IEEE Expert 11 (4): 16-23 (1996) John Mylopoulos, Vinay K. Chaudhri , Dimitris Plexousakis , Adel Shrufi , Thodoros Topaloglou : Building Knowledge Base Management Systems. VLDB J. 5 (4): 238-263 (1996) Eric S. K. Yu , Philippe Du Bois , Eric Dubois , John Mylopoulos: From Organization Models to System Requirements: A 'Cooperating Agents' Approach. CoopIS 1995 : 194-204 John Mylopoulos, Renate Motschnig-Pitrik : Partitioning Information Bases with Contexts. CoopIS 1995 : 44-54 Vinay K. Chaudhri , John Mylopoulos: Efficient Algorithms and Performance Results for Multi-User Knowledge Bases. IJCAI (1) 1995 : 759-767 Linda A. Macaulay , John Mylopoulos: Requirements Engineering: An Educational Dilemma. Autom. Softw. Eng. 2 (4): 343-351 (1995) Alexander Borgida , John Mylopoulos, Raymond Reiter : On the Frame Problem in Procedure Specifications. IEEE Trans. Software Eng. 21 (10): 785-798 (1995) Eric S. K. Yu , John Mylopoulos: From E-R to ``A-R'' - Modelling Strategic Actor Relationships for Business Process Reengineering. Int. J. Cooperative Inf. Syst. 4 (2-3): 125-144 (1995) Panos Constantopoulos , Matthias Jarke , John Mylopoulos, Yannis Vassiliou : The Software Information Base: A Server for Reuse VLDB J. 4 (1): 1-43 (1995) Vinay K. Chaudhri , Vassos Hadzilacos , John Mylopoulos, Kenneth C. Sevcik : Quantitative Evaluation of a Transaction Facility for a Knowledge Base Management System. CIKM 1994 : 122-131 John Mylopoulos: Expert Systems for Industrial Process Control: A Study in Technology Transfer. DEXA 1994 : 359 Eric S. K. Yu , John Mylopoulos: From E-R to "A-R" - Modelling Strategic Actor Relationships for Business Process Reengineering. ER 1994 : 548-565 Eric S. K. Yu , John Mylopoulos: Using Goals, Rules, and Methods to Support Reasoning in Business Process Re-engineering. HICSS (4) 1994 : 234-243 Sol J. Greenspan , John Mylopoulos, Alexander Borgida : On Formal Requirements Modeling Languages: RML Revisited. ICSE 1994 : 135-147 Eric S. K. Yu , John Mylopoulos: Understanding "Why" in Software Process Modelling, Analysis, and Design. ICSE 1994 : 159-168 Erich B. Buss , Renato de Mori , W. Morven Gentleman , John Henshaw , Howard Johnson , Kostas Kontogiannis , Ettore Merlo , Hausi A. Müller , John Mylopoulos, Santanu Paul , Atul Prakash , Martin Stanley , Scott R. Tilley , Joel Troster , Kenny Wong : Investigating Reverse Engineering Technologies for the CAS Program Understanding Project. IBM Systems Journal 33 (3): 477-500 (1994) Michael L. Brodie , Matthias Jarke , John Mylopoulos, Mike P. Papazoglou : Preface. Int. J. Cooperative Inf. Syst. 3 (1): 1-2 (1994) Eric S. K. Yu , John Mylopoulos: An actor dependency model of organizational work: with application to business process reengineering. COOCS 1993 : 258-268 John Mylopoulos, Thomas Rose , Carson C. Woo : Task-Oriented Development of Intelligent Information Systems. CoopIS 1993 : 206-219 Vinay K. Chaudhri , Vassos Hadzilacos , John Mylopoulos: Concurrency Control for Knowledge Bases. HPTS 1993 : 0- Alexander Borgida , John Mylopoulos, Raymond Reiter : "...And Nothing Else Changes": The Frame Problem in Procedure Specifications. ICSE 1993 : 303-314 John Mylopoulos: The Future Direction of AI Tools (Panel). ICTAI 1993 : 11 John Mylopoulos: Aligning Information Strategy with Business Strategy - A Technical Perspective. NGITS 1993 : 0- John Mylopoulos, Huaiqing Wang , Bryan M. Kramer : Knowbel: A Hybrid Tool for Building Expert Systems. IEEE Expert 8 (1): 17-24 (1993) Vinay K. Chaudhri , Vassos Hadzilacos , John Mylopoulos: Concurrency Control for Knowledge Bases. KR 1992 : 762-773 John Mylopoulos, Thomas Rose : Software Repositories. VLDB 1992 : 455 Matthias Jarke , John Mylopoulos, Joachim W. Schmidt , Yannis Vassiliou : DAIDA: An Environment for Evolving Information Systems. ACM Trans. Inf. Syst. 10 (1): 1-50 (1992) John Mylopoulos, Lawrence Chung , Brian A. Nixon : Representing and Using Nonfunctional Requirements: A Process-Oriented Approach. IEEE Trans. Software Eng. 18 (6): 483-497 (1992) Renate Motschnig-Pitrik , John Mylopoulos: Classes and Instances. Int. J. Cooperative Inf. Syst. 1 (1): 61-92 (1992) K. Huff , John Mylopoulos: Developing Intelligent Information Systems: A Workshop Summary. Int. J. Cooperative Inf. Syst. 2 (2): 233-248 (1992) Rick Sobiesiak , John Mylopoulos: A conceptual modelling approach to authoring-in-the-large for hypertext documents. COOCS 1991 : 225-239 Lawrence Chung , Panagiotis Katalagarianos , Manolis Marakakis , Michalis Mertikas , John Mylopoulos, Yannis Vassiliou : From information system requirements to designs: a mapping framework. Inf. Syst. 16 (4): 429-461 (1991) Bryan M. Kramer , Vinay K. Chaudhri , Manolis Koubarakis , Thodoros Topaloglou , Huaiqing Wang , John Mylopoulos: Implementing Telos. SIGART Bulletin 2 (3): 77-83 (1991) Yannis Vassiliou , Manolis Marakakis , Panagiotis Katalagarianos , Lawrence Chung , Michalis Mertikas , John Mylopoulos: IRIS - A Mapping Assistant for Generating Designs from Requirements. CAiSE 1990 : 307-338 John Mylopoulos: Object-Orientation and Knowledge Representation. DS-4 1990 : 23-37 John Mylopoulos, Michael L. Brodie : Knowledge Bases and Databases: Current Trends and Future Directions. IS/KI 1990 : 153-180 John Mylopoulos, Alexander Borgida , Matthias Jarke , Manolis Koubarakis : Telos: Representing Knowledge About Information Systems. ACM Trans. Inf. Syst. 8 (4): 325-362 (1990) Alexander Borgida , John Mylopoulos, Joachim W. Schmidt , Ingrid Wetzel : Support for Data-Intensive Applications: Conceptual Design and Software Development. DBPL 1989 : 258-280 Joachim W. Schmidt , Ingrid Wetzel , Alexander Borgida , John Mylopoulos: Database Programming by Formal Refinement of Conceptual Designs. IEEE Data Eng. Bull. 12 (3): 53-61 (1989) Lawrence Chung , Daniel Rios-Zertuche , Brian A. Nixon , John Mylopoulos: Process Management and Assertion Enforcement for a Semantic Data Model. EDBT 1988 : 469-487 Brian A. Nixon , John Mylopoulos: Integration Issues in Implementing Semantic Data Models. DBPL 1987 : 187-217 Brian A. Nixon , Lawrence Chung , David Lauzon , Alexander Borgida , John Mylopoulos, Martin Stanley : Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis. SIGMOD Conference 1987 : 118-131 Michael L. Brodie , John Mylopoulos: On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, Book resulting from the Islamorada Workshop 1985 Springer 1986 John Mylopoulos: Environments for the Development of Specifications (Panel). IFIP Congress 1986 : 317-319 Sol J. Greenspan , Alexander Borgida , John Mylopoulos: A requirements modeling language and its logic. Inf. Syst. 11 (1): 9-23 (1986) James P. Delgrande , John Mylopoulos: Knowledge Representation: Features of Knowledge. Advanced Course: Fundamentals of Artificial Intelligence 1985 : 3-36 Brian A. Nixon , Lawrence Chung , David Lauzon , Alexander Borgida , John Mylopoulos, Martin Stanley : Design of a Compiler for a Semantic Data Model. Foundations of Knowledge Base Management (Xania) 1985 : 293-343 Alexander Borgida , Matthias Jarke , John Mylopoulos, Joachim W. Schmidt , Yannis Vassiliou : The Software Development Environment as a Knowledge Base Management System. Foundations of Knowledge Base Management (Xania) 1985 : 411-442 John Mylopoulos: The Need for a Knowledge Representation Framework. Foundations of Knowledge Base Management (Xania) 1985 : 495-498 John Mylopoulos: On Knowledge Base Management Systems. On Knowledge Base Management Systems (Islamorada) 1985 : 3-8 Sol J. Greenspan , Alexander Borgida , John Mylopoulos: A Requirements Modeling Language and Its Logic. On Knowledge Base Management Systems (Islamorada) 1985 : 471-502 Michael L. Brodie , John Mylopoulos: Knowledge Bases vs. Databases. On Knowledge Base Management Systems (Islamorada) 1985 : 83-86 Alexander Borgida , Sol J. Greenspan , John Mylopoulos: Knowledge Reperesentation as the Basis for Requirements Specification (Reprint). Wissensbasierte Systeme 1985 : 152-169 Alexander Borgida , Sol J. Greenspan , John Mylopoulos: Knowledge Representation as the Basis for Requirements Specifications. IEEE Computer 18 (4): 82-91 (1985) Michael L. Brodie , John Mylopoulos, Joachim W. Schmidt : On Conceptual Modelling, Perspectives from Artificial Intelligence, Databases, and Programming Languages, Book resulting from the Intervale Workshop 1982 Springer 1984 Michael L. Brodie , Robert Balzer , Gio Wiederhold , Ronald J. Brachman , John Mylopoulos: Knowledge Base Management Systems: Discussions from the Working Group. Expert Database Workshop 1984 : 19-33 John Mylopoulos, Alexander Borgida , Sol J. Greenspan , Harry K. T. Wong : Information System Design at the Conceptual Level - The Taxis Project. IEEE Database Eng. Bull. 7 (4): 4-9 (1984) John Mylopoulos, Hector J. Levesque : An Overview of Knowledge Representation. GWAI 1983 : 143-157 Raymond Reiter , Hervé Gallaire , Jonathan J. King , John Mylopoulos, Bonnie L. Webber : A Panel on AI and Databases. IJCAI 1983 : 1199 Tetsutaro Shibahara , John K. Tsotsos , John Mylopoulos, H. Dominic Covvey : CAA: A Knowledge Based System Using Causal Knowledge to Diagnose Cardiac Rhythm Disorders. IJCAI 1983 : 242-245 John Mylopoulos, Tetsutaro Shibahara , John K. Tsotsos : Building Knowledge-Based Systems: The PSN Experience. IEEE Computer 16 (10): 83-89 (1983) Sol J. Greenspan , John Mylopoulos, Alexander Borgida : Capturing More World Knowledge in the Requirements Specification. ICSE 1982 : 225-235 John Mylopoulos, Hector J. Levesque : An Overview of Knowledge Representation. On Conceptual Modelling (Intervale) 1982 : 3-17 Alexander Borgida , John Mylopoulos, Harry K. T. Wong : Generalization/Specialization as a Basis for Software Specification. On Conceptual Modelling (Intervale) 1982 : 87-117 John Mylopoulos, Harry K. T. Wong : Some Features of the TAXIS Data Model. VLDB 1980 : 399-410 John Mylopoulos: Tutorial on Artificial Intelligence Research. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980 : 13-18 John Mylopoulos: A Perspective for Research on Conceptual Modelling. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980 : 167-170 John Mylopoulos: An Overview of Knowledge Representation. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980 : 5-12 John Mylopoulos, Martin S. Feather , Bertrand Meyer , Paolo Paolini , Diane C. P. Smith , Gary G. Hendrix : Relationships Between and Among Models (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling 1980 : 77-82 John Mylopoulos, Philip A. Bernstein , Harry K. T. Wong : A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5 (2): 185-207 (1980) John Mylopoulos, Philip A. Bernstein , Harry K. T. Wong : A Language Facility for Designing Interactive Database-Intensive Applications (Abstract). SIGMOD Conference 1978 : 17 Hector J. Levesque , John Mylopoulos: An Overview of a Procedural Approach to Semantic Networks. IJCAI 1977 : 283 John Mylopoulos, Alexander Borgida , P. Cohen , Nick Roussopoulos , John K. Tsotsos , Harry K. T. Wong : TORUS: a step towards bridging the gap between data bases and the casual user. Inf. Syst. 2 (2): 49-64 (1976) John Mylopoulos, P. Cohen , Alexander Borgida , L. Sugar : Semantic Networks and the Generation of Context. IJCAI 1975 : 134-142 John Mylopoulos: TORUS - A Natural Language Understanding System For Data Management. IJCAI 1975 : 414-421 Nick Roussopoulos , John Mylopoulos: Using Semantic Networks for Database Management. VLDB 1975 : 144-172 John Mylopoulos, Norman I. Badler , L. Melli , Nick Roussopoulos : l.Pak: A SNOBOL-Dased Programming Language for Artificial Intelligence Applications. IJCAI 1973 : 691-696 George Tourlakis , John Mylopoulos: Some Results in Computational Topology. J. ACM 20 (3): 439-455 (1973) John Mylopoulos: On the Relation of Graph Grammars and Graph Automata FOCS 1972 : 108-120 George Tourlakis , John Mylopoulos: Some Results in Computational Topology FOCS 1972 : 40-51 John Mylopoulos, Theodosios Pavlidis : On the Topological Properties of Quantized Spaces, I. The Notion of Dimension. J. ACM 18 (2): 239-246 (1971) John Mylopoulos, Theodosios Pavlidis : On the Topological Properties of Quantized Spaces, II. Connectivity and Order of Connectivity. J. ACM 18 (2): 247-254 (1971) 1 [ 86 ] 2 [ 117 ] 3 [ 141 ] [ 154 ] 4 [ 6 ] 5 [ 27 ] 6 [ 86 ] 7 [ 12 ] [ 13 ] [ 128 ] [ 157 ] 8 [ 80 ] 9 [ 145 ] 10 [ 9 ] [ 10 ] [ 19 ] [ 21 ] [ 26 ] [ 29 ] [ 30 ] [ 32 ] [ 35 ] [ 36 ] [ 38 ] [ 41 ] [ 44 ] [ 45 ] [ 46 ] [ 62 ] [ 69 ] [ 76 ] [ 92 ] 11 [ 27 ] 12 [ 121 ] [ 123 ] 13 [ 124 ] 14 [ 27 ] [ 28 ] [ 31 ] [ 40 ] [ 47 ] [ 66 ] 15 [ 124 ] 16 [ 67 ] 17 [ 96 ] 18 [ 131 ] 19 [ 107 ] [ 115 ] [ 117 ] [ 120 ] [ 126 ] [ 131 ] [ 159 ] 20 [ 50 ] [ 58 ] [ 63 ] [ 73 ] [ 78 ] [ 81 ] 21 [ 103 ] 22 [ 86 ] 23 [ 36 ] [ 41 ] [ 43 ] [ 49 ] [ 51 ] [ 55 ] [ 100 ] [ 112 ] 24 [ 9 ] [ 10 ] 25 [ 74 ] [ 89 ] 26 [ 162 ] 27 [ 23 ] 28 [ 37 ] 29 [ 80 ] [ 95 ] 30 [ 124 ] 31 [ 14 ] 32 [ 160 ] 33 [ 117 ] 34 [ 91 ] 35 [ 108 ] [ 116 ] [ 118 ] [ 148 ] 36 [ 85 ] [ 93 ] [ 98 ] [ 99 ] [ 102 ] [ 111 ] 37 [ 24 ] 38 [ 67 ] 39 [ 108 ] [ 118 ] [ 121 ] [ 122 ] [ 123 ] [ 130 ] [ 132 ] [ 133 ] [ 136 ] [ 137 ] [ 138 ] [ 150 ] [ 152 ] [ 158 ] [ 163 ] 40 [ 121 ] [ 123 ] [ 128 ] [ 135 ] [ 139 ] [ 157 ] 41 [ 96 ] [ 105 ] 42 [ 21 ] [ 26 ] [ 29 ] [ 30 ] [ 32 ] [ 38 ] [ 69 ] [ 124 ] 43 [ 103 ] 44 [ 58 ] [ 63 ] [ 73 ] 45 [ 106 ] 46 [ 106 ] 47 [ 124 ] 48 [ 14 ] 49 [ 67 ] 50 [ 110 ] 51 [ 91 ] 52 [ 53 ] 53 [ 147 ] 54 [ 35 ] [ 46 ] [ 56 ] [ 66 ] [ 74 ] [ 87 ] [ 95 ] 55 [ 113 ] 56 [ 67 ] 57 [ 96 ] [ 105 ] 58 [ 109 ] [ 124 ] 59 [ 91 ] 60 [ 141 ] [ 154 ] [ 155 ] 61 [ 49 ] [ 51 ] 62 [ 101 ] 63 [ 128 ] [ 141 ] [ 154 ] 64 [ 91 ] [ 98 ] [ 99 ] 65 [ 24 ] 66 [ 141 ] [ 154 ] [ 155 ] 67 [ 107 ] [ 115 ] [ 118 ] [ 120 ] [ 122 ] [ 126 ] [ 130 ] [ 132 ] [ 136 ] [ 137 ] [ 138 ] [ 158 ] 68 [ 67 ] [ 85 ] [ 91 ] [ 103 ] [ 114 ] [ 143 ] 69 [ 103 ] 70 [ 46 ] [ 50 ] 71 [ 50 ] [ 59 ] [ 86 ] 72 [ 36 ] [ 41 ] [ 103 ] 73 [ 124 ] 74 [ 82 ] [ 101 ] 75 [ 11 ] [ 20 ] [ 25 ] 76 [ 112 ] [ 127 ] 77 [ 147 ] 78 [ 134 ] 79 [ 146 ] [ 148 ] 80 [ 142 ] 81 [ 106 ] [ 110 ] [ 125 ] [ 151 ] 82 [ 162 ] 83 [ 77 ] 84 [ 49 ] [ 51 ] 85 [ 152 ] [ 163 ] 86 [ 95 ] 87 [ 113 ] [ 129 ] 88 [ 124 ] 89 [ 6 ] 90 [ 67 ] 91 [ 49 ] [ 51 ] 92 [ 14 ] 93 [ 95 ] 94 [ 141 ] [ 164 ] 95 [ 67 ] 96 [ 54 ] [ 79 ] [ 88 ] 97 [ 67 ] [ 91 ] 98 [ 129 ] 99 [ 133 ] [ 150 ] 100 [ 36 ] [ 41 ] [ 42 ] [ 43 ] [ 55 ] 101 [ 103 ] 102 [ 86 ] 103 [ 144 ] 104 [ 140 ] 105 [ 14 ] 106 [ 66 ] [ 90 ] 107 [ 67 ] 108 [ 1 ] [ 2 ] 109 [ 134 ] 110 [ 91 ] 111 [ 121 ] [ 123 ] [ 135 ] [ 139 ] 112 [ 140 ] 113 [ 131 ] 114 [ 116 ] [ 148 ] 115 [ 81 ] [ 84 ] 116 [ 164 ] 117 [ 67 ] 118 [ 24 ] [ 62 ] [ 76 ] 119 [ 43 ] 120 [ 113 ] [ 119 ] 121 [ 57 ] [ 64 ] 122 [ 6 ] [ 7 ] [ 10 ] 123 [ 148 ] 124 [ 28 ] [ 35 ] [ 44 ] [ 45 ] [ 56 ] [ 95 ] 125 [ 133 ] [ 150 ] 126 [ 103 ] 127 [ 128 ] [ 157 ] 128 [ 73 ] 129 [ 96 ] 130 [ 22 ] [ 23 ] 131 [ 81 ] 132 [ 124 ] 133 [ 159 ] 134 [ 14 ] 135 [ 52 ] 136 [ 134 ] 137 [ 36 ] [ 41 ] [ 67 ] [ 85 ] [ 91 ] 138 [ 9 ] 139 [ 160 ] 140 [ 114 ] [ 143 ] 141 [ 103 ] 142 [ 67 ] 143 [ 50 ] [ 81 ] [ 83 ] 144 [ 3 ] [ 5 ] 145 [ 116 ] 146 [ 67 ] 147 [ 10 ] [ 22 ] [ 23 ] 148 [ 35 ] [ 49 ] [ 51 ] [ 56 ] [ 74 ] [ 89 ] 149 [ 164 ] 150 [ 50 ] [ 59 ] [ 112 ] [ 127 ] 151 [ 24 ] 152 [ 103 ] 153 [ 44 ] [ 45 ] 154 [ 27 ] 155 [ 10 ] [ 12 ] [ 13 ] [ 18 ] [ 19 ] [ 26 ] 156 [ 67 ] [ 91 ] 157 [ 64 ] [ 95 ] [ 140 ] [ 161 ] 158 [ 65 ] [ 68 ] [ 70 ] [ 71 ] [ 75 ] [ 80 ] [ 82 ] [ 92 ] [ 95 ] [ 100 ] [ 101 ] [ 112 ] [ 146 ] 159 [ 128 ] 160 [ 163 ] 161 [ 113 ] ©2004 Association for Computing Machinery