John Mylopoulos

632 papers A* 35A 142B 41C 22Misc 14Journal 150Unranked 191

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Web-Based Environment for the Specification and Generation of Smart Legal Contracts. CoRR Regan Meloche, Durga Sivakumar, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos
2025	J	`jnl`	Automated generation of smart contract code from legal contract specifications with Symboleo2SC. Softw. Syst. Model. Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Alireza Parvizimosaed, Daniel Amyot, Marco Roveri, Luigi Logrippo, John Mylopoulos
2025	J	`jnl`	Conceptual modeling: Foundations, a historical perspective, and a vision for the future. Data Knowl. Eng. John Mylopoulos, Giancarlo Guizzardi, Nicola Guarino
2025	—	`conf`	Distributed Policy Enforcement Framework for System Transactions. SysCon Konstantinos Tsiounis, Kostas Kontogiannis, Dimitris Lyras, John Mylopoulos
2025	—	`conf`	Practical Reasoning with Attention Mechanisms. SIMPAR Massimo Cossentino, Giovanni Pilato, Guido Averna, Myrto Mylopoulos, John Mylopoulos
2025	J	`jnl`	Representing and Reasoning With Non-Functional Requirements: A Retrospective. IEEE Trans. Software Eng. John Mylopoulos, Lawrence Chung
2025	J	`jnl`	SymboleoPC: checking properties of legal contracts. Softw. Syst. Model. Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos
2025	—	`conf`	The Agent Working Cycle in CATALINA. WOA Massimo Cossentino, Guido Averna, Giovanni Pilato, Myrto Mylopoulos, John Mylopoulos
2025	—	`conf`	Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo. RAISE@ICSE Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, Daniel Amyot, John Mylopoulos
2024	—	`ed.`	Computer Security. ESORICS 2023 International Workshops - CyberICS, DPM, CBT, and SECPRE, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part I ESORICS Workshops (1) Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens-Boulahia, Costas Lambrinoudakis, Joaquín García-Alfaro, Guillermo Navarro-Arribas, Pantaleone Nespoli, Christos Kalloniatis, John Mylopoulos, Annie I. Antón, Stefanos Gritzalis
2024	J	`jnl`	Empirically evaluating modeling language ontologies: the Peira framework. Softw. Syst. Model. Sotirios Liaskos, Saba Zarbaf, John Mylopoulos, Shakil M. Khan
2024	J	`jnl`	Large language models: Expectations for semantics-driven systems engineering. Data Knowl. Eng. Robert Buchmann, Johann Eder, Hans-Georg Fill, Ulrich Frank, Dimitris Karagiannis, Emanuele Laurenzi, John Mylopoulos, Dimitris Plexousakis, Maribel Yasmina Santos
2024	A	`conf`	Model-Driven Design and Generation of Training Simulators for Reinforcement Learning. ER Sotirios Liaskos, Shakil M. Khan, John Mylopoulos, Reza Golipour
2024	A	`conf`	Modeling and Reasoning About Explanation Requirements Using Goal Models. ER Sotirios Liaskos, John Mylopoulos, Alexander Borgida, Shakil M. Khan
2024	—	`conf`	Social Dependence Relationships and Their Role in Social Modelling Languages. Social Modeling Using the i* Framework John Mylopoulos, Daniel Amyot, Amal Ahmed Anda
2024	—	`book`	Social Modeling Using the i* Framework: Essays in Honour of Eric Yu Social Modeling Using the i* Framework Xavier Franch, Julio César Sampaio do Prado Leite, Gunter Mussbacher, John Mylopoulos, Anna Perini
2024	Misc	`conf`	SymboleoAC: An Access Control Model for Legal Contracts. PoEM Sofana Alfuhaid, Amal Ahmed Anda, Daniel Amyot, Marco Roveri, John Mylopoulos
2024	A	`conf`	SymboleoNLP: A Tool for Generating Formal Specifications from Legal Contract Templates. RE Regan Meloche, Daniel Amyot, John Mylopoulos
2024	—	`conf`	Towards an iStar 2.0 Extension for Analyzing Goal Variability. Social Modeling Using the i* Framework Sotirios Liaskos, Shakil M. Khan, John Mylopoulos
2024	J	`jnl`	Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo. CoRR Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, Daniel Amyot, John Mylopoulos
2024	—	`conf`	Using i* to Analyze Ethicality Requirements Following Ontology-Based Requirements Engineering. Social Modeling Using the i* Framework Renata Guizzardi, Glenda C. M. Amaral, Giancarlo Guizzardi, John Mylopoulos
2023	—	`conf`	3rd Workshop on Software Techniques for Engineering Cyber-Physical Systems. CASCON Kostas Kontogiannis, Daniel Amyot, John Mylopoulos
2023	J	`jnl`	A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges. IEEE Access Sofana Alfuhaid, Daniel Amyot, Amal Ahmed Anda, John Mylopoulos
2023	J	`jnl`	An ontology-based approach to engineering ethicality requirements. Softw. Syst. Model. Renata S. S. Guizzardi, Glenda C. M. Amaral, Giancarlo Guizzardi, John Mylopoulos
2023	—	`ed.`	Computer Security. ESORICS 2022 International Workshops - CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS Sokratis K. Katsikas, Frédéric Cuppens, Christos Kalloniatis, John Mylopoulos, Frank Pallas, Jörg Pohle, M. Angela Sasse, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Jorge Maestre Vidal, Marco Antonio Sotelo Monge, Massimiliano Albanese, Basel Katt, Sandeep Pirbhulal, Ankur Shukla
2023	J	`jnl`	Consciousness as a Trigger to Adaptation. J. Artif. Intell. Conscious. Massimo Cossentino, Luca Sabatucci, John Mylopoulos
2023	—	`conf`	Engineering Smart Contracts with Symboleo: A Progress Report. CASCON Daniel Amyot, Luigi Logrippo, John Mylopoulos, Marco Roveri, Amal Ahmed Anda, Alireza Parvizimosaed, Sofana Alfuhaid, Sepehr Sharifi, Aidin Rasti, Regan Meloche, Daniel Sousa-Diaz
2023	—	`conf`	Lessons Learned on Applying an Ontology-based Approach to Engineer Trustworthiness Requirements. ONTOBRAS Renata S. S. Guizzardi, Glenda C. M. Amaral, Giancarlo Guizzardi, John Mylopoulos
2023	C	`conf`	Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain. PST Alireza Parvizimosaed, Hamid Azad, Daniel Amyot, John Mylopoulos
2023	—	`conf`	Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. OVERLAY@AI*IA Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos
2023	A	`conf`	Towards Legal Contract Formalization with Controlled Natural Language Templates. RE Regan Meloche, Daniel Amyot, John Mylopoulos
2022	—	`conf`	2nd Workshop on Software Techniques for Engineering Cyber Physical Systems. CASCON Kostas Kontogiannis, John Mylopoulos, Daniel Amyot
2022	J	`jnl`	CaRE: a refinement calculus for requirements engineering based on argumentation theory. Softw. Syst. Model. Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos
2022	—	`ed.`	Computer Security. ESORICS 2021 International Workshops - CyberICPS, SECPRE, ADIoT, SPOSE, CPS4CIP, and CDT&SECOMANE, Darmstadt, Germany, October 4-8, 2021, Revised Selected Papers CyberICPS/SECPRE/ADIoT/SPOSE/CPS4CIP/CDT&SECOMANE@ESORICS Sokratis K. Katsikas, Costas Lambrinoudakis, Nora Cuppens, John Mylopoulos, Christos Kalloniatis, Weizhi Meng, Steven Furnell, Frank Pallas, Jörg Pohle, M. Angela Sasse, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Jorge Maestre Vidal, Marco Antonio Sotelo Monge
2022	B	`conf`	Contratto - A Method for Transforming Legal Contracts into Formal Specifications. RCIS Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich
2022	—	`conf`	Eliciting Ethicality Requirements Using the Ontology-Based Requirements Engineering Method. BPMDS/EMMSAD@CAiSE Renata S. S. Guizzardi, Glenda C. M. Amaral, Giancarlo Guizzardi, John Mylopoulos
2022	J	`jnl`	From Legal Contracts to Formal Specifications: A Systematic Literature Review. SN Comput. Sci. Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich
2022	A	`conf`	Model-checking legal contracts with SymboleoPC. MoDELS Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos
2022	J	`jnl`	Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach. Softw. Syst. Model. Sotirios Liaskos, Shakil M. Khan, John Mylopoulos
2022	J	`jnl`	Reasoning about Confidence in Goal Satisfaction. Algorithms Malak Baslyman, Daniel Amyot, John Mylopoulos
2022	J	`jnl`	Semantic Annotation of Legal Contracts with ContrattoA. Informatics Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich
2022	J	`jnl`	Specification and analysis of legal contracts with Symboleo. Softw. Syst. Model. Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, Marco Roveri, Aidin Rasti, Ali Roudak, John Mylopoulos
2022	A	`conf`	Symboleo2SC: from legal contract specifications to smart contracts. MoDELS Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos
2022	—	`conf`	Towards Goal-based Generation of Reinforcement Learning Domain Simulations. iStar Sotirios Liaskos, Shakil M. Khan, Reza Golipour, John Mylopoulos
2022	—	`conf`	Towards Improved Certification of Complex FinTech Systems - A Requirements-based Approach. RE Workshops Sepehr Sharifi, Daniel Amyot, John Mylopoulos, Patrick McLaughlin, Ray Feodoroff
2021	J	`jnl`	A retrospective on Telos as a metamodeling language for requirements engineering. Requir. Eng. Manolis Koubarakis, Alexander Borgida, Panos Constantopoulos, Martin Doerr, Matthias Jarke, Manfred A. Jeusfeld, John Mylopoulos, Dimitris Plexousakis
2021	J	`jnl`	COPri v.2 - A core ontology for privacy requirements. Data Knowl. Eng. Mohamad Gharib, Paolo Giorgini, John Mylopoulos
2021	A	`conf`	Empirically Evaluating the Semantic Qualities of Language Vocabularies. ER Sotirios Liaskos, John Mylopoulos, Shakil M. Khan
2021	—	`conf`	From Legal Contracts to Formal Specifications: A Progress Report. REFSQ Workshops Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich
2021	Misc	`conf`	On the Philosophical Foundations of Privacy: Five Theses. PoEM Mohamad Gharib, John Mylopoulos
2021	—	`conf`	Social Requirements Models for Services. Next-Gen Digital Services John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi
2021	—	`conf`	Software techniques for engineering cyber-physical systems. CASCON Kostas Kontogiannis, Daniel Amyot, John Mylopoulos
2021	A	`conf`	Trustworthiness Requirements: The Pix Case Study. ER Glenda C. M. Amaral, Renata S. S. Guizzardi, Giancarlo Guizzardi, John Mylopoulos
2020	A	`conf`	A Refinement Calculus for Requirements Engineering Based on Argumentation Theory. ER Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos
2020	—	`conf`	A preliminary study on using acceptance tests for representing business requirements of smart contracts. IEEE ICBC Patrícia Vilain, John Mylopoulos, Hans-Arno Jacobsen
2020	J	`jnl`	An Ontology for Privacy Requirements via a Systematic Literature Review. J. Data Semant. Mohamad Gharib, Paolo Giorgini, John Mylopoulos
2020	B	`conf`	COPri - A Core Ontology for Privacy Requirements Engineering. RCIS Mohamad Gharib, John Mylopoulos, Paolo Giorgini
2020	—	`ed.`	Computer Security - ESORICS 2019 International Workshops, CyberICPS, SECPRE, SPOSE, and ADIoT, Luxembourg City, Luxembourg, September 26-27, 2019 Revised Selected Papers CyberICPS/SECPRE/SPOSE/ADIoT@ESORICS Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie I. Antón, Stefanos Gritzalis, Frank Pallas, Jörg Pohle, M. Angela Sasse, Weizhi Meng, Steven Furnell, Joaquín García-Alfaro
2020	—	`ed.`	Computer Security - ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14-18, 2020, Revised Selected Papers CyberICPS/SECPRE/ADIoT@ESORICS Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie I. Antón, Stefanos Gritzalis, Weizhi Meng, Steven Furnell
2020	Misc	`conf`	ContracT - from Legal Contracts to Formal Specifications: Preliminary Results. PoEM Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich
2020	—	`conf`	Ethical Requirements for AI Systems. Canadian AI Renata S. S. Guizzardi, Glenda Carla Moura Amaral, Giancarlo Guizzardi, John Mylopoulos
2020	—	`conf`	Goal Modeling for FinTech Certification. iStar Sepehr Sharifi, Patrick McLaughlin, Daniel Amyot, John Mylopoulos
2020	A	`conf`	Ontology-Based Modeling and Analysis of Trustworthiness Requirements: Preliminary Results. ER Glenda C. M. Amaral, Renata S. S. Guizzardi, Giancarlo Guizzardi, John Mylopoulos
2020	—	`conf`	Social Dependence Relationships in Requirements Engineering. iStar John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi
2020	A	`conf`	Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. ER Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, John Mylopoulos
2020	A	`conf`	Symboleo: Towards a Specification Language for Legal Contracts. RE Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo, John Mylopoulos
2019	A	`conf`	A Pattern Language for Value Modeling in ArchiMate. CAiSE Tiago Prince Sales, Ben Roelens, Geert Poels, Giancarlo Guizzardi, Nicola Guarino, John Mylopoulos
2019	B	`conf`	A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics. RCIS John Mylopoulos
2019	—	`ed.`	Computer Security - ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6-7, 2018, Revised Selected Papers CyberICPS/SECPRE@ESORICS Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Annie I. Antón, Stefanos Gritzalis, John Mylopoulos, Christos Kalloniatis
2019	B	`conf`	Design Thinking and Acceptance Requirements for Designing Gamified Software. RCIS Luca Piras, Daniele Dellagiacoma, Anna Perini, Angelo Susi, Paolo Giorgini, John Mylopoulos
2019	—	`book`	Engineering Adaptive Software Systems - Communications of NII Shonan Meetings Engineering Adaptive Software Systems Yijun Yu, Arosha K. Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi A. Müller, John Mylopoulos, Bashar Nuseibeh
2019	J	`jnl`	Goal-oriented requirements engineering: an extended systematic mapping study. Requir. Eng. Jennifer Horkoff, Fatma Basak Aydemir, Evellin Cardoso, Tong Li, Alejandro Maté, Elda Paja, Mattia Salnitri, Luca Piras, John Mylopoulos, Paolo Giorgini
2019	C	`conf`	On the Philosophical Foundations of Conceptual Models. EJC Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos
2019	—	`conf`	SolUnit: a framework for reducing execution time of smart contract unit tests. CASCON Hallan Medeiros, Patricia Vilain, John Mylopoulos, Hans-Arno Jacobsen
2019	—	`conf`	Taking It to the Next Level: Nicola Guarino, Formal Ontology and Conceptual Modeling. Ontology Makes Sense Giancarlo Guizzardi, John Mylopoulos
2018	J	`jnl`	A Core Ontology for Privacy Requirements Engineering. CoRR Mohamad Gharib, John Mylopoulos
2018	J	`jnl`	Analysis of information quality requirements in business processes, revisited. Requir. Eng. Mohamad Gharib, Paolo Giorgini, John Mylopoulos
2018	A	`conf`	CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics. RE Yehia Elrakaiby, Alessio Ferrari, John Mylopoulos
2018	—	`ed.`	Computer Security - ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers CyberICPS/SECPRE@ESORICS Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie I. Antón, Stefanos Gritzalis
2018	—	`ch.`	Conceptual Schema Design. Encyclopedia of Database Systems (2nd ed.) Alexander Borgida, John Mylopoulos
2018	—	`ch.`	Database Design. Encyclopedia of Database Systems (2nd ed.) John Mylopoulos
2018	J	`jnl`	Engineering Self-Adaptive Software Systems: From Requirements to Model Predictive Control. ACM Trans. Auton. Adapt. Syst. Konstantinos Angelopoulos, Alessandro Vittorio Papadopoulos, Vítor E. Silva Souza, John Mylopoulos
2018	A*	`conf`	Finding Related Forum Posts through Content Similarity over Intention-Based Segmentation (Extended Abstract). ICDE Dimitra Papadimitriou, Georgia Koutrika, Yannis Velegrakis, John Mylopoulos
2018	J	`jnl`	Holistic security requirements analysis for socio-technical systems. Softw. Syst. Model. Tong Li, Jennifer Horkoff, John Mylopoulos
2018	J	`jnl`	MobiGoal: Flexible Achievement of Personal Goals for Mobile Users. IEEE Trans. Serv. Comput. Wenyi Qian, Xin Peng, Huanhuan Wang, John Mylopoulos, Jiahuan Zheng, Wenyun Zhao
2018	J	`jnl`	Multi-objective reasoning with constrained goal models. Requir. Eng. Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
2018	J	`jnl`	NómosT: Building large models of law with a tool-supported process. Data Knowl. Eng. Nicola Zeni, Elias A. Seid, Priscila Engiel, John Mylopoulos
2018	C	`conf`	Ontological Foundations of Competition. FOIS Tiago Prince Sales, Daniele Porello, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos
2018	B	`conf`	Planning with Strategic Goals. EDOC Evellin Cristine Souza Cardoso, Jennifer Horkoff, Roberto Sebastiani, John Mylopoulos
2018	A	`conf`	The Common Ontology of Value and Risk. ER Tiago Prince Sales, Fernanda Baião, Giancarlo Guizzardi, João Paulo A. Almeida, Nicola Guarino, John Mylopoulos
2018	A	`conf`	The Next Release Problem Revisited: A New Avenue for Goal Models. RE Fatma Basak Aydemir, Fabiano Dalpiaz, Sjaak Brinkkemper, Paolo Giorgini, John Mylopoulos
2018	—	`conf`	Towards an Ontology of Competition. VMBO Tiago Prince Sales, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos
2017	B	`conf`	A tool-supported compliance process for software systems. RCIS Priscila Engiel, Julio César Sampaio do Prado Leite, John Mylopoulos
2017	B	`conf`	An Ontological Analysis of Value Propositions. EDOC Tiago Prince Sales, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos
2017	J	`jnl`	Annotating legal documents with GaiusT 2.0. Int. J. Metadata Semant. Ontologies Nicola Zeni, Luisa Mich, John Mylopoulos
2017	—	`conf`	Conceptual Modeling for Indicator Selection. Conceptual Modeling Perspectives Alejandro Maté, Juan Trujillo, John Mylopoulos
2017	B	`conf`	Evaluation of MUSER, a holistic security requirements analysis framework. RCIS Elias A. Seid, Kazi Robin, Tong Li, John Mylopoulos
2017	J	`jnl`	Finding Related Forum Posts through Content Similarity over Intention-Based Segmentation. IEEE Trans. Knowl. Data Eng. Dimitra Papadimitriou, Georgia Koutrika, Yannis Velegrakis, John Mylopoulos
2017	B	`conf`	Gamification solutions for software acceptance: A comparative study of Requirements Engineering and Organizational Behavior techniques. RCIS Luca Piras, Elda Paja, Paolo Giorgini, John Mylopoulos, Roberta Cuel, Diego Ponte
2017	A	`conf`	Goal Models for Acceptance Requirements Analysis and Gamification Design. ER Luca Piras, Elda Paja, Paolo Giorgini, John Mylopoulos
2017	A	`conf`	Goal-Oriented Regulatory Intelligence: How Can Watson Analytics Help? ER Okhaide Akhigbe, Susie Heap, Sakib Islam, Daniel Amyot, John Mylopoulos
2017	B	`conf`	Modeling and Reasoning on Requirements Evolution with Constrained Goal Models. SEFM Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
2017	A	`conf`	Panel: Context-Dependent Evaluation of Tools for NL RE Tasks: Recall vs. Precision, and Beyond. RE Daniel M. Berry, Jane Cleland-Huang, Alessio Ferrari, Walid Maalej, John Mylopoulos, Didar Zowghi
2017	J	`jnl`	Specification and derivation of key performance indicators for business analytics: A semantic approach. Data Knowl. Eng. Alejandro Maté, Juan Trujillo, John Mylopoulos
2017	A	`conf`	Towards an Ontology for Privacy Requirements via a Systematic Literature Review. ER Mohamad Gharib, Paolo Giorgini, John Mylopoulos
2017	B	`conf`	What can information systems do for regulators? A review of the state-of-practice in Canada. RCIS Okhaide Akhigbe, Daniel Amyot, John Mylopoulos, Gregory Richards
2016	A	`conf`	Acceptance Requirements and Their Gamification Solutions. RE Luca Piras, Paolo Giorgini, John Mylopoulos
2016	A	`conf`	Building Large Models of Law with NómosT. ER Nicola Zeni, Elias A. Seid, Priscila Engiel, Silvia Ingolfo, John Mylopoulos
2016	A	`conf`	Can Goal Reasoning Techniques Be Used for Strategic Decision-Making? ER Elda Paja, Alejandro Maté, Carson C. Woo, John Mylopoulos
2016	J	`jnl`	Desiree - a Refinement Calculus for Requirements Engineering. CoRR Feng-Lin Li, John Mylopoulos
2016	J	`jnl`	Desiree: a Refinement Calculus for Requirements Problems. CoRR Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi, Jennifer Horkoff, Lin Liu, John Mylopoulos
2016	—	`book`	Domain-Specific Conceptual Modeling, Concepts, Methods and Tools Domain-Specific Conceptual Modeling Dimitris Karagiannis, Heinrich C. Mayr, John Mylopoulos
2016	A	`conf`	Engineering Requirements with Desiree: An Empirical Evaluation. CAiSE Feng-Lin Li, Jennifer Horkoff, Lin Liu, Alexander Borgida, Giancarlo Guizzardi, John Mylopoulos
2016	—	`conf`	Engineering cybersecurity in cyber physical systems. CASCON Hausi A. Müller, Marin Litoiu, John Mylopoulos
2016	—	`conf`	GaiusT 2.0: Evolution of a Framework for Annotating Legal Documents. MTSR Nicola Zeni, Luisa Mich, John Mylopoulos
2016	A	`conf`	Goal-Oriented Requirements Engineering: A Systematic Literature Map. RE Jennifer Horkoff, Fatma Basak Aydemir, Evellin Cardoso, Tong Li, Alejandro Maté, Elda Paja, Mattia Salnitri, John Mylopoulos, Paolo Giorgini
2016	B	`conf`	How software changes the world: The role of assumptions. RCIS Xiaowei Wang, John Mylopoulos, Giancarlo Guizzardi, Nicola Guarino
2016	A	`conf`	Key Performance Indicator Elicitation and Selection Through Conceptual Modelling. ER Alejandro Maté, Juan Trujillo, John Mylopoulos
2016	—	`conf`	Model predictive control for software systems with CobRA. SEAMS@ICSE Konstantinos Angelopoulos, Alessandro Vittorio Papadopoulos, Vítor E. Silva Souza, John Mylopoulos
2016	A	`conf`	Modeling Structured and Unstructured Processes: An Empirical Evaluation. ER Evellin Cardoso, Katsiaryna Labunets, Fabiano Dalpiaz, John Mylopoulos, Paolo Giorgini
2016	J	`jnl`	Multi Object Reasoning with Constrained Goal Model. CoRR Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
2016	B	`conf`	Multi-objective risk analysis with goal models. RCIS Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos
2016	J	`jnl`	Ontologies for Privacy Requirements Engineering: A Systematic Literature Review. CoRR Mohamad Gharib, Paolo Giorgini, John Mylopoulos
2016	A	`conf`	Requirements Evolution and Evolution Requirements with Constrained Goal Models. ER Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
2016	J	`jnl`	Requirements Evolution and Evolution Requirements with Constrained Goal Models. CoRR Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
2016	—	`conf`	Requirements-driven design of autonomic application software. CASCON Alexei Lapouchnian, Yijun Yu, Sotirios Liaskos, John Mylopoulos
2016	B	`conf`	Security attack analysis using attack patterns. RCIS Tong Li, Elda Paja, John Mylopoulos, Jennifer Horkoff, Kristian Beckers
2016	—	`conf`	Similarity-based Reasoning with Quality Goals. iStar Feng-Lin Li, Lin Liu, John Mylopoulos
2016	B	`conf`	Solving the next adaptation problem with prometheus. RCIS Konstantinos Angelopoulos, Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos
2016	Misc	`conf`	Strategic Enterprise Architectures. PoEM Evellin Cardoso, John Mylopoulos, Alejandro Mate, Juan Trujillo
2016	J	`jnl`	The Goal Behind the Action: Toward Goal-Aware Systems and Applications. ACM Trans. Database Syst. Dimitra Papadimitriou, Georgia Koutrika, John Mylopoulos, Yannis Velegrakis
2015	—	`conf`	A Holistic Approach to Attack Modeling and Analysis. iStar Tong Li, Jennifer Horkoff, Kristian Beckers, Elda Paja, John Mylopoulos
2015	—	`conf`	Adaptive predictive control for software systems. CTSE@SIGSOFT FSE Konstantinos Angelopoulos, Alessandro Vittorio Papadopoulos, John Mylopoulos
2015	Misc	`conf`	Analyzing Attack Strategies Through Anti-goal Refinement. PoEM Tong Li, Jennifer Horkoff, Elda Paja, Kristian Beckers, John Mylopoulos
2015	B	`conf`	Analyzing and Enforcing Security Mechanisms on Requirements Specifications. REFSQ Tong Li, Jennifer Horkoff, John Mylopoulos
2015	A	`conf`	Capturing Variability in Adaptation Spaces: A Three-Peaks Approach. ER Konstantinos Angelopoulos, Vítor E. Silva Souza, John Mylopoulos
2015	J	`jnl`	Designing an adaptive computer-aided ambulance dispatch system with Zanshin: an experience report. Softw. Pract. Exp. Vítor E. Silva Souza, John Mylopoulos
2015	—	`conf`	Engineering cyber physical systems. CASCON Hausi A. Müller, John Mylopoulos, Marin Litoiu
2015	B	`conf`	From Stakeholder Requirements to Formal Specifications Through Refinement. REFSQ Feng-Lin Li, Jennifer Horkoff, Alexander Borgida, Giancarlo Guizzardi, Lin Liu, John Mylopoulos
2015	J	`jnl`	GaiusT: supporting the extraction of rights and obligations for regulatory compliance. Requir. Eng. Nicola Zeni, Nadzeya Kiyavitskaya, Luisa Mich, James R. Cordy, John Mylopoulos
2015	A*	`conf`	Goals in Social Media, information retrieval and intelligent agents. ICDE Dimitra Papadimitriou, Yannis Velegrakis, Georgia Koutrika, John Mylopoulos
2015	A	`conf`	Holistic security requirements analysis: An attacker's perspective. RE Tong Li, Elda Paja, John Mylopoulos, Jennifer Horkoff, Kristian Beckers
2015	A*	`conf`	Learning to Rank for Question-Oriented Software Text Retrieval (T). ASE Yanzhen Zou, Ting Ye, Yangyang Lu, John Mylopoulos, Lu Zhang
2015	—	`ch.`	Mining Software Logs for Goal-Driven Root Cause Analysis. The Art and Science of Analyzing Software Data Hamzeh Zawawy, Serge Mankovskii, Kostas Kontogiannis, John Mylopoulos
2015	J	`jnl`	Model-Based Management of Strategic Initiatives. J. Data Semant. Daniele Barone, Liam Peyton, Flavio Rizzolo, Daniel Amyot, John Mylopoulos, Omar Badreddin
2015	B	`conf`	Models for strategic planning: Applying TBIM to the Montreux Jazz Festival case study. RCIS Fabiano Francesconi, Fabiano Dalpiaz, John Mylopoulos
2015	B	`conf`	Monitoring Strategic Business Goals with Argus. EDOC Alejandro Mate, Juan Trujillo, Elvis Koci, Kostas Zoumpatianos, John Mylopoulos
2015	—	`ed.`	Proceedings of the 1st International iStar Teaching Workshop co-located with the 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), Stockholm, Sweden, June 9, 2015. iStarT@CAiSE Jennifer Horkoff, James Lockerbie, Xavier Franch, Eric S. K. Yu, John Mylopoulos
2015	J	`jnl`	Rationalism with a dose of empiricism: combining goal reasoning and case-based reasoning for self-adaptive software systems. Requir. Eng. Wenyi Qian, Xin Peng, Bihuan Chen, John Mylopoulos, Huanhuan Wang, Wenyun Zhao
2015	J	`jnl`	Report on the First International i* Teaching Workshop (iStarT): June 9th, Co-located with the Conference on Advanced Information Systems Engineering (CAiSE'15), Stockholm, Sweden. ACM SIGSOFT Softw. Eng. Notes Jennifer Horkoff, James Lockerbie, Xavier Franch, Eric S. K. Yu, John Mylopoulos
2015	B	`conf`	Social specifications of business processes with Azzurra. RCIS Fabiano Dalpiaz, Evellin Cardoso, Giulia Canobbio, Paolo Giorgini, John Mylopoulos
2015	J	`jnl`	Special issue on advanced information systems engineering. Inf. Syst. Matthias Jarke, John Mylopoulos, Christoph Quix
2015	A	`conf`	Stress Testing Strategic Goals with SWOT Analysis. ER Alejandro Maté, Juan Trujillo, John Mylopoulos
2015	—	`conf`	The Importance of Teaching Goal-Oriented Analysis Techniques: an Experience Report. iStarT@CAiSE Elda Paja, Jennifer Horkoff, John Mylopoulos
2015	—	`conf`	The Importance of Teaching Systematic Analysis for Conceptual Models: An Experience Report. ER Workshops Elda Paja, Jennifer Horkoff, John Mylopoulos
2015	J	`jnl`	Using Goal Models Downstream: A Systematic Roadmap and Literature Review. Int. J. Inf. Syst. Model. Des. Jennifer Horkoff, Tong Li, Feng-Lin Li, Mattia Salnitri, Evellin Cardoso, Paolo Giorgini, John Mylopoulos
2014	—	`conf`	A Prototype Tool for Modeling and Analyzing Security Requirements from A Holistic Viewpoint. CAiSE (Forum/Doctoral Consortium) Tong Li, Jennifer Horkoff, John Mylopoulos
2014	—	`conf`	A systematic approach for dynamic targeted monitoring of KPIs. CASCON Alejandro Maté, Kostas Zoumpatianos, Themis Palpanas, Juan Trujillo, John Mylopoulos, Elvis Koci
2014	A	`ed.`	Advanced Information Systems Engineering - 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014. Proceedings CAiSE Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Mouratidis, Jennifer Horkoff
2014	J	`jnl`	Agile requirements engineering via paraconsistent reasoning. Inf. Syst. Neil A. Ernst, Alexander Borgida, Ivan Jureta, John Mylopoulos
2014	C	`conf`	An Ontological Interpretation of Non-Functional Requirements. FOIS Renata S. S. Guizzardi, Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi, Jennifer Horkoff, John Mylopoulos
2014	—	`ch.`	An Overview of Requirements Evolution. Evolving Software Systems Neil A. Ernst, Alexander Borgida, Ivan Jureta, John Mylopoulos
2014	—	`conf`	Applying knowledge representation and reasoning to (simple) goal models. AIRE Alexander Borgida, Jennifer Horkoff, John Mylopoulos
2014	A	`conf`	Dealing with multiple failures in zanshin: a control-theoretic approach. SEAMS Konstantinos Angelopoulos, Vítor E. Silva Souza, John Mylopoulos
2014	—	`conf`	Designing Sociotechnical Systems with Protos. iStar Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos
2014	A	`conf`	Evaluating Modeling Languages: An Example from the Requirements Domain. ER Jennifer Horkoff, Fatma Basak Aydemir, Feng-Lin Li, Tong Li, John Mylopoulos
2014	B	`conf`	Evolving Commitments for Self-Adaptive Socio-technical Systems. ICECCS Xin Peng, Yi Xie, Yijun Yu, John Mylopoulos, Wenyun Zhao
2014	B	`conf`	Exploring alternative designs for sociotechnical systems. RCIS Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos, Fabiano Dalpiaz
2014	Misc	`conf`	From requirements to statecharts via design refinement. SAC João Pimentel, Jaelson Castro, John Mylopoulos, Konstantinos Angelopoulos, Vítor E. Silva Souza
2014	—	`conf`	Goals and Compliance in Nomos 3. iStar Silvia Ingolfo, Alberto Siena, John Mylopoulos
2014	Misc	`conf`	Integrating Security Patterns with Security Requirements Analysis Using Contextual Goal Models. PoEM Tong Li, Jennifer Horkoff, John Mylopoulos
2014	—	`conf`	Modeling Regulatory Compliance in Requirements Engineering. ER Workshops Silvia Ingolfo, Alberto Siena, John Mylopoulos
2014	—	`conf`	Modeling and Applying Security Patterns Using Contextual Goal Models. iStar Tong Li, John Mylopoulos
2014	A	`conf`	Non-functional requirements as qualities, with a spice of ontology. RE Feng-Lin Li, Jennifer Horkoff, John Mylopoulos, Renata S. S. Guizzardi, Giancarlo Guizzardi, Alexander Borgida, Lin Liu
2014	A	`conf`	Nòmos 3: Reasoning about regulatory compliance of requirements. RE Silvia Ingolfo, Alberto Siena, John Mylopoulos
2014	A	`conf`	Protos: Foundations for engineering innovative sociotechnical systems. RE Amit K. Chopra, Fabiano Dalpiaz, Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos, Munindar P. Singh
2014	A	`conf`	Rationalism with a dose of empiricism: Case-based reasoning for requirements-driven self-adaptation. RE Wenyi Qian, Xin Peng, Bihuan Chen, John Mylopoulos, Huanhuan Wang, Wenyun Zhao
2014	A	`conf`	Software as a Social Artifact: A Management and Evolution Perspective. ER Xiaowei Wang, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos
2014	J	`jnl`	Strategic business modeling: representation and reasoning. Softw. Syst. Model. Jennifer Horkoff, Daniele Barone, Lei Jiang, Eric S. K. Yu, Daniel Amyot, Alexander Borgida, John Mylopoulos
2014	B	`conf`	Taking goal models downstream: A systematic roadmap. RCIS Jennifer Horkoff, Tong Li, Feng-Lin Li, Mattia Salnitri, Evellin Cardoso, Paolo Giorgini, John Mylopoulos, João Pimentel
2014	J	`jnl`	The Requirements Problem for Adaptive Systems. ACM Trans. Manag. Inf. Syst. Ivan Jureta, Alexander Borgida, Neil A. Ernst, John Mylopoulos
2014	C	`conf`	Towards an Ontology of Software: a Requirements Engineering Perspective. FOIS Xiaowei Wang, Nicola Guarino, Giancarlo Guizzardi, John Mylopoulos
2013	—	`ch.`	A Requirements-Driven Development Methodology. Seminal Contributions to Information Systems Engineering Jaelson Castro, Manuel Kolp, John Mylopoulos
2013	J	`jnl`	Adaptive socio-technical systems: a requirements-based approach. Requir. Eng. Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos
2013	—	`conf`	Applying gaiust for extracting requirements from legal documents. RELAW Nicola Zeni, Luisa Mich, John Mylopoulos, James R. Cordy
2013	J	`jnl`	Arguing regulatory compliance of software requirements. Data Knowl. Eng. Silvia Ingolfo, Alberto Siena, John Mylopoulos, Angelo Susi, Anna Perini
2013	A	`conf`	Automated Reasoning for Regulatory Compliance. ER Alberto Siena, Silvia Ingolfo, Anna Perini, Angelo Susi, John Mylopoulos
2013	J	`jnl`	Automated topic naming - Supporting cross-project analysis of software maintenance activities. Empir. Softw. Eng. Abram Hindle, Neil A. Ernst, Michael W. Godfrey, John Mylopoulos
2013	—	`conf`	BIM-Tool: Modeling and Reasoning Support for Strategic Business Models. iStar Fabiano Dalpiaz, Daniele Barone, Jennifer Horkoff, Lei Jiang, John Mylopoulos
2013	B	`conf`	Choosing Compliance Solutions through Stakeholder Preferences. REFSQ Silvia Ingolfo, Alberto Siena, Ivan Jureta, Angelo Susi, Anna Perini, John Mylopoulos
2013	J	`jnl`	Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7). NII Shonan Meet. Rep. Shinichi Honiden, Zhenjiang Hu, Hausi A. Müller, John Mylopoulos, Yijun Yu
2013	—	`conf`	From Requirements to Architectures for Better Adaptive Software Systems. iStar João Pimentel, Konstantinos Angelopoulos, Vítor Estêvão Silva Souza, John Mylopoulos, Jaelson Castro
2013	A	`conf`	Modeling and Reasoning with Decision-Theoretic Goals. ER Sotirios Liaskos, Shakil M. Khan, Mikhail Soutchanski, John Mylopoulos
2013	—	`conf`	Modeling laws with nomos 2. RELAW Silvia Ingolfo, Alberto Siena, Angelo Susi, Anna Perini, John Mylopoulos
2013	—	`conf`	Monitoring and diagnosing indicators for business analytics. CASCON Konstantinos Zoumpatianos, Themis Palpanas, John Mylopoulos, Alejandro Maté, Juan Trujillo
2013	—	`conf`	Non-Functional Requirements Revisited. iStar Feng-Lin Li, Jennifer Horkoff, John Mylopoulos, Lin Liu, Alexander Borgida
2013	—	`book`	Perspectives on Business Intelligence Raymond T. Ng, Patricia C. Arocena, Denilson Barbosa, Giuseppe Carenini, Luiz Celso Gomes Jr., Stephan Jou, Rock Anthony Leung, Evangelos E. Milios, Renée J. Miller, John Mylopoulos, Rachel Pottinger, Frank Wm. Tompa, Eric S. K. Yu
2013	A	`ed.`	Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2013, San Francisco, CA, USA, May 20-21, 2013 SEAMS Marin Litoiu, John Mylopoulos
2013	—	`conf`	Requirements Models at Design and Runtime. ER@BR John Mylopoulos
2013	A	`conf`	Requirements engineering conferences: Wither industry tracks? RE Roel J. Wieringa, Pascal van Eck, John Mylopoulos
2013	C	`conf`	Requirements models for design- and runtime: a position paper. MiSE Alexander Borgida, Fabiano Dalpiaz, Jennifer Horkoff, John Mylopoulos
2013	J	`jnl`	Requirements-driven software evolution. Comput. Sci. Res. Dev. Vítor E. Silva Souza, Alexei Lapouchnian, Konstantinos Angelopoulos, John Mylopoulos
2013	B	`conf`	Runtime goal models: Keynote. RCIS Fabiano Dalpiaz, Alexander Borgida, Jennifer Horkoff, John Mylopoulos
2013	A	`conf`	TBIM: A Language for Modeling and Reasoning about Business Plans. ER Fabiano Francesconi, Fabiano Dalpiaz, John Mylopoulos
2013	—	`ch.`	The Evolution of Tropos. Seminal Contributions to Information Systems Engineering John Mylopoulos, Jaelson Castro, Manuel Kolp
2013	—	`conf`	Uncertainty in Goal and Law Modeling and Analysis. iStar Silvia Ingolfo, Jennifer Horkoff, John Mylopoulos
2012	A	`conf`	(Requirement) evolution requirements for adaptive systems. SEAMS Vítor Estêvão Silva Souza, Alexei Lapouchnian, John Mylopoulos
2012	A	`conf`	Agile Requirements Evolution via Paraconsistent Reasoning. CAiSE Neil A. Ernst, Alexander Borgida, John Mylopoulos, Ivan Jureta
2012	J	`jnl`	Behavioral adaptation of information systems through goal models. Inf. Syst. Sotirios Liaskos, Shakil M. Khan, Marin Litoiu, Marina Daoud Jungblut, Vyacheslav Rogozhkin, John Mylopoulos
2012	A	`conf`	Business Intelligence Modeling in Action: A Hospital Case Study. CAiSE Daniele Barone, Thodoros Topaloglou, John Mylopoulos
2012	A	`conf`	Capturing Variability of Law with Nómos 2. ER Alberto Siena, Ivan Jureta, Silvia Ingolfo, Angelo Susi, Anna Perini, John Mylopoulos
2012	A	`conf`	Conceptualizing and Specifying Key Performance Indicators in Business Strategy Models. ER Alejandro Maté, Juan Trujillo, John Mylopoulos
2012	—	`conf`	Conceptualizing and specifying key performance indicators in business strategy models. CASCON Alejandro Maté, Juan Trujillo, John Mylopoulos
2012	—	`conf`	Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts. Description Logics Alexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati
2012	J	`jnl`	From intentions to code: exploring the life of user goals in two web-based systems. IET Softw. Sotirios Liaskos, Marina Daoud Jungblut, John Mylopoulos
2012	—	`conf`	Making Data Meaningful: The Business Intelligence Model and Its Formal Semantics in Description Logics. OTM Conferences (2) Jennifer Horkoff, Alexander Borgida, John Mylopoulos, Daniele Barone, Lei Jiang, Eric S. K. Yu, Daniel Amyot
2012	Misc	`conf`	Monitoring strategic goals in data warehouses with awareness requirements. SAC Vítor Estêvão Silva Souza, Jose-Norberto Mazón, Irene Garrigós, Juan Trujillo, John Mylopoulos
2012	J	`jnl`	On Modeling and Querying Concept Evolution. J. Data Semant. Siarhei Bykau, John Mylopoulos, Flavio Rizzolo, Yannis Velegrakis
2012	—	`conf`	Requirements, Intentions, Goals and Applicable Norms. ER Workshops Alberto Siena, Silvia Ingolfo, Angelo Susi, Ivan Jureta, Anna Perini, John Mylopoulos
2012	—	`conf`	Requirements-Driven Qualitative Adaptation. OTM Conferences (1) Vítor Estêvão Silva Souza, Alexei Lapouchnian, John Mylopoulos
2012	A	`conf`	Requirements-Driven Root Cause Analysis Using Markov Logic Networks. CAiSE Hamzeh Zawawy, Kostas Kontogiannis, John Mylopoulos, Serge Mankovski
2012	—	`conf`	Software Service Evolution: A Requirements Perspective. COMPSAC Workshops Feng-Lin Li, Lin Liu, John Mylopoulos
2012	A	`conf`	Stateful requirements monitoring for self-repairing socio-technical systems. RE Lingxiao Fu, Xin Peng, Yijun Yu, John Mylopoulos, Wenyun Zhao
2012	—	`conf`	Strategic Management for Real-Time Business Intelligence. BIRTE Konstantinos Zoumpatianos, Themis Palpanas, John Mylopoulos
2012	—	`conf`	The Vivification Problem in Real-Time Business Intelligence: A Vision. BIRTE Patricia C. Arocena, Renée J. Miller, John Mylopoulos
2011	A	`conf`	Adaptive Service Composition Based on Runtime Requirements Monitoring. ICWS Zhanlei Ma, Lin Liu, Hongji Yang, John Mylopoulos
2011	—	`conf`	An Extended Ontology for Security Requirements. CAiSE Workshops Fabio Massacci, John Mylopoulos, Federica Paci, Thein Than Tun, Yijun Yu
2011	A	`conf`	Automated topic naming to support cross-project analysis of software maintenance activities. MSR Abram Hindle, Neil A. Ernst, Michael W. Godfrey, John Mylopoulos
2011	A	`conf`	Awareness requirements for adaptive systems. SEAMS Vítor Estêvão Silva Souza, Alexei Lapouchnian, William N. Robinson, John Mylopoulos
2011	—	`conf`	Capturing Contextual Variability in iStar Alexei Lapouchnian, John Mylopoulos
2011	A	`conf`	Composite Indicators for Business Intelligence. ER Daniele Barone, Lei Jiang, Daniel Amyot, John Mylopoulos
2011	J	`jnl`	Digital privacy: theory, policies and technologies. Requir. Eng. Annie I. Antón, Travis D. Breaux, Stefanos Gritzalis, John Mylopoulos
2011	A	`conf`	Establishing Regulatory Compliance for Software Requirements. ER Silvia Ingolfo, Alberto Siena, John Mylopoulos
2011	—	`conf`	From awareness requirements to adaptive systems: A control-theoretic approach. RE@RunTime Vítor E. Silva Souza, John Mylopoulos
2011	—	`ch.`	Goal Modeling and Reasoning in Tropos. Social Modeling for Requirements Engineering Paolo Giorgini, John Mylopoulos, Roberto Sebastiani
2011	A	`conf`	Goal-Based Behavioral Customization of Information Systems. CAiSE Sotirios Liaskos, Marin Litoiu, Marina Daoud Jungblut, John Mylopoulos
2011	J	`jnl`	Goal-driven risk assessment in requirements engineering. Requir. Eng. Yudistira Asnar, Paolo Giorgini, John Mylopoulos
2011	A	`conf`	Modeling Design Patterns with Description Logics: A Case Study. CAiSE Yudistira Asnar, Elda Paja, John Mylopoulos
2011	—	`conf`	Nòmos: from Strategic Dependencies to Obligations. iStar Silvia Ingolfo, John Mylopoulos, Anna Perini, Alberto Siena, Angelo Susi
2011	—	`ed.`	Proceedings of the 5 iStar Jaelson Brelaz de Castro, Xavier Franch, John Mylopoulos, Eric S. K. Yu
2011	Misc	`conf`	Reasoning with Key Performance Indicators. PoEM Daniele Barone, Lei Jiang, Daniel Amyot, John Mylopoulos
2011	J	`jnl`	Representing and reasoning about preferences in requirements engineering. Requir. Eng. Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos
2011	—	`ch.`	Requirements Analysis for Run-Time Service Compositions. Social Modeling for Requirements Engineering Enzo Colombo, John Mylopoulos
2011	—	`conf`	Requirements evolution drives software evolution. EVOL/IWPSE Neil A. Ernst, Alexander Borgida, John Mylopoulos
2011	—	`book`	Social Modeling for Requirements Engineering. Eric S. K. Yu, Paolo Giorgini, Neil A. M. Maiden, John Mylopoulos
2011	—	`ch.`	Social Modeling for Requirements Engineering: An Introduction. Social Modeling for Requirements Engineering Eric Yu, Paolo Giorgini, Neil A. M. Maiden, John Mylopoulos
2011	A	`conf`	Strategic Models for Business Intelligence. ER Lei Jiang, Daniele Barone, Daniel Amyot, John Mylopoulos
2011	A	`conf`	Supporting queries spanning across phases of evolving artifacts using Steiner forests. CIKM Siarhei Bykau, John Mylopoulos, Flavio Rizzolo, Yannis Velegrakis
2011	A	`conf`	System Identification for Adaptive Software Systems: A Requirements Engineering Perspective. ER Vítor Estêvão Silva Souza, Alexei Lapouchnian, John Mylopoulos
2011	—	`ch.`	The Tropos Methodology and Software Development Environment. Social Modeling for Requirements Engineering Paolo Giorgini, John Mylopoulos, Anna Perini, Angelo Susi
2011	J	`jnl`	The brave new world of design requirements. Inf. Syst. Matthias Jarke, Pericles Loucopoulos, Kalle Lyytinen, John Mylopoulos, William N. Robinson
2011	—	`conf`	Towards Model-Based Support for Managing Organizational Transformation. MCETECH Daniele Barone, Liam Peyton, Flavio Rizzolo, Daniel Amyot, John Mylopoulos
2011	—	`conf`	Towards a requirements-driven framework for detecting malicious behavior against software systems. CASCON Hamzeh Zawawy, Kostas Kontogiannis, John Mylopoulos, Serge Mankovski
2010	—	`conf`	A Context-Based Model for the Interpretation of Polysemous Terms. OTM Conferences (2) Chrisa Tsinaraki, Yannis Velegrakis, Nadzeya Kiyavitskaya, John Mylopoulos
2010	A	`conf`	Adaptation in Open Systems: Giving Interaction Its Rightful Place. ER Fabiano Dalpiaz, Amit K. Chopra, Paolo Giorgini, John Mylopoulos
2010	—	`conf`	Awareness Requirements. Software Engineering for Self-Adaptive Systems Vítor Estêvão Silva Souza, Alexei Lapouchnian, William N. Robinson, John Mylopoulos
2010	J	`jnl`	Code forking in open-source software: a requirements perspective CoRR Neil A. Ernst, Steve M. Easterbrook, John Mylopoulos
2010	—	`conf`	Diagnosing software using statecharts. CASCON Yiqiao Wang, John Mylopoulos
2010	Misc	`conf`	Enterprise Modeling for Business Intelligence. PoEM Daniele Barone, Eric S. K. Yu, Jihyun Won, Lei Jiang, John Mylopoulos
2010	A	`conf`	Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain. ER Alberto Siena, Giampaolo Armellin, Gianluca Mameli, John Mylopoulos, Anna Perini, Angelo Susi
2010	A	`conf`	Extending Organizational Modeling with Business Services Concepts: An Overview of the Proposed Architecture. ER Hugo Estrada, Alicia Martínez, Oscar Pastor, John Mylopoulos, Paolo Giorgini
2010	—	`conf`	Integrated system diagnosis and root cause analysis. CASCON Kenny Wong, Serge Mankovski, Kostas Kontogiannis, Hausi A. Müller, John Mylopoulos
2010	A	`conf`	Integrating Preferences into Goal Models for Requirements Engineering. RE Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos
2010	—	`conf`	Log filtering and interpretation for root cause analysis. ICSM Hamzeh Zawawy, Kostas Kontogiannis, John Mylopoulos
2010	A	`conf`	Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments. CAiSE Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos
2010	—	`conf`	Next generation business intelligence (BI) tools. CASCON Leslie Dolman, Frank Wm. Tompa, Iluju Kiringa, Rachel Pottinger, John Mylopoulos
2010	—	`conf`	On Temporally Annotating Goal Models. iStar Sotirios Liaskos, John Mylopoulos
2010	B	`conf`	On the Perception of Software Quality Requirements during the Project Lifecycle. REFSQ Neil A. Ernst, John Mylopoulos
2010	—	`conf`	On the use of the Goal-Oriented Paradigm for System Design and Law Compliance Reasoning. iStar Mirko Morandini, Luca Sabatucci, Alberto Siena, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi
2010	J	`jnl`	Peer coordination through distributed triggers. Proc. VLDB Endow. Verena Kantere, Maher Manoubi, Iluju Kiringa, Timos K. Sellis, John Mylopoulos
2010	—	`ed.`	Proceedings of the 4 iStar Jaelson Brelaz de Castro, Xavier Franch, John Mylopoulos, Eric S. K. Yu
2010	A	`conf`	Reasoning about agents and protocols via goals and commitments. AAMAS Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos
2010	A	`conf`	Reasoning with Optional and Preferred Requirements. ER Neil A. Ernst, John Mylopoulos, Alexander Borgida, Ivan Jureta
2010	—	`ch.`	Requirements as Goals and Commitments Too. Intentional Perspectives on Information Systems Engineering Amit K. Chopra, John Mylopoulos, Fabiano Dalpiaz, Paolo Giorgini, Munindar P. Singh
2010	—	`ch.`	Security Requirements Engineering: The SI* Modeling Language and the Secure Tropos Methodology. Advances in Intelligent Information Systems Fabio Massacci, John Mylopoulos, Nicola Zannone
2010	—	`conf`	Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke
2010	—	`conf`	Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke
2010	A	`conf`	Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling. RE Ivan Jureta, Alexander Borgida, Neil A. Ernst, John Mylopoulos
2010	A	`conf`	The Brave New World of Design Requirements: Four Key Principles. CAiSE Matthias Jarke, Pericles Loucopoulos, Kalle Lyytinen, John Mylopoulos, William N. Robinson
2010	—	`conf`	The Evolution of Tropos: Contexts, Commitments and Adaptivity. iStar Raian Ali, Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos, Vítor Estêvão Silva Souza
2010	A	`conf`	The Model Role Level - A Vision. ER Rick Salay, John Mylopoulos
2010	J	`jnl`	Theory of Regulatory Compliance for Requirements Engineering CoRR Ivan Jureta, Alberto Siena, John Mylopoulos, Anna Perini, Angelo Susi
2010	—	`conf`	Towards a continuous requirements engineering framework for self-adaptive systems. RE@RunTime Nauman A. Qureshi, Anna Perini, Neil A. Ernst, John Mylopoulos
2009	—	`conf`	A Meta-Model for Modelling Law-Compliant Requirements. RELAW Alberto Siena, Anna Perini, Angelo Susi, John Mylopoulos
2009	J	`jnl`	A core ontology for requirements. Appl. Ontology Ivan Jureta, John Mylopoulos, Stéphane Faulkner
2009	J	`jnl`	Advanced separation of concerns in agent-oriented design patterns. Int. J. Agent Oriented Softw. Eng. Carla T. L. L. Silva, Jaelson Castro, João Araújo, Ana Moreira, Patrícia Azevedo Tedesco, John Mylopoulos
2009	A	`conf`	An Architecture for Requirements-Driven Self-reconfiguration. CAiSE Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos
2009	A	`conf`	Analysis of Multi-Party Agreement in Requirements Validation. RE Ivan Jureta, John Mylopoulos, Stéphane Faulkner
2009	J	`jnl`	Aspects across Software Life Cycle: A Goal-Driven Approach. LNCS Trans. Aspect Oriented Softw. Dev. Nan Niu, Yijun Yu, Bruno González-Baixauli, Neil A. Ernst, Julio César Sampaio do Prado Leite, John Mylopoulos
2009	J	`jnl`	Cerno: Light-weight tool support for semantic annotation of textual documents. Data Knowl. Eng. Nadzeya Kiyavitskaya, Nicola Zeni, James R. Cordy, Luisa Mich, John Mylopoulos
2009	—	`conf`	Complete and Equivalent Query Rewriting Using Views. APWeb/WAIM Jianguo Lu, Minghao Li, John Mylopoulos, Kenneth Cheung
2009	A	`conf`	Conceptual Modeling in the Time of the Revolution: Part II. ER John Mylopoulos
2009	—	`ch.`	Conceptual Schema Design. Encyclopedia of Database Systems Alexander Borgida, John Mylopoulos
2009	—	`ch.`	Database Design. Encyclopedia of Database Systems John Mylopoulos
2009	A	`conf`	Designing Law-Compliant Software Requirements. ER Alberto Siena, John Mylopoulos, Anna Perini, Angelo Susi
2009	J	`jnl`	Designing socio-technical systems: from stakeholder goals to social networks. Requir. Eng. Volha Bryl, Paolo Giorgini, John Mylopoulos
2009	C	`conf`	From Organizational Models to Software Requirements. SEKE Alicia Martínez, Oscar Pastor, John Mylopoulos, Hugo Estrada
2009	A	`conf`	Improving Model Quality Using Diagram Coverage Criteria. CAiSE Rick Salay, John Mylopoulos
2009	A	`conf`	Measuring and Comparing Effectiveness of Data Quality Techniques. CAiSE Lei Jiang, Daniele Barone, Alexander Borgida, John Mylopoulos
2009	A	`conf`	Modeling Concept Evolution: A Historical Perspective. ER Flavio Rizzolo, Yannis Velegrakis, John Mylopoulos, Siarhei Bykau
2009	A	`conf`	Modeling Domain Variability in Requirements Engineering with Contexts. ER Alexei Lapouchnian, John Mylopoulos
2009	C	`conf`	Models in Knowledge Management. KSEM John Mylopoulos
2009	A	`conf`	Monitoring and Diagnosing Malicious Attacks with Autonomic Software. ER Vítor Estêvão Silva Souza, John Mylopoulos
2009	J	`jnl`	Monitoring and diagnosing software requirements. Autom. Softw. Eng. Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos
2009	C	`conf`	Required Knowledge for Delivering Services. KSEM Brian Donnellan, Diem Ho, John Mylopoulos, Stefan Schambron, Hans-Georg Fill
2009	—	`conf`	Requirements-driven Internetware services evaluation. Internetware Wenting Ma, Lin Liu, Xiaojun Ye, Jianmin Wang, John Mylopoulos
2009	J	`jnl`	Secure-I*: Engineering Secure Software Systems through Social Analysis. Int. J. Softw. Informatics Lin Liu, Eric S. K. Yu, John Mylopoulos
2009	A*	`conf`	Self-Repair through Reconfiguration: A Requirements Engineering Approach. ASE Yiqiao Wang, John Mylopoulos
2009	—	`conf`	Software self-reconfiguration: a BDI-based approach. AAMAS (2) Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos
2009	A*	`conf`	Towards Augmenting Requirements Models with Preferences. ASE Sotirios Liaskos, Sheila A. McIlraith, John Mylopoulos
2009	J	`jnl`	Towards a Theory of Requirements Elicitation: Acceptability Condition for the Relative Validity of Requirements CoRR Ivan Jureta, John Mylopoulos, Stéphane Faulkner
2009	—	`conf`	Towards a framework for law-compliant software requirements. ICSE Companion Alberto Siena, Anna Perini, Angelo Susi, John Mylopoulos
2009	A	`conf`	Using Macromodels to Manage Collections of Related Models. CAiSE Rick Salay, John Mylopoulos, Steve M. Easterbrook
2008	—	`conf`	08412 Abstracts Collection - Science of Design : High-Impact Requirements for Software-Intensive Systems. Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems Matthias Jarke, Kalle Lyytinen, John Mylopoulos
2008	—	`conf`	08412 Executive Summary - Science of Design : High-Impact Requirements for Software-Intensive Systems. Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems Matthias Jarke, Kalle Lyytinen, John Mylopoulos
2008	—	`conf`	08412 Manifesto - High-Impact Requirements for Software-Intensive Systems. Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems Matthias Jarke, Pericles Loucopoulos, Kalle Lyytinen, John Mylopoulos, William N. Robinson
2008	—	`conf`	08412 Seminar Outlines and Working Group Summaries. Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems Matthias Jarke, Kalle Lyytinen, John Mylopoulos, Gerti Kappel, Julio César Sampaio do Prado Leite, Gloria Mark, Balasubramaniam Ramesh, Dominik Schmitz, Alistair G. Sutcliffe
2008	—	`conf`	A Service-oriented Approach for the i* Framework. iStar Hugo Estrada, Alicia Martínez Rebollar, Oscar Pastor, John Mylopoulos, Paolo Giorgini
2008	B	`conf`	Annotating Regulations Using Cerno: An Application to Italian Documents - Extended Abstract. ARES Nicola Zeni, Nadzeya Kiyavitskaya, James R. Cordy, Luisa Mich, John Mylopoulos
2008	A	`conf`	Automating the Extraction of Rights and Obligations for Regulatory Compliance. ER Nadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breaux, Annie I. Antón, James R. Cordy, Luisa Mich, John Mylopoulos
2008	C	`conf`	Automating the Generation of Semantic Annotation Tools Using a Clustering Technique. NLDB Vítor Estêvão Silva Souza, Nicola Zeni, Nadzeya Kiyavitskaya, Periklis Andritsos, Luisa Mich, John Mylopoulos
2008	Misc	`conf`	Configuring features with stakeholder goals. SAC Yijun Yu, Julio César Sampaio do Prado Leite, Alexei Lapouchnian, John Mylopoulos
2008	J	`jnl`	Discovering and Maintaining Semantic Mappings between XML Schemas and Ontologies. J. Comput. Sci. Eng. Yuan An, Alexander Borgida, John Mylopoulos
2008	C	`conf`	From Goals to High-Variability Software Design. ISMIS Yijun Yu, Alexei Lapouchnian, Sotirios Liaskos, John Mylopoulos, Julio César Sampaio do Prado Leite
2008	—	`conf`	From Laws to Requirements. RELAW Alberto Siena, John Mylopoulos, Anna Perini, Angelo Susi
2008	—	`conf`	Goal-Oriented Requirements Engineering. CIbSE John Mylopoulos
2008	A*	`conf`	Managing Models through Macromodeling. ASE Rick Salay, John Mylopoulos, Steve M. Easterbrook
2008	—	`ed.`	Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems, 08.10. - 11.10.2008 Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems Matthias Jarke, Kalle Lyytinen, John Mylopoulos
2008	J	`jnl`	Revisiting the Core Ontology and Problem in Requirements Engineering CoRR Ivan Jureta, John Mylopoulos, Stéphane Faulkner
2008	A	`conf`	Revisiting the Core Ontology and Problem in Requirements Engineering. RE Ivan Jureta, John Mylopoulos, Stéphane Faulkner
2008	—	`conf`	Software Maintenance and Reengineering in the Days of Software Agents. CSMR John Mylopoulos
2008	A	`conf`	Supporting Requirements Model Evolution throughout the System Life-Cycle. RE Neil A. Ernst, John Mylopoulos, Yijun Yu, Tien Nguyen
2008	—	`conf`	The Logic of Requirements. Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems John Mylopoulos
2008	A	`conf`	Towards a Compositional Semantic Account of Data Quality Attributes. ER Lei Jiang, Alexander Borgida, John Mylopoulos
2008	—	`conf`	Traceability for the maintenance of secure software. ICSM Yijun Yu, Jan Jürjens, John Mylopoulos
2008	—	`conf`	Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT. iStar Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi
2007	C	`conf`	A Lightweight Approach to Semantic Annotation of Research Papers. NLDB Nicola Zeni, Nadzeya Kiyavitskaya, Luisa Mich, John Mylopoulos, James R. Cordy
2007	A*	`conf`	A Semantic Approach to Discovering Schema Mapping Expressions. ICDE Yuan An, Alexander Borgida, Renée J. Miller, John Mylopoulos
2007	A	`conf`	A design framework for generating BDI-agents from goal models. AAMAS Loris Penserini, Anna Perini, Angelo Susi, Mirko Morandini, John Mylopoulos
2007	—	`conf`	An Ontology for Requirements. ER Workshops John Mylopoulos, Ivan Jureta, Stéphane Faulkner
2007	A*	`conf`	An automated approach to monitoring and diagnosing requirements. ASE Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos
2007	C	`conf`	Annotating Accommodation Advertisements Using CERNO. ENTER Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, James R. Cordy, John Mylopoulos
2007	A	`conf`	Business Process-Based Regulation Compliance: The Case of the Sarbanes-Oxley Act. RE Dimitris Karagiannis, John Mylopoulos, Margit Schwab
2007	J	`jnl`	Computer-aided Support for Secure Tropos. Autom. Softw. Eng. Fabio Massacci, John Mylopoulos, Nicola Zannone
2007	—	`conf`	Data Quality By Design: A Goal-Oriented Approach. ICIQ Lei Jiang, Alexander Borgida, Thodoros Topaloglou, John Mylopoulos
2007	—	`conf`	Exploring the Dimensions of Variability: a Requirements Engineering Perspective. VaMoS Sotirios Liaskos, Lei Jiang, Alexei Lapouchnian, Yiqiao Wang, Yijun Yu, Julio César Sampaio do Prado Leite, John Mylopoulos
2007	A*	`conf`	Extracting rights and obligations from regulations: toward a tool-supported process. ASE Nadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breaux, Annie I. Antón, James R. Cordy, Luisa Mich, John Mylopoulos
2007	J	`jnl`	From Hippocratic Databases to Secure Tropos: a Computer-Aided Re-Engineering Approach. Int. J. Softw. Eng. Knowl. Eng. Fabio Massacci, John Mylopoulos, Nicola Zannone
2007	A	`conf`	Goal-Oriented Conceptual Database Design. RE Lei Jiang, Thodoros Topaloglou, Alexander Borgida, John Mylopoulos
2007	—	`conf`	Goal-oriented Requirements Engineering. JISBD John Mylopoulos
2007	J	`jnl`	High variability design for software agents: Extending Tropos. ACM Trans. Auton. Adapt. Syst. Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos
2007	—	`ed.`	Journal on Data Semantics IX Journal on Data Semantics IX Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu
2007	—	`ed.`	Journal on Data Semantics VIII Journal on Data Semantics VIII Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu
2007	A	`conf`	Requirements-Driven Design and Configuration Management of Business Processes. BPM Alexei Lapouchnian, Yijun Yu, John Mylopoulos
2007	—	`conf`	SWWS 2007 PC Co-chairs' Message. OTM Workshops (2) Elizabeth Chang, John Mylopoulos
2007	J	`jnl`	Supporting Distributed Event-Condition-Action Rules in a Multidatabase Environment. Int. J. Cooperative Inf. Syst. Verena Kantere, Iluju Kiringa, John Mylopoulos
2007	B	`conf`	Supporting Requirements Analysis in Tropos: A Planning-Based Approach. PRIMA Volha Bryl, Paolo Giorgini, John Mylopoulos
2007	A	`conf`	Tracing and Validating Goal Aspects. RE Yijun Yu, Nan Niu, Bruno González-Baixauli, William Candillon, John Mylopoulos, Steve M. Easterbrook, Julio César Sampaio do Prado Leite, Gilles Vanwormhoudt
2006	A	`conf`	A Multi-perspective Framework for Organizational Patterns. ER Enzo Colombo, John Mylopoulos
2006	—	`conf`	A Tropos Model-Driven Development Environment. CAiSE Forum Davide Bertolini, Loris Delpero, John Mylopoulos, Aliaksei Novikau, Alessandro Orler, Loris Penserini, Anna Perini, Angelo Susi, Barbara Tomasi
2006	C	`conf`	Agent Capability: Automating the Design to Code Process. EUMAS Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos
2006	B	`conf`	An ECA Rule Rewriting Mechanism for Peer Data Management Systems. EDBT Dan Zhao, John Mylopoulos, Iluju Kiringa, Verena Kantere
2006	A	`conf`	An Empirical Evaluation of the CAiSE Hugo Estrada, Alicia Martínez Rebollar, Oscar Pastor, John Mylopoulos
2006	A*	`conf`	Building Semantic Mappings from Databases to Ontologies. AAAI Yuan An, John Mylopoulos, Alexander Borgida
2006	A	`conf`	Conceptualizing the Co-evolution of Organizations and Information Systems: An Agent-Oriented Perspective. ER Ning Su, John Mylopoulos
2006	A	`conf`	Decision Making in Large-Scale Domains: A Case Study. ECAI Mikhail Soutchanski, Huy Pham, John Mylopoulos
2006	A*	`conf`	Decision Making in Uncertain Real-World Domains Using DT-Golog. AAAI Mikhail Soutchanski, Huy Pham, John Mylopoulos
2006	A	`conf`	Deriving Architectures from Requirements. RE Lúcia R. D. Bastos, Jaelson Castro, John Mylopoulos
2006	—	`conf`	Designing Cooperative IS: Exploring and Evaluating Alternatives. OTM Conferences (1) Volha Bryl, Paolo Giorgini, John Mylopoulos
2006	A	`conf`	Designing Security Requirements Models Through Planning. CAiSE Volha Bryl, Fabio Massacci, John Mylopoulos, Nicola Zannone
2006	A	`conf`	Detecting Conflicts of Interest. RE Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone
2006	J	`jnl`	Discovering the Semantics of Relational Tables Through Mappings. J. Data Semant. Yuan An, Alexander Borgida, John Mylopoulos
2006	—	`conf`	Distributed Triggers for Peer Data Management. OTM Conferences (1) Verena Kantere, Iluju Kiringa, Qingqing Zhou, John Mylopoulos, Gregory McArthur
2006	A*	`conf`	From Capability Specifications to Code for Multi-Agent Software. ASE Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos
2006	—	`conf`	From Early to Late Requirements: A Goal-Based Approach. AOIS Alicia Martínez, Oscar Pastor, John Mylopoulos, Paolo Giorgini
2006	A	`conf`	From Stakeholder Intentions to Software Agent Implementations. CAiSE Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos
2006	A	`conf`	Goal-Oriented Requirements Engineering, Part II. RE John Mylopoulos
2006	J	`jnl`	Hierarchical hippocratic databases with minimal disclosure for virtual organizations. VLDB J. Fabio Massacci, John Mylopoulos, Nicola Zannone
2006	—	`conf`	Improving Multi-Agent Architectural Design. SELMAS (LNCS) Carla T. L. L. Silva, Jaelson Castro, Patrícia Azevedo Tedesco, João Araújo, Ana Moreira, John Mylopoulos
2006	—	`conf`	Improving the architectural design of multi-agent systems: the tropos case. SELMAS Carla Silva, Jaelson Castro, Patrícia Azevedo Tedesco, João Araújo, Ana Moreira, John Mylopoulos
2006	A	`conf`	Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management. RE Lei Jiang, Thodoros Topaloglou, Alexander Borgida, John Mylopoulos
2006	—	`conf`	Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management. SEBD Lei Jiang, Thodoros Topaloglou, Alexander Borgida, John Mylopoulos
2006	—	`conf`	Integration of Aspects with i* Models. AOIS Fernanda M. R. Alencar, Jaelson Brelaz de Castro, Ana Moreira, João Araújo, Carla T. L. L. Silva, Ricardo Argenton Ramos, John Mylopoulos
2006	J	`jnl`	Multi-Agent Architectures as Organizational Structures. Auton. Agents Multi Agent Syst. Manuel Kolp, Paolo Giorgini, John Mylopoulos
2006	A	`conf`	On Goal-based Variability Acquisition and Analysis. RE Sotirios Liaskos, Alexei Lapouchnian, Yijun Yu, Eric S. K. Yu, John Mylopoulos
2006	A*	`ed.`	Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006 KR Patrick Doherty, John Mylopoulos, Christopher A. Welty
2006	—	`ch.`	Properties of Information Modeling Techniques for Information Systems Engineering. Handbook on Architectures of Information Systems John Mylopoulos, Alexander Borgida
2006	J	`jnl`	Requirements engineering for trust management: model, methodology, and reasoning. Int. J. Inf. Sec. Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone
2006	—	`conf`	Requirements-driven design of autonomic application software. CASCON Alexei Lapouchnian, Yijun Yu, Sotirios Liaskos, John Mylopoulos
2006	—	`conf`	Security Design Based on Social Modeling. COMPSAC (2) Lin Liu, Eric S. K. Yu, John Mylopoulos
2006	—	`conf`	Text Mining Through Semi Automatic Semantic Annotation. PAKM Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, James R. Cordy, John Mylopoulos
2006	—	`conf`	Towards an Ontological Account of Agent-Oriented Goals. SELMAS (LNCS) Renata S. S. Guizzardi, Giancarlo Guizzardi, Anna Perini, John Mylopoulos
2006	A	`conf`	Using Aspects to Simplify iModels. RE Fernanda M. R. Alencar, Ana Moreira, João Araújo, Jaelson Castro, Carla T. L. L. Silva, John Mylopoulos
2005	—	`conf`	A Datawarehouse for Managing Commercial Software Release. ICSM Homayoun Dayani-Fard, Janice I. Glasgow, John Mylopoulos
2005	—	`conf`	A Lightweight Approach to Semantic Web Service Synthesis. WIRI Jianguo Lu, Yijun Yu, John Mylopoulos
2005	—	`conf`	Applying Software Analysis Technology to Lightweight Semantic Markup of Document Text. ICAPR (1) Nadzeya Kiyavitskaya, Nicola Zeni, James R. Cordy, Luisa Mich, John Mylopoulos
2005	A	`ed.`	Conceptual Modeling - ER 2005, 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings ER Lois M. L. Delcambre, Christian Kop, Heinrich C. Mayr, John Mylopoulos, Oscar Pastor
2005	Misc	`conf`	Constructing Complex Semantic Mappings Between XML Data and Ontologies. ISWC Yuan An, Alexander Borgida, John Mylopoulos
2005	A*	`conf`	DEAS 2005: workshop on the design and evolution of autonomic application software. ICSE David Garlan, John Mylopoulos, Marin Litoiu, Dennis B. Smith, Hausi A. Müller, Kenny Wong
2005	J	`jnl`	DEAS 2005: workshop on the design and evolution of autonomic application software. ACM SIGSOFT Softw. Eng. Notes David Garlan, Marin Litoiu, Hausi A. Müller, John Mylopoulos, Dennis B. Smith, Kenny Wong
2005	A*	`conf`	Data Sharing in the Hyperion Peer Database System. VLDB Patricia Rodríguez-Gianolli, Maddalena Garzetti, Lei Jiang, Anastasios Kementsietsidis, Iluju Kiringa, Mehedi Masud, Renée J. Miller, John Mylopoulos
2005	C	`conf`	Databases and the Semantic Web: Data Semantics Revisited. APWeb Alexander Borgida, John Mylopoulos
2005	J	`jnl`	Editorial. World Wide Web Tiziana Catarci, John Mylopoulos, Maria E. Orlowska
2005	C	`conf`	Goal-Oriented Requirements Engineering. APSEC John Mylopoulos
2005	J	`jnl`	Goal-oriented requirements analysis and reasoning in the Tropos methodology. Eng. Appl. Artif. Intell. Paolo Giorgini, John Mylopoulos, Roberto Sebastiani
2005	B	`conf`	Improving the Build Architecture of Legacy C/C++ Software Systems. FASE Homayoun Dayani-Fard, Yijun Yu, John Mylopoulos, Periklis Andritsos
2005	—	`conf`	Inferring Complex Semantic Mappings Between Relational Tables and Ontologies from Simple Correspondences. OTM Conferences (2) Yuan An, Alexander Borgida, John Mylopoulos
2005	J	`jnl`	Making XML document markup international. Softw. Pract. Exp. Yijun Yu, Jianguo Lu, John Mylopoulos, Weiwei Sun, Jing-Hao Xue, Erik H. D'Hollander
2005	A	`conf`	Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation. ESORICS Fabio Massacci, John Mylopoulos, Nicola Zannone
2005	A	`conf`	Modeling Security Requirements Through Ownership, Permission and Delegation. RE Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone
2005	—	`conf`	Modeling Social and Individual Trust in Requirements Engineering Methodologies. iTrust Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone
2005	A	`conf`	Modeling and Analyzing Context-Aware Composition of Services. ICSOC Enzo Colombo, John Mylopoulos, Paola Spoletini
2005	—	`ed.`	On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I OTM Conferences (1) Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, Stefano Spaccapietra
2005	—	`ed.`	On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part II OTM Conferences (2) Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, Stefano Spaccapietra
2005	A	`conf`	Quality-Based Software Reuse. CAiSE Julio César Sampaio do Prado Leite, Yijun Yu, Lin Liu, Eric S. K. Yu, John Mylopoulos
2005	—	`conf`	RETR: Reverse Engineering to Requirements. WCRE Yijun Yu, John Mylopoulos, Yiqiao Wang, Sotirios Liaskos, Alexei Lapouchnian, Ying Zou, Martin Littou, Julio César Sampaio do Prado Leite
2005	—	`conf`	Reducing Build Time through Precompilations for Evolving Large Software. ICSM Yijun Yu, Homayoun Dayani-Fard, John Mylopoulos, Periklis Andritsos
2005	A*	`conf`	Representing and Querying Data Transformations. ICDE Yannis Velegrakis, Renée J. Miller, John Mylopoulos
2005	A	`conf`	Reverse Engineering Goal Models from Legacy Code. RE Yijun Yu, Yiqiao Wang, John Mylopoulos, Sotirios Liaskos, Alexei Lapouchnian, Julio César Sampaio do Prado Leite
2005	—	`conf`	ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements. iTrust Paolo Giorgini, Fabio Massacci, John Mylopoulos, Alberto Siena, Nicola Zannone
2005	A	`conf`	ST-Tool: A CASE Tool for Security Requirements Engineering. RE Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone
2005	—	`conf`	Semi-Automatic Semantic Annotations for Web Documents. SWAP Nadzeya Kiyavitskaya, Nicola Zeni, James R. Cordy, Luisa Mich, John Mylopoulos
2005	J	`jnl`	The Tropos Metamodel and its Use. Informatica (Slovenia) Angelo Susi, Anna Perini, John Mylopoulos, Paolo Giorgini
2005	J	`jnl`	Towards requirements-driven autonomic systems design. ACM SIGSOFT Softw. Eng. Notes Alexei Lapouchnian, Sotirios Liaskos, John Mylopoulos, Yijun Yu
2005	—	`conf`	Translating XML Web Data into Ontologies. OTM Workshops Yuan An, John Mylopoulos
2004	—	`conf`	A Lightweight Approach to Semantic Tagging. WWW Workshop on Application Design, Development and Implementation Issues in the Semantic Web Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, John Mylopoulos
2004	—	`conf`	Data Semantics Revisited. SWDB Alexander Borgida, John Mylopoulos
2004	A	`conf`	Designing Web Services with Tropos. ICWS Diana Lau, John Mylopoulos
2004	J	`jnl`	Editorial - International Semantic Web Conference 2003. J. Web Semant. Katia P. Sycara, John Mylopoulos
2004	C	`conf`	Experimenting with Linguistic Tools for Conceptual Modelling: Quality of the Models and Critical Features. NLDB Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, John Mylopoulos
2004	—	`conf`	Filling the Gap between Requirements Engineering and Public Key/Trust Management Infrastructures. EuroPKI Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone
2004	A	`conf`	From Goals to Aspects: Discovering Aspects from Requirements Goal Models. RE Yijun Yu, Julio César Sampaio do Prado Leite, John Mylopoulos
2004	J	`jnl`	Introduction to special issue with best papers from CAiSE 2002. Inf. Syst. John Mylopoulos, Carson C. Woo
2004	J	`jnl`	Introduction. Autom. Softw. Eng. Andrea De Lucia, James R. Cordy, John Mylopoulos
2004	J	`jnl`	Ontologies for Knowledge Management: An Information Systems Perspective. Knowl. Inf. Syst. Igor Jurisica, John Mylopoulos, Eric S. K. Yu
2004	—	`conf`	Refining Semantic Mappings from Relational Tables to Ontologies. SWDB Yuan An, Alexander Borgida, John Mylopoulos
2004	—	`conf`	Requirements Engineering Meets Trust Management: Model, Methodology, and Reasoning. iTrust Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone
2004	A	`conf`	Simple and Minimum-Cost Satisfiability for Goal Models. CAiSE Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
2004	J	`jnl`	Specifying and analyzing early requirements in Tropos. Requir. Eng. Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Roveri, Paolo Traverso
2004	A*	`conf`	ToMAS: A System for Adapting Mappings while Schemas Evolve. ICDE Yannis Velegrakis, Renée J. Miller, Lucian Popa, John Mylopoulos
2004	J	`jnl`	Tropos: An Agent-Oriented Software Development Methodology. Auton. Agents Multi Agent Syst. Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos
2004	A	`conf`	Visual Variability Analysis for Goal Models. RE Bruno González-Baixauli, Julio César Sampaio do Prado Leite, John Mylopoulos
2003	—	`conf`	A Distributed Rule Mechanism for Multidatabase Systems. OTM Vasiliki Kantere, John Mylopoulos, Iluju Kiringa
2003	—	`conf`	Agent Oriented Software Development. OOIS John Mylopoulos
2003	C	`conf`	Automated EJB Client Code Generation Using Database Query Rewriting. IDEAS Jianguo Lu, John Mylopoulos
2003	J	`jnl`	Cooperation strategies for agent-based P2P systems. Web Intell. Agent Syst. Loris Penserini, Lin Liu, John Mylopoulos, Maurizio Panti, Luca Spalazzi
2003	—	`conf`	Coordinating Peer Databases Using ECA Rules. DBISP2P Vasiliki Kantere, Iluju Kiringa, John Mylopoulos, Anastasios Kementsietsidis, Marcelo Arenas
2003	—	`conf`	Detailing Architectural Design in Requirements Driven Software Development: The Tropos Case. SBES Carla T. L. L. Silva, Jaelson F. B. Castro, John Mylopoulos
2003	—	`conf`	Detailing Architectural Design in the Tropos Methodology. STRAW Carla T. L. L. Silva, Jaelson Brelaz de Castro, John Mylopoulos
2003	J	`jnl`	Formal Reasoning Techniques for Goal Models. J. Data Semant. Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani
2003	B	`conf`	From Task-Oriented to Goal-Oriented Web Requirements Analysis. WISE Davide Bolchini, John Mylopoulos
2003	—	`conf`	Integrating Organizational Requirements and Socio-Intentional Architectural Styles. STRAW Lúcia R. D. Bastos, Jaelson Brelaz de Castro, John Mylopoulos
2003	—	`conf`	Local Relational Model: A Logical Formalization of Database Coordination. CONTEXT Luciano Serafini, Fausto Giunchiglia, John Mylopoulos, Philip A. Bernstein
2003	A	`conf`	Modeling Organizational Architectural Styles in UML. CAiSE Jaelson Castro, Carla T. L. L. Silva, John Mylopoulos
2003	—	`conf`	Modeling Software. Description Logics John Mylopoulos
2003	A	`conf`	Organizational Patterns for Early Requirements Analysis. CAiSE Manuel Kolp, Paolo Giorgini, John Mylopoulos
2003	J	`jnl`	Quality-driven software re-engineering. J. Syst. Softw. Ladan Tahvildari, Kostas Kontogiannis, John Mylopoulos
2003	—	`conf`	Removing false code dependencies to speedup software build processes. CASCON Yijun Yu, Homayoun Dayani-Fard, John Mylopoulos
2003	A	`conf`	Requirement Engineering Meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard. ER Paolo Giorgini, Fabio Massacci, John Mylopoulos
2003	A	`conf`	Requirements Analysis for Customizable Software Goals-Skills-Preferences Framework. RE Bowen Hui, Sotirios Liaskos, John Mylopoulos
2003	J	`jnl`	Requirements Engineering editorial. Requir. Eng. Pericles Loucopoulos, John Mylopoulos
2003	A	`conf`	Security and Privacy Requirements Analysis within a Social Setting. RE Lin Liu, Eric S. K. Yu, John Mylopoulos
2003	B	`conf`	SemanticWeb Services: Facts and Fiction. WISE John Mylopoulos, Maria E. Orlowska
2003	A	`conf`	Specifying and Analyzing Early Requirements: Some Experimental Results. RE Ariel Fuxman, Lin Liu, Marco Pistore, Marco Roveri, John Mylopoulos
2003	—	`conf`	Tenth Anniversasy of CoopIS: Cooperative Information Systems Then and Now. OTM John Mylopoulos
2003	J	`jnl`	The Migration of Multi-tier E-commerce Applications to an Enterprise Java Environment. Inf. Syst. Frontiers Terence C. Lau, Jianguo Lu, John Mylopoulos, Kostas Kontogiannis
2003	Misc	`ed.`	The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings ISWC Dieter Fensel, Katia P. Sycara, John Mylopoulos
2003	J	`jnl`	The hyperion project: from data integration to data coordination. SIGMOD Rec. Marcelo Arenas, Vasiliki Kantere, Anastasios Kementsietsidis, Iluju Kiringa, Renée J. Miller, John Mylopoulos
2002	A	`ed.`	Advanced Information Systems Engineering, 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings CAiSE Anne Banks Pidduck, John Mylopoulos, Carson C. Woo, M. Tamer Özsu
2002	—	`conf`	Agent-Oriented Software Development. SETN John Mylopoulos, Manuel Kolp, Paolo Giorgini
2002	—	`conf`	An Extensible Tool for Source Code Representation Using XML. WCRE Gregory McArthur, John Mylopoulos, Siu Kee Keith Ng
2002	—	`conf`	Applying Tropos Methodology to a real case study: Complexity and Criticality Analysis. WOA Maddalena Garzetti, Paolo Giorgini, John Mylopoulos, Fabrizio Sannicolò
2002	—	`conf`	Data Management for Peer-to-Peer Computing : A Vision. WebDB Philip A. Bernstein, Fausto Giunchiglia, Anastasios Kementsietsidis, John Mylopoulos, Luciano Serafini, Ilya Zaihrayeu
2002	J	`jnl`	Extensible Information Brokers. Int. J. Artif. Intell. Tools Jianguo Lu, John Mylopoulos
2002	C	`conf`	Information systems development through social structures. SEKE Manuel Kolp, Paolo Giorgini, John Mylopoulos
2002	J	`jnl`	Intelligent agents and financial risk monitoring systems. Commun. ACM Huaiqing Wang, John Mylopoulos, Stephen Shaoyi Liao
2002	—	`conf`	Modeling and Evaluating Cooperation Strategies in P2P Agent Systems. AP2PC Loris Penserini, Lin Liu, John Mylopoulos, Luca Spalazzi
2002	—	`conf`	Multi-agent and Software Architectures: A Comparative Case Study. AOSE Paolo Giorgini, Manuel Kolp, John Mylopoulos
2002	A	`conf`	Organizational multi-agent architectures: a mobile robot example. AAMAS Manuel Kolp, Paolo Giorgini, John Mylopoulos
2002	A	`conf`	Reasoning with Goal Models. ER Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani
2002	J	`jnl`	Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda. Requir. Eng. Hermann Kaindl, Sjaak Brinkkemper, Janis A. Bubenko Jr., Barbara Farbey, Sol J. Greenspan, Constance L. Heitmeyer, Julio César Sampaio do Prado Leite, Nancy R. Mead, John Mylopoulos, Jawed I. A. Siddiqi
2002	—	`conf`	Requirements Traceability in Agent Oriented Development. SELMAS Jaelson Castro, Rosa Candida Pinto, Andréa Castor, John Mylopoulos
2002	—	`conf`	Socio-Intentional Architectures for Multi-Agent Systems: the Mobile Robot Control case. AOIS@CAiSE Paolo Giorgini, Manuel Kolp, John Mylopoulos
2002	—	`conf`	The Tropos Software Development Methodology: Processes, Models and Diagrams. AOSE Fausto Giunchiglia, John Mylopoulos, Anna Perini
2002	A	`conf`	The tropos software development methodology: processes, models and diagrams. AAMAS Fausto Giunchiglia, John Mylopoulos, Anna Perini
2002	J	`jnl`	Towards requirements-driven information systems engineering: the Tropos project. Inf. Syst. Jaelson Castro, Manuel Kolp, John Mylopoulos
2001	—	`conf`	A Goal-Based Organizational Perspective on Multi-agent Architectures. ATAL Manuel Kolp, Paolo Giorgini, John Mylopoulos
2001	A	`conf`	A Requirements-Driven Development Methodology. CAiSE Jaelson Castro, Manuel Kolp, John Mylopoulos
2001	A	`conf`	A Semantic Approach to XML-based Data Integration. ER Patricia Rodríguez-Gianolli, John Mylopoulos
2001	—	`conf`	A knowledge level software engineering methodology for agent oriented programming. Agents Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos
2001	C	`conf`	Agent- Oriented Software Development: A Case Study. SEKE Paolo Giorgini, Anna Perini, John Mylopoulos, Fausto Giunchiglia, Paolo Bresciani
2001	J	`jnl`	Exploring Alternatives during Requirements Analysis. IEEE Softw. John Mylopoulos, Lawrence Chung, Stephen Shaoyi Liao, Huaiqing Wang, Eric S. K. Yu
2001	C	`conf`	Information systems as social structures. FOIS Ariel Fuxman, Paolo Giorgini, Manuel Kolp, John Mylopoulos
2001	A	`conf`	Integrating Organizational Requirements and Object Oriented Modeling. RE Jaelson Castro, John Mylopoulos, Fernanda M. R. Alencar, Gilberto A. Cysneiros Filho
2001	A	`conf`	Model Checking Early Requirements Specifications in Tropos. RE Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso
2001	—	`conf`	Modeling Early Requirements in Tropos: A Transformation Based Approach. AOSE Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos
2001	—	`conf`	Requirements-Driven Software Re-engineering Framework. WCRE Ladan Tahvildari, Kostas Kontogiannis, John Mylopoulos
2001	—	`conf`	Semantic Models for Knowledge Management. WISE (1) Raoul Jarvis, Gregory McArthur, John Mylopoulos, Patricia Rodríguez-Gianolli, Shun Zhou
2001	J	`jnl`	Toward Web-Based Application Management Systems. IEEE Trans. Knowl. Data Eng. Avigdor Gal, John Mylopoulos
2001	—	`conf`	Towards an Agent Oriented Approach to Software Engineering. WOA Anna Perini, Paolo Bresciani, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos
2001	—	`conf`	UML for Agent-Oriented Software Development: The Tropos Proposal. UML John Mylopoulos, Manuel Kolp, Jaelson Castro
2000	J	`jnl`	Desert Island Column: A Trip to Carthea. Autom. Softw. Eng. John Mylopoulos
2000	—	`conf`	Developing Agent-Oriented Information Systems for the Enterprise. ICEIS Jaelson Castro, Manuel Kolp, John Mylopoulos
2000	J	`jnl`	End-to-end E-commerce Application Development Based on XML Tools. IEEE Data Eng. Bull. Weidong Kou, David Lauzon, William G. O'Farrell, Teo Loo See, Daniel Wee, Daniel Tan, Kelvin Cheung, Richard Gregory, Kostas Kontogiannis, John Mylopoulos
2000	—	`conf`	From Early Requirements Modeled by the i* Technique to Later Requirements Modeled in Precise UML. WER Fernanda M. R. Alencar, Jaelson Castro, Gilberto A. Cysneiros Filho, John Mylopoulos
2000	A	`conf`	From Entities and Relationships to Social Actors and Dependencies. ER John Mylopoulos, Ariel Fuxman, Paolo Giorgini
2000	J	`jnl`	Higher order generalization and its application in program verification. Ann. Math. Artif. Intell. Jianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya
2000	J	`jnl`	Incremental Iterative Retrieval and Browsing for Efficient Conversational CBR Systems. Appl. Intell. Igor Jurisica, Janice I. Glasgow, John Mylopoulos
2000	—	`book`	Non-Functional Requirements in Software Engineering Lawrence Chung, Brian A. Nixon, Eric Yu, John Mylopoulos
2000	J	`jnl`	Supporting Distributed Autonomous Information Services Using Coordination. Int. J. Cooperative Inf. Syst. Avigdor Gal, John Mylopoulos
2000	A	`conf`	Towards Extensible Information Brokers Based on XML. CAiSE Jianguo Lu, John Mylopoulos, Jamie Ho
2000	A	`conf`	Why Is It So Difficult to Introduce RE Research Results into Mainstream RE Practice? CAiSE Hermann Kaindl, John Mylopoulos
1999	J	`jnl`	From Object-Oriented to Goal-Oriented Requirements Analysis. Commun. ACM John Mylopoulos, Lawrence Chung, Eric S. K. Yu
1999	J	`jnl`	Information Services for the Web: Building and Maintaining Domain Models. Int. J. Cooperative Inf. Syst. Avigdor Gal, Scott Kerr, John Mylopoulos
1999	—	`conf`	Migration of procedural systems to network-centric platforms. CASCON Prashant Patil, Ying Zou, Kostas Kontogiannis, John Mylopoulos
1999	A	`conf`	Modeling Dynamic Domains with ConGolog. CAiSE Yves Lespérance, Todd G. Kelley, John Mylopoulos, Eric S. K. Yu
1998	J	`jnl`	A Three-Faced View of Information Systems. Commun. ACM Giorgio De Michelis, Eric Dubois, Matthias Jarke, Florian Matthes, John Mylopoulos, Joachim W. Schmidt, Carson C. Woo, Eric S. K. Yu
1998	J	`jnl`	Case-based reasoning in IVF: prediction and knowledge mining. Artif. Intell. Medicine Igor Jurisica, John Mylopoulos, Janice I. Glasgow, Heather Shapiro, Robert F. Casper
1998	—	`conf`	Code migration through transformations: an experience report. CASCON Kostas Kontogiannis, Johannes Martin, Kenny Wong, Richard Gregory, Hausi A. Müller, John Mylopoulos
1998	J	`jnl`	Information Modeling in the Time of the Revolution. Inf. Syst. John Mylopoulos
1998	B	`conf`	Information Services for the Web: Building and Maintaining Domain Models. CoopIS Scott Kerr, Avigdor Gal, John Mylopoulos
1998	J	`jnl`	Information Services: Coping with the Information Crisis - Guest Editors' Introduction. Int. J. Cooperative Inf. Syst. Avigdor Gal, John Mylopoulos
1998	—	`conf`	Panel on Next Generation Database Systems Won't Work Without Semantics! SIGMOD Conference John Mylopoulos
1998	B	`conf`	Why Goal-Oriented Requirements Engineering. REFSQ Eric S. K. Yu, John Mylopoulos
1997	J	`jnl`	Guest Editors' Introduction. IEEE Expert John Mylopoulos, Mike P. Papazoglou
1997	—	`conf`	Modelling Organizational Issues for Enterprise Integration. ICEIMT Eric S. K. Yu, John Mylopoulos
1997	J	`jnl`	Representing Software Engineering Knowledge. Autom. Softw. Eng. John Mylopoulos, Alexander Borgida, Eric S. K. Yu
1997	J	`jnl`	The Software Bookshelf. IBM Syst. J. 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
1996	B	`conf`	A Generic Integration Architecture for Cooperative Information Systems. CoopIS John Mylopoulos, Avigdor Gal, Kostas Kontogiannis, Martin Stanley
1996	J	`jnl`	AI Models for Business Process Reengineering. IEEE Expert Eric S. K. Yu, John Mylopoulos, Yves Lespérance
1996	B	`conf`	Accomodating Integrity Constraints During Database Design. EDBT Dimitris Plexousakis, John Mylopoulos
1996	A	`ed.`	Advances Information System Engineering, 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, May 20-24, 1996, Proceedings CAiSE Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou
1996	J	`jnl`	Building Knowledge Base Management Systems. VLDB J. John Mylopoulos, Vinay K. Chaudhri, Dimitris Plexousakis, Adel Shrufi, Thodoros Topaloglou
1996	A	`conf`	Cooperative Information Systems: A Research Agenda (Tutorial). CSCW Matthias Jarke, John Mylopoulos
1996	Misc	`conf`	Developing an Expert System Technology for Industrial Process Control: An Experience Report. AI Bryan M. Kramer, John Mylopoulos, Michael E. Benjamin, Q. B. Chou, Peter Ahn, John Opala
1996	A	`conf`	Representing Partial Spatial Information in Databases. ER Thodoros Topaloglou, John Mylopoulos
1996	A	`conf`	Semantics, Features, and Applications of the Viewpoint Abstraction. CAiSE Renate Motschnig-Pitrik, John Mylopoulos
1996	J	`jnl`	Using Goals, Rules and Methods to Support Reasoning in Business Process Reengineering. Intell. Syst. Account. Finance Manag. Eric S. K. Yu, John Mylopoulos
1995	A*	`conf`	Efficient Algorithms and Performance Results for Multi-User Knowledge Bases. IJCAI (1) Vinay K. Chaudhri, John Mylopoulos
1995	J	`jnl`	From E-R to "A-R" - Modelling Strategic Actor Relationships for Business Process Reengineering. Int. J. Cooperative Inf. Syst. Eric S. K. Yu, John Mylopoulos
1995	B	`conf`	From Organization Models to System Requirements: A 'Cooperating Agents' Approach. CoopIS Eric S. K. Yu, Philippe Du Bois, Eric Dubois, John Mylopoulos
1995	J	`jnl`	On the Frame Problem in Procedure Specifications. IEEE Trans. Software Eng. Alexander Borgida, John Mylopoulos, Raymond Reiter
1995	B	`conf`	Partitioning Information Bases with Contexts. CoopIS John Mylopoulos, Renate Motschnig-Pitrik
1995	J	`jnl`	Requirements Engineering: An Educational Dilemma. Autom. Softw. Eng. Linda A. Macaulay, John Mylopoulos
1995	J	`jnl`	The Software Information Base: A Server for Reuse VLDB J. Panos Constantopoulos, Matthias Jarke, John Mylopoulos, Yannis Vassiliou
1995	—	`conf`	Using an integrated toolset for program understanding. CASCON Michael J. Whitney, Morris Bernstein, Renato De Mori, Kostas Kontogiannis, Brian Corrie, Hausi A. Müller, Scott R. Tilley, Ettore Merlo, John Mylopoulos, Kenny Wong, J. Howard Johnson, James McDaniel, Martin Stanley
1994	J	`jnl`	A qualitative theoretical framework for 'common-sense' based multiple contact robotic manipulation. Robotica S. P. Ananthanarayanan, Andrew A. Goldenberg, John Mylopoulos
1994	C	`conf`	Expert Systems for Industrial Process Control: A Study in Technology Transfer. DEXA John Mylopoulos
1994	A	`conf`	From E-R to "A-R" - Modelling Strategic Actor Relationships for Business Process Reengineering. ER Eric S. K. Yu, John Mylopoulos
1994	J	`jnl`	Introduction. Appl. Intell. John Mylopoulos
1994	J	`jnl`	Investigating Reverse Engineering Technologies for the CAS Program Understanding Project. IBM Syst. J. Erich B. Buss, Renato De Mori, W. Morven Gentleman, John Henshaw, J. 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
1994	A*	`conf`	On Formal Requirements Modeling Languages: RML Revisited. ICSE Sol J. Greenspan, John Mylopoulos, Alexander Borgida
1994	J	`jnl`	Preface. Int. J. Cooperative Inf. Syst. Michael L. Brodie, Matthias Jarke, John Mylopoulos, Mike P. Papazoglou
1994	A	`conf`	Quantitative Evaluation of a Transaction Facility for a Knowledge Base Management System. CIKM Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos, Kenneth C. Sevcik
1994	—	`conf`	Towards an integrated toolset for program understanding. CASCON John Mylopoulos, Martin Stanley, Kenny Wong, Morris Bernstein, Renato De Mori, Graham W. Ewart, Kostas Kontogiannis, Ettore Merlo, Hausi A. Müller, Scott R. Tilley, Marijana Tomic
1994	A*	`conf`	Understanding "Why" in Software Process Modelling, Analysis, and Design. ICSE Eric S. K. Yu, John Mylopoulos
1994	—	`conf`	Using Goals, Rules, and Methods to Support Reasoning in Business Process Re-engineering. HICSS (4) Eric S. K. Yu, John Mylopoulos
1993	A*	`conf`	"...And Nothing Else Changes": The Frame Problem in Procedure Specifications. ICSE Alexander Borgida, John Mylopoulos, Raymond Reiter
1993	—	`conf`	Aligning Information Strategy with Business Strategy - A Technical Perspective. NGITS John Mylopoulos
1993	—	`conf`	An actor dependency model of organizational work: with application to business process reengineering. COOCS Eric S. K. Yu, John Mylopoulos
1993	—	`conf`	Concurrency Control for Knowledge Bases. HPTS Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos
1993	J	`jnl`	Knowbel: A Hybrid Tool for Building Expert Systems. IEEE Expert John Mylopoulos, Huaiqing Wang, Bryan M. Kramer
1993	—	`conf`	Task-Oriented Development of Intelligent Information Systems. ICICIS John Mylopoulos, Thomas Rose, Carson C. Woo
1993	B	`conf`	The Future Direction of AI Tools (Panel). ICTAI John Mylopoulos
1992	J	`jnl`	Classes and Instances. Int. J. Cooperative Inf. Syst. Renate Motschnig-Pitrik, John Mylopoulos
1992	A*	`conf`	Concurrency Control for Knowledge Bases. KR Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos
1992	J	`jnl`	DAIDA: An Environment for Evolving Information Systems. ACM Trans. Inf. Syst. Matthias Jarke, John Mylopoulos, Joachim W. Schmidt, Yannis Vassiliou
1992	J	`jnl`	Developing Intelligent Information Systems: A Workshop Summary. Int. J. Cooperative Inf. Syst. K. Huff, John Mylopoulos
1992	A*	`conf`	Introducing robotic 'common sense' in real time dexterous manipulation. ICRA S. P. Ananthanarayanan, David Gershon, Andrew A. Goldenberg, John Mylopoulos
1992	B	`conf`	Organizing software repositories modeling requirements and implementation experiences. COMPSAC Thomas Rose, Matthias Jarke, John Mylopoulos
1992	J	`jnl`	Representing and Using Nonfunctional Requirements: A Process-Oriented Approach. IEEE Trans. Software Eng. John Mylopoulos, Lawrence Chung, Brian A. Nixon
1992	A*	`conf`	Software Repositories. VLDB John Mylopoulos, Thomas Rose
1991	—	`conf`	A conceptual modelling approach to authoring-in-the-large for hypertext documents. COOCS Rick Sobiesiak, John Mylopoulos
1991	J	`jnl`	From information system requirements to designs: a mapping framework. Inf. Syst. Lawrence Chung, Panagiotis Katalagarianos, Manolis Marakakis, Michalis Mertikas, John Mylopoulos, Yannis Vassiliou
1991	J	`jnl`	Implementing Telos. SIGART Bull. Bryan M. Kramer, Vinay K. Chaudhri, Manolis Koubarakis, Thodoros Topaloglou, Huaiqing Wang, John Mylopoulos
1991	A*	`ed.`	Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991 IJCAI John Mylopoulos, Raymond Reiter
1990	A	`conf`	IRIS - A Mapping Assistant for Generating Designs from Requirements. CAiSE Yannis Vassiliou, Manolis Marakakis, Panagiotis Katalagarianos, Lawrence Chung, Michalis Mertikas, John Mylopoulos
1990	—	`conf`	KNOWBEL: a hybrid expert system building tool. TAI John Mylopoulos, Huaiqing Wang, Andre Kushniruk
1990	—	`conf`	Knowledge Bases and Databases: Current Trends and Future Directions. IS/KI John Mylopoulos, Michael L. Brodie
1990	—	`conf`	Object-Orientation and Knowledge Representation. DS-4 John Mylopoulos
1990	J	`jnl`	Telos: Representing Knowledge About Information Systems. ACM Trans. Inf. Syst. John Mylopoulos, Alexander Borgida, Matthias Jarke, Manolis Koubarakis
1989	J	`jnl`	Database Programming by Formal Refinement of Conceptual Designs. IEEE Data Eng. Bull. Joachim W. Schmidt, Ingrid Wetzel, Alexander Borgida, John Mylopoulos
1989	—	`conf`	Support for Data-Intensive Applications: Conceptual Design and Software Development. DBPL Alexander Borgida, John Mylopoulos, Joachim W. Schmidt, Ingrid Wetzel
1988	B	`conf`	Process Management and Assertion Enforcement for a Semantic Data Model. EDBT Lawrence Chung, Daniel Rios-Zertuche, Brian A. Nixon, John Mylopoulos
1987	—	`conf`	Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis. SIGMOD Conference Brian A. Nixon, Lawrence Chung, David Lauzon, Alexander Borgida, John Mylopoulos, Martin Stanley
1987	—	`conf`	Integration Issues in Implementing Semantic Data Models. DBPL Brian A. Nixon, John Mylopoulos
1986	J	`jnl`	A requirements modeling language and its logic. Inf. Syst. Sol J. Greenspan, Alexander Borgida, John Mylopoulos
1986	—	`conf`	Environments for the Development of Specifications (Panel). IFIP Congress John Mylopoulos
1986	—	`ed.`	On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, Book resulting from the Islamorada Workshop 1985 (Islamorada, FL, USA). Michael L. Brodie, John Mylopoulos
1985	—	`conf`	A Requirements Modeling Language and Its Logic. On Knowledge Base Management Systems (Islamorada) Sol J. Greenspan, Alexander Borgida, John Mylopoulos
1985	—	`conf`	Design of a Compiler for a Semantic Data Model. Foundations of Knowledge Base Management (Xania) Brian A. Nixon, Lawrence Chung, David Lauzon, Alexander Borgida, John Mylopoulos, Martin Stanley
1985	—	`conf`	Knowledge Bases vs. Databases. On Knowledge Base Management Systems (Islamorada) Michael L. Brodie, John Mylopoulos
1985	—	`conf`	Knowledge Reperesentation as the Basis for Requirements Specification (Reprint). Wissensbasierte Systeme Alexander Borgida, Sol J. Greenspan, John Mylopoulos
1985	J	`jnl`	Knowledge Representation as the Basis for Requirements Specifications. Computer Alexander Borgida, Sol J. Greenspan, John Mylopoulos
1985	—	`conf`	Knowledge Representation: Features of Knowledge. Advanced Course: Fundamentals of Artificial Intelligence James P. Delgrande, John Mylopoulos
1985	—	`conf`	On Knowledge Base Management Systems. On Knowledge Base Management Systems (Islamorada) John Mylopoulos
1985	—	`conf`	The Need for a Knowledge Representation Framework. Foundations of Knowledge Base Management (Xania) John Mylopoulos
1985	—	`conf`	The Software Development Environment as a Knowledge Base Management System. Foundations of Knowledge Base Management (Xania) Alexander Borgida, Matthias Jarke, John Mylopoulos, Joachim W. Schmidt, Yannis Vassiliou
1984	J	`jnl`	Information System Design at the Conceptual Level - The Taxis Project. IEEE Database Eng. Bull. John Mylopoulos, Alexander Borgida, Sol J. Greenspan, Harry K. T. Wong
1984	—	`conf`	Knowledge Base Management Systems: Discussions from the Working Group. Expert Database Workshop Michael L. Brodie, Robert Balzer, Gio Wiederhold, Ronald J. Brachman, John Mylopoulos
1984	A	`ed.`	On Conceptual Modelling, Perspectives from Artificial Intelligence, Databases, and Programming Languages, Book resulting from the Intervale Workshop 1982 On Conceptual Modelling (Intervale) Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt
1984	A	`ed.`	On Conceptual Modelling, Perspectives from Artificial Intelligence, Databases, and Programming Languages, Book resulting from the Intervale Workshop 1982 Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt
1983	A*	`conf`	A Panel on AI and Databases. IJCAI Raymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber
1983	—	`conf`	An Overview of Knowledge Representation. GWAI John Mylopoulos, Hector J. Levesque
1983	J	`jnl`	Building Knowledge-Based Systems: The PSN Experience. Computer John Mylopoulos, Tetsutaro Shibahara, John K. Tsotsos
1983	A*	`conf`	CAA: A Knowledge Based System Using Causal Knowledge to Diagnose Cardiac Rhythm Disorders. IJCAI Tetsutaro Shibahara, John K. Tsotsos, John Mylopoulos, H. Dominic Covvey
1982	A	`conf`	An Overview of Knowledge Representation. On Conceptual Modelling (Intervale) John Mylopoulos, Hector J. Levesque
1982	A*	`conf`	Capturing More World Knowledge in the Requirements Specification. ICSE Sol J. Greenspan, John Mylopoulos, Alexander Borgida
1982	A	`conf`	Generalization/Specialization as a Basis for Software Specification. On Conceptual Modelling (Intervale) Alexander Borgida, John Mylopoulos, Harry K. T. Wong
1981	J	`jnl`	A region-based formalism for picture processing. Pattern Recognit. Richard Peacocke, John Mylopoulos
1980	J	`jnl`	A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong
1980	—	`conf`	A Perspective for Research on Conceptual Modelling. Workshop on Data Abstraction, Databases and Conceptual Modelling John Mylopoulos
1980	—	`conf`	An Overview of Knowledge Representation. Workshop on Data Abstraction, Databases and Conceptual Modelling John Mylopoulos
1980	—	`conf`	Relationships Between and Among Models (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling John Mylopoulos, Martin S. Feather, Bertrand Meyer, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix
1980	A*	`conf`	Some Features of the TAXIS Data Model. VLDB John Mylopoulos, Harry K. T. Wong
1980	—	`conf`	Tutorial on Artificial Intelligence Research. Workshop on Data Abstraction, Databases and Conceptual Modelling John Mylopoulos
1979	A*	`conf`	ALVEN: A Study on Motion Understanding by Computer. IJCAI John K. Tsotsos, John Mylopoulos, H. Dominic Cowey, Steven W. Zucker
1978	—	`conf`	A Language Facility for Designing Interactive Database-Intensive Applications (Abstract). SIGMOD Conference John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong
1977	A*	`conf`	An Overview of a Procedural Approach to Semantic Networks. IJCAI Hector J. Levesque, John Mylopoulos
1976	J	`jnl`	TORUS: a step towards bridging the gap between data bases and the casual user. Inf. Syst. John Mylopoulos, Alexander Borgida, Phil Cohen, Nick Roussopoulos, John K. Tsotsos, Harry K. T. Wong
1975	—	`conf`	A multi-level relational system. AFIPS National Computer Conference John Mylopoulos, Stewart A. Schuster, Dennis Tsichritzis
1975	A*	`conf`	Semantic Networks and the Generation of Context. IJCAI John Mylopoulos, Philip R. Cohen, Alexander Borgida, Laszlo Sugar
1975	A*	`conf`	TORUS - A Natural Language Understanding System For Data Management. IJCAI John Mylopoulos
1975	A*	`conf`	Using Semantic Networks for Database Management. VLDB Nick Roussopoulos, John Mylopoulos
1973	J	`jnl`	Some Results in Computational Topology. J. ACM George Tourlakis, John Mylopoulos
1973	A*	`conf`	l.Pak: A SNOBOL-Based Programming Language for Artificial Intelligence Applications. IJCAI John Mylopoulos, Norman I. Badler, L. Melli, Nick Roussopoulos
1972	—	`conf`	On the Relation of Graph Grammars and Graph Automata SWAT John Mylopoulos
1972	J	`jnl`	On the application of formal language and automata theory to pattern recognition. Pattern Recognit. John Mylopoulos
1972	J	`jnl`	On the recognition of topological invariants by 4-way finite automata. Comput. Graph. Image Process. John Mylopoulos
1972	—	`conf`	Some Results in Computational Topology SWAT George Tourlakis, John Mylopoulos
1971	J	`jnl`	On the Topological Properties of Quantized Spaces, I. The Notion of Dimension. J. ACM John Mylopoulos, Theodosios Pavlidis
1971	J	`jnl`	On the Topological Properties of Quantized Spaces, II. Connectivity and Order of Connectivity. J. ACM John Mylopoulos, Theodosios Pavlidis