The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mario R. F. Benevides: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mario R. F. Benevides
    Multiple Database Logic. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1995, pp:28-36 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. Odinaldo Rodrigues, Mario R. F. Benevides
    PROMAL - Programming in Modal Action Logic. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:457-458 [Conf]
  8. 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]
  9. Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso
    Mediating Heterogeneous Web Services. [Citation Graph (0, 0)][DBLP]
    SAINT, 2003, pp:344-347 [Conf]
  10. 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]
  11. Odinaldo Rodrigues, Mario R. F. Benevides
    PROMAL: Programming in Modal Action Logic. [Citation Graph (0, 0)][DBLP]
    SBIA, 1995, pp:101-111 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]

  18. Verification of Epistemic Properties in Probabilistic Multi-Agent Systems. [Citation Graph (, )][DBLP]


  19. Proving Epistemic and Temporal Properties from Knowledge Based Programs. [Citation Graph (, )][DBLP]


  20. A Propositional Dynamic Logic for CCS Programs. [Citation Graph (, )][DBLP]


  21. CCS-Based Dynamic Logics for Communicating Concurrent Programs [Citation Graph (, )][DBLP]


  22. A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. [Citation Graph (, )][DBLP]


  23. Modal Expressiveness of Graph Properties. [Citation Graph (, )][DBLP]


  24. Preface. [Citation Graph (, )][DBLP]


  25. Product of Graphs and Hybrid Logic. [Citation Graph (, )][DBLP]


  26. A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus. [Citation Graph (, )][DBLP]


Search in 0.029secs, Finished in 0.030secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002