Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Álvaro Freitas Moreira
Álvaro F. Moreira
2010 – today
- 2012
[c16]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- [c15]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
- [c14]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
- 2011
- [c13]Á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
- [c12]Ronaldo Rodrigues Ferreira, Álvaro Freitas Moreira, Luigi Carro: Matrix control-flow algorithm-based fault tolerance. IOLTS 2011: 37-42
- [c11]Daltro José Nunes, Álvaro Freitas Moreira, Leila Ribeiro: Formal Methods at SBES: Evolution and Perspectives. SBES 2011: 1-3
- [i1]Rafael H. Bordini, Álvaro F. Moreira, Renata Vieira, Michael Wooldridge: On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. CoRR abs/1111.0041 (2011)
- 2010
- [c10]Ronaldo Rodrigues Ferreira, Álvaro Freitas Moreira, Luigi Carro: System Level Hardening by Computing with Matrices. DSD 2010: 373-379
- [c9]Cláudio Naoto Fuzitaki, Álvaro Freitas Moreira, Renata Vieira: Ontology Reasoning in Agent-Oriented Programming. SBIA 2010: 21-30
2000 – 2009
- 2009
- [c8]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
- 2008
- [j7]Fernando Barden Rubbo, Rodrigo Machado, Álvaro Freitas Moreira, Leila Ribeiro, Daltro José Nunes: On the Interaction of Advices and Raw Types in AspectJ. J. UCS 14(21): 3534-3555 (2008)
- 2007
- [j6]Renata Vieira, Álvaro F. Moreira, Michael Wooldridge, Rafael H. Bordini: On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. J. Artif. Intell. Res. (JAIR) 29: 221-267 (2007)
- [c7]Diego de Vargas Feijo, 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
- [j5]Rodrigo Machado, Álvaro Freitas Moreira, Renata de Matos Galante, Mirella Moura Moro: Type-safe Versioned Object Query Language. J. UCS 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
- [j4]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)
- [j3]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. Artificial Societies and Social Simulation 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
- [j2]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
- [j1]Rafael H. Bordini, Álvaro F. Moreira: Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. Electr. Notes Theor. Comput. Sci. 70(5): 108-125 (2002)
- [c1]Rafael H. Bordini, Álvaro F. Moreira: Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. CLIMA 2002: 94-108
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-09 14:35 CET by the dblp team