Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. - Amílcar Sernadas; Cristina Sernadas; José Luiz Fiadeiro (ADT, 1986)

Varying Representation Schemata vs Fact Updating in KB Management. - Rogério Carapuça; José Luiz Fiadeiro (DS-2, 1986)

The INFOLOG linear tense propositional logic of events and transactions. - José Luiz Fiadeiro; Amílcar Sernadas (Inf. Syst., 1986)

Structuring Theories on Consequence. - José Luiz Fiadeiro; Amílcar Sernadas (ADT, 1987)

Behavioural Aspects of Intelligent Knowledge-Based Information Systems. - José Luiz Fiadeiro; Amílcar Sernadas (Temporal Aspects in Information Systems, 1987)

Abstract Object Types: A Temporal Perspective. - Amílcar Sernadas; José Luiz Fiadeiro; Cristina Sernadas; Hans-Dieter Ehrich (Temporal Logic in Specification, 1987)

Object-Oriented Conceptual Modeling from Law. - Cristina Sernadas; José Luiz Fiadeiro; Amílcar Sernadas (DS-3, 1988)

Knowledgebases as Structured Theories. - José Luiz Fiadeiro; Amílcar Sernadas; Cristina Sernadas (FSTTCS, 1988)

Specification and Verification of Database Dynamics. - José Luiz Fiadeiro; Amílcar Sernadas (Acta Informatica, 1988)

Proof-theoretic Conceptual Modeling: the NIAM Case Study. - Cristina Sernadas; José Luiz Fiadeiro; Robert Meersman; Amílcar Sernadas (ISCO, 1989)

The Basic Building Blocks of Information Systems. - Amílcar Sernadas; José Luiz Fiadeiro; Cristina Sernadas; Hans-Dieter Ehrich (ISCO, 1989)

Proof-Theoretic Semantics of Object-Oriented Specification Constructs. - José Luiz Fiadeiro; Cristina Sernadas; T. S. E. Maibaum; Gunter Saake (DS-4, 1990)

Describing, Structuring and Implementing Objects. - José Luiz Fiadeiro; T. S. E. Maibaum (REX Workshop, 1990)

Modular construction of logic knowledge bases: an algebraic approach. - Cristina Sernadas; José Luiz Fiadeiro; Amílcar Sernadas (Inf. Syst., 1990)

Logics of Modal Terms for Systems Specification. - José Luiz Fiadeiro; Amílcar Sernadas (J. Log. Comput., 1990)

Process Semantics of Temporal Logic Specifications. - José Luiz Fiadeiro; José Félix Costa; Amílcar Sernadas; T. S. E. Maibaum (COMPASS/ADT, 1991)

Sharing Actions and Attributes in Modal Action Logic. - Mark Ryan 001; José Luiz Fiadeiro; T. S. E. Maibaum (TACS, 1991)

Towards object-oriented conceptual modeling. - Cristina Sernadas; José Luiz Fiadeiro (Data Knowl. Eng., 1991)

Temporal reasoning over deontic specifications. - José Luiz Fiadeiro; T. S. E. Maibaum (J. Log. Comput., 1991)

Temporal Theories as Modularisation Units for Concurrent System Specification. - José Luiz Fiadeiro; T. S. E. Maibaum (Formal Aspects Comput., 1992)

Declarative Semantics of Interoperable Data and Knowledge Bases. - Georg Reichwein; José Luiz Fiadeiro; Mechthild Rohen (ICICIS, 1993)

Semantics of Interworking Knowledge Based Systems. - Georg Reichwein; José Luiz Fiadeiro (EPIA, 1993)

Generalising Interpretations between Theories in the context of (pi-) Institutions. - José Luiz Fiadeiro; T. S. E. Maibaum (Theory and Formal Methods, 1993)

Models for the Substitution Axiom of UNITY Logic. - Georg Reichwein; José Luiz Fiadeiro (Inf. Process. Lett., 1993)

Institutions for Behaviour Specification. - José Luiz Fiadeiro; José Félix Costa (COMPASS/ADT, 1994)

Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. - José Luiz Fiadeiro; T. S. E. Maibaum (ICTL, 1994)

Verifying for Reuse: Foundations of Object-Oriented System Verification. - José Luiz Fiadeiro; T. S. E. Maibaum (Theory and Formal Methods, 1994)

