Mario R. F. Benevides

ORCID

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 18

Top Venues

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Vitor Machado, Mario R. F. Benevides
Temporal logic for social networks. J. Log. Comput. 32 (6) (2022)
Vitor Machado, Mario R. F. Benevides
Temporal Logic for Social Networks. CoRR (2021)
Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins
Adding Proof Calculi to Epistemic Logics with Structured Knowledge. FSEN (2021)
Mario R. F. Benevides, Alexandre Madeira
DaLí - Dynamic Logic, new trends and applications. J. Log. Algebraic Methods Program. 111 (2020)
Vitor Machado, Mario R. F. Benevides
Populational Announcement Logic (PPAL). LSFA (2019)
Mario R. F. Benevides, Isaque M. S. Lima
Dynamic Epistemic Logic with Communication Actions. CoRR (2019)
Leandro Gomes, Alexandre Madeira, Mario R. F. Benevides
Logics for Petri Nets with Propagating Failures. FSEN (2019)
Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima
On Diagrams and General Model Checkers. Diagrams (2018)
Alexandre Madeira, Manuel A. Martins, Mario R. F. Benevides
Epistemic Logics with Structured Knowledge. LSFA (2018)
Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. Theor. Comput. Sci. 744 (2018)
Mario R. F. Benevides, Isaque Lima
Action Models with Postconditions. Computación y Sistemas 21 (3) (2017)
Vitor Machado, Mario R. F. Benevides
Populational Announcement Logic (PPAL). DARe@LPNMR (2017)
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
On a graph calculus for modalities. Theor. Comput. Sci. 685 (2017)
Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins
A Family of Graded Epistemic Logics. LSFA (2017)
Mario R. F. Benevides
Bisimilar and logically equivalent programs in PDL with parallel operator. Theor. Comput. Sci. 685 (2017)
Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler
Propositional Dynamic Logic for Petri Nets with Iteration. ICTAC (2016)
Mario R. F. Benevides, René Thiemann
Preface. LSFA (2015)
Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler
Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. PAAMS (Special Sessions) (2015)
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
PDL for structured data: a graph-calculus approach. Log. J. IGPL 22 (5) (2014)
Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins
Polynomial hierarchy graph properties in hybrid logic. J. Comput. Syst. Sci. 80 (6) (2014)
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
On Graph Calculi for Multi-modal Logics. LSFA (2014)
Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel
Preface. Electron. Notes Theor. Comput. Sci. 300 (2014)
Mario R. F. Benevides, Luis Menasché Schechter
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator. J. Log. Comput. 24 (4) (2014)
Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler
Propositional dynamic logic for Petri nets. Log. J. IGPL 22 (5) (2014)
Mario R. F. Benevides
Bisimilar and Logically Equivalent Programs in PDL. LSFA (2013)
Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler
Extending Propositional Dynamic Logic for Petri Nets. LSFA (2013)
Mario R. F. Benevides, Isaque Lima, Rafael Nader, Pedro Rougemont
Using HMM in Strategic Games. DCM (2013)
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
On a Graph Approach to Modal Logics. LSFA (2013)
Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins
Hybrid Logics and NP Graph Properties. WoLLIC (2011)
Mario R. F. Benevides, Luis Menasché Schechter
A study on multi-dimensional products of graphs and hybrid logics. Theor. Comput. Sci. 412 (37) (2011)
Mario R. F. Benevides, Renata P. de Freitas, Jorge Petrucio Viana
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. LSFA (2010)
Mario R. F. Benevides, Luis Menasché Schechter
A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus. Electron. Notes Theor. Comput. Sci. 262 (2010)
Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado
On vague notions and modalities: a modular approach. Log. J. IGPL 18 (3) (2010)
Mario R. F. Benevides, Luis Menasché Schechter
CCS-Based Dynamic Logics for Communicating Concurrent Programs CoRR (2009)
Mario R. F. Benevides, Luis Menasché Schechter
Product of Graphs and Hybrid Logic. LSFA (2009)
Carla A. D. M. Delgado, Mario R. F. Benevides
Verification of Epistemic Properties in Probabilistic Multi-Agent Systems. MATES (2009)
Mario R. F. Benevides, Luis Menasché Schechter
Using modal logics to express and check global graph properties. Log. J. IGPL 17 (5) (2009)
Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides
Preface. LSFA (2008)
Mario R. F. Benevides, Luis Menasché Schechter
A Propositional Dynamic Logic for CCS Programs. WoLLIC (2008)
Mario R. F. Benevides, Carla A. D. M. Delgado, Michel Carlini
Proving Epistemic and Temporal Properties from Knowledge Based Programs. SBIA (2008)
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. Electron. Notes Theor. Comput. Sci. 195 (2008)
Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso
On Fork Arrow Logic and its Expressive Power. J. Philos. Log. 36 (5) (2007)
Mario R. F. Benevides, Luis Menasché Schechter
Modal Expressiveness of Graph Properties. LSFA (2007)
D. R. Vasconcelos, Edward Hermann Haeusler, Mario R. F. Benevides
Defining Agents Via Strategies: Towards a View of MAS as Games. WRAC (2005)
Vania Costa, Mario R. F. Benevides
Reasoning about Knowledge in Asynchronous Distributed Systems. Log. J. IGPL 13 (1) (2005)
Vania Costa, Mario R. F. Benevides
Formalizing Concurrent Common Knowledge as Product of Modal Logics. Log. J. IGPL 13 (6) (2005)
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)
Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso
Mediating Heterogeneous Web Services. SAINT (2003)
Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso
Squares in Fork Arrow Logic. J. Philos. Log. 32 (4) (2003)
Carla A. D. M. Delgado, Mario R. F. Benevides
Reasoning about Events and Knowledge in Distributed Systems. IC-AI (2002)
Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso
Building Reliable Web Services Compositions. Web, Web-Services, and Database Systems (2002)
Vania Costa, Mario R. F. Benevides
A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems. IC-AI (2002)
Valmir Carneiro Barbosa, Mario R. F. Benevides, Felipe M. G. França
Sharing Resources at Nonuniform Access Rates. Theory Comput. Syst. 34 (1) (2001)
Valmir Carneiro Barbosa, Mario R. F. Benevides, Ayru L. Oliveira Filho
A priority dynamics for generalized drinking philosophers. Inf. Process. Lett. 79 (4) (2001)
Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso
Mechanisms for Specifying Communication Behavior in Object Oriented Database. SAC (1) (2000)
Mario R. F. Benevides, Marcelo Sihman
Automatic Generation of CCS Specifications for Resource Sharing Problems. OPODIS (1997)
Odinaldo Rodrigues, Mario R. F. Benevides
PROMAL: Programming in Modal Action Logic. SBIA (1995)
Mario R. F. Benevides
Multiple Database Logic. ECSQARU (1995)
Odinaldo Rodrigues, Mario R. F. Benevides
PROMAL - Programming in Modal Action Logic. PLILP (1994)
Mario R. F. Benevides
Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction. Kurt Gödel Colloquium (1993)
Mario R. F. Benevides, T. S. E. Maibaum
A Constructive Presentation for the Modal Connective of Necessity (\Box). J. Log. Comput. 2 (1) (1992)

Mario R. F. Benevides.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mario R. F. Benevides