Mário Benevides
Author
Alternate names Mario R. F. Benevides, M. Benevides, Mário Benevides, Mário Roberto F. Benevides, Mario Folhadela Benevides +3 more
Institution Universidade Federal Fluminense
Past institutions Universidade Federal Fluminense, Universidade Federal do Rio de Janeiro, Epistem (United Kingdom), Secretaria de Planejamento e Gestão, Institute of Mathematical Sciences +1 more
ORCID: Yes
H-index: 10
I10-index: 12
Works count: 77
Citations count: 317
Building Reliable Web Services Compositions
2003 · Paulo F. Pires, Mário Benevides, et al. · Lecture notes in computer science
Sharing Resources at Nonuniform Access Rates
2000 · Valmir C. Barbosa, Mário Benevides, et al. · Theory of Computing Systems
Verification of Epistemic Properties in Probabilistic Multi-Agent Systems
2009 · Carla Delgado, Mário Benevides · Lecture notes in computer science