The SCEAS System
Navigation Menu

Search the dblp DataBase


M. Carmen Fernández Gago: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. M. Carmen Fernández Gago, Michael Fisher, Clare Dixon
    Algorithms for Guiding Clausal Temporal Resolution. [Citation Graph (0, 0)][DBLP]
    KI, 2002, pp:235-252 [Conf]
  2. Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek
    Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. [Citation Graph (0, 0)][DBLP]
    TIME, 2004, pp:148-151 [Conf]
  3. M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev
    First-Order Temporal Verification in Practice. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:34, n:3, pp:295-321 [Journal]
  4. Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek
    Temporal Logics of Knowledge and their Applications in Security. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:186, n:, pp:27-42 [Journal]

  5. Delegating Privileges over Finite Resources: A Quota Based Delegation Approach. [Citation Graph (, )][DBLP]

  6. A Model for Trust Metrics Analysis. [Citation Graph (, )][DBLP]

  7. Adaptive Dispatching of Incidences Based on Reputation for SCADA Systems. [Citation Graph (, )][DBLP]

  8. Featuring trust and reputation management systems for constrained hardware devices. [Citation Graph (, )][DBLP]

  9. Trust management systems for wireless sensor networks: Best practices. [Citation Graph (, )][DBLP]

  10. Concurrent access control for multi-user and multi-processor systems based on trust relationships. [Citation Graph (, )][DBLP]

  11. An Evolutionary Trust and Distrust Model. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002