Nathaniel Charlton Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathaniel Charlton, Michael Huth: Falsifying Safety Properties Through Games on Over-approximating Models. Electr. Notes Theor. Comput. Sci. 223: 71-86 (2008)
2007
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathaniel Charlton, Michael Huth: Hector: Software Model Checking with Cooperating Analysis Plugins. CAV 2007: 168-172
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathaniel Charlton: Program verification with interacting analysis plugins. Formal Asp. Comput. 19(3): 375-399 (2007)
2006
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathaniel Charlton: Verification of Java Programs with Interacting Analysis Plugins. Electr. Notes Theor. Comput. Sci. 145: 131-150 (2006)

Coauthor Index

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

Copyright © Mon Nov 16 17:22:42 2009 by Michael Ley (ley@uni-trier.de)