Mark Ryan

Mark Dermot Ryan

	2009
73		Andrew Brown, Mark Ryan: Context-Aware Monitoring of Untrusted Mobile Applications. MobiSec 2009: 83-96
72		Tien Tuan Anh Dinh, Tom Chothia, Mark Ryan: A Trusted Infrastructure for P2P-based Marketplaces. Peer-to-Peer Computing 2009: 151-154
71		Stéphanie Delaune, Steve Kremer, Mark Ryan: Verifying privacy-type properties of electronic voting protocols. Journal of Computer Security 17(4): 435-487 (2009)
	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		Stéphanie Delaune, Steve Kremer, Mark Ryan: Composition of Password-Based Protocols. CSF 2008: 239-251
67		Anongporn Salaiwarakul, Mark Dermot Ryan: Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol. ISPEC 2008: 1-13
66		Andrew Brown, Mark Ryan: Synthesising Monitors from High-Level Policies for the Safe Execution of Untrusted Software. ISPEC 2008: 233-247
65		Anongporn Salaiwarakul, Mark Ryan: Analysis of a Biometric Authentication Protocol for Signature Creation Application. IWSEC 2008: 231-245
64		Andrew Brown, Mark Ryan: Monitoring the Execution of Third-Party Software on Mobile Devices. RAID 2008: 410-411
63		Tien Tuan Anh Dinh, Mark Ryan: A Sybil-Resilient Reputation Metric for P2P Applications. SAINT 2008: 193-196
62		Aybek Mukhamedov, Mark Dermot Ryan: Fair multi-party contract signing using private contract signatures. Inf. Comput. 206(2-4): 272-290 (2008)
61		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		Ben Smyth, Mark Ryan, Liqun Chen: Direct Anonymous Attestation (DAA): Ensuring Privacy with Corrupt Administrators. ESAS 2007: 218-231
59		Stéphanie Delaune, Steve Kremer, Mark Ryan: Symbolic Bisimulation for the Applied Pi Calculus. FSTTCS 2007: 133-145
58		Aybek Mukhamedov, Mark Ryan: Improved Multi-party Contract Signing. Financial Cryptography 2007: 179-191
57		Liqun Chen, Steve Kremer, Mark Dermot Ryan: 07421 Abstracts Collection -- Formal Protocol Verification Applied. Formal Protocol Verification Applied 2007
56		Liqun Chen, Steve Kremer, Mark Dermot Ryan: 07421 Executive Summary -- Formal Protocol Verification Applied. Formal Protocol Verification Applied 2007
55		Aybek Mukhamedov, Mark Dermot Ryan: Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus. TGC 2007: 330-346
54		Stephan Reiff-Marganiec, Mark Ryan: Guest Editorial. Computer Networks 51(2): 357-358 (2007)
53		Nikos Gorogiannis, Mark Ryan: Minimal refinements of specifications in model and termporal logics. Formal Asp. Comput. 19(1): 35-62 (2007)
52		Nikos Gorogiannis, Mark Ryan: Minimal refinements of specifications in modal and temporal logics. Formal Asp. Comput. 19(2): 273 (2007)
51		Nikos Gorogiannis, Mark Ryan: Minimal refinements of specifications in modal and temporal logics. Formal Asp. Comput. 19(4): 417-444 (2007)
50		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		Aybek Mukhamedov, Mark Dermot Ryan: Resolve-Impossibility for a Contract-Signing Protocol. CSFW 2006: 167-176
48		Stéphanie Delaune, Steve Kremer, Mark Ryan: Coercion-Resistance and Receipt-Freeness in Electronic Voting. CSFW 2006: 28-42
47		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		Steve Kremer, Mark Ryan: Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. ESOP 2005: 186-200
44		Aybek Mukhamedov, Mark Dermot Ryan: On Anonymity with Identity Escrow. Formal Aspects in Security and Trust 2005: 235-243
43		Nan Zhang, Mark Ryan, Dimitar P. Guelev: Evaluating Access Control Policies Through Model Checking. ISC 2005: 446-460
42		Aidan Harding, Mark Ryan, Pierre-Yves Schobbens: A New Algorithm for Strategy Synthesis in LTL Games. TACAS 2005: 477-492
41		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		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		Nan Zhang, Mark Ryan, Dimitar P. Guelev: Synthesising verified access control systems in XACML. FMSE 2004: 56-65
37		Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens: Model-Checking Access Control Policies. ISC 2004: 219-230
	2003
36		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		John-Jules Ch. Meyer, Mark Dermot Ryan, Hans-Dieter Ehrich: Objects, Agents, and Features: An Introduction. Objects, Agents, and Features 2003: 1-7
33		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		Aidan Harding, Mark Ryan, Pierre-Yves Schobbens: Approximating ATL* in ATL. VMCAI 2002: 289-301
30		Nikos Gorogiannis, Mark Ryan: Requirements, specifications, and minimal refinement. Electr. Notes Theor. Comput. Sci. 67: (2002)
29		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		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		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		Alessio Lomuscio, Mark Ryan: An algorithmic approach to knowledge evolution. AI EDAM 13(2): 119-132 (1999)
20		Alessio Lomuscio, Ron van der Meyden, Mark Ryan: Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast CoRR cs.LO/9909019: (1999)
19		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		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		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		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

Coauthor Index

1	Hajnal Andréka	[29]
2	Christel Baier	[15] [19]
3	Andrew Brown	[64] [66] [73]
4	Geoffrey L. Burn	[7]
5	Franck Cassez	[27]
6	Liqun Chen	[56] [57] [60] [69] [70]
7	Tom Chothia	[72]
8	Edmund M. Clarke	[15]
9	Stéphanie Delaune	[48] [59] [68] [71]
10	Tien Tuan Anh Dinh	[63] [72]
11	Hans-Dieter Ehrich	[34] [39]
12	José Luiz Fiadeiro	[1]
13	Simon J. Gay	[7]
14	Nikos Gorogiannis	[28] [30] [51] [52] [53]
15	Dimitar P. Guelev	[35] [37] [38] [40] [43] [47] [50] [61]
16	Aidan Harding	[31] [33] [42]
17	Hannah Harris	[32] [36]
18	Vassili Hartonas-Garmhausen	[15]
19	Rich Helms	[8]
20	Michael Huth	[19]
21	Claude Jard	[27]
22	Steve Kremer	[41] [45] [48] [56] [57] [59] [68] [70] [71]
23	Marta Z. Kwiatkowska	[15] [19]
24	Alessio Lomuscio	[16] [18] [20] [21] [22] [23]
25	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[1]
26	Ron van der Meyden	[20] [23]
27	John-Jules Ch. Meyer	[34] [39]
28	Aybek Mukhamedov	[44] [49] [55] [58] [62]
29	Malte Plath	[17] [24] [25]
30	Riccardo Poli	[10]
31	Stephan Reiff-Marganiec	[46] [54]
32	Odinaldo Rodrigues	[11]
33	Brigitte Rozoy	[27]
34	Anongporn Salaiwarakul	[65] [67]
35	Pierre-Yves Schobbens	[9] [11] [13] [14] [26] [29] [31] [33] [35] [37] [40] [42] [47] [50]
36	Aaron Sloman	[10]
37	Ben Smyth	[60]
38	Guilin Wang	[69]
39	Nan Zhang	[38] [43] [61]

Colors in the list of coauthors