Andrew Butterfield 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPawel Gancarski, Andrew Butterfield: The Denotational Semantics of slotted-Circus. FM 2009: 451-466
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield, Art Ó Catháin: Concurrent Models of Flash Memory Device Behaviour. SBMF 2009: 70-83
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Bresciani, Andrew Butterfield: Weakening the Dolev-Yao model through probability. SIN 2009: 293-297
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield, Pawel Gancarski, Jim Woodcock: State Visibility and Communication in Unifying Theories of Programming. TASE 2009: 47-54
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield, Leo Freitas, Jim Woodcock: Mechanising a formal model of flash memory. Sci. Comput. Program. 74(4): 219-237 (2009)
2008
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeo Freitas, Jim Woodcock, Andrew Butterfield: POSIX and the Verification Grand Challenge: A Roadmap. ICECCS 2008: 153-162
2007
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltán Horváth, Viktória Zsók, Andrew Butterfield: Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers Springer 2007
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield: A Denotational Semantics for Handel-C. Formal Methods and Hybrid Real-Time Systems 2007: 45-66
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield, Jim Woodcock: Formalising Flash Memory: First Steps. ICECCS 2007: 251-260
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield, Adnan Sherif, Jim Woodcock: Slotted-Circus. IFM 2007: 75-97
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield, Juan Bicarregui, Alvaro Arenas: Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria. Formal Methods in System Design 30(3): 177-178 (2007)
2006
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield, Clemens Grelck, Frank Huch: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers Springer 2006
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMalcolm Dowse, Andrew Butterfield: Modelling deterministic concurrent I/O. ICFP 2006: 148-159
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMalcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes: A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. ICTAC 2006: 123-137
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield, Jim Woodcock: A "Hardware Compiler" Semantics for Handel-C. Electr. Notes Theor. Comput. Sci. 161: 73-90 (2006)
2005
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Bicarregui, Andrew Butterfield, Alvaro Arenas: Preface. Electr. Notes Theor. Comput. Sci. 133: 1-2 (2005)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield, Jim Woodcock: prialt in Handel-C: an operational semantics. STTT 7(3): 248-267 (2005)
2004
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMalcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen: Reasoning About Deterministic Concurrent Functional I/O. IFL 2004: 177-194
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield, Vivek Vedagiri, Edward Lang, Cath Lawrence, Matthew J. Wakefield, Alexander Isaev, Gavin A. Huttley: PyEvolve: a toolkit for statistical modelling of molecular evolution. BMC Bioinformatics 5: 1 (2004)
2003
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield, Jim Woodcock: An Operational Semantics for Handel-C. Electr. Notes Theor. Comput. Sci. 80: (2003)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield: Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin. Electr. Notes Theor. Comput. Sci. 80: (2003)
2002
8Electronic 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield, Jim Woodcock: Semantic domains for Handel-C. Electr. Notes Theor. Comput. Sci. 74: (2002)
2001
6no 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
5Electronic 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
2000
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMalcolm Tyrrell, Andrew Butterfield, Alexis Donnelly: OO-Motivated Process Algebra: A Calculus for CORBA-like Systems. Rigorous Object-Oriented Methods 2000
1999
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield, Klemens Haegele: 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999 BCS 1999
1998
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharon Flynn, Andrew Butterfield: 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998 BCS 1998
1993
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Butterfield: A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics. FME 1993: 216-234

Coauthor Index

1Álvaro Enrique Arenas (Alvaro E. Arenas, Alvaro Arenas) [14] [19]
2Juan Bicarregui [14] [19]
3Riccardo Bresciani [27]
4Art Ó Catháin [28]
5Alexis Donnelly [4]
6Malcolm Dowse [8] [12] [17]
7Marko C. J. D. van Eekelen [12]
8Sharon Flynn [2]
9Leo Freitas (Leonardo Freitas) [24] [25]
10Pawel Gancarski [26] [29]
11Clemens Grelck [18]
12Klemens Haegele [3]
13Zoltán Horváth [23]
14Frank Huch [18]
15Arthur Hughes [16]
16Gavin A. Huttley [11]
17Alexander Isaev [11]
18Edward Lang [11]
19Cath Lawrence [11]
20Joseph M. Morris [16]
21Claus Pahl [6]
22Adnan Sherif [20]
23Glenn Strong [5] [6] [8]
24Malcolm Tyrrell [4] [16]
25Vivek Vedagiri [11]
26Matthew J. Wakefield [11]
27Jim Woodcock (J. C. P. Woodcock) [7] [10] [13] [15] [20] [21] [24] [25] [26]
28Viktória Zsók [23]

Colors in the list of coauthors

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