A type-based locality analysis for a functional distributed language. - Álvaro F. Moreira (2000)

Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. - Rafael H. Bordini; Álvaro F. Moreira (CLIMA, 2002)

Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. - Álvaro F. Moreira; Renata Vieira; Rafael H. Bordini (DALT, 2003)

Data Modification Language for Full Support of Temporal Schema Versioning. - Renata de Matos Galante; Nina Edelweiss; Clesio Saraiva dos Santos; Álvaro Freitas Moreira (SBBD, 2003)

Proving BDI Properties of Agent-Oriented Programming Languages. - Rafael H. Bordini; Álvaro F. Moreira (Ann. Math. Artif. Intell., 2004)

Agent-Oriented Programming with Underlying Ontological Reasoning. - Álvaro F. Moreira; Renata Vieira; Rafael H. Bordini; Jomi Fred Hübner (DALT, 2005)

Temporal and versioning model for schema evolution in object-oriented databases. - Renata de Matos Galante; Clesio Saraiva dos Santos; Nina Edelweiss; Álvaro Freitas Moreira (Data Knowl. Eng., 2005)

MAS-SOC: a Social Simulation Platform Based on Agent-Oriented Programming. - Rafael H. Bordini; Antônio Carlos da Rocha Costa; Jomi Fred Hübner; Álvaro F. Moreira; Fabio Y. Okuyama; Renata Vieira (J. Artif. Soc. Soc. Simul., 2005)

An Agent-Oriented Programming Language for Computing in Context. - Renata Vieira; Álvaro F. Moreira; Rafael H. Bordini; Jomi Fred Hübner (IFIP PPAI, 2006)

A Query Language for a Versioned Object Oriented Database. - Rodrigo Machado; Álvaro Freitas Moreira; Renata de Matos Galante; Mirella Moura Moro (SBBD, 2006)

Type-safe Versioned Object Query Language. - Rodrigo Machado; Álvaro Freitas Moreira; Renata de Matos Galante; Mirella Moura Moro (J. Univers. Comput. Sci., 2006)

CXPath: a Query Language for Conceptual Models of Integrated XML Data. - Diego de Vargas Feijó; Cláudio Naoto Fuzitaki; Álvaro Freitas Moreira; Renata de Matos Galante; Carlos A. Heuser (SEKE, 2007)

On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. - Renata Vieira; Álvaro F. Moreira; Michael J. Wooldridge; Rafael H. Bordini (J. Artif. Intell. Res., 2007)

Belief Update in AgentSpeak-DL. - Álvaro F. Moreira; Renata Vieira (Programming Multi-Agent Systems, 2008)

On the Interaction of Advices and Raw Types in AspectJ. - Fernando Barden Rubbo; Rodrigo Machado; Álvaro Freitas Moreira; Leila Ribeiro 001; Daltro José Nunes (J. Univers. Comput. Sci., 2008)

Invariant checkers: An efficient low cost technique for run-time transient errors detection. - Carmela Noro Grando; Carlos Arthur Lang Lisbôa; Álvaro Freitas Moreira; Luigi Carro (IOLTS, 2009)

Using software invariants for dynamic detection of transient errors. - Carlos Arthur Lang Lisbôa; Carmela Noro Grando; Álvaro Freitas Moreira; Luigi Carro (LATW, 2009)

System Level Hardening by Computing with Matrices. - Ronaldo Rodrigues Ferreira; Álvaro Freitas Moreira; Luigi Carro (DSD, 2010)

Ontology Reasoning in Agent-Oriented Programming. - Cláudio Naoto Fuzitaki; Álvaro Freitas Moreira; Renata Vieira (SBIA, 2010)

Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages. - Álvaro F. Moreira; Renata Vieira; Rafael H. Bordini (DALT, 2011)

Matrix control-flow algorithm-based fault tolerance. - Ronaldo Rodrigues Ferreira; Álvaro Freitas Moreira; Luigi Carro (IOLTS, 2011)

Formal Methods at SBES: Evolution and Perspectives. - Daltro José Nunes; Álvaro Freitas Moreira; Leila Ribeiro 001 (SBES, 2011)

Resilient Adaptive Algebraic Architecture for Parallel Detection and Correction of Soft-Errors. - Fábio P. Itturriet; Ronaldo Rodrigues Ferreira; Gustavo Girão; Gabriel L. Nazar; Álvaro F. Moreira; Luigi Carro (DSD, 2012)

Identifying Business Rules to Legacy Systems Reengineering Based on BPM and SOA. - Gleison Samuel do Nascimento; Cirano Iochpe; Lucinéia Heloisa Thom; André Kalsing; Álvaro F. Moreira (ICCSA (4), 2012)

Impact on Reliability in the Control-Flow of Programs under Compiler Optimizations. - Rafael Baldiati Parizi; Ronaldo Rodrigues Ferreira; Álvaro Freitas Moreira; Luigi Carro (SBESC, 2012)

Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software. - Rafael Baldiati Parizi; Ronaldo Rodrigues Ferreira; Luigi Carro; Álvaro F. Moreira (IESS, 2013)

An asynchronous algorithm to improve scheduling quality in the multiagent simple temporal problem. - Vinicius De Antoni; Álvaro F. Moreira (AAMAS, 2014)

