Papers in Refereed Journals

"Polynomial Hierarchy Graph Problems in Hybrid Logic", Journal of Computer and System Sciences, 2014, to appear (with Francicleber Ferreira, Cibele Freire, Luis Menasché Schechter and Ana Teresa Martins).

"Propositional Dynamic Logics for Communicating Concurrent Programs with CCS’s Parallel Operator", Journal of Logic and Computation, 2014, doi: 10.1093/logcom/exu001 (with Luis Menasché Schechter) .

"A Study on Multi-Dimensional Products of Graphs and Hybrid Logics", Theoretical Computer Science v. 412, p. 4946-4966, 2011 (with Luis Menasché Schechter) .

"On Vague Notions and Modalities: a Modular Approach", Logic Journal of the IGPL

Renata Freitas and Carla Delgado) .

"Using Modal Logics to Express and Check Global Graph Properties", Logic Journal of the IGPL v. 17, p. 559-587, 2009 (with Luis Menasché Schechter).

"On Fork Arrow Logic and its Expressive Power",

"Formalizing Concurrent Common Knowledge as Product of Modal Logics", Journal of the Interest Group in Pure and Applied Logics (IGPL), vol. 13, n. 6, 685-716, 2005 (with Vania Costa).

"Reasoning about Knowledge in Asychronous Distributed Systems", Journal of the Interest Group
in Pure and Applied Logics (IGPL), vol 13, n. 1, 5-28, 2005 (with Vania
Costa).

"Squares in Fork Arrow Logic", *Journal
of Philosophical Logic*, v. 32, n. 1, p. 343-355, 2003
(with Renata Freitas, Petrúcio Viana,
Paulo Veloso and Sheila Veloso).

"A Priority Dynamic for Generalized Drinking
Philosophers",
Information
Processing Letters**79,** July 2001, 189-195, (with Valmir
C. Barbosa and
Ayru L.
Oliveira Filho).

"Sharing Resources at Nonuniform Access Rates," *Theory
of Computing Systems* **34**, January 2001, 13-26 (with
Valmir
C. Barbosa and
Felipe M. G.
França).

"A Constructive Presentation for the Modal Connective of Necessity,"
*Journal
of Logic and Computation***2** (No.1), 1992, 31-50(with
Thomas
S. E. Maibaum) .

"Modal Logic for Finite Graphs",* Logic
for Synchronization and Concurrency*, Ed. R. Queiroz, Kluwer
Academic
Publisher, series Trends in Logic, 2003, v. 18, p. 239-267.

"A Natural Deduction Presentation for Intuitionistic Modal Logics,"
*Logic
Sets and Information*, Ed. W. Carnielli and L. Pereira, CLE-UNICAMP,
1995, 25-59.

Papers in Refereeed Congresses

"Hybrid Logics and NP Graph Properties". Proceedings of the XVIII Workshop on Logic, Language, Information and Computation (Wollic 2011), Lecture Notes in Artificial Intelligence, v. 6642. p. 123-134, 2011 (with Francicleber Martins Ferreira, Cibele Matos Freire, Luis Menasché Schechter and Ana T. Martins)

" K, T and D-like fuzzy Kripke models". In: 2011 Annual Meeting of the North American Fuzzy Information Processing, 2011, , El Paso - Texas. Proceedings of NAFIPS 2011, 2011 (with Benjamin C. Bedregal, Regivan N. Santiago and Viana, Petrucio)

" Propositional Dynamic Logic with Storing, Recovering and Parallel Composition".
Proceedings of the V Workshop on Logical and Semantic Frameworks, with
Applications (LSFA 2010), Electronic
Notes in Theoretical Computer Science ENTCS v. 269. p. 95-107 (with Petrúcio Viana and

Renata Freita)

" A Propositional Dynamic Logic for Concurrent Programs Based on the Pi-Calculus". In: Methods for Modalities (M4M), 2010, Copenhaguem. Electronic Notes in Theoretical Computer Science ENTCS, v. 262. p. 49-64. (withLuis Menasché Schechter)

"Verification of epistemic properties in probabilistic Multi-Agent Systems". 17th German conference on Multi-Agent System Technologies (MATES), 2009, Hamburg, Lecture Notes in Artificial Intelligence v. 5774, . (with Carla Delgado)

"Product of Graphs and Hybrid Logic". Proceedings of the IV Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2009), Electronic Notes in Theoretical Computer Science ENTCS v. 256. p. 103-118, 2009 (with Luis Menasché Schechter)

"Aplicação de Modelos Ocultos de Markov na Teoria dos Jogos",* Encontro Nacional de
Inteligência
Artificial ENIA2009*, Bento Gonçalves, July 2009 (with Edurado R. Waghabi).

"Decidability of a Syntactic Fragment of the Hybrid Computation Tree Logic with the Downarrow Operator". Proceedings of the XV Brazilian Logic Conference (EBL 2008), CLE e-prints, v. 8, n. 6, 2008. (with Luis Menasché Schechter)

"A Propositional Dynamic Logic for CCS Programs". Proceedings of the XV Workshop on Logic, Language, Information and Computation (Wollic 2008), Lecture Notes in Artificial Intelligence, v. 5110, p. 83-97, 2008. [DOI] (with Luis Menasché Schechter)

"Modal Expressiveness of Graph Properties" (with Mario Benevides), Proceedings of the II Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2007), Electronic Notes in Theoretical Computer Science, v. 205, p. 31-47, 2008. [DOI] (with Luis Menasché Schechter)

"A Compositional Automata-based Approach for Model
Checking Multi-Agent Systems", *SBMF2006*, Sept. 2006. Electronic
Notes in Theoretical Computer Science ENTCS, v. 195: 133-149 (with Carla
Delgado, Ricardo Ribeiro, Luis Lopes and Carlos Pombo).

"Defining Agents via Strategies: Towards a Game-Theoretical view of MAS", Workshop on Radical Agent Concepts, 2005, Washington. Lecture Notes in Computer Science. London : Springer-Verlag, 2005. v. 3825 (with E. H. Haeusler, D. R. Vascocelos).

"Modalities for Vague Notions", In: XVII Brazilian Symposioum on
Artificial Intelegence, 2004, São Luis. Lecture Notes in
Artificial Intelegence, 2004. Springer, v. 3171: 1-10 (with Carla
Delgado, Renata Freitas, Paulo Veloso and Sheila Veloso).

"Game Prolog", In: Sixth Conf. on Logic and The Foundation of
Game Theory, 2004, Leipzig, 2004 (with Ricardo Ribeiro).

"Formalizing concurrent common knowledge as product of modal logics", In: Proceedings of Workshop on Combination of Logics: Theory and Applications, CombLog, 2004, Lisboa. Proccedings of the ComLog´04: CLE- e-prints, 2004. v. 4.

"Building Reliable Web Services Compositions ", *International
Workshop
Web Services: Research, Standardization and Development*,
* Lecture Notes in Computer Science, Springer-Verlag,* Erfurt,
Alemanha, outubro de 2002, (with Marta
L. Q. Mattoso and Paulo Pires).

"Expressive power of Fork Arrow Logic", *WMF'2002:
V Workshop de Métodos Formais*; Gramado, RS, October 2002
(with
Renata Freitas, Petrúcio Viana, Paulo Veloso and Sheila
Veloso).

"Deadlock Detection in Algebraic Specifications
for
Concurrent Systems", *WMF'2002: V Workshop de Métodos Formais*;
Gramado, RS, October 2002 (with Marcelo Sihman).

"On Hybrid Arrow Logic", *HyLo@LICS: 4th
Workshop
on Hybrid Logic* {affiliated to LICS 2002}: 53-67; Copenhague, DK,
jul.
2002. (with Renata Freitas, Petrúcio Viana,
Paulo
Veloso and Sheila Veloso).

"Reasonning about Events and Knowledge in
Distributed
Systems", *CMSRA-2002: Computational Models of Scientific Reasoning
and
Applications* (International Conference on Artificial
Intelligence);
Las Vegas, 1213-1219, June. 2002 (with Carla Delgado).

"A Two-dimensional Modal Logic for Knowledge
Rpresentation
in Asynchrous Multi-Agent Systems", *CMSRA-2002: Computational
Models
of** Scientific Reasoning and Applications*
(International
Conference on Artificial Intelligence); Las Vegas, 1271-1277, June 2002
(with Vania Costa).

"Dynamic Logic of Knowledge",* Encontro Nacional de
Inteligência
Artificial ENIA2001*, Fortaleza, August 2001 (with Carla Delgado).

"Squares in Fork Modal Logic", 8th *Workshop on Logic, Language
and
Computation*, Brasilia, August 2001, 77-85

(with Renata Freitas, Petrúcio Viana, Paulo Veloso and Sheila
Veloso).

"A Two-Dimensional Logic for Knowledge in Assynchronous Multi-Agent
Systems", *Workshop on Many-Dimensional Logical Systems*, ESSLLI
2000, Birmingham, UK, August 2000 (with Valmir
C. Barbosa and Vania Costa).

" Mechanisms for Specifying Communication Behavior in Object
Oriented
Database System,"* ACM 14th Annual Symposium on Applied Computing*,
Como, Italy, March 2000, 389-397 (with Marta
L. Q. Mattoso and Paulo Pires).

"Axiomatization and Completeness for Fork Modal logic",
*XII Encontro
Brasileiro de Lógica*, Itatiaia, May 1999 (with Paulo
Veloso).

"Automatic Generation of CCS Specification for Resource Sharing
Problems",
*International
Conference on Principles of Distributed Systems*, published by
HERMES,
France, December 1997 (with Marcelo Sihman).

"A Modal Logic for Finite Graphs," *Eleventh Amsterdam Colloquium*
- Amsterdam, December 1997.

"Multiple Database Logic," *Lecture Notes in Artificial
Inteligence*,
LNAI 946, Springer Verlag, 1995, 28-36.

"PROMAL: Programming in Modal Action Logic," *Lecture Notes in
Artificial
Intelligence*, LNAI 991, Springer Verlag, 1995, 101-111 (with
Odinaldo
Rodrigues).

"Differentiating Assumptions from Extra-Logical Axioms in Natural
deduction,"
*Lecture
Notes in Computer Science* 713, Springer Verlag, 1993, 120-131.