Unifying Theories in Different Institutions. - M. Arrais; José Luiz Fiadeiro (COMPASS/ADT, 1995)

Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. - José Luiz Fiadeiro; T. S. E. Maibaum (SIGSOFT FSE, 1995)

Reuse of Requirements and Specifications: A Formal Framework. - Carlos Paredes; José Luiz Fiadeiro (SSR, 1995)

On the Emergence of Properties in Component-Based Systems. - José Luiz Fiadeiro (AMAST, 1996)

A Mathematical Toolbox for the Software Architec. - José Luiz Fiadeiro; Tom Maibaum (IWSSD, 1996)

Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour. - José Luiz Fiadeiro; José Félix Costa (Math. Struct. Comput. Sci., 1996)

Synthesising interconnections. - José Luiz Fiadeiro; Antónia Lopes; T. S. E. Maibaum (Algorithmic Languages and Calculi, 1997)

Preservation and Reflection in Specification. - Antónia Lopes; José Luiz Fiadeiro (AMAST, 1997)

Coordination Durative Actions. - Isabel Nunes; José Luiz Fiadeiro; Wladyslaw M. Turski (COORDINATION, 1997)

Specification of Required Non-determinism. - Kevin Lano; Juan Bicarregui; José Luiz Fiadeiro; Antónia Lopes (FME, 1997)

The Role of Diagnosis and Decision Theory in Normative Reasoning. - Leendert W. N. van der Torre; Pedro Ramos 001; José Luiz Fiadeiro; Yao-Hua Tan (ModelAge Workshop, 1997)

Semantics of Architectural Connectors. - José Luiz Fiadeiro; Antónia Lopes (TAPSOFT, 1997)

Categorical Semantics of Parallel Program Design. - José Luiz Fiadeiro; T. S. E. Maibaum (Sci. Comput. Program., 1997)

Algebraic Semantics of Coordination or What Is in a Signature. - José Luiz Fiadeiro; Antónia Lopes (AMAST, 1998)

Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility. - Michel Wermelinger; José Luiz Fiadeiro (IWSSD, 1998)

A computational tool that supports formal diagnosis of process design. - Pedro Ramos 001; José Luiz Fiadeiro (Inf. Softw. Technol., 1998)

Labeled Families in Modular Software Development. - Sheila R. M. Veloso; Paulo A. S. Veloso; José Luiz Fiadeiro (J. Braz. Comput. Soc., 1998)

Connectors for Mobile Programs. - Michel Wermelinger; José Luiz Fiadeiro (IEEE Trans. Software Eng., 1998)

Algebraic Software Architecture Reconfiguration. - Michel Wermelinger; José Luiz Fiadeiro (ESEC / SIGSOFT FSE, 1999)

Using Explicit State to Describe Architechtures. - Antónia Lopes; José Luiz Fiadeiro (FASE, 1999)

Interconnecting Objects Via Contracts. - Luís Filipe Andrade; José Luiz Fiadeiro (UML, 1999)

Towards a Verification Logic for Rewriting Logic. - José Luiz Fiadeiro; T. S. E. Maibaum; Narciso Martí-Oliet; José Meseguer 001; Isabel Pita (WADT, 1999)

Foreword. - Jean Paul Bahsoun; José Luiz Fiadeiro; Didier Galmiche (Math. Struct. Comput. Sci., 1999)

Patterns for Coordination. - Luís Filipe Andrade; José Luiz Fiadeiro; João Gouveia; Antónia Lopes; Michel Wermelinger (COORDINATION, 2000)

Superposing Connectors. - Michel Wermelinger; Antónia Lopes; José Luiz Fiadeiro (IWSSD, 2000)

Coordination Technologies for Managing Information System Evolution. - Luís Filipe Andrade; José Luiz Fiadeiro (CAiSE, 2001)

Coordination Contracts, Evolution and Tools. - Luís Andrade 001; João Gouveia; Georgios Koutsoukos; José Luiz Fiadeiro (FFSE@CSMR, 2001)

A Graph Transformation Approach to Architectural Run-Time Reconfiguration. - Michel Wermelinger; Antónia Lopes; José Luiz Fiadeiro (FFSE@CSMR, 2001)

Managing Evolution in Telecommunication Systems. - Georgios Koutsoukos; João Gouveia; Luís Andrade 001; José Luiz Fiadeiro (DAIS, 2001)

Feature Modeling and Composition with Coordination Contracts. - Luís Filipe Andrade; José Luiz Fiadeiro (FICS, 2001)

Support for Business-Driven Evolution with Coordination Technologies. - Luís Andrade 001; José Luiz Fiadeiro; João Gouveia; Georgios Koutsoukos; Michel Wermelinger (IWPSE, 2001)

Enforcing Business Policies Through Automated Reconfiguration. - Luís Andrade 001; José Luiz Fiadeiro; Michel Wermelinger (ASE, 2001)

A graph based architectural (Re)configuration language. - Michel Wermelinger; Antónia Lopes; José Luiz Fiadeiro (ESEC / SIGSOFT FSE, 2001)

Coordination: The Evolutionary Dimension. - Luís Filipe Andrade; José Luiz Fiadeiro (TOOLS (38), 2001)

Tool Support for Coordination-Based Software Evolution. - João Gouveia; Georgios Koutsoukos; Luís Andrade 001; José Luiz Fiadeiro (TOOLS (38), 2001)

A Compositional Approach to Connector Construction. - Antónia Lopes; Michel Wermelinger; José Luiz Fiadeiro (WADT, 2001)

Software design using Java 2. - Kevin Lano; José Luiz Fiadeiro; Luís Filipe Andrade (Palgrave Macmillan, 2002)

Algebraic Support for Service-Oriented Architecture. - José Luiz Fiadeiro (AMAST, 2002)

Revisiting the Categorical Approach to Systems. - Antónia Lopes; José Luiz Fiadeiro (AMAST, 2002)

Coordination for Orchestration. - Luís Filipe Andrade; José Luiz Fiadeiro; João Gouveia; Georgios Koutsoukos; Michel Wermelinger (COORDINATION, 2002)

An Architectural Approach to Fault Treatment in Critical Infrastructures. - José Luiz Fiadeiro (EDCC, 2002)

The Coordination Development Environment. - João Gouveia; Georgios Koutsoukos; Michel Wermelinger; Luís Andrade 001; José Luiz Fiadeiro (FASE, 2002)

An Architectural Approach to Auto-Adaptive Systems. - Luís Andrade 001; José Luiz Fiadeiro (ICDCS Workshops, 2002)

Coordination Architecture for Evolvable Event-Based Systems. - Luís Andrade 001; José Luiz Fiadeiro (ICDCS Workshops, 2002)

Coordination contracts for Java applications. - João Gouveia; Georgios Koutsoukos; Michel Wermelinger; Luís Andrade 001; José Luiz Fiadeiro (ICSE, 2002)

Evolving and using coordinated systems. - Michel Wermelinger; Georgios Koutsoukos; José Luiz Fiadeiro; L. Andrade; João Gouveia (IWPSE, 2002)

A coordination methodology and technology for agile businesses. - Luís Andrade 001; José Luiz Fiadeiro; João Gouveia; Georgios Koutsoukos; Michel Wermelinger (OOPSLA Companion, 2002)

Developing and evolving Java applications using coordination contracts. - João Gouveia; Georgios Koutsoukos; Michel Wermelinger; Luís Andrade 001; José Luiz Fiadeiro (OOPSLA Companion, 2002)

Architectural primitives for distribution and mobility. - Antónia Lopes; José Luiz Fiadeiro; Michel Wermelinger (SIGSOFT FSE, 2002)

Coordination Technologies for Just-in-Time Integration. - José Luiz Fiadeiro (10th Anniversary Colloquium of UNU/IIST, 2002)

AGILE: Software Architecture for Mobility. - Luís Andrade 001; Paolo Baldan; Hubert Baumeister; Roberto Bruni 001; Andrea Corradini 001; Rocco De Nicola; José Luiz Fiadeiro; Fabio Gadducci; Stefania Gnesi; Piotr Hoffman; Nora Koch; Piotr Kosiuczenko; et al. (WADT, 2002)

On How Distribution and Mobility Interfere with Coordination. - Antónia Lopes; José Luiz Fiadeiro (WADT, 2002)

An architectural support for self-adaptive software for treating faults. - Rogério de Lemos; José Luiz Fiadeiro (WOSS, 2002)

On local modularity and interpolation in entailment systems. - Paulo A. S. Veloso; José Luiz Fiadeiro; Sheila R. M. Veloso (Inf. Process. Lett., 2002)

Agility through coordination. - Luís Filipe Andrade; José Luiz Fiadeiro (Inf. Syst., 2002)

A graph transformation approach to software architecture reconfiguration. - Michel Wermelinger; José Luiz Fiadeiro (Sci. Comput. Program., 2002)

