Jim Davies
发表
Tomasz Janowski,
Theresa A. Pardo,
Jim Davies,
2012,
Gov. Inf. Q..
Jim Davies,
Charles Crichton,
Alessandra Cavarra,
2001
.
Jim Davies,
1993
.
Jim Davies,
Matt Murdoch,
J. Davies,
2017,
Cyberpsychology Behav. Soc. Netw..
Jim Davies,
2010,
Diagrams.
Jim Davies,
Wojciech Cellary,
Elsa Estevez,
2014,
2014 47th Hawaii International Conference on System Sciences.
Jim Davies,
Ashok K. Goel,
J. Davies,
2001,
IJCAI.
Jim Davies,
Craig Comstock,
Zhizhong Jiang,
2011,
J. Softw. Maintenance Res. Pract..
Tomasz Janowski,
Theresa A. Pardo,
Jim Davies,
2012,
Gov. Inf. Q..
Jim Davies,
Ashok K. Goel,
J. Davies,
2007,
J. Vis. Lang. Comput..
Jim Davies,
Ashok K. Goel,
Nancy J. Nersessian,
2005,
DMS.
Jim Davies,
Charles Crichton,
Lorna Morris,
2013,
BMC Bioinformatics.
Jim Davies,
Chen-Wei Wang,
Chen-Wei Wang,
2012,
FTSCS.
Jim Davies,
Jim Davies,
1997
.
Tomasz Janowski,
Jim Davies,
2009,
ICEGOV.
Jim Davies,
Jeremy Gibbons,
Steve Harris,
2008
.
Jim Davies,
Matt Wallis,
1994,
FORTE.
Jim Davies,
Charles Crichton,
Jeremy Gibbons,
2007,
ICEGOV '07.
Jim Davies,
Ashok K. Goel,
Nancy J. Nersessian,
2009,
Cognitive Systems Research.
Jim Davies,
Charles Crichton,
Jeremy Gibbons,
2008,
ICEGOV '08.
Jim Davies,
Matthew A. Kelly,
Michael O. Vertolli,
2014,
AGI.
Hua Li,
Jim Davies,
David Mould,
2013,
Graphics Interface.
Radu Calinescu,
Jim Davies,
Jeremy Gibbons,
2008,
2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (CCGRID).
Jim Davies,
Jonathan Gagné,
J. Davies,
2010,
Visual Representations and Reasoning.
Andrew P. Martin,
Andrew C. Simpson,
Jim Davies,
2004,
TFM.
Jim Davies,
Min Chen,
Susanna-Assunta Sansone,
2012,
IEEE Transactions on Visualization and Computer Graphics.
Jim Davies,
2012
.
Jim Woodcock,
Jim Davies,
Charles Crichton,
1999,
Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278).
Jim Davies,
Steve A. Schneider,
Dave Jackson,
1992,
FTRTFT.
Jim Davies,
2004,
PSSE.
Jim Davies,
Christie Marr,
C. Marr,
2002,
IFM.
Jim Davies,
Jordan R. Schoenherr,
Robert Thomson,
2011,
CogSci.
Jim Davies,
Mohammed A. Aboulsamh,
2009,
ISD.
Jim Davies,
David Faitelson,
James Welch,
2008,
Electron. Notes Theor. Comput. Sci..
Jim Woodcock,
Jim Davies,
Jeannette M. Wing,
1999,
World Congress on Formal Methods.
Jim Davies,
Christopher G. Chute,
Harold R. Solbrig,
2013,
JIST.
Jim Davies,
Christie Marr,
C. Marr,
2002,
Refine.
Jim Davies,
Steve A. Schneider,
Jeremy Bryans,
1995,
CONCUR.
Jim Davies,
J. Davies,
2017,
CogSci.
Jim Davies,
Min Chen,
Susanna-Assunta Sansone,
2013,
IEEE Transactions on Visualization and Computer Graphics.
Jim Davies,
Sébastien Ouellet,
Vincent Breault,
2018,
Entertain. Comput..
Jim Davies,
Deirdre Kelly,
J. Davies,
2016,
CogSci.
Radu Calinescu,
Jim Davies,
Jeremy Gibbons,
2007,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Jim Davies,
Ashok K. Goel,
Nancy J. Nersessian,
2005,
ICCBR.
Jim Davies,
Janice I. Glasgow,
Tony Kuo,
2006,
Inf. Syst. Frontiers.
Jim Davies,
Connor Smith,
Allen Cybulskie,
2010,
Diagrams.
Jim Davies,
Steve A. Schneider,
1992,
CONCUR.
Andrew P. Martin,
Jim Davies,
Steve Harris,
2010,
2010 IEEE Sixth International Conference on e-Science.
Jim Davies,
Christie Marr,
C. Marr,
2000,
FMOODS.
Jim Davies,
Chen-Wei Wang,
David Milward,
2015,
Sci. Comput. Program..
Jim Davies,
César A. Astudillo,
Jonathan Gagné,
2011,
C&C '11.
Image Quality Assessment Techniques Show Improved Training and Evaluation of Autoencoder Generative Adversarial Networks
pdf
Jim Davies,
Michael O. Vertolli,
2017,
ArXiv.
Jim Davies,
Ashok K. Goel,
Nancy J. Nersessian,
2005,
IJCAI.
Jim Davies,
Alessandra Cavarra,
Chen-Wei Wang,
2011,
2011 11th International Conference on Quality Software.
Jim Davies,
Wahida Chowdhury,
Christopher Burt,
2015,
Comput. Hum. Behav..
Jim Davies,
Christopher B. Stapleton,
J. Davies,
2011,
2011 IEEE International Symposium on Mixed and Augmented Reality - Arts, Media, and Humanities.
Jim Davies,
Charles Crichton,
Jeremy Gibbons,
2009,
2009 42nd Hawaii International Conference on System Sciences.
Jim Davies,
Mohammed A. Aboulsamh,
J. Davies,
2011,
MEDI.
Jim Davies,
1993
.
Jim Davies,
James Theiler,
Gerard Jungman,
2009
.
Jim Davies,
A. W. Roscoe,
Eric J. Bohm,
2011,
Encyclopedia of Parallel Computing.
Jim Davies,
Charles Crichton,
Jeremy Gibbons,
2014,
Sci. Comput. Program..
Jim Davies,
Leila Silva,
Adenilso Simao,
2010
.
Jim Davies,
Alessandra Cavarra,
James Welch,
2006
.
Jim Davies,
Steve A. Schneider,
S. Schneider,
1993,
Formal Aspects of Computing.
Jim Davies,
Michael O. Vertolli,
J. Davies,
2014,
CogSci.
Jim Davies,
Janice I. Glasgow,
Tony Kuo,
2006,
Spatial Cognition.
Jim Davies,
Katherine Lamb,
Martijn Boosman,
2015,
ISCRAM.
Jim Davies,
Steve A. Schneider,
S. Schneider,
1995,
Theor. Comput. Sci..
Tomasz Janowski,
Jim Davies,
Adegboyega K. Ojo,
2007,
ICEGOV '07.
Jim Davies,
Charles Crichton,
Alessandra Cavarra,
2003,
SAC '03.
Jim Davies,
Michael O. Vertolli,
2014,
IJCCI.
William Yurcik,
Jim Davies,
Lillian N. Cassel,
2001,
SGCS.
Jim Davies,
Jolie Bell,
2010,
Diagrams.
Jim Davies,
Todd Huffman,
Matthew John Leslie,
2006,
First International Conference on Availability, Reliability and Security (ARES'06).
Jim Davies,
Ashok K. Goel,
J. Davies,
2003,
IICAI.
Jim Davies,
Katherine Jane Lamb,
Richard Bowley,
2014
.
Jim Davies,
Wolfram Schulte,
Mike Barnett,
2004
.
Jim Davies,
Christopher B. Stapleton,
Janet D. Whiteside,
2014,
ImmersiveMe '14.
Jim Davies,
David A. Clifton,
Jeremy Gibbons,
2012,
2012 First International Workshop on Realizing AI Synergies in Software Engineering (RAISE).
Jim Davies,
Jonathan Gagné,
J. Davies,
2013,
The Knowledge Engineering Review.
Peter Haddawy,
Tomasz Janowski,
Theresa A. Pardo,
2007
.
Jim Davies,
Jay Jennings,
J. Davies,
2017,
CogSci.
Radu Calinescu,
Jim Davies,
Charles Crichton,
2008,
2008 IEEE Fourth International Conference on eScience.
Jim Davies,
J. Davies,
1991
.
Jim Davies,
Jeremy Gibbons,
David Milward,
2015,
DSM@SPLASH.
Jim Davies,
Jeremy Gibbons,
David Milward,
2012,
SBMF.
Jim Davies,
Jeremy Gibbons,
2009,
SGCS.
Jim Davies,
1988,
J. Inf. Sci..
Jim Davies,
Anders Berglund,
Mats Daniels,
1996
.
Jim Davies,
Janice I. Glasgow,
Tony Kuo,
2006,
Comput. Intell..
Jim Davies,
Jeremy Gibbons,
J. Davies,
2010,
ICDCIT.
Jim Davies,
Matthew A. Kelly,
Michael O. Vertolli,
2018,
Cogn. Sci..
Jim Davies,
Charles Crichton,
Jeremy Gibbons,
2008,
ICEGOV '08.
Jim Davies,
David Faitelson,
James Welch,
2005,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Jim Davies,
Charles Crichton,
Charles Crichton,
2002,
Formal Aspects of Computing.
Radu Calinescu,
Jim Davies,
Charles Crichton,
2011,
FHIES.
Jim Davies,
Jeremy Gibbons,
Mike Hinchey,
2008
.
Jim Davies,
Charles Crichton,
2003,
ICFEM.
Jim Davies,
Steve Harris,
Aadya Shukla,
2010,
2010 43rd Hawaii International Conference on System Sciences.
Jim Davies,
Charles Crichton,
Daniel Abler,
2011,
SPLASH Workshops.
Jim Davies,
Steve A. Schneider,
Jeremy Bryans,
1995,
FORTE.
Jim Davies,
Michael O. Vertolli,
2018
.
Andrew P. Martin,
Andrew C. Simpson,
Jim Davies,
2003,
25th International Conference on Software Engineering, 2003. Proceedings..
Jim Davies,
Mohammed A. Aboulsamh,
2011,
BMMDS/EMMSAD.
Jim Davies,
Christie Marr,
C. Marr,
2000,
IFM.
Jim Davies,
Todd Huffman,
Matthew John Leslie,
2006,
J. Networks.
Jim Davies,
David Faitelson,
James Welch,
2007,
Electron. Notes Theor. Comput. Sci..
Jim Davies,
Charles Crichton,
Jeremy Gibbons,
2009,
2009 ICSE Workshop on Software Engineering in Health Care.
Jim Davies,
Charles Crichton,
Ib Holm Sørensen,
2005,
Electron. Notes Theor. Comput. Sci..
Jim Davies,
Jeremy Gibbons,
2007,
IFM.
Jim Davies,
Jeremy Gibbons,
James Welch,
2014
.
Tomasz Janowski,
Jim Davies,
Wojciech Cellary,
2013,
2013 46th Hawaii International Conference on System Sciences.
Tomasz Janowski,
Jim Davies,
Ralf Klischewski,
2012,
HICSS 2012.
Jim Davies,
Gavin Lowe,
G. Lowe,
1999,
Distributed Computing.
Jim Davies,
Christie Marr,
C. Marr,
2006,
Formal Aspects of Computing.
Jim Davies,
Ashok K. Goel,
Patrick W. Yaner,
2008,
Knowl. Based Syst..
Jim Davies,
Charles Crichton,
2002
.
Jim Davies,
David Faitelson,
James Welch,
2005,
SEFM.
Jim Davies,
Mohammed A. Aboulsamh,
2010,
2010 Fifth International Conference on Software Engineering Advances.
Jim Woodcock,
Jim Davies,
Christie Marr,
1999,
IFM.
Jim Davies,
James Welch,
Mohammed A. Aboulsamh,
2010,
ER Workshops.
Jim Davies,
Charles Crichton,
J. Davies,
2002,
Refinement Workshop.
Jim Davies,
Sébastien Ouellet,
Jonathan Gagné,
2014,
CogSci.
Jim Davies,
Charles Crichton,
Jeremy Gibbons,
2010
.
Jim Davies,
Chen-Wei Wang,
James Welch,
2010,
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.
Jim Davies,
Kourken Michaelian,
J. Davies,
2016,
Cognitive Processing.
Jim Davies,
Steve A. Schneider,
S. Schneider,
1990,
Mathematical Foundations of Programming Semantics.
Jim Davies,
Alessandra Cavarra,
James Welch,
2006,
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).
Jim Davies,
Jeremy Gibbons,
James Welch,
2014,
Sci. Comput. Program..
Jim Davies,
Charles Crichton,
Alessandra Cavarra,
2004,
Inf. Softw. Technol..
Jim Davies,
A. W. Roscoe,
Steve A. Schneider,
1991,
REX Workshop.
Augusto Sampaio,
David Garlan,
Jim Davies,
2004
.
Jim Woodcock,
Jim Davies,
Jeannette M. Wing,
1999,
Lecture Notes in Computer Science.
Jim Davies,
Jeremy Gibbons,
Steve Harris,
2008
.
Jim Davies,
Wojciech Cellary,
Elsa Estevez,
2014,
HICSS 2014.
Jim Davies,
Jeremy Gibbons,
Steve Harris,
2009
.
Alexander K. Petrenko,
Bernhard K. Aichernig,
Tomasz Janowski,
2008
.