Reliable execution of statechart-generated correct embedded software under soft errors. - Ronaldo Rodrigues Ferreira; Thomas Klotz; Thilo Vörtler; Jean da Rolt; Gabriel L. Nazar; Álvaro Freitas Moreira; Luigi Carro; Karsten Einwich (DDECS, 2014)

Adaptive Low-Power Architecture for High-Performance and Reliable Embedded Computing. - Ronaldo Rodrigues Ferreira; Jean da Rolt; Gabriel L. Nazar; Álvaro Freitas Moreira; Luigi Carro (DSN, 2014)

Performance Evaluation of Android Applications: A Case Study. - Thiago Soares Fernandes; Érika F. Cota; Álvaro Freitas Moreira (SBESC, 2014)

Adaptive Parallelism Exploitation under Physical and Real-Time Constraints for Resilient Systems. - Fábio P. Itturriet; Gabriel L. Nazar; Ronaldo Rodrigues Ferreira; Álvaro Freitas Moreira; Luigi Carro (ACM Trans. Reconfigurable Technol. Syst., 2014)

A non-conservative software-based approach for detecting illegal CFEs caused by transient faults. - Diego G. Rodrigues; Ghazaleh Nazarian; Álvaro F. Moreira; Luigi Carro; Georgi Gaydadjiev (DFTS, 2015)

Permanent fault detection and diagnosis in the lightweight dual modular redundancy architecture. - Ronaldo Rodrigues Ferreira; Ernesto Sánchez 001; Jean da Rolt; Gabriel L. Nazar; Álvaro F. Moreira; Luigi Carro; Matteo Sonza Reorda (LATS, 2015)

Integrating Ontology Negotiation and Agent Communication. - Marlo Souza; Álvaro F. Moreira; Renata Vieira; John-Jules Ch. Meyer (OWLED, 2015)

Bit-Flip Aware Control-Flow Error Detection. - Ghazaleh Nazarian; Diego G. Rodrigues; Álvaro F. Moreira; Luigi Carro; Georgi Gaydadjiev (PDP, 2015)

Communication for Agents with Ontological Reasoning. - Marlo Souza; Álvaro F. Moreira; Renata Vieira; John-Jules Ch. Meyer (WI-IAT (2), 2015)

Týr: A Dependent Type System for Spatial Memory Safety in LLVM. - Vítor Bujés Ubatuba De Araújo; Álvaro Freitas Moreira; Rodrigo Machado (WEIT, 2015)

Preference and Priorities: A Study Based on Contrction. - Marlo Souza; Álvaro F. Moreira; Renata Vieira; John-Jules Ch. Meyer (KR, 2016)

Live-Out Register Fencing: Interrupt-Triggered Soft Error Correction Based on the Elimination of Register-to-Register Communication. - Ronaldo Rodrigues Ferreira; Gabriel L. Nazar; Jean da Rolt; Álvaro F. Moreira; Luigi Carro (ACM Trans. Embed. Comput. Syst., 2016)

A Dynamic Preference Logic for Reasoning about Agent Programming. - Marlo Souza; Álvaro F. Moreira; Renata Vieira; John-Jules Ch. Meyer (BRACIS, 2017)

Dynamic Preference Logic as a Logic of Belief Change. - Marlo Souza; Álvaro F. Moreira; Renata Vieira (DALI@TABLEAUX, 2017)

Tractable Reasoning about Agent Programming in Dynamic Preference Logic. - Marlo Souza; Álvaro F. Moreira; Renata Vieira (BRACIS, 2018)

V: a language with extensible record accessors and a trait-based type system. - Arthur Giesel Vedana; Rodrigo Machado; Álvaro Freitas Moreira (RITA, 2018)

EPE-Mobile - A framework for early performance estimation of mobile applications. - Thiago Soares Fernandes; Álvaro Freitas Moreira; Érika F. Cota (Softw. Pract. Exp., 2018)

Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach. - Marlo Souza; Álvaro F. Moreira; Renata Vieira (AAAI, 2019)

Generalized Iterated Belief Change in Dynamic Epistemic Logic. - Marlo Souza; Álvaro F. Moreira; Renata Vieira (BRACIS, 2019)

Bringing Belief Base Change into Dynamic Epistemic Logic. - Marlo Souza; Álvaro F. Moreira (DaLí, 2019)

ACQuA: A Parallel Accelerator Architecture for Pure Functional Programs. - Ricardo Coelho; Felipe Tanus; Álvaro F. Moreira; Gabriel L. Nazar (ISVLSI, 2020)

Belief base change as priority change: A study based on dynamic epistemic logic. - Marlo Souza; Álvaro Freitas Moreira (J. Log. Algebraic Methods Program., 2021)

Dynamic Preference Logic meets iterated belief change: Representation results and postulates characterization. - Marlo Souza; Renata Vieira; Álvaro F. Moreira (Theor. Comput. Sci., 2021)

Modelling Diffusion of Dependent and Conflicting Behaviours with Dynamic Logic. - Gabriel de Senne Amorim; Marlo Souza; Álvaro Freitas Moreira (ECAI, 2024)