2008 | ||
---|---|---|
12 | EE | Khalid Belhajjame, Katy Wolstencroft, Óscar Corcho, Tom Oinn, Franck Tanoh, Alan Williams, Carole A. Goble: Metadata Management in the Taverna Workflow System. CCGRID 2008: 651-656 |
2006 | ||
11 | EE | Chris Rose, Daniele Turi, Alan Williams, Katy Wolstencroft, Chris J. Taylor: Web Services for the DDSM and Digital Mammography Research. Digital Mammography / IWDM 2006: 376-383 |
10 | EE | Patrick D. Roberts, Gerardo Lafferriere, Nathaniel Sawtell, Alan Williams, Curtis C. Bell: Dynamic regulation of spike-timing dependent plasticity in electrosensory processing. Neurocomputing 69(10-12): 1195-1198 (2006) |
2005 | ||
9 | EE | Melissa S. Cline, John Blume, Simon Cawley, Tyson Clark, Jing-Shan Hu, Gang Lu, Nathan Salomonis, Hui Wang, Alan Williams: ANOSVA: a statistical method for detecting splice variation from expression data. ISMB (Supplement of Bioinformatics) 2005: 107-115 |
8 | EE | Michael A. Heroux, Roscoe A. Bartlett, Vicki E. Howle, Robert J. Hoekstra, Jonathan J. Hu, Tamara G. Kolda, Richard B. Lehoucq, Kevin R. Long, Roger P. Pawlowski, Eric T. Phipps, Andrew G. Salinger, Heidi Thornquist, Ray S. Tuminaro, James M. Willenbring, Alan Williams, Kendall S. Stanley: An overview of the Trilinos project. ACM Trans. Math. Softw. 31(3): 397-423 (2005) |
2002 | ||
7 | EE | Howard Barringer, Donal Fellows, Graham Gough, Alan Williams: Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design. Comput. J. 45(1): 2-11 (2002) |
2000 | ||
6 | EE | Hilary J. Kahn, Nick Filer, Alan Williams, Nigel A. Whitaker, Denis J. Reilly: Transforming Information Models to Support the Generation of Efficient Implementations. HICSS 2000 |
1997 | ||
5 | Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan Williams: Efficient CTL* model checking for analysis of rainbow designs. CHARME 1997: 128-145 | |
1996 | ||
4 | Howard Barringer, Graham Gough, Brian Monahan, Alan Williams: A Process Algebra Foundation for Reasoning about Core ELLA. Comput. J. 39(4): 303-324 (1996) | |
1995 | ||
3 | Howard Barringer, Graham Gough, Brian Monahan, Alan Williams: Formal support for the ELLA hardwar description language. CHARME 1995: 225-245 | |
2 | EE | Alan Williams, Kevin Burrage: Surface Fitting Using GCV Smoothing Splines on Supercomputers. SC 1995 |
1993 | ||
1 | Alan Williams: The Applicability of Discrete Performance Estimation Methods to VLSI Design. Formal Asp. Comput. 5(2): 152-176 (1993) |