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
1532002
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
372002
A constructive presentation for the modal connective of necessity (□)
MRF Benevides, TSE Maibaum
Journal of Logic and Computation 2 (1), 31-50, 1992
241992
Verification of epistemic properties in probabilistic multi-agent systems
C Delgado, M Benevides
German Conference on Multiagent System Technologies, 16-28, 2009
232009
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
212011
A graph-theoretic characterization of AND-OR deadlocks
VC Barbosa, MRF Benevides
UFRJ Technical Report COPPE-ES-472/98, Rio de Janeiro, Brazil, 1998
201998
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
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
142014
Using modal logics to express and check global graph properties
MRF Benevides, LM Schechter
Logic Journal of the IGPL 17 (5), 559-587, 2009
142009
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 priority dynamics for generalized drinking philosophers
VC Barbosa, MRF Benevides, AL Oliveira Filho
Information processing letters 79 (4), 189-195, 2001
102001
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
92010
A family of graded epistemic logics
MRF Benevides, A Madeira, MA Martins
Electronic Notes in Theoretical Computer Science 338, 45-59, 2018
82018
Modal logics for finite graphs
MRF Benevides
Logic for concurrency and synchronisation, 239-267, 2003
82003
Building Reliable Web Services Compositions, Net
PF Pires, M Benevides, M Mattoso
Object Days-WS-RSD 2, 551-562, 2002
82002
PDL for structured data: a graph-calculus approach
PAS Veloso, SRM Veloso, MRF Benevides
Logic Journal of the IGPL 22 (5), 737-757, 2014
72014
The system can't perform the operation now. Try again later.
Articles 1–20