| Building reliable web services compositions PF Pires, MRF Benevides, M Mattoso Net. ObjectDays: International Conference on Object-Oriented and Internet …, 2002 | 151 | 2002 |
| Sharing resources at nonuniform access rates VC Barbosa, MRF Benevides, FMG França Theory of Computing Systems 34 (1), 13-26, 2000 | 43 | 2000 |
| WEBTRANSACT: A Framework for Specifying and coordinating reliable web services compositions PF Pires, M Benevides, M Mattoso | 38 | 2002 |
| A constructive presentation for the modal connective of necessity (□) MRF Benevides, TSE Maibaum Journal of Logic and Computation 2 (1), 31-50, 1992 | 26 | 1992 |
| Verification of epistemic properties in probabilistic multi-agent systems C Delgado, M Benevides German Conference on Multiagent System Technologies, 16-28, 2009 | 24 | 2009 |
| Propositional dynamic logic with storing, recovering and parallel composition MRF Benevides, R de Freitas, P Viana Electronic Notes in Theoretical Computer Science 269, 95-107, 2011 | 22 | 2011 |
| A graph-theoretic characterization of AND-OR deadlocks VC Barbosa, MRF Benevides UFRJ Technical Report COPPE-ES-472/98, Rio de Janeiro, Brazil, 1998 | 21 | 1998 |
| A propositional dynamic logic for CCS programs MRF Benevides, LM Schechter International Workshop on Logic, Language, Information, and Computation, 83-97, 2008 | 18 | 2008 |
| Mediating heterogeneous web services PF Pires, MRF Benevides, M Mattoso 2003 Symposium on Applications and the Internet, 2003. Proceedings., 344-347, 2003 | 17 | 2003 |
| Using modal logics to express and check global graph properties MRF Benevides, LM Schechter Logic Journal of the IGPL 17 (5), 559-587, 2009 | 15 | 2009 |
| Propositional dynamic logic for Petri nets B Lopes, M Benevides, EH Haeusler Logic Journal of the IGPL 22 (5), 721-736, 2014 | 14 | 2014 |
| Extending propositional dynamic logic for Petri nets B Lopes, M Benevides, EH Haeusler Electronic Notes in Theoretical Computer Science 305, 67-83, 2014 | 13 | 2014 |
| Reasoning about multi-agent systems using stochastic Petri Nets B Lopes, M Benevides, EH Haeusler Trends in Practical Applications of Agents, Multi-Agent Systems and …, 2015 | 12 | 2015 |
| Belief revision in pseudo-definite sets O Rodrigues, MRF Benevides Proceedings of the 11th Brazilian symposium on artificial intelligence (SBIA'94), 1994 | 11 | 1994 |
| A propositional dynamic logic for concurrent programs based on the π-calculus MRF Benevides, LM Schechter Electronic Notes in Theoretical Computer Science 262, 49-64, 2010 | 10 | 2010 |
| A priority dynamics for generalized drinking philosophers VC Barbosa, MRF Benevides, AL Oliveira Filho Information processing letters 79 (4), 189-195, 2001 | 10 | 2001 |
| Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator MRF Benevides, LM Schechter Journal of Logic and Computation 24 (4), 919-951, 2014 | 9 | 2014 |
| Modal logics for finite graphs MRF Benevides Logic for concurrency and synchronisation, 239-267, 2003 | 9 | 2003 |
| A family of graded epistemic logics MRF Benevides, A Madeira, MA Martins Electronic Notes in Theoretical Computer Science 338, 45-59, 2018 | 8 | 2018 |
| PDL for structured data: a graph-calculus approach PAS Veloso, SRM Veloso, MRF Benevides Logic Journal of the IGPL 22 (5), 737-757, 2014 | 8 | 2014 |
Edward HaeuslerProfessor of Computer Science, PUC-RioVerified email at inf.puc-rio.br
