| |
Mark Dermot Ryan
List of publications from the DBLP Bibliography Server - FAQ
| 2008 | ||
|---|---|---|
| 70 | Liqun Chen, Steve Kremer, Mark Dermot Ryan: Formal Protocol Verification Applied, 14.10. - 19.10.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 | |
| 69 | Liqun Chen, Mark Dermot Ryan, Guilin Wang: Information and Communications Security, 10th International Conference, ICICS 2008, Birmingham, UK, October 20-22, 2008, Proceedings Springer 2008 | |
| 68 | EE | Stéphanie Delaune, Steve Kremer, Mark Ryan: Composition of Password-Based Protocols. CSF 2008: 239-251 |
| 67 | EE | Anongporn Salaiwarakul, Mark Dermot Ryan: Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol. ISPEC 2008: 1-13 |
| 66 | EE | Andrew Brown, Mark Ryan: Synthesising Monitors from High-Level Policies for the Safe Execution of Untrusted Software. ISPEC 2008: 233-247 |
| 65 | EE | Anongporn Salaiwarakul, Mark Ryan: Analysis of a Biometric Authentication Protocol for Signature Creation Application. IWSEC 2008: 231-245 |
| 64 | EE | Andrew Brown, Mark Ryan: Monitoring the Execution of Third-Party Software on Mobile Devices. RAID 2008: 410-411 |
| 63 | EE | Tien Tuan Anh Dinh, Mark Ryan: A Sybil-Resilient Reputation Metric for P2P Applications. SAINT 2008: 193-196 |
| 62 | EE | Aybek Mukhamedov, Mark Dermot Ryan: Fair multi-party contract signing using private contract signatures. Inf. Comput. 206(2-4): 272-290 (2008) |
| 61 | EE | Nan Zhang, Mark Ryan, Dimitar P. Guelev: Synthesising verified access control systems through model checking. Journal of Computer Security 16(1): 1-61 (2008) |
| 2007 | ||
| 60 | EE | Ben Smyth, Mark Ryan, Liqun Chen: Direct Anonymous Attestation (DAA): Ensuring Privacy with Corrupt Administrators. ESAS 2007: 218-231 |
| 59 | EE | Stéphanie Delaune, Steve Kremer, Mark Ryan: Symbolic Bisimulation for the Applied Pi Calculus. FSTTCS 2007: 133-145 |
| 58 | EE | Aybek Mukhamedov, Mark Ryan: Improved Multi-party Contract Signing. Financial Cryptography 2007: 179-191 |
| 57 | EE | Liqun Chen, Steve Kremer, Mark Dermot Ryan: 07421 Abstracts Collection -- Formal Protocol Verification Applied. Formal Protocol Verification Applied 2007 |
| 56 | EE | Liqun Chen, Steve Kremer, Mark Dermot Ryan: 07421 Executive Summary -- Formal Protocol Verification Applied. Formal Protocol Verification Applied 2007 |
| 55 | EE | Aybek Mukhamedov, Mark Dermot Ryan: Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus. TGC 2007: 330-346 |
| 54 | EE | Stephan Reiff-Marganiec, Mark Ryan: Guest Editorial. Computer Networks 51(2): 357-358 (2007) |
| 53 | EE | Nikos Gorogiannis, Mark Ryan: Minimal refinements of specifications in model and termporal logics. Formal Asp. Comput. 19(1): 35-62 (2007) |
| 52 | EE | Nikos Gorogiannis, Mark Ryan: Minimal refinements of specifications in modal and temporal logics. Formal Asp. Comput. 19(2): 273 (2007) |
| 51 | EE | Nikos Gorogiannis, Mark Ryan: Minimal refinements of specifications in modal and temporal logics. Formal Asp. Comput. 19(4): 417-444 (2007) |
| 50 | EE | Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens: Model-checking the preservation of temporal properties upon feature integration. STTT 9(1): 53-62 (2007) |
| 2006 | ||
| 49 | EE | Aybek Mukhamedov, Mark Dermot Ryan: Resolve-Impossibility for a Contract-Signing Protocol. CSFW 2006: 167-176 |
| 48 | EE | Stéphanie Delaune, Steve Kremer, Mark Ryan: Coercion-Resistance and Receipt-Freeness in Electronic Voting. CSFW 2006: 28-42 |
| 47 | EE | Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens: Synthesising Features by Games. Electr. Notes Theor. Comput. Sci. 145: 79-93 (2006) |
| 2005 | ||
| 46 | Stephan Reiff-Marganiec, Mark Ryan: Feature Interactions in Telecommunications and Software Systems VIII, ICFI'05, 28-30 June 2005, Leicester, UK IOS Press 2005 | |
| 45 | EE | Steve Kremer, Mark Ryan: Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. ESOP 2005: 186-200 |
| 44 | EE | Aybek Mukhamedov, Mark Dermot Ryan: On Anonymity with Identity Escrow. Formal Aspects in Security and Trust 2005: 235-243 |
| 43 | EE | Nan Zhang, Mark Ryan, Dimitar P. Guelev: Evaluating Access Control Policies Through Model Checking. ISC 2005: 446-460 |
| 42 | EE | Aidan Harding, Mark Ryan, Pierre-Yves Schobbens: A New Algorithm for Strategy Synthesis in LTL Games. TACAS 2005: 477-492 |
| 41 | EE | Steve Kremer, Mark Ryan: Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks. Electr. Notes Theor. Comput. Sci. 128(5): 87-104 (2005) |
| 40 | EE | Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens: Model-checking the Preservation of Temporal Properties upon Feature Integration. Electr. Notes Theor. Comput. Sci. 128(6): 311-324 (2005) |
| 2004 | ||
| 39 | Mark Dermot Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich: Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers Springer 2004 | |
| 38 | EE | Nan Zhang, Mark Ryan, Dimitar P. Guelev: Synthesising verified access control systems in XACML. FMSE 2004: 56-65 |
| 37 | EE | Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens: Model-Checking Access Control Policies. ISC 2004: 219-230 |
| 2003 | ||
| 36 | EE | Hannah Harris, Mark Ryan: Theoretical Foundations of Updating Systems. ASE 2003: 291-294 |
| 35 | Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens: Feature Integration as Substitution. FIW 2003: 275-294 | |
| 34 | EE | John-Jules Ch. Meyer, Mark Dermot Ryan, Hans-Dieter Ehrich: Objects, Agents, and Features: An Introduction. Objects, Agents, and Features 2003: 1-7 |
| 33 | EE | Aidan Harding, Mark Ryan, Pierre-Yves Schobbens: Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. TIME 2003: 137-146 |
| 2002 | ||
| 32 | Hannah Harris, Mark Ryan: Feature Integration as an Operation of Theory Change. ECAI 2002: 546-550 | |
| 31 | EE | Aidan Harding, Mark Ryan, Pierre-Yves Schobbens: Approximating ATL* in ATL. VMCAI 2002: 289-301 |
| 30 | EE | Nikos Gorogiannis, Mark Ryan: Requirements, specifications, and minimal refinement. Electr. Notes Theor. Comput. Sci. 67: (2002) |
| 29 | EE | Hajnal Andréka, Mark Ryan, Pierre-Yves Schobbens: Operators and Laws for Combining Preference Relations. J. Log. Comput. 12(1): 13-53 (2002) |
| 28 | Nikos Gorogiannis, Mark Ryan: Implementation of Belief Change Operators Using BDDs. Studia Logica 70(1): 131-156 (2002) | |
| 2001 | ||
| 27 | Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan: Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 Springer 2001 | |
| 26 | EE | Mark Ryan, Pierre-Yves Schobbens: Agents and Roles: Refinement in Alternating-Time Temporal Logic. ATAL 2001: 100-114 |
| 25 | Malte Plath, Mark Ryan: Feature integration using a feature construct. Sci. Comput. Program. 41(1): 53-84 (2001) | |
| 2000 | ||
| 24 | Malte Plath, Mark Dermot Ryan: The feature construct for SMV: Semantics. FIW 2000: 129-144 | |
| 23 | EE | Alessio Lomuscio, Ron van der Meyden, Mark Ryan: Knowledge in multiagent systems: initial configurations and broadcast. ACM Trans. Comput. Log. 1(2): 247-284 (2000) |
| 1999 | ||
| 22 | Alessio Lomuscio, Mark Ryan: A Spectrum of Modes of Knowledge Sharing between Agents. ATAL 1999: 13-26 | |
| 21 | EE | Alessio Lomuscio, Mark Ryan: An algorithmic approach to knowledge evolution. AI EDAM 13(2): 119-132 (1999) |
| 20 | EE | Alessio Lomuscio, Ron van der Meyden, Mark Ryan: Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast CoRR cs.LO/9909019: (1999) |
| 19 | EE | Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan: Preface. Electr. Notes Theor. Comput. Sci. 22: (1999) |
| 1998 | ||
| 18 | Alessio Lomuscio, Mark Ryan: Ideal Agents Sharing (some!) Knowledge. ECAI 1998: 557-561 | |
| 17 | Malte Plath, Mark Dermot Ryan: Plug-and-play Features. FIW 1998: 150-164 | |
| 1997 | ||
| 16 | EE | Alessio Lomuscio, Mark Ryan: On the Relation between Interpreted Systems and Kripke Models. Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1997: 46-59 |
| 15 | Christel Baier, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan: Symbolic Model Checking for Probabilistic Processes. ICALP 1997: 430-440 | |
| 14 | Mark Ryan, Pierre-Yves Schobbens: Counterfactuals and Updates as Inverse Modalities. Journal of Logic, Language and Information 6(2): 123-146 (1997) | |
| 1996 | ||
| 13 | Mark Ryan, Pierre-Yves Schobbens: Intertranslating Counterfactuals and Updates. ECAI 1996: 100-104 | |
| 12 | Mark Ryan: Belief Revision and Ordered Theory Presentations. Logic, Action, and Information 1996: 129-151 | |
| 11 | Mark Ryan, Pierre-Yves Schobbens, Odinaldo Rodrigues: Counterfactuals and Updates as Inverse Modalities. TARK 1996: 163-173 | |
| 1995 | ||
| 10 | Riccardo Poli, Mark Ryan, Aaron Sloman: A New Continuous Propositional Logic. EPIA 1995: 17-28 | |
| 9 | Mark Ryan, Pierre-Yves Schobbens: Belief Revision and Verisimilitude. Notre Dame Journal of Formal Logic 36(1): 15-29 (1995) | |
| 1994 | ||
| 8 | EE | Mark Ryan, Rich Helms: A development process for large multimedia titles. SIGDOC 1994: 126-138 |
| 1993 | ||
| 7 | Geoffrey L. Burn, Simon J. Gay, Mark Ryan: Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 Springer 1993 | |
| 6 | EE | Mark Ryan: Writing about C++. CASCON 1993: 1059-1070 |
| 5 | Mark Ryan: Prioritising Preference Relations. Theory and Formal Methods 1993: 265-275 | |
| 4 | Mark Ryan: Towards Specifying Norms. Ann. Math. Artif. Intell. 9(1-2): 49-68 (1993) | |
| 1992 | ||
| 3 | Mark Ryan: Representing Defaults as Sentences with Reduced Priority. KR 1992: 649-660 | |
| 1991 | ||
| 2 | Mark Ryan: Defaults and Revision in Structured Theories LICS 1991: 362-373 | |
| 1 | Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum: Sharing Actions and Attributes in Modal Action Logic. TACS 1991: 569-593 | |