Search results for: Andrew Ireland
International Journal of Heat and Mass Transfer > 2017 > 106 > C > 1303-1317
Formal Aspects of Computing > 2014 > 26 > 2 > 203-249
Experimental Thermal and Fluid Science > 2013 > 49 > Complete > 1-13
Science of Computer Programming > 2013 > 78 > 3 > 293-309
Automated Software Engineering > 2006 > 13 > 1 > 65-105
Journal of Automated Reasoning > 2006 > 36 > 4 > 379-410
Annals of Mathematics and Artificial Intelligence > 2000 > 29 > 1-4 > 65-97
Formal Aspects of Computing > 1999 > 11 > 3 > 302-325