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
1542002
Sharing resources at nonuniform access rates
VC Barbosa, MRF Benevides, FMG França
Theory of Computing Systems 34 (1), 13-26, 2000
422000
WEBTRANSACT: A Framework for Specifying and coordinating reliable web services compositions
PF Pires, M Benevides, M Mattoso
362002
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
192009
A propositional dynamic logic for CCS programs
MRF Benevides, LM Schechter
International Workshop on Logic, Language, Information, and Computation, 83-97, 2008
192008
A graph-theoretic characterization of AND-OR deadlocks
VC Barbosa, MRF Benevides
UFRJ Technical Report COPPE-ES-472/98, Rio de Janeiro, Brazil, 1998
191998
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
182011
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
142009
Propositional dynamic logic for petri nets
B Lopes, M Benevides, EH Haeusler
Logic Journal of the IGPL 22 (5), 721-736, 2014
132014
Extending propositional dynamic logic for Petri Nets
B Lopes, M Benevides, EH Haeusler
Electronic Notes in Theoretical Computer Science 305, 67-83, 2014
122014
Belief revision in pseudo-definite sets
O Rodrigues, MRF Benevides
Proceedings of the 11th Brazilian symposium on artificial intelligence (SBIA'94), 1994
111994
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
92015
A priority dynamics for generalized drinking philosophers
VC Barbosa, MRF Benevides, AL Oliveira Filho
Information processing letters 79 (4), 189-195, 2001
92001
Modal logics for finite graphs
MRF Benevides
Logic for concurrency and synchronisation, 239-267, 2003
82003
On vague notions and modalities: a modular approach
PAS Veloso, SRM Veloso, P Viana, R Freitas, M Benevides, C Delgado
Logic Journal of IGPL 18 (3), 381-402, 2010
72010
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
72010
Especificação formal e verificação de workflows científicos
E Silva, E Ogasawara, D Oliveira, M Benevides, M Mattoso
IV e-Science, 2010
62010
A Constructive Natural Deduction Presentation for the Modal Connective
Imperial College of Science, Technology, and Medicine (Great Britain ...
61990
The system can't perform the operation now. Try again later.
Articles 1–20