Irfan Zakiuddin

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2006
c7		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
j1		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)
c6		Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin: Exploiting Empirical Engagement in Authentication Protocol Design. SPC 2005: 119-133
	2003
c5		Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin: Watchdog Transformations for Property-Oriented Model-Checking. FME 2003: 600-616
c4		Sadie Creese, Michael Goldsmith, Bill Roscoe, Irfan Zakiuddin: Authentication for Pervasive Computing. SPC 2003: 116-129
c3		Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner: A Methodology for Model-Checking Ad-hoc Networks. SPIN 2003: 181-196
	1999
c2		Irfan Zakiuddin: Current Limits for Exploiting Automated Verification. PDPTA 1999: 312-318
	1998
c1		Michael Goldsmith, Irfan Zakiuddin: Critical Systems Validation and Verification with CSP and FDR. FM-Trends 1998: 243-250

Coauthor Index

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

Last update Mon May 20 08:24:26 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page