The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mark Ryan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mark Ryan
    Defaults and Revision in Structured Theories [Citation Graph (1, 0)][DBLP]
    LICS, 1991, pp:362-373 [Conf]
  2. Alessio Lomuscio, Mark Ryan
    A Spectrum of Modes of Knowledge Sharing between Agents. [Citation Graph (0, 0)][DBLP]
    ATAL, 1999, pp:13-26 [Conf]
  3. Mark Ryan, Pierre-Yves Schobbens
    Agents and Roles: Refinement in Alternating-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:100-114 [Conf]
  4. Alessio Lomuscio, Mark Ryan
    On the Relation between Interpreted Systems and Kripke Models. [Citation Graph (0, 0)][DBLP]
    Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, 1997, pp:46-59 [Conf]
  5. Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
    Synthesising verified access control systems in XACML. [Citation Graph (0, 0)][DBLP]
    FMSE, 2004, pp:56-65 [Conf]
  6. Stéphanie Delaune, Steve Kremer, Mark Ryan
    Coercion-Resistance and Receipt-Freeness in Electronic Voting. [Citation Graph (0, 0)][DBLP]
    CSFW, 2006, pp:28-42 [Conf]
  7. Hannah Harris, Mark Ryan
    Feature Integration as an Operation of Theory Change. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:546-550 [Conf]
  8. Alessio Lomuscio, Mark Ryan
    Ideal Agents Sharing (some!) Knowledge. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:557-561 [Conf]
  9. Mark Ryan, Pierre-Yves Schobbens
    Intertranslating Counterfactuals and Updates. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:100-104 [Conf]
  10. Riccardo Poli, Mark Ryan, Aaron Sloman
    A New Continuous Propositional Logic. [Citation Graph (0, 0)][DBLP]
    EPIA, 1995, pp:17-28 [Conf]
  11. Steve Kremer, Mark Ryan
    Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:186-200 [Conf]
  12. Christel Baier, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan
    Symbolic Model Checking for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:430-440 [Conf]
  13. Mark Ryan
    Prioritising Preference Relations. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:265-275 [Conf]
  14. Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens
    Model-Checking Access Control Policies. [Citation Graph (0, 0)][DBLP]
    ISC, 2004, pp:219-230 [Conf]
  15. Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
    Evaluating Access Control Policies Through Model Checking. [Citation Graph (0, 0)][DBLP]
    ISC, 2005, pp:446-460 [Conf]
  16. Hannah Harris, Mark Ryan
    Theoretical Foundations of Updating Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:291-294 [Conf]
  17. Mark Ryan
    Representing Defaults as Sentences with Reduced Priority. [Citation Graph (0, 0)][DBLP]
    KR, 1992, pp:649-660 [Conf]
  18. Mark Ryan
    Belief Revision and Ordered Theory Presentations. [Citation Graph (0, 0)][DBLP]
    Logic, Action, and Information, 1996, pp:129-151 [Conf]
  19. Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
    A New Algorithm for Strategy Synthesis in LTL Games. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:477-492 [Conf]
  20. Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum
    Sharing Actions and Attributes in Modal Action Logic. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:569-593 [Conf]
  21. Mark Ryan, Pierre-Yves Schobbens, Odinaldo Rodrigues
    Counterfactuals and Updates as Inverse Modalities. [Citation Graph (0, 0)][DBLP]
    TARK, 1996, pp:163-173 [Conf]
  22. Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
    Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. [Citation Graph (0, 0)][DBLP]
    TIME, 2003, pp:137-146 [Conf]
  23. Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
    Approximating ATL* in ATL. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:289-301 [Conf]
  24. Alessio Lomuscio, Mark Ryan
    An algorithmic approach to knowledge evolution. [Citation Graph (0, 0)][DBLP]
    AI EDAM, 1999, v:13, n:2, pp:119-132 [Journal]
  25. Mark Ryan
    Towards Specifying Norms. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:9, n:1-2, pp:49-68 [Journal]
  26. Stephan Reiff-Marganiec, Mark Ryan
    Guest Editorial. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2007, v:51, n:2, pp:357-358 [Journal]
  27. Alessio Lomuscio, Ron van der Meyden, Mark Ryan
    Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  28. Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  29. Nikos Gorogiannis, Mark Ryan
    Requirements, specifications, and minimal refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal]
  30. Steve Kremer, Mark Ryan
    Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:5, pp:87-104 [Journal]
  31. Mark Ryan, Pierre-Yves Schobbens
    Counterfactuals and Updates as Inverse Modalities. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:2, pp:123-146 [Journal]
  32. Hajnal Andréka, Mark Ryan, Pierre-Yves Schobbens
    Operators and Laws for Combining Preference Relations. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:1, pp:13-53 [Journal]
  33. Mark Ryan, Pierre-Yves Schobbens
    Belief Revision and Verisimilitude. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1995, v:36, n:1, pp:15-29 [Journal]
  34. Nikos Gorogiannis, Mark Ryan
    Implementation of Belief Change Operators Using BDDs. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:70, n:1, pp:131-156 [Journal]
  35. Malte Plath, Mark Ryan
    Feature integration using a feature construct. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:41, n:1, pp:53-84 [Journal]
  36. Alessio Lomuscio, Ron van der Meyden, Mark Ryan
    Knowledge in multiagent systems: initial configurations and broadcast. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2000, v:1, n:2, pp:247-284 [Journal]
  37. Ben Smyth, Mark Ryan, Liqun Chen
    Direct Anonymous Attestation (DAA): Ensuring Privacy with Corrupt Administrators. [Citation Graph (0, 0)][DBLP]
    ESAS, 2007, pp:218-231 [Conf]
  38. Nikos Gorogiannis, Mark Ryan
    Minimal refinements of specifications in modal and temporal logics. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:2, pp:273- [Journal]
  39. Nikos Gorogiannis, Mark Ryan
    Minimal refinements of specifications in model and termporal logics. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:1, pp:35-62 [Journal]

  40. Composition of Password-Based Protocols. [Citation Graph (, )][DBLP]


  41. Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. [Citation Graph (, )][DBLP]


  42. Modelling Dynamic Access Control Policies for Web-Based Collaborative Systems. [Citation Graph (, )][DBLP]


  43. Election Verifiability in Electronic Voting Protocols. [Citation Graph (, )][DBLP]


  44. Verifying Security Property of Peer-to-Peer Systems Using CSP. [Citation Graph (, )][DBLP]


  45. Improved Multi-party Contract Signing. [Citation Graph (, )][DBLP]


  46. Symbolic Bisimulation for the Applied Pi Calculus. [Citation Graph (, )][DBLP]


  47. Attack, Solution and Verification for Shared Authorisation Data in TCG TPM. [Citation Graph (, )][DBLP]


  48. Synthesising Monitors from High-Level Policies for the Safe Execution of Untrusted Software. [Citation Graph (, )][DBLP]


  49. Analysis of a Biometric Authentication Protocol for Signature Creation Application. [Citation Graph (, )][DBLP]


  50. A Trusted Infrastructure for P2P-based Marketplaces. [Citation Graph (, )][DBLP]


  51. Monitoring the Execution of Third-Party Software on Mobile Devices. [Citation Graph (, )][DBLP]


  52. A Sybil-Resilient Reputation Metric for P2P Applications. [Citation Graph (, )][DBLP]


  53. Context-Aware Monitoring of Untrusted Mobile Applications. [Citation Graph (, )][DBLP]


  54. Trusted Integrity Measurement and Reporting for Virtualized Platforms. [Citation Graph (, )][DBLP]


  55. Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster. [Citation Graph (, )][DBLP]


Search in 0.089secs, Finished in 0.090secs
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