Separating computation, coordination and configuration. - Luís Andrade 001; José Luiz Fiadeiro; João Gouveia; Georgios Koutsoukos (J. Softw. Maintenance Res. Pract., 2002)

Preface. - José Luiz Fiadeiro (Theor. Comput. Sci., 2002)

A Mathematical Semantics for Architectural Connectors. - José Luiz Fiadeiro; Antónia Lopes; Michel Wermelinger (Generic Programming, 2003)

Coordination for Distributed Business Systems. - Luís Andrade 001; José Luiz Fiadeiro; Antónia Lopes; Michel Wermelinger (CAiSE Workshops, 2003)

Evolving Requirements through Coordination Contracts. - Ana M. D. Moreira; José Luiz Fiadeiro; Luís Andrade 001 (CAiSE, 2003)

CommUnity on the Move: Architectures for Distribution and Mobility. - José Luiz Fiadeiro; Antónia Lopes (FMCO, 2003)

Enhancing Dependability Through Flexible Adaptation to Changing Requirements. - Michel Wermelinger; Georgios Koutsoukos; Hugo Lourenço; Richard Avillez; João Gouveia; Luís Andrade 001; José Luiz Fiadeiro (WADS, 2003)

Using Coordination Contracts for Flexible Adaptation to Changing Business Rules. - Michel Wermelinger; Georgios Koutsoukos; Richard Avillez; João Gouveia; Luís Andrade 001; José Luiz Fiadeiro (IWPSE, 2003)

Architecture Based Evolution of Software Systems. - Luís Filipe Andrade; José Luiz Fiadeiro (SFM, 2003)

Foreword. - José Luiz Fiadeiro; Jan Madey; Andrzej Tarlecki (Inf. Process. Lett., 2003)

High-order architectural connectors. - Antónia Lopes; Michel Wermelinger; José Luiz Fiadeiro (ACM Trans. Softw. Eng. Methodol., 2003)

Problem Frames: A Case for Coordination. - Leonor Barroca 001; José Luiz Fiadeiro; Michael Jackson 001; Robin C. Laney; Bashar Nuseibeh (COORDINATION, 2004)

Software Services: Scientific Challenge or Industrial Hype?. - José Luiz Fiadeiro (ICTAC, 2004)

New Insights on Architectural Connectors. - Roberto Bruni 001; José Luiz Fiadeiro; Ivan Lanese; Antónia Lopes; Ugo Montanari (IFIP TCS, 2004)

Algebraic Semantics of Design Abstractions for Context-Awareness. - Antónia Lopes; José Luiz Fiadeiro (WADT, 2004)

Towards an Architectural Approach to Location-Aware Business Processes. - Nasreddine Aoumeur; José Luiz Fiadeiro; Cristóvão Oliveira (WETICE, 2004)

An Architectural Approach to Mobility - The Handover Case Study. - Cristóvão Oliveira; Michel Wermelinger; José Luiz Fiadeiro; Antónia Lopes (WICSA, 2004)

Superposition: composition vs refinement of non-deterministic, action-based systems. - Antónia Lopes; José Luiz Fiadeiro (Formal Aspects Comput., 2004)

Composition Contracts for Service Interaction. - Luís Filipe Andrade; José Luiz Fiadeiro (J. Univers. Comput. Sci., 2004)

Categories for software engineering. - José Luiz Fiadeiro (Springer, 2005)

05081 Abstracts Collection - Foundations of Global Computing. - José Luiz Fiadeiro; Ugo Montanari; Martin Wirsing (Foundations of Global Computing, 2005)

Context-Awareness in Software Architectures. - Antónia Lopes; José Luiz Fiadeiro (EWSA, 2005)

Modelling the GSM Handover Protocol in CommUnity. - Cristóvão Oliveira; Michel Wermelinger; José Luiz Fiadeiro; Antónia Lopes (FESCA@ETAPS, 2005)

A Verification Logic for Rewriting Logic. - Narciso Martí-Oliet; Isabel Pita; José Luiz Fiadeiro; José Meseguer 001; T. S. E. Maibaum (J. Log. Comput., 2005)

A Formal Approach to Event-Based Architectures. - José Luiz Fiadeiro; Antónia Lopes (FASE, 2006)

Separating Distribution from Coordination and Computation as Architectural Dimensions. - José Luiz Fiadeiro (FMOODS, 2006)

