Mario Benevides
机构: Associate Professor of Computer Science, Fluminense Federal University
每年引用次数
引用次数
引用: 628
H-指数: 12
I10-指数 : 16
出版物: 116
Mediating heterogeneous Web services
P.F. Pires , M.R.F. Benevides , M. Mattoso
symposium on applications and the internet 344 -347
13
2003
Polynomial hierarchy graph properties in hybrid logic
F.M. Ferreira , C.M. Freire , M.R.F. Benevides , L. Menasché Schechter
Journal of Computer and System Sciences 80 ( 6) 1087 -1101
2014
A Constructive Presentation for the Modal Connective of Necessity (
MARIO R. F. BENEVIDES , THOMAS S. E. MAIBAUM
Journal of Logic and Computation 2 ( 1) 31 -50
11
1992
Belief Revision in Pseudo-Definite Sets
M. R. F. Benevides , O. Rodrigues
8
1994
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
M. R. F. Benevides , L. M. Schechter
Journal of Logic and Computation 24 ( 4) 919 -951
3
2014
Using modal logics to express and check global graph properties
M. R. F. Benevides , L. M. Schechter
Logic Journal of The Igpl \/ Bulletin of The Igpl 17 ( 5) 559 -587
7
2009
PDL for structured data: a graph-calculus approach
P. A. S. Veloso , S. R. M. Veloso , M. R. F. Benevides
Logic Journal of the IGPL 22 ( 5) 737 -757
5
2014
Sharing Resources at Nonuniform Access Rates
V. C. Barbosa , M. R. F. Benevides , F. M. G. França
Theory of Computing Systems \/ Mathematical Systems Theory 34 ( 1) 13 -26
24
2000
On vague notions and modalities: a modular approach
P. A. S. Veloso , S. R. M. Veloso , P. Viana , R. d. Freitas
Logic Journal of the IGPL 18 ( 3) 381 -402
4
2010
Propositional dynamic logic for Petri Nets
B. Lopes , M. Benevides , E. H. Haeusler
Logic Journal of the IGPL 22 ( 5) 721 -736
12
2014
Mechanisms for specifying communication behavior in object oriented database systems
Paulo F. Pires , Mário Roberto F. Benevides , Marta Mattoso
acm symposium on applied computing 389 -397
2000
Agnetis, A., P. Detti, C. Meloni and D. Pac
J Astola , I Shmulevich , NC Audsley , VC Barbosa
Information Processing Letters 79 303 -304
2001
Master Index—Volumes 71–80
K Aardal , FA Chudak , DB Shmoys , M Abellanas
Information Processing Letters 80 333 -342
2001
A Constructive Natural Deduction Presentation for the Modal Connective
Imperial College of Science , Technology , and Medicine (Great Britain). Department of Computing , MRF Benevides
6
1990
Building reliable web services compositions, web databases and web services 2002, LNCS 2593
PF Pires , MRF Benevides , M Mattoso
Springer, Berlin 59 -72
5
2003
Axiomatization and completeness for fork modal logic
MRF Benevides , PAS Veloso
XII Encontro Brasileiro de Lógica 25 87 -94
4
1999
WebTransact: A Framework for Building Reliable Web Services Compositions
Paulo F Pires , Marta Mattoso , Mário RF Benevides
LOGIC, SETS AND INFORMATION
MARIO RF BENEVIDES
Logic, Sets and Information: Proceedings of the Tenth Brazilian Conference on Mathematical Logic 14 25 -25
1995
On Modalities for Vague Notions
Mario Benevides , Carla Delgado , Renata P. de Freitas , Paulo A. S. Veloso
Advances in Artificial Intelligence – SBIA 2004 1 -10
3
2004
Proving Epistemic and Temporal Properties from Knowledge Based Programs
Mario Benevides , Carla Delgado , Michel Carlini
brazilian symposium on artificial intelligence 134 -144
2008