Suivre
Mario Benevides
Mario Benevides
Associate Professor of Computer Science, Fluminense Federal University
Adresse e-mail validée de cos.ufrj.br
Titre
Citée par
Citée par
Année
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 family of graded epistemic logics
MRF Benevides, A Madeira, MA Martins
Electronic Notes in Theoretical Computer Science 338, 45-59, 2018
82018
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
82010
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20