Andrew Ireland

发表

Siani Baker, Andrew Ireland, Alan Smaill, 1992, LPAR.
Gudmund Grov, Andrew Ireland, 2017, Sci. Comput. Program..
Peter King, Andrew Ireland, Benjamin Gorry, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen, 2004, MICAI.
Andrew Ireland, Roderick Chapman, Bill J. Ellis, 2006, Journal of Automated Reasoning.
Alan Bundy, Andrew Ireland, Dieter Hutter, 2005 .
Andrew Ireland, Andrew Ireland, 1992, LPAR.
Frank van Harmelen, Alan Bundy, Andrew Ireland, 1990, CADE.
Andrew Ireland, Ewen Maclean, 2011, ICFEM.
Andrew Ireland, Benjamin Gorry, Peter J. B. King, 2008, ICSC 2008.
Gudmund Grov, Andrew Ireland, Greg J. Michaelson, 2008, SAC '08.
Andrew Ireland, Andrew Ireland, 1996, Journal of Automated Reasoning.
Siani Baker, Andrew Ireland, Alan Smaill, 1993, Lecture Notes in Computer Science.
Gudmund Grov, Andrew Ireland, Ewen Maclean, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Andrew Ireland, Andrew Ireland, 2005, VSTTE.
Gudmund Grov, Andrew Ireland, Greg J. Michaelson, 2007, 2007 International Conference on Parallel and Distributed Systems.
Alan Bundy, Andrew Ireland, Alistair Manning, 1993, LPAR.
Andrew Ireland, Willem Visser, W. Visser, 2007 .
Abdur Rakib, Michael Fisher, Alexander Bolotov, 2008 .
Simon Colton, Andrew Ireland, Maria Teresa Llano, 2018, NFM.
Gudmund Grov, Andrew Ireland, Maria Teresa Llano, 2012, ABZ.
Alan Bundy, Andrew Ireland, Dieter Hutter, 2005 .
Andrew Ireland, Madiha Jami, Andrew Ireland, 2014, VSTTE.
Gudmund Grov, Andrew Ireland, Ewen Maclean, 2010, WING@ETAPS/IJCAR.
Mike Jackson, Andrew Ireland, Gordon Reid, 1999, Formal Aspects of Computing.
Gudmund Grov, Andrew Ireland, Rajiv Murali, 2015, NFM.
Andrew Ireland, Jamie Stark, Andrew Ireland, 1999, 14th IEEE International Conference on Automated Software Engineering.
Gudmund Grov, Michael J. Butler, Andrew Ireland, 2010, ASM.
Simon Colton, Gudmund Grov, Andrew Ireland, 2016, ABZ.
Alan Bundy, Andrew Ireland, Raúl Monroy, 1994, LPAR.
Andrew Ireland, Rajiv Murali, 2012, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Andrew Ireland, Jamie Stark, Andrew Ireland, 2006, Automated Software Engineering.
Alan Bundy, Cliff B. Jones, Gudmund Grov, 2010 .
Andrew Ireland, Greg J. Michaelson, Norman Scaife, 2005, Formal Aspects of Computing.
Alison Pease, Andrew Ireland, Maria Teresa Llano, 2011 .
Alan Bundy, Andrew Ireland, A. Bundy, 1999, Journal of Functional Programming.
Andrew Ireland, Bill J. Ellis, 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
Andrew Ireland, Peter J. B. King, Greg Michaelson, 1997 .
Simon Colton, Ramin Ramezani, Gudmund Grov, 2010 .
Gudmund Grov, Andrew Ireland, Rajiv Murali, 2016, ABZ.
Andrew Ireland, Jamie Stark, 1998, LOPSTR.
Andrew Ireland, Greg Michaelson, Andrew Cook, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Andrew Ireland, Andrew Ireland, Dr Ewen Maclean, 2008 .
Andrew Ireland, Peter J. B. King, B. Gorry, 2007 .
Alan Bundy, Joe Hurd, Andrew Ireland, 2006 .
Gudmund Grov, Andrew Ireland, 2015, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Gudmund Grov, Michael J. Butler, Andrew Ireland, 2013, Sci. Comput. Program..
Andrew Ireland, Jamie Stark, Andrew Ireland, 2001, Annals of Mathematics and Artificial Intelligence.
Frank van Harmelen, Alan Bundy, Andrew Ireland, 1993, Artif. Intell..
Alan Bundy, Andrew Ireland, 1996, CADE.
Alan Bundy, Andrew Ireland, Raúl Monroy, 1994 .
Gudmund Grov, Andrew Ireland, Kevin Hammond, 2005 .
Alison Pease, Andrew Ireland, Maria Teresa Llano, 2012, Formal Aspects of Computing.
Alan Bundy, Andrew Ireland, Dieter Hutter, 2005 .
Andrew Ireland, Andrew Ireland, 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
Gudmund Grov, Andrew Ireland, Ewen Maclean, 2016, J. Log. Comput..
Gudmund Grov, Andrew Ireland, Greg J. Michaelson, 2006, IFL.
Robert Atkey, Andrew Ireland, Lucas Dixon, 2010, WING@ETAPS/IJCAR.
Siani Baker, Andrew Ireland, Alan Smaill, 1992, Lecture Notes in Computer Science.
Alan Bundy, Andrew Ireland, Dieter Hutter, 2005, Cambridge tracts in theoretical computer science.
Gudmund Grov, Andrew Ireland, Andrew Ireland, 2012, WING@ETAPS/IJCAR.
Alan Bundy, Andrew Ireland, 1992 .
Frank van Harmelen, Alan Bundy, Andrew Ireland, 1993 .