lvaro F. Moreira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2012–2019
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | AAAI | Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach. | Marlo Souza, lvaro F. Moreira, Renata Vieira |
| 2019 | TAP | Bringing Belief Base Change into Dynamic Epistemic Logic. | Marlo Souza, lvaro F. Moreira |
| 2017 | TABLEAUX | Dynamic Preference Logic as a Logic of Belief Change. | Marlo Souza, lvaro F. Moreira, Renata Vieira |
| 2016 | KR | Preference and Priorities: A Study Based on Contrction. | Marlo Souza, lvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer |
| 2015 | PDP | Bit-Flip Aware Control-Flow Error Detection. | Ghazaleh Nazarian, Diego G. Rodrigues, lvaro F. Moreira, Luigi Carro, Georgi Gaydadjiev |
| 2012 | DSD | Resilient Adaptive Algebraic Architecture for Parallel Detection and Correction of Soft-Errors. | Fbio P. Itturriet, Ronaldo Rodrigues Ferreira, Gustavo Giro, Gabriel L. Nazar, lvaro F. Moreira, Luigi Carro |
| 2012 | ICCSA | Identifying Business Rules to Legacy Systems Reengineering Based on BPM and SOA. | Gleison Samuel do Nascimento, Cirano Iochpe, Lucinia Heloisa Thom, Andr Kalsing, lvaro F. Moreira |