Mario R. F. Benevides

Mario R. F. Benevides, Renata P. de Freitas, Jorge Petrúcio Viana: Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. Electr. Notes Theor. Comput. Sci. 269: 95-107 (2011)

Mario R. F. Benevides, L. Menasché Schechter: A study on multi-dimensional products of graphs and hybrid logics. Theor. Comput. Sci. 412(37): 4946-4966 (2011)

Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, L. Menasché Schechter, Ana Teresa C. Martins: Hybrid Logics and NP Graph Properties. WoLLIC 2011: 123-134

Mario R. F. Benevides, L. Menasché Schechter: A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus. Electr. Notes Theor. Comput. Sci. 262: 49-64 (2010)

Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrúcio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado: On vague notions and modalities: a modular approach. Logic Journal of the IGPL 18(3): 381-402 (2010)

Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides: Preface. Electr. Notes Theor. Comput. Sci. 247: 1-3 (2009)

Mario R. F. Benevides, L. Menasché Schechter: Product of Graphs and Hybrid Logic. Electr. Notes Theor. Comput. Sci. 256: 103-118 (2009)

Mario R. F. Benevides, L. Menasché Schechter: Using modal logics to express and check global graph properties. Logic Journal of the IGPL 17(5): 559-587 (2009)

Carla A. D. M. Delgado, Mario R. F. Benevides: Verification of Epistemic Properties in Probabilistic Multi-Agent Systems. MATES 2009: 16-28

Mario R. F. Benevides, L. Menasché Schechter: CCS-Based Dynamic Logics for Communicating Concurrent Programs. CoRR abs/0904.0034 (2009)

Mario R. F. Benevides, Carla A. D. M. Delgado, Carlos López Pombo, Luis Lopes, Ricardo Ribeiro: A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. Electr. Notes Theor. Comput. Sci. 195: 133-149 (2008)

Mario R. F. Benevides, L. Menasché Schechter: Modal Expressiveness of Graph Properties. Electr. Notes Theor. Comput. Sci. 205: 31-47 (2008)

Mario R. F. Benevides, Carla A. D. M. Delgado, Michel Carlini: Proving Epistemic and Temporal Properties from Knowledge Based Programs. SBIA 2008: 134-144

Mario R. F. Benevides, L. Menasché Schechter: A Propositional Dynamic Logic for CCS Programs. WoLLIC 2008: 83-97

Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrúcio Viana, Mario R. F. Benevides, Sheila R. M. Veloso: On Fork Arrow Logic and its Expressive Power. J. Philosophical Logic 36(5): 489-509 (2007)

Vania Costa, Mario R. F. Benevides: Reasoning about Knowledge in Asynchronous Distributed Systems. Logic Journal of the IGPL 13(1): 5-28 (2005)

Vania Costa, Mario R. F. Benevides: Formalizing Concurrent Common Knowledge as Product of Modal Logics. Logic Journal of the IGPL 13(6): 665-684 (2005)

D. R. Vasconcelos, Edward Hermann Haeusler, Mario R. F. Benevides: Defining Agents Via Strategies: Towards a View of MAS as Games. WRAC 2005: 299-311

Mario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso: On Modalities for Vague Notions. SBIA 2004: 1-10

Renata P. de Freitas, Jorge Petrúcio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso: Squares in Fork Arrow Logic. J. Philosophical Logic 32(4): 343-355 (2003)

Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso: Mediating Heterogeneous Web Services. SAINT 2003: 344-347

Carla A. D. M. Delgado, Mario R. F. Benevides: Reasoning about Events and Knowledge in Distributed Systems. IC-AI 2002: 1213-1219

Vania Costa, Mario R. F. Benevides: A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems. IC-AI 2002: 1271-1277

Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso: Building Reliable Web Services Compositions. Web, Web-Services, and Database Systems 2002: 59-72

Valmir C. Barbosa, Mario R. F. Benevides, Ayru L. Oliveira Filho: A priority dynamics for generalized drinking philosophers. Inf. Process. Lett. 79(4): 189-195 (2001)

Valmir C. Barbosa, Mario R. F. Benevides, Felipe M. G. França: Sharing Resources at Nonuniform Access Rates. Theory Comput. Syst. 34(1): 13-26 (2001)

Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso: Mechanisms for Specifying Communication Behavior in Object Oriented Database. SAC (1) 2000: 389-397

Mario R. F. Benevides, Marcelo Sihman: Automatic Generation of CCS Specifications for Resource Sharing Problems. OPODIS 1997: 111-122

Mario R. F. Benevides: Multiple Database Logic. ECSQARU 1995: 28-36

Odinaldo Rodrigues, Mario R. F. Benevides: PROMAL: Programming in Modal Action Logic. SBIA 1995: 101-111

Odinaldo Rodrigues, Mario R. F. Benevides: PROMAL - Programming in Modal Action Logic. PLILP 1994: 457-458

Mario R. F. Benevides: Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction. Kurt Gödel Colloquium 1993: 120-131

Mario R. F. Benevides, T. S. E. Maibaum: A Constructive Presentation for the Modal Connective of Necessity (\Box). J. Log. Comput. 2(1): 31-50 (1992)