Follow
Mario Benevides
Mario Benevides
Associate Professor of Computer Science, Fluminense Federal University
Verified email at cos.ufrj.br
Title
Cited by
Cited by
Year
Building reliable web services compositions
PF Pires, MRF Benevides, M Mattoso
Net. ObjectDays: International Conference on Object-Oriented and Internet …, 2002
1512002
Sharing resources at nonuniform access rates
VC Barbosa, MRF Benevides, FMG França
Theory of Computing Systems 34 (1), 13-26, 2000
432000
WEBTRANSACT: A Framework for Specifying and coordinating reliable web services compositions
PF Pires, M Benevides, M Mattoso
382002
A constructive presentation for the modal connective of necessity (□)
MRF Benevides, TSE Maibaum
Journal of Logic and Computation 2 (1), 31-50, 1992
261992
Verification of epistemic properties in probabilistic multi-agent systems
C Delgado, M Benevides
German Conference on Multiagent System Technologies, 16-28, 2009
242009
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
222011
A graph-theoretic characterization of AND-OR deadlocks
VC Barbosa, MRF Benevides
UFRJ Technical Report COPPE-ES-472/98, Rio de Janeiro, Brazil, 1998
211998
A propositional dynamic logic for CCS programs
MRF Benevides, LM Schechter
International Workshop on Logic, Language, Information, and Computation, 83-97, 2008
182008
Mediating heterogeneous web services
PF Pires, MRF Benevides, M Mattoso
2003 Symposium on Applications and the Internet, 2003. Proceedings., 344-347, 2003
172003
Using modal logics to express and check global graph properties
MRF Benevides, LM Schechter
Logic Journal of the IGPL 17 (5), 559-587, 2009
152009
Propositional dynamic logic for Petri nets
B Lopes, M Benevides, EH Haeusler
Logic Journal of the IGPL 22 (5), 721-736, 2014
142014
Extending propositional dynamic logic for Petri nets
B Lopes, M Benevides, EH Haeusler
Electronic Notes in Theoretical Computer Science 305, 67-83, 2014
132014
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
122015
Belief revision in pseudo-definite sets
O Rodrigues, MRF Benevides
Proceedings of the 11th Brazilian symposium on artificial intelligence (SBIA'94), 1994
111994
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
102010
A priority dynamics for generalized drinking philosophers
VC Barbosa, MRF Benevides, AL Oliveira Filho
Information processing letters 79 (4), 189-195, 2001
102001
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
92014
Modal logics for finite graphs
MRF Benevides
Logic for concurrency and synchronisation, 239-267, 2003
92003
A family of graded epistemic logics
MRF Benevides, A Madeira, MA Martins
Electronic Notes in Theoretical Computer Science 338, 45-59, 2018
82018
PDL for structured data: a graph-calculus approach
PAS Veloso, SRM Veloso, MRF Benevides
Logic Journal of the IGPL 22 (5), 737-757, 2014
82014
The system can't perform the operation now. Try again later.
Articles 1–20