Physiological vs. Social Complexity in Software Design. - José Luiz Fiadeiro (ICECCS, 2006)

Architectural Handling of Management Concerns in Service-Driven Business Processes. - Ahmed Al-Ghamdi; José Luiz Fiadeiro (MSVVEIS, 2006)

Algebraic Semantics of Service Component Modules. - José Luiz Fiadeiro; Antónia Lopes; Laura Bocchi (WADT, 2006)

A Formal Approach to Service Component Architecture. - José Luiz Fiadeiro; Antónia Lopes; Laura Bocchi (WS-FM, 2006)

Role-based Architectural Modelling of Socio-Technical Systems. - Osama E. S. El-Hassan; José Luiz Fiadeiro (CoOrg/MTCoord@COORDINATION, 2006)

Distribution concerns in service-oriented modelling. - Nasreddine Aoumeur; José Luiz Fiadeiro; Cristóvão Oliveira (Int. J. Internet Protoc. Technol., 2006)

Adding mobility to software architectures. - Antónia Lopes; José Luiz Fiadeiro (Sci. Comput. Program., 2006)

Extending UML with coordination contracts. - Kevin Lano; José Luiz Fiadeiro (Softw. Syst. Model., 2006)

Preface. - José Luiz Fiadeiro; Jan J. M. M. Rutten (Theor. Comput. Sci., 2006)

Managing Socio-technical Interactions in Healthcare Systems. - Osama E. S. El-Hassan; José Luiz Fiadeiro; Reiko Heckel (Business Process Management Workshops, 2007)

Structured Co-spans: An Algebra of Interaction Protocols. - José Luiz Fiadeiro; Vincent Schmitt (CALCO, 2007)

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. - João Abreu; Laura Bocchi; José Luiz Fiadeiro; Antónia Lopes (FORTE, 2007)

From BPEL to SRML: A Formal Transformational Approach. - Laura Bocchi; Yi Hong 005; Antónia Lopes; José Luiz Fiadeiro (WS-FM, 2007)

Designing for Software's Social Complexity. - José Luiz Fiadeiro (Computer, 2007)

An algebraic semantics of event-based architectures. - José Luiz Fiadeiro; Antónia Lopes (Math. Struct. Comput. Sci., 2007)

What Do Semantics Matter When the Meat Is Overcooked?. - José Luiz Fiadeiro (Concurrency, Graphs and Models, 2008)

Service-Oriented Modelling of Automotive Systems. - Laura Bocchi; José Luiz Fiadeiro; Antónia Lopes (COMPSAC, 2008)

A Coordination Model for Service-Oriented Interactions. - João Abreu; José Luiz Fiadeiro (COORDINATION, 2008)

A Use-Case Driven Approach to Formal Service-Oriented Modelling. - Laura Bocchi; José Luiz Fiadeiro; Antónia Lopes (ISoLA, 2008)

Business process management. - Schahram Dustdar; José Luiz Fiadeiro; Amit P. Sheth (Data Knowl. Eng., 2008)

On the Challenge of Engineering Socio-technical Systems. - José Luiz Fiadeiro (Software-Intensive Systems and New Computing Paradigms, 2008)

A Model-Checking Approach for Service Component Architectures. - João Abreu; Franco Mazzanti; José Luiz Fiadeiro; Stefania Gnesi (FMOODS/FORTE, 2009)

Structure and Behaviour of Virtual Organisation Breeding Environments - Laura Bocchi; José Luiz Fiadeiro; Noor Rajper; Stephan Reiff-Marganiec (FAVO, 2009)

From Architectural to Behavioural Specification of Services. - Laura Bocchi; José Luiz Fiadeiro; Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (FESCA@ETAPS, 2009)

Guiding Reification in OWL through Aggregation. - Paula Severi; José Luiz Fiadeiro; David Ekserdjian (Description Logics, 2010)

Early Model-Analysis of Logistics Systems. - Freeha Azmat; Laura Bocchi; José Luiz Fiadeiro (ICSOC Workshops, 2010)

Guest Editors' Introduction: Evolving Critical Systems. - Lorcan Coyle; Mike Hinchey; Bashar Nuseibeh; José Luiz Fiadeiro (Computer, 2010)

Editorial. - José Luiz Fiadeiro (Formal Aspects Comput., 2010)

The Sensoria Reference Modelling Language. - José Luiz Fiadeiro; Antónia Lopes; Laura Bocchi; João Abreu (Results of the SENSORIA Project, 2011)

