Search the dblp DataBase
Mario R. F. Benevides :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Mario R. F. Benevides Multiple Database Logic. [Citation Graph (0, 0)][DBLP ] ECSQARU, 1995, pp:28-36 [Conf ] Vania Costa , Mario R. F. Benevides A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] IC-AI, 2002, pp:1271-1277 [Conf ] Carla A. D. M. Delgado , Mario R. F. Benevides Reasoning about Events and Knowledge in Distributed Systems. [Citation Graph (0, 0)][DBLP ] IC-AI, 2002, pp:1213-1219 [Conf ] Paulo F. Pires , Mario R. F. Benevides , Marta Mattoso Building Reliable Web Services Compositions. [Citation Graph (0, 0)][DBLP ] Web, Web-Services, and Database Systems, 2002, pp:59-72 [Conf ] Mario R. F. Benevides Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction. [Citation Graph (0, 0)][DBLP ] Kurt Gödel Colloquium, 1993, pp:120-131 [Conf ] Mario R. F. Benevides , Marcelo Sihman Automatic Generation of CCS Specifications for Resource Sharing Problems. [Citation Graph (0, 0)][DBLP ] OPODIS, 1997, pp:111-122 [Conf ] Odinaldo Rodrigues , Mario R. F. Benevides PROMAL - Programming in Modal Action Logic. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:457-458 [Conf ] Paulo F. Pires , Mario R. F. Benevides , Marta Mattoso Mechanisms for Specifying Communication Behavior in Object Oriented Database. [Citation Graph (0, 0)][DBLP ] SAC (1), 2000, pp:389-397 [Conf ] Paulo F. Pires , Mario R. F. Benevides , Marta Mattoso Mediating Heterogeneous Web Services. [Citation Graph (0, 0)][DBLP ] SAINT, 2003, pp:344-347 [Conf ] Mario R. F. Benevides , Carla A. D. M. Delgado , Renata P. de Freitas , Paulo A. S. Veloso , Sheila R. M. Veloso On Modalities for Vague Notions. [Citation Graph (0, 0)][DBLP ] SBIA, 2004, pp:1-10 [Conf ] Odinaldo Rodrigues , Mario R. F. Benevides PROMAL: Programming in Modal Action Logic. [Citation Graph (0, 0)][DBLP ] SBIA, 1995, pp:101-111 [Conf ] Vania Costa , Mario R. F. Benevides Reasoning about Knowledge in Asynchronous Distributed Systems. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2005, v:13, n:1, pp:5-28 [Journal ] Vania Costa , Mario R. F. Benevides Formalizing Concurrent Common Knowledge as Product of Modal Logics. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2005, v:13, n:6, pp:665-684 [Journal ] Valmir C. Barbosa , Mario R. F. Benevides , Ayru L. Oliveira Filho A priority dynamics for generalized drinking philosophers. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2001, v:79, n:4, pp:189-195 [Journal ] Mario R. F. Benevides , T. S. E. Maibaum A Constructive Presentation for the Modal Connective of Necessity (\Box). [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1992, v:2, n:1, pp:31-50 [Journal ] Valmir C. Barbosa , Mario R. F. Benevides , Felipe M. G. França Sharing Resources at Nonuniform Access Rates. [Citation Graph (0, 0)][DBLP ] Theory Comput. Syst., 2001, v:34, n:1, pp:13-26 [Journal ] D. R. Vasconcelos , Edward Hermann Haeusler , Mario R. F. Benevides Defining Agents Via Strategies: Towards a View of MAS as Games. [Citation Graph (0, 0)][DBLP ] WRAC, 2005, pp:299-311 [Conf ] Verification of Epistemic Properties in Probabilistic Multi-Agent Systems. [Citation Graph (, )][DBLP ] Proving Epistemic and Temporal Properties from Knowledge Based Programs. [Citation Graph (, )][DBLP ] A Propositional Dynamic Logic for CCS Programs. [Citation Graph (, )][DBLP ] CCS-Based Dynamic Logics for Communicating Concurrent Programs [Citation Graph (, )][DBLP ] A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. [Citation Graph (, )][DBLP ] Modal Expressiveness of Graph Properties. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Product of Graphs and Hybrid Logic. [Citation Graph (, )][DBLP ] A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs