Mario R. F. Benevides
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
1995–2018
Best venue rank
C
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | DIAGRAMS | On Diagrams and General Model Checkers. | Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima |
| 2017 | LPNMR | Populational Announcement Logic (PPAL). | Vitor Machado, Mario R. F. Benevides |
| 2016 | ICTAC | Propositional Dynamic Logic for Petri Nets with Iteration. | Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler |
| 2015 | PAAMS | Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. | Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler |
| 2011 | WoLLIC | Hybrid Logics and NP Graph Properties. | Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasch Schechter, Ana Teresa C. Martins |
| 2008 | WoLLIC | A Propositional Dynamic Logic for CCS Programs. | Mario R. F. Benevides, Luis Menasch Schechter |
| 2000 | SAC | Mechanisms for Specifying Communication Behavior in Object Oriented Database. | Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso |
| 1997 | OPODIS | Automatic Generation of CCS Specifications for Resource Sharing Problems. | Mario R. F. Benevides, Marcelo Sihman |
| 1995 | ECSQARU | Multiple Database Logic. | Mario R. F. Benevides |