Irfan Zakiuddin

	2006
8		Calton Pu, Jim Johnson, Rogério de Lemos, Andreas Reuter, David Taylor, Irfan Zakiuddin: 06121 Report: Break Out Session on Guaranteed Execution. Atomicity: A Unifying Concept in Computer Science 2006
	2005
7		Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin: Exploiting Empirical Engagement in Authentication Protocol Design. SPC 2005: 119-133
6		Irfan Zakiuddin, Tim Hawkins, Nick Moffat: Towards A Game Theoretic Understanding of Ad-Hoc Routing. Electr. Notes Theor. Comput. Sci. 119(1): 67-92 (2005)
	2003
5		Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin: Watchdog Transformations for Property-Oriented Model-Checking. FME 2003: 600-616
4		Sadie Creese, Michael Goldsmith, Bill Roscoe, Irfan Zakiuddin: Authentication for Pervasive Computing. SPC 2003: 116-129
3		Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner: A Methodology for Model-Checking Ad-hoc Networks. SPIN 2003: 181-196
	1999
2		Irfan Zakiuddin: Current Limits for Exploiting Automated Verification. PDPTA 1999: 312-318
	1998
1		Michael Goldsmith, Irfan Zakiuddin: Critical Systems Validation and Verification with CSP and FDR. FM-Trends 1998: 243-250

Coauthor Index

1	Sadie Creese	[4] [7]
2	Paul H. B. Gardiner	[3]
3	Michael Goldsmith	[1] [3] [4] [5] [7]
4	Richard Harrison	[7]
5	Tim Hawkins	[6]
6	Jim Johnson	[8]
7	Rogério de Lemos	[8]
8	Nick Moffat	[5] [6]
9	Calton Pu	[8]
10	Andreas Reuter	[8]
11	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[4] [5] [7]
12	David Taylor	[8]
13	Paul Whittaker	[3] [7]
14	Timothy Whitworth (Tim Whitworth)	[5]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page