Variability and Rigour in Service Computing Engineering. - Maurice H. ter Beek; Stefania Gnesi; Alessandro Fantechi; José Luiz Fiadeiro (SEW, 2011)

An abstract model of service discovery and binding. - José Luiz Fiadeiro; Antónia Lopes; Laura Bocchi (Formal Aspects Comput., 2011)

Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation. - Paula Severi; José Luiz Fiadeiro; David Ekserdjian (J. Web Semant., 2011)

The Many Faces of Complexity in Software Design. - José Luiz Fiadeiro (Conquering Complexity, 2012)

Consistency of Service Composition. - José Luiz Fiadeiro; Antónia Lopes (FASE, 2012)

A Graph-Based Design Framework for Services. - Antónia Lopes; José Luiz Fiadeiro (ICGT, 2012)

A formal model for service-oriented interactions. - José Luiz Fiadeiro; Antónia Lopes; João Abreu (Sci. Comput. Program., 2012)

A Logic-Programming Semantics of Services. - Ionut Tutu; José Luiz Fiadeiro (CALCO, 2013)

A Timed Component Algebra for Services. - Benoît Delahaye; José Luiz Fiadeiro; Axel Legay; Antónia Lopes (FMOODS/FORTE, 2013)

A model for dynamic reconfiguration in service-oriented architectures. - José Luiz Fiadeiro; Antónia Lopes (Softw. Syst. Model., 2013)

An interface theory for service-oriented design. - José Luiz Fiadeiro; Antónia Lopes (Theor. Comput. Sci., 2013)

Heterogeneous Timed Machines. - Benoît Delahaye; José Luiz Fiadeiro; Axel Legay; Antónia Lopes (ICTAC, 2014)

A Full Operational Semantics for Asynchronous Relational Networks. - Ignacio Vissani; Carlos Gustavo López Pombo; Ionut Tutu; José Luiz Fiadeiro (WADT, 2014)

Brazilian Symposium on Programming Languages (SBLP 2011). - Christiano Braga; José Luiz Fiadeiro (Sci. Comput. Program., 2014)

A Semantics of Business Configurations Using Symbolic Graphs. - Nikos Mylonakis; Fernando Orejas; José Luiz Fiadeiro (SCC, 2015)

Abstract Constraint Data Types. - José Luiz Fiadeiro; Fernando Orejas (Software, Services, and Systems, 2015)

Revisiting the Institutional Approach to Herbrand's Theorem. - Ionut Tutu; José Luiz Fiadeiro (CALCO, 2015)

Service-Oriented Logic Programming. - Ionut Tutu; José Luiz Fiadeiro (Log. Methods Comput. Sci., 2015)

Formal Aspects of Component Software (FACS 2013). - José Luiz Fiadeiro; Zhiming Liu 001 (Sci. Comput. Program., 2015)

Many-Valued Institutions for Constraint Specification. - Claudia Elena Chirita; José Luiz Fiadeiro; Fernando Orejas (FASE, 2016)

Free Jazz in the Land of Algebraic Improvisation. - Claudia Elena Chirita; José Luiz Fiadeiro (ICCC, 2016)

Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. - José Luiz Fiadeiro; Ionut Tutu; Antónia Lopes; Dusko Pavlovic (DALI@TABLEAUX, 2017)

From conventional to institution-independent logic programming. - Ionut Tutu; José Luiz Fiadeiro (J. Log. Comput., 2017)

Heterogeneous and asynchronous networks of timed systems. - José Luiz Fiadeiro; Antónia Lopes (Theor. Comput. Sci., 2017)

Dynamic networks of heterogeneous timed machines. - José Luiz Fiadeiro; Antónia Lopes; Benoît Delahaye; Axel Legay (Math. Struct. Comput. Sci., 2018)

Logical Support for Bike-Sharing System Design. - Ionut Tutu; Claudia Elena Chirita; Antónia Lopes; José Luiz Fiadeiro (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Logics for Actor Networks: A two-stage constrained-hybridisation approach. - José Luiz Fiadeiro; Ionut Tutu; Antónia Lopes; Dusko Pavlovic (J. Log. Algebraic Methods Program., 2019)

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017). - Simone André da Costa Cavalheiro; José Luiz Fiadeiro (Sci. Comput. Program., 2020)

Dynamic Reconfiguration via Typed Modalities. - Ionut Tutu; Claudia Elena Chirita; José Luiz Fiadeiro (FM, 2021)