![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Álvaro F. Moreira
Person information
- affiliation: Federal University of Rio Grande do Sul, Institute of Informatics
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j12]Marlo Souza
, Álvaro Freitas Moreira
:
Belief base change as priority change: A study based on dynamic epistemic logic. J. Log. Algebraic Methods Program. 122: 100689 (2021) - [j11]Marlo Souza
, Renata Vieira
, Álvaro F. Moreira
:
Dynamic Preference Logic meets iterated belief change: Representation results and postulates characterization. Theor. Comput. Sci. 872: 15-40 (2021) - [i7]Marlo Souza, Álvaro F. Moreira, Renata Vieira:
Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization. CoRR abs/2101.01676 (2021) - 2020
- [c37]Ricardo Coelho, Felipe Tanus, Álvaro F. Moreira, Gabriel L. Nazar:
ACQuA: A Parallel Accelerator Architecture for Pure Functional Programs. ISVLSI 2020: 346-351
2010 – 2019
- 2019
- [c36]Marlo Souza, Álvaro F. Moreira, Renata Vieira:
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach. AAAI 2019: 3076-3083 - [c35]Marlo Souza, Álvaro F. Moreira, Renata Vieira
:
Generalized Iterated Belief Change in Dynamic Epistemic Logic. BRACIS 2019: 693-698 - [c34]Marlo Souza, Álvaro F. Moreira:
Bringing Belief Base Change into Dynamic Epistemic Logic. DaLí 2019: 190-205 - [i6]Marlo Souza, Álvaro F. Moreira, Renata Vieira:
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach. CoRR abs/1902.06178 (2019) - [i5]Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer:
A Dynamic Preference Logic for reasoning about Agent Programming. CoRR abs/1911.05907 (2019) - [i4]Marlo Souza, Álvaro F. Moreira, Renata Vieira:
Tractable reasoning about Agent Programming in Dynamic Preference Logic. CoRR abs/1911.05908 (2019) - [i3]Marlo Souza, Álvaro F. Moreira:
Bringing Belief Base Change into Dynamic Epistemic Logic. CoRR abs/1912.10515 (2019) - 2018
- [j10]Arthur Giesel Vedana, Rodrigo Machado, Álvaro Freitas Moreira:
V: a language with extensible record accessors and a trait-based type system. RITA 25(3): 89-101 (2018) - [j9]Thiago Soares Fernandes, Álvaro Freitas Moreira
, Érika F. Cota
:
EPE-Mobile - A framework for early performance estimation of mobile applications. Softw. Pract. Exp. 48(1): 85-104 (2018) - [c33]Marlo Souza, Álvaro F. Moreira, Renata Vieira
:
Tractable Reasoning about Agent Programming in Dynamic Preference Logic. BRACIS 2018: 366-371 - 2017
- [c32]Marlo Souza, Álvaro F. Moreira, Renata Vieira
, John-Jules Ch. Meyer:
A Dynamic Preference Logic for Reasoning about Agent Programming. BRACIS 2017: 133-138 - [c31]Marlo Souza, Álvaro F. Moreira, Renata Vieira
:
Dynamic Preference Logic as a Logic of Belief Change. DALI@TABLEAUX 2017: 185-200 - 2016
- [j8]Ronaldo Rodrigues Ferreira, Gabriel L. Nazar, Jean da Rolt, Álvaro F. Moreira, Luigi Carro:
Live-Out Register Fencing: Interrupt-Triggered Soft Error Correction Based on the Elimination of Register-to-Register Communication. ACM Trans. Embed. Comput. Syst. 15(3): 60:1-60:25 (2016) - [c30]Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer:
Preference and Priorities: A Study Based on Contrction. KR 2016: 155-165 - 2015
- [c29]Diego G. Rodrigues, Ghazaleh Nazarian, Álvaro F. Moreira, Luigi Carro, Georgi Gaydadjiev
:
A non-conservative software-based approach for detecting illegal CFEs caused by transient faults. DFTS 2015: 221-226 - [c28]Ronaldo Rodrigues Ferreira, Ernesto Sánchez, Jean da Rolt, Gabriel L. Nazar, Álvaro F. Moreira, Luigi Carro, Matteo Sonza Reorda
:
Permanent fault detection and diagnosis in the lightweight dual modular redundancy architecture. LATS 2015: 1-6 - [c27]Marlo Souza, Álvaro F. Moreira, Renata Vieira
, John-Jules Ch. Meyer:
Integrating Ontology Negotiation and Agent Communication. OWLED 2015: 56-68 - [c26]Ghazaleh Nazarian, Diego G. Rodrigues, Álvaro F. Moreira, Luigi Carro, Georgi Gaydadjiev
:
Bit-Flip Aware Control-Flow Error Detection. PDP 2015: 215-221 - [c25]Marlo Souza, Álvaro F. Moreira, Renata Vieira
, John-Jules Ch. Meyer:
Communication for Agents with Ontological Reasoning. WI-IAT (2) 2015: 182-185 - [c24]Vítor Bujés Ubatuba De Araújo, Álvaro Freitas Moreira, Rodrigo Machado:
Týr: A Dependent Type System for Spatial Memory Safety in LLVM. WEIT 2015: 3-13 - 2014
- [j7]Fábio P. Itturriet, Gabriel L. Nazar, Ronaldo Rodrigues Ferreira, Álvaro Freitas Moreira, Luigi Carro
:
Adaptive Parallelism Exploitation under Physical and Real-Time Constraints for Resilient Systems. ACM Trans. Reconfigurable Technol. Syst. 7(3): 25:1-25:17 (2014) - [c23]Vinicius De Antoni, Álvaro F. Moreira:
An asynchronous algorithm to improve scheduling quality in the multiagent simple temporal problem. AAMAS 2014: 1381-1382 - [c22]Ronaldo Rodrigues Ferreira, Thomas Klotz, Thilo Vörtler, Jean da Rolt, Gabriel L. Nazar, Álvaro Freitas Moreira, Luigi Carro, Karsten Einwich:
Reliable execution of statechart-generated correct embedded software under soft errors. DDECS 2014: 147-152 - [c21]Ronaldo Rodrigues Ferreira, Jean da Rolt, Gabriel L. Nazar, Álvaro Freitas Moreira, Luigi Carro:
Adaptive Low-Power Architecture for High-Performance and Reliable Embedded Computing. DSN 2014: 538-549 - [c20]Thiago Soares Fernandes, Érika F. Cota, Álvaro Freitas Moreira:
Performance Evaluation of Android Applications: A Case Study. SBESC 2014: 79-84 - 2013
- [c19]Rafael Baldiati Parizi, Ronaldo Rodrigues Ferreira, Luigi Carro
, Álvaro F. Moreira:
Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software. IESS 2013: 49-60 - 2012
- [c18]Fábio P. Itturriet, Ronaldo Rodrigues Ferreira, Gustavo Girão, Gabriel L. Nazar, Álvaro F. Moreira, Luigi Carro
:
Resilient Adaptive Algebraic Architecture for Parallel Detection and Correction of Soft-Errors. DSD 2012: 136-139 - [c17]Gleison Samuel do Nascimento, Cirano Iochpe, Lucinéia Heloisa Thom
, André Kalsing, Álvaro F. Moreira:
Identifying Business Rules to Legacy Systems Reengineering Based on BPM and SOA. ICCSA (4) 2012: 67-82 - [c16]Fábio P. Itturriet, Gabriel L. Nazar, Ronaldo Rodrigues Ferreira, Álvaro F. Moreira, Luigi Carro
:
Adaptive parallelism exploitation under physical and real-time constraints for resilient systems. ReCoSoC 2012: 1-8 - [c15]Rafael Baldiati Parizi, Ronaldo Rodrigues Ferreira, Álvaro Freitas Moreira, Luigi Carro
:
Impact on Reliability in the Control-Flow of Programs under Compiler Optimizations. SBESC 2012: 43-48 - 2011
- [c14]Álvaro F. Moreira, Renata Vieira
, Rafael H. Bordini:
Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages. DALT 2011: 111-116 - [c13]Ronaldo Rodrigues Ferreira, Álvaro Freitas Moreira, Luigi Carro
:
Matrix control-flow algorithm-based fault tolerance. IOLTS 2011: 37-42 - [c12]Daltro José Nunes, Álvaro Freitas Moreira, Leila Ribeiro:
Formal Methods at SBES: Evolution and Perspectives. SBES 2011: 1-3 - [i2]Rafael H. Bordini, Álvaro F. Moreira, Renata Vieira, Michael J. Wooldridge:
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. CoRR abs/1111.0041 (2011) - 2010
- [c11]Ronaldo Rodrigues Ferreira, Álvaro Freitas Moreira, Luigi Carro
:
System Level Hardening by Computing with Matrices. DSD 2010: 373-379 - [c10]Cláudio Naoto Fuzitaki, Álvaro Freitas Moreira, Renata Vieira
:
Ontology Reasoning in Agent-Oriented Programming. SBIA 2010: 21-30
2000 – 2009
- 2009
- [c9]Carmela Noro Grando, Carlos Arthur Lang Lisbôa, Álvaro Freitas Moreira, Luigi Carro
:
Invariant checkers: An efficient low cost technique for run-time transient errors detection. IOLTS 2009: 35-40 - [c8]Carlos Arthur Lang Lisbôa, Carmela Noro Grando, Álvaro Freitas Moreira, Luigi Carro
:
Using software invariants for dynamic detection of transient errors. LATW 2009: 1-6 - 2008
- [j6]Fernando Barden Rubbo, Rodrigo Machado, Álvaro Freitas Moreira, Leila Ribeiro, Daltro José Nunes:
On the Interaction of Advices and Raw Types in AspectJ. J. Univers. Comput. Sci. 14(21): 3534-3555 (2008) - [i1]Álvaro F. Moreira, Renata Vieira:
Belief Update in AgentSpeak-DL. Programming Multi-Agent Systems 2008 - 2007
- [j5]Renata Vieira, Álvaro F. Moreira, Michael J. Wooldridge, Rafael H. Bordini:
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. J. Artif. Intell. Res. 29: 221-267 (2007) - [c7]Diego de Vargas Feijó, Cláudio Naoto Fuzitaki, Álvaro Freitas Moreira, Renata de Matos Galante, Carlos A. Heuser:
CXPath: a Query Language for Conceptual Models of Integrated XML Data. SEKE 2007: 592- - 2006
- [j4]Rodrigo Machado, Álvaro Freitas Moreira, Renata de Matos Galante, Mirella Moura Moro:
Type-safe Versioned Object Query Language. J. Univers. Comput. Sci. 12(7): 938-957 (2006) - [c6]Renata Vieira
, Álvaro F. Moreira, Rafael H. Bordini, Jomi Fred Hübner
:
An Agent-Oriented Programming Language for Computing in Context. IFIP PPAI 2006: 61-70 - [c5]Rodrigo Machado, Álvaro Freitas Moreira, Renata de Matos Galante, Mirella Moura Moro:
A Query Language for a Versioned Object Oriented Database. SBBD 2006: 72-86 - 2005
- [j3]Renata de Matos Galante, Clesio Saraiva dos Santos, Nina Edelweiss, Álvaro Freitas Moreira:
Temporal and versioning model for schema evolution in object-oriented databases. Data Knowl. Eng. 53(2): 99-128 (2005) - [j2]Rafael H. Bordini, Antônio Carlos da Rocha Costa, Jomi Fred Hübner, Álvaro F. Moreira, Fabio Y. Okuyama, Renata Vieira:
MAS-SOC: a Social Simulation Platform Based on Agent-Oriented Programming. J. Artif. Soc. Soc. Simul. 8(3) (2005) - [c4]Álvaro F. Moreira, Renata Vieira
, Rafael H. Bordini, Jomi Fred Hübner
:
Agent-Oriented Programming with Underlying Ontological Reasoning. DALT 2005: 155-170 - 2004
- [j1]Rafael H. Bordini
, Álvaro F. Moreira:
Proving BDI Properties of Agent-Oriented Programming Languages. Ann. Math. Artif. Intell. 42(1-3): 197-226 (2004) - 2003
- [c3]Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini:
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. DALT 2003: 135-154 - [c2]Renata de Matos Galante, Nina Edelweiss, Clesio Saraiva dos Santos, Álvaro Freitas Moreira:
Data Modification Language for Full Support of Temporal Schema Versioning. SBBD 2003: 114-128 - 2002
- [c1]Rafael H. Bordini, Álvaro F. Moreira:
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. CLIMA 2002: 108-125 - 2000
- [b1]Álvaro F. Moreira:
A type-based locality analysis for a functional distributed language. University of Edinburgh, UK, 2000
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint