"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 Letters79, 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 Computation2 (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).
"Proving Epistemic and Temporal Properties from Knowledge Based Programs". Lecture Notes in Computer Science, v. 5249: 134-144. In: Brazilian Symposium on Artificial Intelligence, 2008. (with Michel Calini and Carla Delgado)"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.