dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

James M. Boyle Coauthor index pubzone.org

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

DBLP keys2012
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas M. Connolly, Elizabeth A. Boyle, Ewan MacArthur, Thomas Hainey, James M. Boyle: A systematic literature review of empirical evidence on computer games and serious games. Computers & Education 59(2): 661-686 (2012)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElizabeth A. Boyle, Thomas M. Connolly, Thomas Hainey, James M. Boyle: Engagement in digital entertainment games: A systematic review. Computers in Human Behavior 28(3): 771-780 (2012)
2001
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Daniel Resler, James M. Boyle: Register allocation: A program-algebraic approach. Informatica (Slovenia) 25(2): (2001)
2000
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames M. Boyle, R. Daniel Resler: A Program-Algebraic Approach to Eliminating Common Subexpressions. Informatica (Slovenia) 24(3): (2000)
1999
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames M. Boyle, R. Daniel Resler, Victor L. Winter: Do You Trust Your Compiler? IEEE Computer 32(5): 65-73 (1999)
1998
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerence J. Harmer, James M. Boyle: Brewing Fresh JAVA from Legacy Lisp - An Experiment in Automated Reverse Engineering. ASE 1998: 318-332
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerence J. Harmer, Patrick J. McParland, James M. Boyle: Applications of the TAMPR Transformation System. IWFM 1998
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerence J. Harmer, Patrick J. McParland, James M. Boyle: Transformations to Restructure and Re-engineer COBOL Programs. Autom. Softw. Eng. 5(3): 321-345 (1998)
1997
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames M. Boyle, R. Daniel Resler, Victor L. Winter: Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers. HASE 1997: 14-
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Fitzpatrick, Terence J. Harmer, Alan Stewart, Maurice Clint, James M. Boyle: The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations. Sci. Comput. Program. 28(1): 1-41 (1997)
1996
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVictor L. Winter, James M. Boyle: Proving refinement transformations for deriving high-assurance software. HASE 1996: 68-77
1994
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Fitzpatrick, Terence J. Harmer, James M. Boyle: Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program Transformation. CONPAR 1994: 148-159
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Clint, Stephen Fitzpatrick, Terence J. Harmer, Peter Kilpatrick, James M. Boyle: A Family of Data-Parallel Derivations. HPCN 1994: 457-462
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames M. Boyle: Automatic, Self-adaptive Control and Unfold Transformations. PROCOMET 1994: 83-103
1993
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames M. Boyle, Terence J. Harmer: Practical Transformation of Functional Programs for Efficient Execution: A Case Study. Formal Program Development 1993: 62-88
1992
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames M. Boyle, Maurice Clint, Stephen Fitzpatrick, Terence J. Harmer: The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation. CONPAR 1992: 761-767
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames M. Boyle, Terence J. Harmer: A Practical Functional Program for the CRAY X-MP. J. Funct. Program. 2(1): 81-126 (1992)
1984
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames M. Boyle, Monagur N. Muralidharan: Program Reusability through Program Transformation. IEEE Trans. Software Eng. 10(5): 574-588 (1984)
1977
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBurton S. Garbow, James M. Boyle, Jack Dongarra, Cleve B. Moler: Matrix Eigensystem Routines - EISPACK Guide Extension Springer 1977
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames M. Boyle, Kenneth W. Dritz, Oleg B. Arushanian, Yuri V. Kuchevsky: Program Generation and Transformation - Tools for Mathematical Software Development. IFIP Congress 1977: 303-308
1976
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian T. Smith, James M. Boyle, Jack Dongarra, Burton S. Garbow, Yasuhiko Ikebe, Virginia C. Klema, Cleve B. Moler: Matrix Eigensystem Routines - EISPACK Guide, Second Edition Springer 1976
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames M. Boyle: Mathematical Software Transportability Systems - Have the Variations a Theme?. Portability of Numerical Software 1976: 305-360
1974
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames M. Boyle, Kenneth W. Dritz: An Automated Programming System to Facilitate the Development of Quality Mathematical Software. IFIP Congress 1974: 542-546
1970
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames M. Boyle, Albert A. Grau: An Algorithmic Semantics for ALGOL 60 Identifier Denotation. J. ACM 17(2): 361-382 (1970)

Coauthor Index

1Oleg B. Arushanian [5]
2Elizabeth A. Boyle [23] [24]
3Maurice Clint [9] [12] [15]
4Thomas M. Connolly [23] [24]
5Jack Dongarra (Jack J. Dongarra) [4] [6]
6Kenneth W. Dritz [2] [5]
7Stephen Fitzpatrick [9] [12] [13] [15]
8Burton S. Garbow [4] [6]
9Albert A. Grau [1]
10Thomas Hainey [23] [24]
11Terence J. Harmer (Terry Harmer) [8] [9] [10] [12] [13] [15] [17] [18] [19]
12Yasuhiko Ikebe [4]
13Peter Kilpatrick (P. L. Kilpatrick) [12]
14Virginia C. Klema [4]
15Yuri V. Kuchevsky [5]
16Ewan MacArthur [24]
17Patrick J. McParland [17] [18]
18Cleve B. Moler [4] [6]
19Monagur N. Muralidharan [7]
20R. Daniel Resler [16] [20] [21] [22]
21Brian T. Smith [4]
22Alan Stewart [15]
23Victor L. Winter [14] [16] [20]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page