Nathaniel Charlton

	2009
5		Adam Antonik, Nathaniel Charlton, Michael Huth: Polynomial-Time Under-Approximation of Winning Regions in Parity Games. Electr. Notes Theor. Comput. Sci. 225: 115-139 (2009)
	2008
4		Nathaniel Charlton, Michael Huth: Falsifying Safety Properties Through Games on Over-approximating Models. Electr. Notes Theor. Comput. Sci. 223: 71-86 (2008)
	2007
3		Nathaniel Charlton, Michael Huth: Hector: Software Model Checking with Cooperating Analysis Plugins. CAV 2007: 168-172
2		Nathaniel Charlton: Program verification with interacting analysis plugins. Formal Asp. Comput. 19(3): 375-399 (2007)
	2006
1		Nathaniel Charlton: Verification of Java Programs with Interacting Analysis Plugins. Electr. Notes Theor. Comput. Sci. 145: 131-150 (2006)

Coauthor Index

1	Adam Antonik	[5]
2	Michael Huth	[3] [4] [5]