Glenn Strong 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 XMLAnthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong: Preface. Electr. Notes Theor. Comput. Sci. 225: 1-2 (2009)
2006
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong: Preface. Electr. Notes Theor. Comput. Sci. 161: 1-2 (2006)
2002
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMalcolm Dowse, Glenn Strong, Andrew Butterfield: Proving Make Correct: I/O Proofs in Haskell and Clean. IFL 2002: 68-83
2001
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield, Glenn Strong, Claus Pahl: 5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001 BCS 2001
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield, Glenn Strong: Proving Correctness of Programs with IO - A Paradigm Comparison. IFL 2001: 72-87

Coauthor Index

1Mícheál Mac an Airchinnigh [4] [5]
2Menouer Boubekeur [5]
3Andrew Butterfield [1] [2] [3]
4Malcolm Dowse [3]
5Ted Hurley [4] [5]
6Claus Pahl [2]
7Michel P. Schellekens [4] [5]
8Anthony Karel Seda [4] [5]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)