Computing Publications

Publications Home » Journals

Journals

On this page:

Journal Articles
Journal Special Issue Articles
Electronic Journal Articles
Journal Special Issues Edited
BibTeX

Journal Articles

Random forest-based similarity measures for multi-modal classification of Alzheimer's disease: Katherine Gray, Paul Aljabar, R. A. Heckemann, A. Hammers, Daniel Rueckert, The Alzheimer's Disease Neuroimaging Initiative (ADNI); NeuroImage; Volume 65, pp.167–175; Elsevier; January, 2013
Database System Performance Evaluation Models: A Survey: Rasha Osman, William J. Knottenbelt; Performance Evaluation; Elsevier; 2012
Predicting the outcomes of tennis matches using a low-level point model: Demetris Spanias, William J. Knottenbelt; IMA Journal of Management Mathematics; IOS Press; 2012
A common-opponent stochastic model for predicting the outcome of professional tennis matches: William J. Knottenbelt, Demetris Spanias, Agnieszka M. Madurska; Computers & Mathematics with Applications. An InternationalJournal; Elsevier; 2012
Analysis of stochastic Petri nets with signals: Andrea Marin, Simonetta Balsamoa, Peter G. Harrison; Performance Evaluation; July, 2012
A Survey of Monte Carlo Tree Search Methods: Cameron Browne, Edward Powley, Daniel Whitehouse, Simon Lucas, Peter I. Cowling, Philipp Rohlfshagen, Stephen Tavener, Diego Perez, Spyridon Samothrakis, Simon Colton; IEEE Transactions on Computational Intelligence and AI in Games; Volume 4, Issue 1, pp.1–43; IEEE; March, 2012
Multi-region analysis of longitudinal FDG-PET for the classification of Alzheimer's disease: Katherine Gray, Robin Wolz, R. A. Heckemann, Paul Aljabar, A. Hammers, Daniel Rueckert, The Alzheimer's Disease Neuroimaging Initiative (ADNI); NeuroImage; Volume 60, Issue 1, pp.221–229; Elsevier; March, 2012
Comparative Evaluation of Independent Private Values Distributions on Internet Auction Performance: Timothy Leung, William J. Knottenbelt; International Journal of E-Entrepreneurship and Innovation; Volume 3, Issue 1, pp.59–72; IGI Global; January, 2012
Fluid computation of passage time distributions in large Markov models: Richard Hayden, Anton Stefanek, Jeremy T. Bradley; Theoretical Computer Science; Volume 413, Issue 1, pp.106–141; Elsevier; January, 2012
Storage workload modelling by hidden Markov models: Application to Flash memory: Peter G. Harrison, Sarah K. Harrison, Naresh M. Patel, Soraya Zertal; Performance Evaluation; January, 2012
Automated Discovery of Food Webs from Ecological Data Using Logic-Based Machine Learning: David A. Bohan, Geoffrey Caron-Lormier, Stephen Muggleton, Alan Raybould, Alireza Tamaddoni Nezhad; PLoS ONE; Volume 6, Issue 12; December, 2011
Fluid computation of the performance-energy trade-off in large scale Markov models: Anton Stefanek, Richard Hayden, Jeremy T. Bradley; SIGMETRICS Performance Evaluation Review; December, 2011
Investigating Flash memory wear levelling and execution modes: Soraya Zertal, Peter G. Harrison; SIMULATION; Volume 87, Issue 12, pp.1081–1091; Sage Publications, Inc.; December, 2011
Mean-field approximations for performance models with generally-timed transitions: Richard Hayden; SIGMETRICS Performance Evaluation Review; December, 2011
Performance specification and evaluation with Unified Stochastic Probes and fluid analysis: Richard Hayden, Jeremy T. Bradley, Allan Clark; IEEE Transactions on Software Engineering; IEEE Computer Society; December, 2011
Invited Response to Computer Journal Lecture by Prof. Jane Hillston: Jeremy T. Bradley, Nigel Thomas, Richard Hayden, Anton Stefanek; The Computer Journal; Oxford Journals; November, 2011
Automatic morphometry in Alzheimer's disease and mild cognitive impairment: R. A. Heckemann, Shiva Keihaninejad, Paul Aljabar, Katherine Gray, Casper Nielsen, Daniel Rueckert, JV Hajnal, A. Hammers, The Alzheimer's Disease Neuroimaging Initiative (ADNI); NeuroImage; Volume 56, Issue 4, pp.2024–2037; Elsevier; June, 2011
Analytical and Simulation Modelling of Zoned RAID Systems: Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt; The Computer Journal; Volume 54, Issue 5, pp.691–707; Oxford Journals; May, 2011
The Dangers of Random Playouts: Cameron Browne; ICGA Journal; Volume 34, Issue 1, pp.25–26; April, 2011
Passage-time Computation and Aggregation Strategies for Large Semi-Markov Processes: Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt; Performance Evaluation; Volume 68, Issue 3, pp.211–236; Elsevier; March, 2011
A generalized method of moments for closed queueing networks: Giuliano Casale; Performance Evaluation; Volume 68, Issue 2, pp.180–200; Springer; February, 2011
Consumer-to-Consumer Internet Auction Models: Timothy Leung, William J. Knottenbelt; International Journal of Online Marketing; Volume 1, Issue 3, pp.17–28; ICEIS; 2011
Extracting State-Based Performance Metrics using Asynchronous Iterative Techniques: Douglas de Jager, Jeremy T. Bradley; Performance Evaluation; Volume 67, Issue 12, pp.1353–1372; Elsevier; December, 2010
Modelling infection spread using location tracking: Andrew Mason, Nicholas J. Dingle, William J. Knottenbelt, Derek Bell, William Buchanan, Christoph Thuemmler; International Journal of Healthcare Technology and Management; Volume 11, Issue 6, pp.442–461; Inderscience Enterprises Ltd.; 2010
Modal and Mixed Specifications: Key Decision Problems and their Complexities: Adam Antonik, Michael Huth, Kim Larsen, Ulrik Nyman, Andrzej Wasowski; Mathematical Structures in Computer Science; Cambridge University Press; 2010
Systems analysis of bacterial glycomes: E Kay, V Lesk, Alireza Tamaddoni Nezhad, P Hitchen, A Dell, Michael Sternberg, Stephen Muggleton, B Wren; Biochemical Society Transactions; Volume 38, Issue 5, pp.1290–1293; 2010
A fluid analysis framework for a Markovian process algebra: Richard Hayden, Jeremy T. Bradley; Theoretical Computer Science; Volume 411, Issues 22–24, pp.2260–2297; Elsevier; May, 2010
Busy periods in fluid queues with multiple emptying input states: A. J. Field, Peter G. Harrison; Journal of Applied Probability; Volume 47, Issue 2, pp.474–497; April, 2010
Evaluating fluid semantics for passive stochastic process algebra cooperation: Richard Hayden, Jeremy T. Bradley; Performance Evaluation; Volume 67, Issue 4, pp.260–284; Elsevier; April, 2010
Response time distribution of flash memory accesses: Peter G. Harrison, Naresh M. Patel, Soraya Zertal; Performance Evaluation; Volume 67, Issue 4, pp.248–259; Elsevier; April, 2010
Evolutionary Game Design: Cameron Browne, Frederic Maire; IEEE Transactions on Computational Intelligence and AI in Games; Volume 2, Issue 1, pp.1–16; March, 2010
Trace Data Characterization and Fitting for Markov Modeling: Giuliano Casale, Eddy Zheng Zhang, Evgenia Smirni; Perform. Eval.; Volume 67, Issue 2, pp.61–79; Elsevier; February, 2010
Kinetic filtering of [18F]Fluorothymidine in positron emission tomography studies: Katherine Gray, K. B. Contractor, L. M. Kenny, A Al-Nahhas, S Shousha, J Stebbing, H. S. Wasan, R. C. Coombes, E. O. Aboagye, F. E. Turkheimer, L Rosso; Physics in Medicine and Biology; Volume 55, Issue 3, pp.695–709; IOP; January, 2010
Model-Driven System Capacity Planning Under Workload Burstiness: Giuliano Casale, Ningfang Mi, Evgenia Smirni; IEEE Transactions on Computers; Volume 59, Issue 1, pp.66–80; IEEE; January, 2010
Product-forms and functional rates: Peter G. Harrison; Performance Evaluation; Volume 66, Issue 11, pp.660–663; Elsevier; November, 2009
RECA: Referenced energy based CDS algorithm in wireless sensor networks: Yajie Ma, Yike Guo, Moustafa Ghanem; International Journal of Communication Systems; Wiley InterScience; 2009
Context-based Authentication and Transport of Cultural Assets: Leonardo Mostarda, Changyu Dong, Naranker Dulay; Personal and Ubiquitous Computing; Springer; 2009
Distributed Response Time Analysis of GSPN Models with MapReduce: Oliver Haggarty, William J. Knottenbelt, Jeremy T. Bradley; SIMULATION; Volume 85, Issue 8, pp.497–509; Sage Publications, Inc.; August, 2009
Contributions to abstraction-based system verification: Michael Huth, Orna Grumberg; Software Tools for Technology Transfer; Springer Verlag; 2009
The Curse of the First Mover: When Incremental Innovation Leads to Radical Change: Thierry Rayna, Ludmila Striukova; International Journal of Collaborative Enterprise; Volume 1, Issue 1, pp.4–21; Inderscience; 2009
The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause: Alireza Tamaddoni Nezhad, Stephen Muggleton; Machine Learning; Volume 76, Issue 1, pp.37–72; 2009
Objects and Session Types: Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitrios Mostrous, Nobuko Yoshida; Infrmation and Computation; 2009
Predicting patient arrivals to an accident and emergency department: Susanna Wau Men Au-Yeung, Uli Harder, Emma McCoy, William J. Knottenbelt; Emergency Medicine Journal; Volume 26, Issue 4, pp.241–244; BMJ Publishing Group Limited; April, 2009
Turning back time - what impact on performance?: Peter G. Harrison; The Computer Journal; Oxford Journals; April, 2009
CoMoM: Efficient Class-Oriented Evaluation of Multiclass Performance Models: Giuliano Casale; IEEE Transactions on Software Engineering; Volume 35, Issue 2; IEEE Computer Society Press; March, 2009
Semantics and expressiveness of ordered SOS: Mohammad Reza Mousavi, Iain Phillips, Michel Reniers, Irek Ulidowski; Information and Computation; Elsevier; 2009
Probabilistic Mobile Ambients: Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Vigliotti; Volume 410, Issues 12–13, pp.1272–1309; Theoretical Computer Science, Elsevier; 2009
A note on stable flow-equivalent aggregation in closed networks: 2008
Duotone Truchet-like Tilings: Cameron Browne; Mathematics and the Arts; Volume 2, Issue 4, pp.189–196; December, 2008
Privacy or Piracy, Why Choose? Two Solutions to the Issue of Digital Rights Management and Protection of Personal Information: Thierry Rayna, Ludmila Striukova; International Journal of Intellectual Property Management; Volume 2, Issue 3, pp.240–252; Inderscience; 2008
Public Venture Capital: Missing link or weakest link?: Thierry Rayna, Ludmila Striukova; International Journal of Entrepreneurship and Innovation Management; Inderscience; 2008
A type safe state abstraction for coordination in Java -like languages: Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou; Acta Informatica; Acta , Springer Verlag; October, 2008
Amalgamating sessions and methods in object-oriented languages with generics: Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino; Theoretical Computer Science; Elsevier Science Ltd.; September, 2008
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models: Jeremy T. Bradley, Stephen Gilmore, Jane Hillston; Journal of Computer and System Sciences; Volume 74, Issue 6, pp.1013–1032; Elsevier; September, 2008
Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems: Marco Autili, Leonardo Mostarda; Electronic Notes in Theoretical Computer Science, Elsevier; 2008
Understanding the Challenges of the Digital Economy: The Nature of Digital Goods: Thierry Rayna; Communications & Strategies; Volume 71, pp.13–36; IDATE; September, 2008
Efficient computation of passage time densities and distributions in Markov chains using Laguerre method: Harini Kulatunga, William J. Knottenbelt; Electronics Letters; Volume 44, Issue 15; The Institution of Engineering and Technology; July, 2008
Using Multi-agent Systems for Pure Dencentralised Business Workflows: "Li Guo, Dr. Dave Robertson, Dr. Yun-Heh Chen-Burger"; Journal of Web Intelligence and Agent System; July, 2008
20 Years of Mixed and Modal Specifications: Adam Antonik, Michael Huth, Kim Larsen, Ulrik Nyman, Andrzej Wasowski; Bulletin of the European Association for Theoretical Computer Science, European Association for Theoretical Computer Science; June, 2008
Artistic box trees: Cameron Browne; Fractals; Volume 15, Issue 3, pp.249–253; June, 2008
Gaudi's organic geometry: Cameron Browne; Computers & Graphics; Volume 32, Issue 1, pp.105–115; June, 2008
Geometric Bounds: A Noniterative Analysis Technique for Closed Queueing Networks: Giuliano Casale, Richard Muntz, Giuseppe Serazzi; IEEE Transactions on Computers; Volume 57, Issue 6, pp.780–794; IEEE Computer Society; June, 2008
Truchet curves and surfaces: Cameron Browne; Computers & Graphics; Volume 32, Issue 2, pp.268–281; June, 2008
Using Multi-agent Systems for Pure Dencentralised Business Workflows: "Li Guo, Dr. Dave Robertson, Dr. Yun-Heh Chen-Burger"; Journal of Web Intelligence and Agent System; June, 2008
Using Multi-agent Systems for Pure Dencentralised Business Workflows: "Li Guo, Dr. Dave Robertson, Dr. Yun-Heh Chen-Burger"; Journal of Web Intelligence and Agent System; June, 2008
Using Multi-agent Systems for Pure Dencentralised Business Workflows: Li Guo, Yun-Heh Chen-Burger, Dave Robertson; Journal of Web Intelligence and Agent System; Volume 6, Issue 3; June, 2008
Parallel Multilevel Algorithms for Hypergraph Partitioning: Aleksandar Trifunovic, William J. Knottenbelt; Journal of Parallel and Distributed Computing; Volume 68, Issue 5, pp.563–581; May, 2008
QoS aware and Service-Oriented Workflow on Grid: Li Guo, Asif Akram, David Colling, Marko Krznaric, Janusz Martyniak, Stephen McGough; International Journal of Multimedia and Ubiquitous Engineering; Volume 3, Issue 2; April, 2008
A Synthesizable Datapath-Oriented Embedded FPGA Fabric for Silicon Debug Applications: Steve Wilton, Chun Ho, Bradley Quinton, Philip Leong, Wayne Luk; ACM Transactions on Reconfigurable Technology and Systems; Volume 1, Issue 1, pp.1–25; ACM Press; March, 2008
CHIPS: Custom Hardware Instruction Processor Synthesis: Kubilay Atasu, Can Ozturan, Gunhan Dundar, Oskar Mencer, Wayne Luk; IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems; Volume 27, Issue 3, pp.528–541; March, 2008
CCS with Priority Guards: Iain Phillips; Journal of Logic and Algebraic Programming; Volume 75, Issue 1, pp.139–165; Elsevier; February, 2008
Hierarchical statistical shape analysis and prediction of sub-cortical brain structures: Anil Rao, Paul Aljabar, Daniel Rueckert; Medical Image Analysis; Volume 12, Issue 1, pp.55–68; Elsevier; February, 2008
Reconfigurable Architecture for Network Flow Analysis: Sherif Yusuf, Wayne Luk, Morris Sloman, Naranker Dulay, Emil Lupu, Geoffrey Brown; IEEE Transactions on Very Large Scale Integration (VLSI) Systems; Volume 16, Issue 1; January, 2008
Symmetric Electoral Systems for Ambient Calculi: Iain Phillips, Maria Vigliotti; Information and Computation; Volume 206, Issue 1, pp.34–72; Elsevier; January, 2008
The Role of Social Capital in Virtual Teams and Organisations: Corporate Value Creation: Ludmila Striukova, Thierry Rayna; International Journal of Networking and Virtual Organisations; Volume 5, Issue 1, pp.103–119; Inderscience; January, 2008
White Knight or Trojan Horse? The Consequences of Digital Rights Management for Consumers, Firms and Society: Thierry Rayna, Ludmila Striukova; Communications & Strategies; Volume 69, Issue 1, pp.109–125; IDATE; 2008
AMUSE: Autonomic Management of Ubiquitous e-Health Systems: Emil Lupu, Naranker Dulay, Alberto Schaeffer Filho, Sye Keoh, Morris Sloman, Kevin Twidle; Concurrency and Computation: Practice and Experience, wiley; 2007
A survey of Autonomic Computing - degrees, models and applications: Julie McCann, Markus Huebscher; ACM Computing Surveys, ACM; December, 2007
Efficient Pythagorean trees: Greed is good: Cameron Browne; Computers & Graphics; Volume 31, Issue 4, pp.610–616; December, 2007
Impossible fractals: Computers & Graphics; Volume 31, Issue 4, pp.659–667; December, 2007
Parametric global optimisation for bilevel programming: Berc Rustem, V. Dua, P.M. Saraiva, E.N. Pistikopoulos; Journal of Global Optimization; Springer-Verlag; 2007
Tutorial on separation results in process calculi via leader election problems: Maria Vigliotti, Iain Phillips, Catuscia Palamidessi; Theoretical Computer Science; Volume 388, Issues 1–3, pp.267–289; Elsevier; December, 2007
Reversing Algebraic Process Calculi: Iain Phillips, Irek Ulidowski; Journal of Logic and Algebraic Programming; Volume 73, Issues 1–2, pp.70–96; Elsevier; September, 2007
The Commercialization of Peer-to-Peer and Grid Computing: Colin Richardson, Adam Wierzbicki; Journal of Computer Communications; Special Issue on Foundations of Peer-to-Peer Computing, Elsevier; 2007
Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing: Dave Robertson; Lecture Notes in Computer Science; 2007
Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing.: Dave Robertson, "C. Walton, A. Barker, P. Besana, Y. Chen-Burger, F. Hassan, D. Lambert", Li Guo, "J.McGinnis, N. Osman, A. Bundy, F. McNeill, F. van Harmelen, C. Sierra, F. Giunchiglia"; Lecture Notes in Computer Science; 2007
Queueing models of RAID systems with maxima of waiting times: Peter G. Harrison, Soraya Zertal; Performance Evaluation; Volume 64, Issues 7–8, pp.664–689; Elsevier; August, 2007
A Workflow Portal supporting Multi-language Interoperation and Optimisation: Asif Akram, Rob Allan, Omer Rana; Concurrency and Computation: Practice and Experience; July, 2007
Harmonograms: Computers & Graphics; Volume 31, Issue 2, pp.292–300; June, 2007
Mean-variance performance optimization of response time in a tandem router network with batch arrivals: Nalan Gulpinar, Uli Harder, Peter G. Harrison, A. J. Field, Berc Rustem, Louis-François Pau; Cluster Computing; Volume 10, Issue 2, pp.203–216; Springer Verlag; June, 2007
Modeling the Effects of Toxins in Metabolic Networks: Alireza Tamaddoni Nezhad, Raphael Chaleil, Antonis Kakas, Michael Sternberg, J Nicholson, Stephen Muggleton; IEEE Engineering in Medicine and Biology; Volume 26, pp.37–46; 2007
MonoSLAM: Real-Time Single Camera SLAM: Andrew Davison, Ian Reid, N. Molton, O. Stasse; IEEE Transactions on Pattern Analysis and Machine Intelligence; Volume 29, Issue 6, pp.1052–1067; IEEE; June, 2007
QG/GA: A Stochastic Search for Progol: Stephen Muggleton, Alireza Tamaddoni Nezhad; Machine Learning; Volume 70, Issues 2–3, pp.123–133; 2007
A New Modal Approach to the Logic of Intervals: Altaf Hussain; Oxford Journals; April, 2007
Single vehicle routing with a predefined customer sequence and multiple depot returns: Polyvios Tsirimpas, Antonios Tatarakis, Ioannis Minis, Epaminondas Kyriakidis; European Journal of Operational Research; Volume 187, Issue 2, pp.483–495; Elsevier; April, 2007
Taiji variations: Yin and Yang in multiple dimensions: Cameron Browne; Computers & Graphics; Volume 31, Issue 1, pp.142–146; March, 2007
Application of Business Process Execution Language to Scientific Workflows: Asif Akram, Rob Allan, David Meredith; February, 2007
A provenly correct Translation of Fickle into Java: Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca; (ToPLaS) Transactions of Programming Languages ans Systems; Volume 2; ACM; 2007
Reuse and Abuse: Susan Eisenbach, Chris Sadler; JOT : Journal of Object Technology; Volume 6, Issue 1; ETH Swiss Federal Institute of Technology; January, 2007
Worst-case Optimal Robust Decisions for Multi-period Portfolio Optimization: Berc Rustem, Nalan Gulpinar; European Journal of Operational Research; Elsevier Science Bv; 2007
Adaptive joint detection and estimation in fading MIMO CDMA channels: A Hybrid systems approach: Harini Kulatunga, Visakan Kadirkamanathan; IEEE Transactions on Signal Processing; IEEE Signal Processing Society; 2006
A flexible model for dynamic linking in Java and C#: Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach; Theoretical Computer Science; Volume 368, Issue 1, pp.1–29; December, 2006
Agent-integrated concurrent web programming: Theodore Hong, Keith Clark; Software: Practice and Experience; John Wiley & Sons; 2006
Hybrid formulas and elementarily generated modal logics: Ian Hodkinson; Notre Dame Journal of Formal Logic; Volume 47, Issue 4, pp.443–478; Notre Dame, IN; 2006
Logical equivalence for subtyping and recursive types: Steffen van Bakel, Ugo de'Liguoro; Theory of Computing Systems; 2006
Multiple H-infinity filter based Deterministic Sequence Estimation in non-Gaussian Channels: Harini Kulatunga, Visakan Kadirkamanathan; IEEE Signal Processing Letters; IEEE Signal Processing Society; 2006
Some current issues in model checking: Michael Huth; Software Tools for Technology Transfer; Volume 8, Issue 4, pp.1–10; Springer Verlag; 2006
Spiral packing: Cameron Browne, Paul van Wamelen; Computers & Graphics; Volume 30, Issue 5, pp.834–842; December, 2006
Decomposition of Multistage Stochastic Quadratic Problems In Finanical Engineering: Panayiotis Parpas, Berc Rustem; INFORMS Journal on Computing; 2006
Abnormal deep grey matter development following preterm birth detected using deformation based morphometry: JP Boardman, SJ Counsell, Daniel Rueckert, O Capellou, Kanwal Bhatia, Paul Aljabar, JV Hajnal, J Allsop, MA Rutherford, AD Edwards; NeuroImage; Elsevier; 2006
Accuracy Guaranteed Bit-Width Optimization: Dong-U Lee, Altaf Abdul Gaffar, Chak Chung Ray Cheung, George Constantinides, Wayne Luk, Oskar Mencer; IEEE Transactions on Computer-Aided Design; Volume 25, Issue 10, pp.1990–2000; IEEE; October, 2006
Atrophy Measurements using Jacobian Integration: Comparison with the Boundary Shift Integral: RG Boyes, Daniel Rueckert, Paul Aljabar, J. L. Whitwell, J. M. Schott, DLG Hill, NC Fox; NeuroImage; Elsevier; 2006
Automatic anatomical brain MRI segmentation combining label propagation and decision fusion: R. A. Heckemann, JV Hajnal, Paul Aljabar, Daniel Rueckert, A. Hammers; NeuroImage; Elsevier; 2006
Tract-Based Spatial Statistics: Voxelwise Analysis of Multi-Subject Diffusion Data: S. M. Smith, M Jenkinson, H. Johansen-Berg, Daniel Rueckert, T. E. Nichols, C. E. Mackay, K. E. Watkins, O. Ciccarelli, M. Z. Cader, P. M. Matthews, TEJ Behrens; NeuroImage; Elsevier; 2006
A Profitable Broker in a Volatile Utility Grid: Yash Patel, Stephen McGough, John Darlington; International Transactions on Systems Science and Applications; Volume 2, Issue 2, pp.167–176; Xiaglow Research; 2006
Phytoplankton co-existence: Results from an individual-based simulation model: Enrique Nogueira, John Woods, Chris Harris, A. J. Field, Sarah Talbot; Ecological Modelling; Volume 198, Issues 1–2, pp.1–22; Elsevier; September, 2006
Supporting scientific discovery processes in Discovery Net: Jameel Syed, Moustafa Ghanem, Yike Guo; Concurrency and Computation: Practice and Experience; Volume 19, Issue 2, pp.167–179; Wiley InterScience; 2006
Distributed Computation of Transient State Distributions and Passage Time Quantiles in Large Semi-Markov Models: Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt; Future Generation Computer Systems; Volume 22, Issue 7, pp.828–837; Elsevier; August, 2006
Performance prediction of paging workloads using lightweight tracing: Ariel Burton, Paul Kelly; Future Generation Computer Systems; Volume 22, Issue 7, pp.784–793; 2006
Policy Refinement for DiffServ Quality of Service Management (2006): Arosha Bandara, Emil Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou; e-Transactions on Network and Service Management; Volume 2, Issue 2; IEEE; 2006
Thin-section CT of the lungs: Eye-tracking analysis of the visual approach to reading tiled and stacked display formats: S.M. Ellis, Xiaopeng Hu, Laura Dempere-Marco, Guang-Zhong Yang, A. Wells, D.M. Hansell; European Journal of Radiology; Volume 59, Issue 2, pp.257–264; August, 2006
Virtual Peer Communities and the Community Coordinator: Asif Akram, Rob Allan; August, 2006
A Maximum Uncertainty LDA-based approach for Limited Sample Size problems - with application to Face Recognition: Carlos Thomaz, Edson Kitani, Duncan Gillies; Journal of the Brazilian Computer Society; Volume 12, Issue 1; Brazilian Computer Society; June, 2006
Analysis of Visual Search Patterns with EMD Metric in Normalized Anatomical Space: Laura Dempere-Marco, Xiaopeng Hu, S.M. Ellis, D.M. Hansell, Guang-Zhong Yang; IEEE Transactions on Medical Imaging; Volume 25, Issue 8, pp.1011–1021; 2006
An Inexpensive 3D model for teaching local flap design on the face and head: M. Nicolaou, Guang-Zhong Yang, Ara Darzi, P.E.M Butler; The Royal College of Surgeons of England; 2006
Application of abductive ILP to learning metabolic network inhibition from temporal data: Alireza Tamaddoni-Nezhad, Raphael Chaleil, Antonis Kakas, Stephen Muggleton; Machine Learning; Springer Science+Business Media B.V.; June, 2006
Application of abductive ILP to learning metabolic network inhibition from temporal data: Alireza Tamaddoni Nezhad, Raphael Chaleil, Antonis Kakas, Stephen Muggleton; Machine Learning; Volume 64, Issue 1, pp.209–230; June, 2006
Bayesian Methods for Pharmacokinetic Models in Dynamic Contrast-Enhanced Magnetic Resonance Imaging: V.J. Schmid, B.J. Whitcher, A.R. Padhani, N.J. Taylor, Guang-Zhong Yang; IEEE Transactions on Medical Imaging; 2006
Examination of two-dimensional gel electrophoresis in the HBPP pilot studies with the new RAIN image-based gel matching technique.: Andrew Dowsey, M.J. Dunn, Guang-Zhong Yang; June, 2006
Flow and myocardial interaction - an imaging perspective: Guang-Zhong Yang, Robert Merrifield, Shareem Masood, P.J. Kilner; Philosophical Transactions of the Royal Society A; 2006
Human action recognition with spatiotemporal salient points: Antonios Oikonomopoulos, Ioannis Patras, Maja Pantic; IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics; Volume 36, Issue 3, pp.710–719; IEEE; June, 2006
Non-rigid 2D/3D Registration for Patient Specific Bronchoscopy Simulation with Statistical Shape Modelling: Phantom Validation: Fani Deligianni, Adrian Chung, Guang-Zhong Yang; IEEE Transactions on Medical Imaging; 2006
Access Control Policy Analysis Using Free Variable Tableaux: Hiroaki Kamoda, Masaki Yamaoka, S Matsuda, Krysia Broda, Morris Sloman; Information Processing Society of Japan (IPSJ)Digital Courier; Volume 2, pp.207–221; May, 2006
Leader election in rings of ambient processes: Iain Phillips, Maria Vigliotti; Theoretical Computer Science; Volume 356, Issue 3, pp.468–494; Elsevier; 2006
Mathematical applications of inductive logic programming: Simon Colton, Stephen Muggleton; Machine Learning; Springer Science+Business Media B.V.; May, 2006
Reversible Combinatory Logic: Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky; Mathematical Structures in Computer Science; Volume 16, Issue 4, pp.1–17; 2006
A Minimal Hybrid Logic for Intervals: Altaf Hussain; Journal of the IGPL; Volume 14, pp.35–62; Oxford University Press; 2006
ASC: A Stream Compiler for Computing with FPGAs: Oskar Mencer; IEEE Transactions on Computer-Aided Design; IEEE; 2006
Dynamics of Facial Expression: Recognition of Facial Actions and their Temporal Segments from Face Profile Image Sequences: Maja Pantic, Ioannis Patras; IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics; Volume 36, Issue 2, pp.433–449; IEEE; April, 2006
Negotiating socially optimal allocations of resources - an overview: Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni; Journal of Artificial Intelligence Research; Volume 25; 2006
Adaptive Cardiovascular Imaging: Challenges and Opportunities for Real-Time Processing: Andrew Dowsey, Robert Merrifield, Guang-Zhong Yang; IEEE Signal Processing Letters; 2006
Elimination of residual blood flow-related signal in 3D volume-selective TSE arterial wall imaging using velocity-sensitive phase reconstruction: L.A. Crowe, A. Varghese, RH Mohiaddin, Guang-Zhong Yang, D.N. Firmin; Journal of Magnetic Resonance Imaging; Volume 23, Issue 3; March, 2006
Exceeding Human Limits: Stephen Muggleton; Volume 440, pp.409–410; Nature Publishing Group; March, 2006
Fractal board games: Cameron Browne; Computers & Graphics; Volume 30, Issue 1, pp.126–133; March, 2006
Grid based analysis of air pollution data: Mark Richards, Moustafa Ghanem, Michelle Osmond, Yike Guo, John Hassard; Ecological Modelling; Volume 194, Issues 1–3, pp.274–286; Elsevier; March, 2006
Correlated dynamics in human printing behaviour: Uli Harder, Maya Paczuski; Physica A; Volume 361, Issue 1, pp.329–336; Elsevier; 2006
Guest Editorial: Special Section on Interaction and State-Based Modeling: Sebastian Uchitel, Manfred Broy, Ingolf Krüger, Jon Whittle; IEEE Transactions on Software Engineering; Volume 31, Issue 12; 2006
Beyond the g-factor limit in sensitivity encoding using joint histogram entropy: DJ Larkman, PG Batchelor, D Atkinson, Daniel Rueckert, JV Hajnal; Magnetic Resonance in Medicine; Volume 55, Issue 1, pp.153–160; John Wiley & Sons Inc; 2006
Complexity of monodic guarded fragments over linear and real time: Ian Hodkinson; Annals of Pure and Applied Logic; Volume 138, Issues 1–3, pp.94–125; Elsevier Science Bv; 2006
Designing a Posture Analysis System with Hardware Implementation: Jose DeFigueiredo Coutinho, Matti Juvonen, Jun Wang, Benny Lo, Wayne Luk, Oskar Mencer, Guang-Zhong Yang; Journal of VLSI Signal Processing; Kluwer; 2006
Dialectic proof procedures for assumption-based, admissible argumentation: Phan Minh Dung, Robert Kowalski, Francesca Toni; Artificial Intelligence; Volume 170, Issue 2, pp.114–159; Elsevier Science Bv; 2006
Goal and scenario validation: a fluent combination: Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee; Requirements Engineering Journal; Volume 11, pp.123–137; 2006
Investigating Phase-1 of the Dual Simplex Method: Istvan Maros; Journal of Applied Mathematics; pp.139–161; Hungarian Academy of Sciences; January, 2006
Is Morton layout competitive for large two-dimensional arrays yet?: Olav Beckmann, Thiyagalingam Jeyarajan, Paul Kelly; Concurrency and Computation: Practice and Experience; wiley; 2006
Linearly constrained global optimization and stochastic differential equations: Panayiotis Parpas, Berc Rustem; Journal of Global Optimization; Springer-Verlag; 2006
Comparing and Transforming Between Data Models via an Intermediate Hypergraph Data Model: Peter McBrien; Journal on Data Semantics; Volume 4, pp.69–109; Springer-Verlag; 2005
Diagnostic and clinical perspectives of fusion imaging in cardiology: is the total greater than the sum of its parts?: J.J. Bax, R.S. Beanlands, F.J. Klocke, J. Knuuti, A.A. Lammertsma, M.A. Schaefers, H.R Schelbert, G.K. Von Schulthess, L.J. Shaw, Guang-Zhong Yang, P.G. Camici; Heart; December, 2005
Genericity and the Pi-Calculus: Martin Berger, Kohei Honda, Nobuko Yoshida; Acta Informatica; Volume 42, Issue 2, pp.83–141; Springer-Verlag; December, 2005
Inter-study reproducibility of 3D volume selective fast spin echo sequence for quantifying carotid artery wall volume in asymptomatic subjects: A. Varghese, L.A. Crowe, RH Mohiaddin, P.D. Gatehouse, Guang-Zhong Yang, D.N. Firmin, D.J. Pennell; Atherosclerosis; Volume 183, Issue 2, pp.361–366; December, 2005
Optimizing hardware function evaluation: Dong-U Lee, Altaf Abdul Gaffar, Wayne Luk, Oskar Mencer; IEEE Transactions on Computers; IEEE; December, 2005
safeDpi: a language for controlling mobile code.: Matthew Hennessy, Julian Rathke, Nobuko Yoshida; Acta Informatica; Volume 42, Issue 4, pp.227–290; Springer Verlag; December, 2005
On finite-state approximants for probabilistic computation tree logic: Michael Huth; Theoretical Computer Science; Volume 346, Issue 1, pp.113–134; Elsevier Science Bv; 2005
Separable equilibrium state probabilities via time reversal in Markovian process algebra: Peter G. Harrison, Ting Ting Lee; Theoretical Computer Science; Volume 346, Issue 1, pp.161–182; Elsevier; November, 2005
3D volume-selective turbo spin echo for carotid artery wall imaging with navigator detection of swallowing: L.A. Crowe, J. Keegan, P.D. Gatehouse, RH Mohiaddin, A. Varghese, K. Symmonds, T.M. Cannell, Guang-Zhong Yang, D.N. Firmin; Journal of Magnetic Resonance Imaging; Volume 22, Issue 4, pp.583–588; October, 2005
A Parallel Library for Financial Engineering Applications: Philip Leong; IEEE Computer; Volume 38, Issue 10, pp.70–77; IEEE Computer Soc; October, 2005
Rep-tiles with woven horns: Cameron Browne; Computers & Graphics; Volume 29, Issue 4, pp.625–629; October, 2005
Simulation of cardiac pathologies using an electromechanical biventricular model and XMR interventional imaging: M Sermesant, KS Rhode, Gerardo Sanchez-Ortiz, O Camara, R Andriantsimiavona, S Hegde, Daniel Rueckert, P Lambiase, C Bucknall, E Rosenthal, H Delingette, DLG Hill, N Ayache, R Razavi; Medical Image Analysis; Volume 9, Issue 5, pp.467–480; Elsevier; October, 2005
Spatio-Temporal Free-Form Registration of Cardiac MR Image Sequences: Dimitrios Perperidis, RH Mohiaddin, Daniel Rueckert; Medical Image Analysis; Volume 9, Issue 5, pp.441–456; Elsevier; October, 2005
Adaptive Middleware For Context-Aware Applications: Markus Huebscher, Julie McCann; Personal and Ubiquitous Computing Journal; Springer; September, 2005
An End-to-end Workflow Pipeline for Large-scale Grid Computing: Stephen McGough, Jeremy Cohen, John Darlington, Eleftheria Katsiri, William Lee, Sofia Panagiotidi, Yash Patel; Volume 3, Issues 3–4, pp.259–281; Journal of Grid Computing, Springer; 2005
Generative and Adaptive Methods in Performance Programming: Paul Kelly, Olav Beckmann; Parallel Processing Letters; Volume 15, Issue 3, pp.239–256; September, 2005
Quantitative static analysis of distributed systems: Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky; Journal of Functional Programming; Volume 15, Issue 5, pp.1–49; Cambridge University Press; September, 2005
CLIMA VI: Conference Report: Francesca Toni, Paulo Torroni; Newsletter of the ALP; August, 2005
Event Reports: 6th International Workshop on Computational Logic in Multi-Agent Systems: Francesca Toni, Paulo Torroni; AgentLink News; August, 2005
RealityGrid: An Integrated Approach to Middleware through ICENI: Jeremy Cohen, Nathalie Furmento, Gary Kong, Anthony Mayer, Steven Newhouse, John Darlington; Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences; Volume 363, Issue 1833, pp.1817–1827; Royal Society; August, 2005
Teaching Introductory Artificial Intelligence Using a Simple Agent Framework: Maja Pantic, Reinier Zwitserloot, Robbert-Jan Grootjans; IEEE Transactions on Education; Volume 48, Issue 3, pp.382–390; IEEE; August, 2005
A practical approach towards accurate dense 3D depth recovery for robotic laparoscopic surgery.: Danail Stoyanov, Ara Darzi, Guang-Zhong Yang; Computer Aided Surgery; Volume 4, Issue 10; July, 2005
Determining and verifying good policies for cloned teleo-reactive agents: Krysia Broda, Christopher Hogger; Int. Journal of Computer Systems Science and Engineering; Volume 20, Issue 4, pp.249–258; CRL Publishing Ltd; July, 2005
Three-dimensional in vivo characterization of calcification in native valves and in Freestyle versus homograft aortic valves: G. Melina, Paramate Horkaew, M. Amrani, M.B. Rubens, M.H. Yacoub, Guang-Zhong Yang; Journal of thoracic and cardiovascular surgery; Volume 130, Issue 1, pp.41–47; July, 2005
Blurring the boundaries: scenario-based simulation in a clinical setting: R.L. Kneebone, J. Kidd, D. Nestel, A. Barnet, Benny Lo, Rachel King, Guang-Zhong Yang, R. Brown; Medical Education; Volume 39, Issue 6, pp.580–587; June, 2005
CCLRC Portal Infrastructure to support Research Facilities: Asif Akram, David Meredith, Rob Allan; Concurrency and Computation: Pract. Exper. 2007; pp.751–766; June, 2005
Extraction of Visual Features with Eye Tracking for Saliency Driven 2D/3D Registration: Adrian Chung, Guang-Zhong Yang; Image and Vision Computing Journal; Volume 23, pp.999–1008; 2005
Interstudy reproducibility of quantitative perfusion cardiovascular magnetic resonance: AG Elkington, P.D. Gatehouse, Nicholas Ablitt, Guang-Zhong Yang, D.N. Firmin, D.J. Pennell; Journal of Cardiovascular Magnetic Resonance; Volume 7; 2005
Making the Grid Predictable through Reservations and Performance Modeling: Stephen McGough, Ali Afzal, John Darlington, Nathalie Furmento, Anthony Mayer, Laurie Young; The Computer Journal; Volume 48, Issue 3, pp.358–368; Oxford Journals; 2005
Measuring the confinement of probabilistic systems: Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky; Theoretical Computer Science; Volume 340, Issue 1, pp.3–56; June, 2005
Web Services in Life Sciences: Vasa Curcin, Moustafa Ghanem, Yike Guo; Drug Discov Today; Volume 10, Issue 12, pp.865–871; June, 2005
Automated Conjecture Making in Number Theory using HR, Otter and Maple: Simon Colton; Journal of Symbolic Computation; Volume 39, Issue 5, pp.593–615; Elsevier; May, 2005
Iterative Convergence of Passage-time Densities in Semi-Markov Performance Models: Jeremy T. Bradley, Helen Wilson; Performance Evaluation; Volume 60, Issues 1–4, pp.237–254; Elsevier; May, 2005
Refinement is complete for implementations: Michael Huth; Formal Aspects of Computing; Volume 17, Issue 2, pp.113–137; Springer; 2005
Assessment of shape variation of the levator ani with optimal scan planning and statistical shape modeling: Su-Lin Lee, Paramate Horkaew, Warren Caspersz, Ara Darzi, Guang-Zhong Yang; Journal of computer assisted tomography; Volume 29, Issue 2, pp.154–162; April, 2005
Patient-specific bronchoscopy visualization through BRDF estimation and disocclusion correction: Adrian Chung, Fani Deligianni, P. Shah, A. Wells, Guang-Zhong Yang; IEEE Trans Med Imaging; April, 2005
Probabilistic Lambda-calculus and Quantitative Program Analysis: Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky; Journal of Logic and Computation; Volume 15, Issue 2, pp.159–179; Oxford University Press; April, 2005
Comparison between three-dimensional volume-selective turbo spin-echo imaging and two-dimensional ultrasound for assessing carotid artery structure and function: Ben Ariff, L.A. Crowe, D.N. Firmin, Alun D. Hughes, J. Keegan, RH Mohiaddin, Simon A. McG. Thom, Guang-Zhong Yang; Journal of Magnetic Resonance Imaging; Volume 21, Issue 3; March, 2005
Synchronised video and motion analysis for the assessment of procedures in the operating theatre: Aristotelis Dosis, Fernando Bello, Rajesh Aggarwal, Krishna Moorthy, Yaron Munz, Duncan Gillies, Ara Darzi; Archives of Surgery; Volume 140, pp.293–299; American Medica Association; March, 2005
Extracting reusable knowledge from portal activity: Christopher Hogger, Frank Kriwaczek; WSEAS Transactions on Computers; Volume 4, Issue 2, pp.83–89; World Science and Engineering Academy and Society; February, 2005
Interstudy reproducibility of three-dimensional volume-selective fast spin echo magnetic resonance for quantifying carotid artery wall volume: A. Varghese, L.A. Crowe, RH Mohiaddin, P.D. Gatehouse, Guang-Zhong Yang, D.M. Nott, J.M. McCall, D.N. Firmin, D.J. Pennell; Journal of Magnetic Resonance Imaging; Volume 21, Issue 2; February, 2005
Semi-Markov PEPA: Modelling with Generally Distributed Actions: Jeremy T. Bradley; International Journal of Simulation; Volume 6, Issues 3–4, pp.43–51; IJSIM; February, 2005
Canonical varieties with no canonical axiomatisation: Ian Hodkinson, Yde Venema; Transactions of the American Mathematical Society; Volume 357, Issue 11, pp.4579–4605; 2005
Fast generation of digitally reconstructed radiographs using attenuation fields with application to 2D-3D image registration: DB Russakoff, T Rohlfing, K Mori, Daniel Rueckert, A Ho, JR Adler, CR Maurer; IEEE Transactions on Medical Imaging; Volume 24, Issue 11, pp.1441–1454; Ieee-Inst Electrical Electronics Engineers Inc; 2005
Fluent-based animation: exploiting the relation between goals and scenarios for requirements validation: Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee; Requirements Engineering Journal; Volume 10, Issue 4; Springer; 2005
Globally convergent interior-point algorithm for nonlinear programming: I Akrotirianakis, Berc Rustem; Journal of Optimization Theory and Applications; Volume 125, Issue 3; 2005
Labelled transition systems as a Stone space: Michael Huth; Logical Methods in Computer Science; Volume 1, Issue 1, pp.1–28; arxiv.org; January, 2005
On the computational strength of pure ambient calculi: Sergio Maffeis, Iain Phillips; Theoretical Computer Science; Volume 330, Issue 3, pp.501–551; 2005
Parallel methods for the generation of partitioned inverted files: A MacFarlane, Julie McCann, SE Robertson; Volume 57, Issue 5; Emerald Group Publishing Limited; 2005
A Hybrid Abductive Inductive Proof Procedure: Oliver Ray, Krysia Broda, Alessandra Russo; Logic Journal of the IGPL; Volume 12, Issue 5, pp.371–397; Oxford University Press; December, 2004
Cantor knots: Cameron Browne; Computers & Graphics; Volume 29, Issue 6, pp.998–1003; December, 2004
Domain Theory and Differential Calculus (functions of one variable): Abbas Edalat, André Lieutier; Mathematical Structures in Computer Science; Volume 14, Issue 6, pp.771–802; Cambridge University Press; December, 2004
Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis: Chris Hankin, Paul Kelly, David Pearce; Software Quality Journal; Volume 12, Issue 4, pp.311–337; Springer; December, 2004
ProteomeGRID: towards a high-throughput proteomics pipeline through opportunistic cluster image computing for two-dimensional gel electrophoresis: Andrew Dowsey, M.J. Dunn, Guang-Zhong Yang; Proteomics; Volume 4, Issue 12, pp.3800–3812; December, 2004
Spiral phase velocity mapping of left and right coronary artery blood flow: correction for through-plane motion using selective fat-only excitation: J. Keegan, P.D. Gatehouse, Guang-Zhong Yang, D.N. Firmin; Journal of Magnetic Resonance Imaging; Volume 20, Issue 6, pp.953–960; December, 2004
Network Traffic Behaviour in Switched Ethernet Systems: A. J. Field, Uli Harder, Peter G. Harrison; Performance Evaluation; Volume 58, Issues 2–3, pp.243–260; Elsevier; November, 2004
Respiratory reordered UNFOLD perfusion imaging: Nicholas Ablitt, P.D. Gatehouse, D.N. Firmin, Guang-Zhong Yang; Journal of Magnetic Resonance Imaging; Volume 20, Issue 5, pp.817–825; November, 2004
Analysis of 3D myocardial motion in tagged MR images using nonrigid image registration: Raghavendra Chandrashekara, RH Mohiaddin, Daniel Rueckert; IEEE Transactions on Medical Imaging; Volume 23, Issue 10, pp.1245–1250; October, 2004
Predictive Cardiac Motion Modeling and Correction with PLSR: Nicholas Ablitt, Jianxin Gao, J. Keegan, L. Stegger, D.N. Firmin, Guang-Zhong Yang; IEEE Transactions on Medical Imaging; Volume 23, Issue 10, pp.1315–1324; October, 2004
Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model: Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt; IEE Proceedings - Software; Volume 151, Issue 5, pp.232–239; IEE; October, 2004
Strong normalisation in the pi -calculus.: Nobuko Yoshida, Martin Berger, Kohei Honda; Information and Computation; Volume 191, Issue 2, pp.145–202; Elsevier; September, 2004
Trust Management in Internet and Pervasive Systems: Morris Sloman; IEEE Intelligent Systems; Volume 19, Issue 5, pp.77–79; IEEE Computer Society; September, 2004
Glagov remodeling of the atherosclerotic aorta demonstrated by cardiovascular magnetic resonance: the CORDA asymptomatic subject plaque assessment research (CASPAR) project: RH Mohiaddin, E.D. Burman, S.K. Prasad, A. Varghese, R.S. Tan, S.A. Collins, R.L. Hughes, P.D. Gatehouse, P. Jhooti, D.B. Longmore, Guang-Zhong Yang, D.N. Firmin, D.J. Pennell; Journal of Cardiovascular Magnetic Resonance; Volume 6, Issue 2, pp.517–525; 2004
Intersection types for explicit substitutions: Stéphane Lengrand, Pierre Lescanne, Dan Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel; Information and Computation; Volume 189, Issue 1, pp.17–42; Elsevier; 2004
Measurement and modelling of self-similar traffic in computer networks: A. J. Field, Uli Harder, Peter G. Harrison; IEE Proceedings - Communications; Volume 151, Issue 4, pp.355–363; IEE; August, 2004
Patient-specific bronchoscope simulation with pq-space-based 2D/3D registration: Fani Deligianni, Adrian Chung, Guang-Zhong Yang; Computer Aided Surgery; Volume 9, Issue 5, pp.215–226; August, 2004
The SOCS project: Fariba Sadri, Francesca Toni; ALP Newsletter; 2004
Uniformization and Hypergraph Partitioning for the Distributed Computation of Response Time Densities in Very Large Markov Models: Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt; Journal of Parallel and Distributed Computing; Volume 64, Issue 8, pp.908–920; Elsevier; August, 2004
Accurate assessment of the arterial input function during high-dose myocardial perfusion cardiovascular magnetic resonance: P.D. Gatehouse, AG Elkington, Nicholas Ablitt, Guang-Zhong Yang, D.J. Pennell, D.N. Firmin; Journal of Magnetic Resonance Imaging; Volume 20, Issue 1, pp.39–45; July, 2004
Compositional reversed Markov processes, with applications to G-networks: Peter G. Harrison; Performance Evaluation; Volume 57, Issue 3, pp.379–408; Elsevier; July, 2004
Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models: Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen Wilson; Linear Algebra and Its Applications; Volume 386, pp.311–334; Elsevier; July, 2004
Intra- and interstudy reproducibility of coronary artery diameter measurements in magnetic resonance coronary angiography: J. Keegan, Paramate Horkaew, T.J. Buchanan, T.S. Smart, Guang-Zhong Yang, D.N. Firmin; Journal of Magnetic Resonance Imaging; Volume 20, Issue 1, pp.160–166; July, 2004
On-line automated detection of cerebral embolic signals using a wavelet based system: Salman Marvasti, Duncan Gillies, Farokh Marvasti, Hugh Markus; Ultrasound in Medicine and Biology; Volume 30, Issue 5, pp.647–653; Elsevier; 2004
Policy-based Dynamic Reconfiguration of Mobile-Code Applications: Rebecca Montanari, Emil Lupu, Cesare Stefanelli; Computer; Volume 37, Issue 7; July, 2004
Reversed processes, product forms and a non-product form: Peter G. Harrison; Linear Algebra and Its Applications; Volume 386, pp.359–381; Elsevier; July, 2004
Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalising: Steffen van Bakel; Notre Dame Journal of Formal Logic; Volume 45; 2004
Erdos graphs resolve Fine's canonicity problem: Robert Goldblatt, Ian Hodkinson, Yde Venema; Bulletin of Symbolic Logic; Volume 10, Issue 2, pp.186–208; June, 2004
Facial Action Recognition for Facial Expression Analysis from Static Face Images: Maja Pantic, Leon Rothkrantz; IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics; Volume 34, Issue 3, pp.1449–1461; IEEE; June, 2004
Mathematics for the exploration of requirements: Michael Huth; SIGCSE Bulletin; Volume 36, Issue 2, pp.34–39; ACM Press; June, 2004
Applying connectionist modal logics to distributed knowledge representation problems: Artur dAvila Garcez, Luis Lamb, Krysia Broda, Dov Gabbay; International Journal on Artificial Intelligence Tools; Volume 13, Issue 1, pp.115–140; March, 2004
A Framework for Contextual Mediation in Mobile and Ubiquitous Computing applied to the Context-Aware Adaptation of Maps: Daniel Chalmers, Naranker Dulay, Morris Sloman; Personal and Ubiquitous Computing; Volume 8, Issue 1, pp.1–18; February, 2004
A New Covariance Estimate for Bayesian Classifiers in Biometric Recognition: Carlos Thomaz, Duncan Gillies, Raul Feitosa; IEEE Transactions on Circuits and Systems for Video Technology; Volume 14, Issue 2, pp.214–223; IEEE; February, 2004
A domain equation for refinement of partial systems: Michael Huth, Radha Jagadeesan, David Schmidt; Mathematical Structures in Computer Science; Volume 14, Issue 4; January, 2004
All normal extensions of S5-squared are finitely axiomatizable: Nikoloz Bezhanishvili, Ian Hodkinson; Studia Logica; Volume 78, pp.443–457; 2004
Approximate non-interference: Christopher Hogger; Journal of Computer Security; Volume 12, Issue 1, pp.37–82; 2004
Approximate Non-Interference: Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky; Journal of Computer Security; Volume 12, Issue 1, pp.37–81; 2004
Comparison of spiral and FLASH phase velocity mapping, with and without breath-holding, for the assessment of left and right coronary artery blood flow velocity: J. Keegan, P.D. Gatehouse, RH Mohiaddin, Guang-Zhong Yang, D.N. Firmin; Journal of Magnetic Resonance Imaging; Volume 19, Issue 1, pp.40–49; January, 2004
Functional genomic hypothesis generation and experimentation by a robot scientist: Christopher Bryant, Ffion Jones, Douglas Kell, Ross King, Stephen Muggleton, Stephen Oliver, Philip Reiser, Kenneth Whelan; Nature; Volume 427; Nature Publishing Group; January, 2004
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios: Sebastian Uchitel, Jeff Kramer, Jeff Magee; ACM Transactions on Software Engineering and Methodology; Volume 13, Issue 1; 2004
On cost-efficiency of the global container shipping network: Dongping Song, Jie Zhang, Jonathan carter, A. J. Field, A. James Marshall, John Polak, Kimberley Schumacher, Proshun Sinha-Ray, John Woods; Maritime Policy & Management; Volume 32, Issue 1, pp.15–30; 2004
Parallel computing for passage retrieval: A MacFarlane, Julie McCann, SE Robertson; Volume 56, Issue 4; 2004
Post-tax optimization with stochastic programming: MA Osorio, Nalan Gulpinar, Berc Rustem, R Settergren; European Journal of Operational Research; Volume 157, Issue 1; 2004
Registration-based interpolation: GP Penney, JA Schnabel, Daniel Rueckert, MA Viergever, WJ Niessen; IEEE Transactions on Medical Imaging; Volume 23, Issue 7, pp.922–926; 2004
Simulation and optimization approaches to scenario tree generation: Nalan Gulpinar, Berc Rustem, R Settergren; Journal of Economic Dynamics and Control; Volume 28, Issue 7; 2004
Spatial transformation of motion and deformation fields using nonrigid registration: Anil Rao, Raghavendra Chandrashekara, Gerardo Sanchez-Ortiz, RH Mohiaddin, Paul Aljabar, JV Hajnal, BK Puri, Daniel Rueckert; IEEE Transactions on Medical Imaging; Volume 23, Issue 9, pp.1065–1076; 2004
Tax impact on multi-stage mean-variance portfolio allocation: MA Osorio, Nalan Gulpinar, Berc Rustem; International Transactions in Operational Research; Volume 11, Issue 5, pp.535–554; 2004
Akron: Connections in a Higher Dimension: Cameron Browne; Abstract Games Magazine; Volume 1, Issue 14; December, 2003
Modelling the world in real time: how robots engineer information: Andrew Davison; Philosophical Transactions of the Royal Society A; Volume 361, Issue 1813, pp.2875–2890; Royal Society; December, 2003
The influence of inflow boundary conditions on intra left ventricle flow predictions: Q. Long, Robert Merrifield, Guang-Zhong Yang, P.J. Kilner, D.N. Firmin, X.Y. Xu; Journal of Biomechanical Engineering; Volume 125, Issue 6, pp.922–927; December, 2003
The discovery net system for high throughput bioinformatics: Anthony Rowe, Dimitrios Kalaitzopolous, Michelle Osmond, Moustafa Ghanem, Yike Guo; Bioinformatics; Volume 19, pp.225–231; Oxford Journals; 2003
The role of cardiovascular magnetic resonance in the non-invasive imaging of the atherosclerotic plaque: A. Varghese, Marcus Ellington, Guang-Zhong Yang, D.J. Pennell; The International Journal of Cardiovascular Imaging (formerly Cardiac Imaging); Volume 19, Issue 5, pp.433–435; October, 2003
An adaptive policy-based framework for network services management: Leonidas Lymberopoulos, Emil Lupu, Morris Sloman; Journal of Network and Systems Management; Volume 11, Issue 3, pp.277–303; Plenum Press; September, 2003
Hot Spot Detection Based on Feature Space Representation of Visual Search: Xiaopeng Hu, Laura Dempere-Marco, Guang-Zhong Yang; IEEE Transactions on Medical Imaging; Volume 22, Issue 9, pp.1152–1162; September, 2003
Automatic construction of 3-D statistical deformation models of the brain using nonrigid registration: Daniel Rueckert, Alex Frangi, JA Schnabel; IEEE Transactions on Medical Imaging; Volume 22, Issue 8, pp.1014–1025; August, 2003
The role of bioinformatics in two-dimensional gel electrophoresis: Andrew Dowsey, M.J. Dunn, Guang-Zhong Yang; Proteomics; Volume 3, Issue 8, pp.1567–1596; August, 2003
Obstructive Lung Diseases: Texture Classification for Differentiation at CT: François Chabat, Guang-Zhong Yang, D.M. Hansell; Radiology; Volume 228, Issue 3, pp.871–877; July, 2003
Cylindrical Relief Texture Mapping: Mohammed Elhelw, Guang-Zhong Yang; Volume 11, Issue 1, pp.125–132; 2003
Using Mixture Covariance Matrices to Improve Face and Facial Expression Recognitions: Carlos Thomaz, Raul Feitosa, Duncan Gillies; Pattern Recognition Letters; Volume 24, pp.2159–2165; Elsevier; 2003
Vector-valued image restoration with application to magnetic resonance velocity imaging: Y.H.P Ng, Guang-Zhong Yang; Volume 11, Issue 2, pp.338–345; 2003
Volume Selective 3D Turbo Spin Echo Imaging for Vascular Wall Imaging and Distensibility Measurement: L.A. Crowe, P.D. Gatehouse, Guang-Zhong Yang, RH Mohiaddin, A. Varghese, Clare Charrier, J. Keegan, D.N. Firmin; Journal of Magnetic Resonance Imaging; Volume 17, Issue 5, pp.572–580; May, 2003
An approximate solution of PEPA models using component substitution: Nigel Thomas, Jeremy T. Bradley, David Thornley; IEE Proceedings - Computers and Digital Techniques; Volume 150, Issue 2, pp.67–74; March, 2003
Reduced k-Space Encoding for Dual Contrast TrueFISP Imaging: Robert Merrifield, J. Keegan, D.N. Firmin, Guang-Zhong Yang; Journal of Magnetic Resonance Imaging; Volume 49, Issue 3, pp.595–598; March, 2003
Alias and Union Types for Delegation: Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini; Annals of Mathematics, Computing and Teleinformatics; Volume 1, pp.1–18; February, 2003
Combining Abductive Reasoning and Inductive Learning to Evolve Requirements Specifications (2003): Artur d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer; Volume 150, Issue 1, pp.25–38; IEE; February, 2003
Synthesis of behavioral models from scenarios: Sebastian Uchitel, Jeff Kramer, Jeff Magee; IEEE Transactions on Software Engineering; Volume 29, Issue 2, pp.99–115; IEEE Computer Society; February, 2003
Abductive logic programming for communication and negotiation amongst agents (Available online): Fariba Sadri, Francesca Toni; ALP Newsletter; 2003
A generalized dual phase-2 simplex algorithm: Istvan Maros; European Journal of Operational Research; Volume 149, Issue 1, pp.1–16; North-Holland; 2003
A general pricing scheme for the simplex method: Istvan Maros; Annals of Operations Research; Volume 124, Issues 1–4, pp.193–203; Kluwer Academic Publishers; 2003
A new blocking problem from Java-based schedulers: Peter G. Harrison, Catalina Lladó; Performance Evaluation; Volume 51, pp.229–246; Elsevier; January, 2003
A parallel algorithm for semi-infinite programming: Stanislav Zakovic, Berc Rustem, SP Asprey; Computational Statistics & Data Analysis; Volume 44, Issues 1–2; 2003
A piecewise linear dual phase-1 algorithm for the simplex method: Istvan Maros; Computational Optimization and Applications; Volume 26, Issue 1, pp.63–81; Kluwer Academic Publishers; 2003
BabyJ: from object based to class based programming via types: Christopher Anderson, Sophia Drossopoulou; Electronic Notes in Theoretical Computer Science; Volume 82, Issue 8; 2003
Contextual Mediation Enables Appropriate Data Selection: Daniel Chalmers, Morris Sloman, Naranker Dulay; ERCIM News; Volume 54; 2003
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate: Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, Paulo Torroni; Annals of Mathematics and Artificial Intelligence; Volume 37, Issues 1–2, pp.65–91; Springer Science+Business Media B.V.; 2003
Coordinating components in middleware systems: Matthias Radestock, Susan Eisenbach; Concurrency and Computation: Practice & Experience; Volume 15, Issue 13; 2003
Finite conformal hypergraph covers and Gaifman cliques in finite structures: Ian Hodkinson, Martin Otto; Bulletin of Symbolic Logic; Volume 9, Issue 3, pp.387–405; 2003
Linearisability on Datalog programs: Foto Afrati, Manolis Gergatsoulis, Francesca Toni; Theoretical Computer Science; Volume 308, Issues 1–3, pp.199–226; Elsevier; 2003
Normalization, Approximation, and Semantics for Combinator Systems: Steffen van Bakel, Maribel Fernández; Theoretical Computer Science; Volume 290, pp.975–1019; Elsevier; January, 2003
Progress towards patient-specific computational flow modeling of the left heart via combination of magnetic resonance imaging with computational fluid dynamics: Nikoo R. Saber, Nigel B. Wood, A. D. Gosman, Robert Merrifield, Guang-Zhong Yang, Clare Charrier, P.D. Gatehouse, D.N. Firmin; Annals of Biomedical Engineering; Volume 31, Issue 1, pp.42–52; January, 2003
Registration and tracking to integrate X-ray and MR images in an XMR facility: KS Rhode, DLG Hill, AD Edwards, J Hipwell, Daniel Rueckert, Gerardo Sanchez-Ortiz, S Hegde, V Rahunathan, R Razavi; IEEE Transactions on Medical Imaging; Volume 22, Issue 11, pp.1369–1378; 2003
Report on the 4th international conference on mobile data management: E Panos, K Chrysanthis, Morris Sloman, B Zaslavsky; SIGMOD Record; Volume 23, Issue 3; 2003
Semi-infinite programming and applications to minimax problems: Stanislav Zakovic, Berc Rustem; Annals of Operations Research; Volume 124, Issues 1–4; 2003
The automatic discovery of structural principles describing protein fold space: Adrian P Cootes, Stephen Muggleton, Michael Sternberg; The Journal of Molecular Biology; January, 2003
Turning back time in Markovian process algebra: Peter G. Harrison; Theoretical Computer Science; Volume 290, Issue 3, pp.1947–1986; Elsevier; January, 2003
Automatic scientific text classification using local patterns: KDD CUP 2002 (task 1): Moustafa Ghanem, Yike Guo, Huma Lodhi, Yong Zhang; ACM SIGKDD Explorations Newsletter; Volume 4, Issue 2, pp.95–96; ACM Press; December, 2002
ICENI: Optimisation of component applications within a Grid environment: Nathalie Furmento, Anthony Mayer, Stephen McGough, Steven Newhouse, A. J. Field, John Darlington; Parallel Computing; Volume 28, Issue 12, pp.1753–1772; Elsevier Science Bv; December, 2002
Ordered SOS process languages for branching and eager bisimulations: Irek Ulidowski, Iain Phillips; Information and Computation; Volume 178, Issue 1, pp.180–213; Elsevier; 2002
Automatic construction of multiple-object three-dimensional statistical shape models: application to cardiac modeling: Alex Frangi, Daniel Rueckert, JA Schnabel, WJ Niessen; IEEE Transactions on Medical Imaging; Volume 21, Issue 9, pp.1151–1166; IEEE; September, 2002
Long-term use of contraceptive depot medroxyprogesterone acetate in young women impairs arterial endothelial function assessed by cardiovascular magnetic resonance: M.B. Sorensen, P. Collins, P.J.L. Ong, C.M. Webb, C.S. Hayward, E.A. Asbury, P.D. Gatehouse, AG Elkington, Guang-Zhong Yang, A. Kubba, D.J. Pennell; Circulation; Volume 106, Issue 13, pp.1646–1651; September, 2002
Virtual Tagging: numerical considerations and phantom validation: Shareem Masood, Jianxin Gao, Guang-Zhong Yang; IEEE Transactions on Medical Imaging; Volume 21, Issue 9, pp.1123–1131; September, 2002
Foundation of a Computable Solid Modelling: Abbas Edalat, André Lieutier; Theoretical Computer Science; Volume 284, Issue 2, pp.319–345; Elsevier; July, 2002
Simultaneous Localization and Map-Building Using Active Vision: Andrew Davison, David W Murray; IEEE Transactions on Pattern Analysis and Machine Intelligence; Volume 24, Issue 7, pp.865–880; IEEE Computer Society; July, 2002
The Use of Visual Search for Knowledge Gathering in Image Decision Support: Laura Dempere-Marco, Xiaopeng Hu, S.L.S. MacDonald, S.M. Ellis, D.M. Hansell, Guang-Zhong Yang; IEEE Transactions on Medical Imaging; Volume 21, Issue 7, pp.741–754; July, 2002
Abnormal subendocardial perfusion in cardiac syndrome-X detected by cardiovascular magnetic resonance: J.R. Panting, P.D. Gatehouse, Guang-Zhong Yang, F. Grothues, D.N. Firmin, P. Collins, D.J. Pennell; The New England Journal of Medicine; Volume 346, Issue 25, pp.1948–1953; June, 2002
A Microcoded Elliptic Curve Processor using FPGA Technology: Philip Leong; IEEE Transactions on VLSI Systems; Volume 10, Issue 5, pp.550–559; May, 2002
Assigning Types to Processes: Nobuko Yoshida, Matthew Hennessy; Information and Computation; Volume 174, Issue 2, pp.143–179; Springer Verlag; May, 2002
Glow discharge in microfluidic chips for visible analog computing: Darwin R. Reyes, Moustafa Ghanem, Andreas Manz, George M. Whitesides; Lab on a Chip; Volume 2, Issue 2, pp.113–116; Royal Society of Chemsitry; April, 2002
Morphodynamics of flow through sinuous curvatures of the heart: P.J. Kilner, Guang-Zhong Yang, D.N. Firmin; Biorheology; Volume 39, Issue 3, pp.409–417; 2002
Visual Search: Psychophysical Models and Practical Applications: Guang-Zhong Yang, Laura Dempere-Marco, Xiaopeng Hu, Anthony Rowe; Image and Vision Computing Journal; Volume 20, Issue 4, pp.291–305; April, 2002
Automatic MRI Adipose Tissue Mapping Using Overlapping Mosaics: Guang-Zhong Yang, S. Myerson, François Chabat, D.J. Pennell, D.N. Firmin; MAGMA Magnetic resonance materials in physics, biology and medicine; Volume 14, Issue 1, pp.39–44; March, 2002
Coronary artery motion with the respiratory cycle during breath-holding and free-breathing: implications for slice-followed coronary artery imaging: J. Keegan, P.D. Gatehouse, Guang-Zhong Yang, D.N. Firmin; Magnetic Resonance in Medicine; Volume 47, Issue 3, pp.476–481; March, 2002
Labelled Natural Deduction for Conditional Logic of Normality.: Krysia Broda, Luis Lamb, Alessandra Russo, Dov Gabbay; Logic Journal of the IGPL; Volume 10, pp.123–163; Oxford University Press; March, 2002
More Dynamic Object Re-classification: FickleII: Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini; ACM Transactions On Programming Languages and Systems; pp.153–191; ACM; March, 2002
Security and management policy specification: Morris Sloman, Emil Lupu; IEEE Network; Volume 16, Issue 2, pp.10–19; March, 2002
Assessment of reactive hyperaemia using real time zonal echo-planar flow imaging: RH Mohiaddin, P.D. Gatehouse, J.C. Moon, M. Youssuffidin, Guang-Zhong Yang, D.N. Firmin, D.J. Pennell; Journal of Cardiovascular Magnetic Resonance; Volume 4, Issue 2, pp.283–287; February, 2002
Intersection Types for lambda-Trees: Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries; Theoretical Computer Science; Volume 272, Issues 1–2, pp.3–40; Elsevier; February, 2002
Advances in design and implementation of optimization software: Istvan Maros; European Journal of Operational Research; Volume 140, Issue 2, pp.322–337; Elsevier Science Bv; 2002
ICENI: Optimisation of Component Applications within a Grid Environment: Nathalie Furmento, Anthony Mayer, Stephen McGough, Steven Newhouse, A. J. Field, John Darlington; Parallel Computing; Volume 28, Issue 12, pp.1753–1772; 2002
Implied scenario detection in the presence of behaviour constraints: Sebastian Uchitel, Jeff Kramer, Jeff Magee; Electronic Notes in Theoretical Computer Science; Volume 65, Issue 7; 2002
On the asymptotic behaviour of closed multiclass queueing networks: Sergio Coury, Peter G. Harrison; Performance Evaluation; Volume 47, pp.131–138; Elsevier; January, 2002
On the computational complexity of assumption-based argumentation for default reasoning: Yannis Dimopoulos, Bernhard Nebel, Francesca Toni; Artificial Intelligence; Volume 141, Issues 1–2, pp.57–78; Elsevier Science Bv; 2002
Strongly representable atom structures of relation algebras: Robin Hirsch, Ian Hodkinson; Volume 130, Issue 6, pp.1819–1831; 2002
The MM CPP/GE/c G-Queue: sojourn time distribution: Peter G. Harrison; Queueing Systems; Volume 41, pp.271–298; Kluwer Academic Publishers; January, 2002
Two Triads and Triage: New York, 11 September 2001: Colin Richardson; Dissent; Issue 7, pp.17–21; 2002
THEMIS: Component dependence metadata in adaptive parallel computations: Paul Kelly, Olav Beckmann, A. J. Field, Scott Baden; Parallel Processing Letters; Volume 11, Issue 4, pp.455–470; World Scientific; December, 2001
An interior point algorithm for computing saddle points of constrained continuous minimax: Berc Rustem, Stanislav Zakovic, CC Pantelides; Annals of Operations Research; Volume 99, pp.59–77; Springer-Verlag; 2001
Dual contrast trueFISP imaging for left ventricular segmentation: Robert Merrifield, J. Keegan, D.N. Firmin, Guang-Zhong Yang; Magnetic Resonance in Medicine; Volume 46, Issue 5, pp.939–945; November, 2001
Making Inconsistency Respectable in Software Development.: Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo; Journal of Systems and Software; Volume 56, Issue 11; Elsevier Science Bv; November, 2001
Tracking local volume 3D coronary artery imaging: P.D. Gatehouse, J. Keegan, Guang-Zhong Yang, D.N. Firmin; Magnetic Resonance in Medicine; Volume 46, Issue 5, pp.1031–1036; November, 2001
Performance analysis of three implementation strategies for distributed lock management: William J. Knottenbelt, Soraya Zertal, Peter G. Harrison; IEE Proceedings - Computers and Digital Techniques; Volume 158, Issues 4–5, pp.176–186; IEE; September, 2001
A Markov Modulated Multi-server Queue with Negative Customers - The MM CPP/GE/c/L G-Queue: Ram Chakka, Peter G. Harrison; Acta Informatica; Volume 37, Issues 11–12, pp.881–919; Springer-Verlag; August, 2001
Multi-resolution Image Registration for 2D Gel Electrophoresis. Electrophoresis: S. Veeser, M.J. Dunn, Guang-Zhong Yang; Electrophoresis; pp.856–870; July, 2001
Aspect and Interval Tense Logic: Miguel Leith, Jim Cunningham; Linguistics and Philosophy; Volume 24, Issue 3, pp.331–381; June, 2001
ERS Transform for automated detection of bronchial abnormalities on CT: François Chabat, Xiaopeng Hu, D.M. Hansell, Guang-Zhong Yang; IEEE Transactions on Medical Imaging; Volume 20, Issue 9, pp.942–952; 2001
A Simple Recursive Tesselator: Adrian Chung, A. J. Field; Journal of Graphics Tools; Volume 5, Issue 3, pp.1–9; Academic Press; 2001
A biomechanical Model of the Upper Airways for Simulating Laryngoscopy: Maria Andreia Rodrigues, Duncan Gillies, Peter Charters; Computer Methods in Biomechanics and Biomedical engineering; Volume 4, pp.127–148; Taylor and Francis; 2001
Towards an Axiomatic Theory of Consciousness: Jim Cunningham; Logic Journal of the IGPL; Volume 9, Issue 2, pp.341–347; March, 2001
Echo-planar magnetic resonance myocardial perfusion imaging: Parametric map analysis and comparison with thallium SPECT: J.R. Panting, P.D. Gatehouse, Guang-Zhong Yang, M. Jerosch-Herold, N. Wilke, D.N. Firmin, D.J. Pennell; Journal of Magnetic Resonance Imaging; Volume 13, Issue 2, pp.192–200; February, 2001
A comment on the shape of the solution set for systems of interval linear equations with dependent coefficients: Götz Alefeld, Vladik Kreinovich, Günter Mayer, Michael Huth; Reliable Computing; Volume 7, Issue 3, pp.275–277; Springer Verlag; January, 2001
An outer approximation based branch and cut algorithm for convex 0-1 MINLP problems: I Akrotirianakis, Berc Rustem, Istvan Maros; Optimization Methods & Software; Volume 16, Issues 1–4; 2001
Automated information management via abductive logic agents: Francesca Toni; Telematics and Informatics; Volume 18, Issue 1, pp.89–104; Elsevier Science Bv; 2001
Flexible Security Policies for Mobile Agent Systems: Rebecca Montanari, Cesare Stefanelli, Naranker Dulay; Microprocessors and Microsystems; Volume 25, Issue 2; 2001
Motion Analysis in the Assessment of Surgical Skill: Vivek Datta, Sean Mackay, Ara Darzi, Duncan Gillies; Computer Methods in Biomechanics and Biomedical engineering; Volume 4, pp.515–523; Taylor and Francis; 2001
Symbolic knowledge extraction from trained neural networks: a sound approach: Artur dAvila Garcez, Krysia Broda, Dov Gabbay; Artificial Intelligence; Volume 125, Issues 1–2, pp.155–207; Elsevier; January, 2001
The MMCPP/GE/c Queue: Ram Chakka, Peter G. Harrison; Queueing Systems; Volume 38, Issue 3, pp.307–326; Kluwer; 2001
Using photo-consistency to register 2D optical images of the human face to a 3D surface model: MJ Clarkson, Daniel Rueckert, DLG Hill, DJ Hawkes; IEEE Transactions on Pattern Analysis and Machine Intelligence; Volume 23, Issue 11; 2001
A primal-dual interior point algorithm with an exact and differentiable merit function for nonlinear programming: I Akrotirianakis, Berc Rustem; Optimization Methods and Software; pp.1–36; 2000
Automatic Analysis of Facial Expressions: The State of the Art: Maja Pantic, Leon Rothkrantz; IEEE Transactions on Pattern Analysis and Machine Intelligence; Volume 22, Issue 12, pp.1424–1445; IEEE; December, 2000
Investigating Intrinsic Myocardial Mechanics - the role of MR tagging, velocity phase mapping and diffusion imaging: Shareem Masood, Guang-Zhong Yang, D.J. Pennell, D.N. Firmin; Journal of Magnetic Resonance Imaging; Volume 12, Issue 6, pp.873–883; December, 2000
Linear Types and Approximation: Michael Huth, Achim Jung, Klaus Keimel; Mathematical Structures in Computer Science; Volume 10, Issue 6, pp.719–746; Cambridge University Press; 2000
Robust min-max portfolio strategies for rival forecast and risk scenarios: Berc Rustem, Robin Becker, Wolfgang Marty; Journal of Economic Dynamics and Control; pp.1591–1621; 2000
Computerised decision support in medical imaging: François Chabat, D.M. Hansell, Guang-Zhong Yang; IEEE Engineering in Medicine and Biology Magazine; Volume 19, Issue 5, pp.89–96; October, 2000
Reliability modelling using G-queues: Peter G. Harrison, Naresh M. Patel, E. Pitel; European Journal of Operational Research; Volume 126, Issue 2, pp.273–287; October, 2000
A Survey of Trust in Internet Applications: Tyrone Grandison, Morris Sloman; IEEE Communications Surveys and Tutorials; Volume 3, Issue 4; September, 2000
Expert system for automatic analysis of Facial Expression: Maja Pantic, Leon Rothkrantz; Image and Vision Computing Journal; Volume 18, Issue 11, pp.881–905; Elsevier Science Bv; August, 2000
Optimising bandwidth of ABR sources: Madhu D. K. Bhabuta , Peter G. Harrison; Computer Networks; Volume 34, Issue 1, pp.115–128; Elsevier Science Bv; July, 2000
Does Australia's Past Have a Future?: Colin Richardson; Dissent; Issue 2, pp.44–47; 2000
Interleaved spiral cine coronary artery velocity mapping: J. Keegan, P.D. Gatehouse, Guang-Zhong Yang, D.N. Firmin; Magnetic Resonance in Medicine; Volume 43, Issue 6, pp.787–792; June, 2000
Transient streamlines: texture synthesis for flow visualisation: Guang-Zhong Yang, P.J. Kilner, RH Mohiaddin, D.N. Firmin; The International Journal of Cardiac Imaging; Volume 16, Issue 3, pp.175–184; June, 2000
Gradient correction and classification of CT lung images for the automated quantification of mosaic attenuation pattern: François Chabat, D.M. Hansell, Guang-Zhong Yang; Volume 24, Issue 3, pp.437–447; May, 2000
Asymetric redirection of flow through the heart: P.J. Kilner, Guang-Zhong Yang, RH Mohiaddin, D.N. Firmin, M.H. Yacoub; Nature; Volume 404, Issue 6779, pp.759–761; April, 2000
The birth of the first CT scanner: Guang-Zhong Yang, D.N. Firmin; IEEE Engineering in Medicine and Biology Magazine; Volume 19, Issue 1, pp.120–125; April, 2000
Tracing and re-executing operating system calls for reproducible performance experiments: Ariel Burton, Paul Kelly; Computers and Electrical Engineering: an International Journal; Volume 26, Issues 3–4, pp.261–278; Pergamon Press; 2000
Leveraging Inconsistency in Software Development: Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo; IEEE Computer; Volume 33, Issue 4, pp.24–29; IEEE Computer Society Press; 2000
A Probabilistic Dynamic Technique for the Distributed Generation of Very Large State Spaces: William J. Knottenbelt, Peter G. Harrison, Mark Mestern, Pieter Kritzinger; Performance Evaluation; Volume 39, Issues 1–4, pp.127–148; Elsevier; February, 2000
An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming: Simon Colton; Electronic Transactions in Artificial Intelligence; Volume 4, pp.97–117; Linkoping University Electronic Press; 2000
An efficient approximate algorithm for optimal decisions under uncertainty: John Darlington, CC Pantelides, Berc Rustem, BA Tanyi; European Journal of Operations Research; Volume 121; 2000
Inter-federation Communication in the MAGNET Architecture: P Kostkova, Julie McCann; Third Grace Hopper Celebration of Women in Computing; 2000
Kendra: Adaptive Internet System: Julie McCann, P Howlett, Steven Crane; Journal of Systems and Software; Volume 55, Issue 1; 2000
On the Notion of Interestingness in Automated Mathematical Discovery: Simon Colton, Alan Bundy, Toby Walsh; International Journal of Human-Computer Studies; Volume 53, Issue 3, pp.351–375; Elsevier; 2000
SPADES - a Process Algebra for Discrete Event Simulation: Peter G. Harrison, Ben Strulo; Journal of Logic and Computation; Volume 10, Issue 1, pp.3–42; Oxford University Press; January, 2000
Special issue: Parallel Computing in Economics, Finance and Decision Making: E Kontoghiorghes, A Nagurney, Berc Rustem; Parallel Computing; 2000
Structuring Devolved Responsibilities in Network and Systems Management: Emil Lupu, Naranker Dulay, Nicholas Damianou, Morris Sloman; Networking and Information Systems Journal; Volume 3, Issue 2, pp.261–267; Hermes Science Publications; 2000
Teaching M/G/1 theory with extension to priority queues: Peter G. Harrison; IEE Proceedings - Computers and Digital Techniques; Volume 147, Issue 1, pp.23–26; January, 2000
The Kendra Cache Replacement Policy and its Distribution: Julie McCann; World Wide Web An International Journal; Volume 3, Issue 4; 2000
An algorithm for constrained nonlinear optimization under uncertainty: John Darlington, CC Pantelides, Berc Rustem, BA Tanyi; Automatica. A Journal of IFAC, the International Federation ofAutomatic Control; pp.217–228; Pergamon Press; 1999
Conflicts in Policy-based Distributed Systems Management,: Emil Lupu, Morris Sloman; IEEE Trans on Software Engineering; Volume 25, Issue 6, pp.852–869; November, 1999
First pass myocardial perfusion imaging and equilibrium signal changes using the new intravascular contrast agent, NC100150 injection: J.R. Panting, A.M. Taylor, P.D. Gatehouse, J. Keegan, Guang-Zhong Yang, S. McGill, J.M. Francis, E.D. Burman, D.N. Firmin, D.J. Pennell; Journal of Magnetic Resonance Imaging; Volume 10, Issue 3, pp.404–410; October, 1999
Motion selective encoding for fast cine imaging: Guang-Zhong Yang, J. Keegan, D.N. Firmin; Magnetic Resonance in Medicine; Volume 42, Issue 3, pp.430–435; September, 1999
A corner orientation detector: François Chabat, Guang-Zhong Yang, D.M. Hansell; Image and Vision Computing Journal; Volume 17, Issue 10, pp.761–769; August, 1999
Labelled Natural Deduction for Substructural Logics: Krysia Broda, Marcelo Finger, Alessandra Russo; Logic Journal of the IGPL; Volume 7, Issue 3, pp.283–318; Oxford University Press; 1999
Numerical Integration with Exact Arithmetic: Abbas Edalat, Marko Krznaric; Lecture Notes in Computer Science; Volume 1644, pp.90–104; 1999
Using Abduction to Evolve Inconsistent Requirements Specifications: Alessandra Russo; Australian Information Systems Journal; Volume 7, Issue 1, pp.118–130; 1999
A comparison of methods for enhancing the detection of areas of decreased attenuation on CT caused by airways disease: T. Fotheringham, François Chabat, D.M. Hansell, A. Wells, S.R. Desai, C. Gückel, S.P.G Padley, M. Gibson, Guang-Zhong Yang; Journal of computer assisted tomography; Volume 23, Issue 3, pp.385–389; 1999
A Survey of Quality of Service in Mobile Computing Environments: Daniel Chalmers, Morris Sloman; IEEE Communications Surveys; Volume 2, Issue 2; April, 1999
Safety and preliminary findings with the new intravascular contrast agent, NC100150 injection, for MR coronary angiography: A.M. Taylor, J.R. Panting, J. Keegan, P.D. Gatehouse, Dipti Amin, P. Jhooti, Guang-Zhong Yang; Journal of Magnetic Resonance Imaging; Volume 9, Issue 2, pp.220–227; March, 1999
Coronary artery imaging at 0.5T esla scanner: implementation of real-time, navigator echo-controlled segmented k-space FLASH and interleaved-spiral sequences: J. Keegan, P.D. Gatehouse, A.M. Taylor, Guang-Zhong Yang, P. Jhooti, D.N. Firmin; Magnetic Resonance in Medicine; Volume 41, Issue 2, pp.392–399; February, 1999
Restructuring Requirements Specifications: Alessandra Russo, Bashar Nuseibeh, Jeff Kramer; IEE Proceedings - Software; Volume 146, Issue 1, pp.44–53; IEE; 1999
Sojourn Times in a Random Queue With and Without Preemption: A. J. Field, Peter G. Harrison; European Journal of Operational Research; Volume 112, pp.646–653; February, 1999
A performance study of object database management systems: Julie McCann, Peter Osmon, Akmal Chaudhri; Journal on Theory and Practice of Object Systems; Volume 5, Issue 4, pp.263–279; 1999
Artificial Intelligence and Scientific Creativity: Simon Colton, Graham Steel; Artificial Intelligence and the Simulation of Behaviour Quarterly; Volume 102; 1999
Knowledge-based tensor anisotropic diffusion of cardiac cine MR images: Gerardo Sanchez-Ortiz, P Burger, Daniel Rueckert; Medical Image Analysis; Volume 3, pp.77–101; Elsevier; 1999
Locally focused 3D coronary imaging using volume selective RF excitation: Guang-Zhong Yang, P Burger, P.D. Gatehouse, D.N. Firmin; Magnetic Resonance in Medicine; Volume 41, Issue 1, pp.171–178; January, 1999
Non-rigid registration using free-form deformations: Application to breast MR images: Daniel Rueckert, LI Sonoda, C Hayes, DLG Hill, M Leach, DJ Hawkes; IEEE Transactions on Medical Imaging; Volume 18, Issue 8, pp.712–721; 1999
On the Approximation of Denotational Mu-Semantics: Michael Huth; Applied Categorical Structures; Volume 7, Issues 1–2, pp.85–111; Springer Verlag; 1999
Refactorable Numbers - A Machine Invention: Simon Colton; Journal of Integer Sequences; Volume 2; 1999
Use of the intravascular contrast agent NC100150 Injection in spin-echo and gradient-echo imaging of the heart: A.M. Taylor, J.R. Panting, J. Keegan, P.D. Gatehouse, Dipti Amin, P. Jhooti, Guang-Zhong Yang; Journal of Cardiovascular Magnetic Resonance; Volume 1, pp.23–32; 1999
A General Formal Framework for Schema Transformation: Peter McBrien, Alexandra Poulovassilis; Data and knowledge engineering; Volume 28, Issue 1, pp.47–71; Elsevier Science Ltd.; October, 1998
An algorithm for the inequality-constrained discrete min-maxproblem: Berc Rustem, Q Nguyen; SIAM Journal on Optimization; pp.265–283; SIAM; October, 1998
FID-Based MRI at 0.5T: Theoretical Considerations and Practical Implications: M.A. Schmidt, Guang-Zhong Yang, P.D. Gatehouse, D.N. Firmin; Journal of Magnetic Resonance Imaging; Volume 39, pp.666–672; 1998
Motion and deformation tracking for short-axis echo-planar myocardial perfusion imaging: Guang-Zhong Yang, P Burger, J.R. Panting, P.D. Gatehouse, D.J. Pennell, D.N. Firmin; Medical Image Analysis; Volume 2, Issue 3, pp.285–302; September, 1998
A Formalisation of Semantic Schema Integration: Peter McBrien, Alexandra Poulovassilis; Information Systems; Volume 23, Issue 5, pp.307–334; Elsevier Science Ltd.; July, 1998
Hybrid ordered phase encoding (HOPE): an improved approach for respiratory artifact reduction: P. Jhooti, F. Wiesmann, A.M. Taylor, P.D. Gatehouse, Guang-Zhong Yang, J. Keegan, D.J. Pennell, D.N. Firmin; Journal of Magnetic Resonance Imaging; Volume 8, Issue 4, pp.968–980; July, 1998
Australian Business, Electronic Commerce and the Taxation System: Peter White, Colin Richardson; Australian Stock Exchange Perspective; Volume 3, Issue 1, pp.52–55; 1998
The Multilateral Agreement on Investment: Colin Richardson; Dialogue; Volume 17, Issue 4; Academy of the Social Sciences in Australia; 1998
The Multilateral Agreement on Investment: Colin Richardson; The Australian Rationalist; Issue 46, pp.23–28; 1998
The Role of Quantitative MR Velocity Imaging in Exploring the Dynamics of in vivo Blood Flow: Guang-Zhong Yang; IEEE Engineering in Medicine and Biology Magazine; Volume 17, pp.64–72; June, 1998
A Cell-Cell Barnes Hut Algorithm for Fast Particle Simulation: Abigail Burton, A. J. Field, Hing Wing To; Australian Computer Science Communications; Volume 20, Issue 1, pp.267–278; 1998
An algorithm for the inequality constrained discrete min-max problem: Berc Rustem, Q Nguyen; SIAM J Optimization; Volume 8; SIAM; 1998
Analysing Dynamic Change in Distributed Software Architectures: Jeff Kramer, Jeff Magee; Volume 145, Issue 5; 1998
Analysing Dynamic Change in Distributed Software Architectures: Jeff Kramer, Jeff Magee; Volume 145, Issue 5; 1998
Automatic Generation of Verifiable Cache Coherence Simulation Models from High-level Specifications: A. J. Field, Peter G. Harrison, K. Kanani; Australian Computer Science Communications; Volume 20, Issue 3, pp.261–275; 1998
Default Databases: Extending the Approach of Deductive Databases Using Default Logic: Peter McBrien, Anthony Hunter; Data and knowledge engineering; Volume 26, Issue 2, pp.135–160; Elsevier Science Ltd.; 1998
Enhancement of subtle density differences of the lung parenchyma on CT: Guang-Zhong Yang, François Chabat, D.M. Hansell; The British Journal of Radiology; Volume 71, pp.686–690; 1998
Executing Suspended Logic Programs: Robert Kowalski, Francesca Toni, Gerhard Wetzel; Fundamenta Informaticae; Volume 34, pp.203–224; 1998
Quantitative Semantics, Topology, and Possibility Measures: RA Heckmann, Michael Huth; Topology and Its Applications; Volume 89, Issue 1, pp.151–178; Elsevier; 1998
Solving a mixed-integer multiobjective bond portfolio model involving logical conditions: RLV Pinto, Berc Rustem; Annals of Operations Research; Volume 81, pp.497–513; 1998
Three-dimensional coronary MR angiography using zonal echo-planar imaging: Guang-Zhong Yang, P.D. Gatehouse, J. Keegan, RH Mohiaddin, D.N. Firmin; Journal of Magnetic Resonance Imaging; Volume 39, p.833; 1998
CT Image Enhancement with Wavelet Analysis for the Detection of Small Airways Disease: Guang-Zhong Yang, D.M. Hansell; IEEE Transactions on Medical Imaging; Volume 16, Issue 6, pp.953–961; December, 1997
A robust hedging algorithm: M Howe, Berc Rustem; Journal of Economic Dynamics and Control; Volume 21, Issue 6, pp.1065–1092; Elsevier Science Bv; 1997
Three-dimensional computed tomography bronchoscopy using clinical datasets: a comparison with fibreoptic bronchoscopy: R.J.S Chinn, Guang-Zhong Yang, J. Congleton, J. Mellor, D.M. Geddes, D.M. Hansell; Clinical Radiology; Volume 52, Issue 11, pp.830–836; November, 1997
Automatic tracking of the aorta in cardiovascular MR images using deformable models: Daniel Rueckert, P Burger, S. Forbat, RH Mohiaddin, Guang-Zhong Yang; IEEE Transactions on Medical Imaging; Volume 16, Issue 5, pp.581–590; October, 1997
Asymptotic properties of queuing networks: Sergio Coury, Peter G. Harrison; IEE Proceedings - Computers and Digital Techniques; Volume 144, Issue 5, pp.249–254; IEE; September, 1997
Blood Flow Patterns in the thoracic Aorta studied with three-directional MR Velocity Mapping: The Effect of Age and Coronary Artery Disease: H Bogren, RH Mohiaddin, P.J. Kilner, L.J. Jimenez-Borreguero, Guang-Zhong Yang, D.N. Firmin; Journal of Magnetic Resonance Imaging; Volume 7, Issue 5, pp.784–793; 1997
Grafting Modalities onto Substructural Implication Systems: Marcello D'Agostino, Dov Gabbay, Alessandra Russo; Studia Logica; Volume 50, pp.65–102; Kluwer Academic Publishers; 1997
Non-breath-hold lung magnetic resonance imaging with real-time navigation: M.A. Schmidt, Guang-Zhong Yang, J. Keegan, P. Jhooti, P.D. Gatehouse, D.H. Carr, D.M. Hansell, D.N. Firmin; MAGMA Magnetic resonance materials in physics, biology and medicine; Volume 5, pp.123–128; 1997
The Nixon Report: Selling the State: Colin Richardson; The Australian Rationalist; Issue 44, pp.70–73; 1997
Comparing Cubes of Typed and Type Assignment Systems: Steffen van Bakel, Luigi Liquori, Simona Ronchi delle Rocca, Pawel Urzyczyn; Annals of Pure and Applied Logic; Volume 86, Issue 3, pp.267–303; Elsevier; July, 1997
Parallel Computing in Information Retrieval - An updated review: Julie McCann, A MacFarlane, SE Robertson; Journal of Documentation; Volume 53, Issue 3, pp.274–315; Association for Information Management; June, 1997
The View from Tasmania: The Mouse that Roared: Colin Richardson; The Australian Rationalist; Issue 43, pp.31–41; 1997
Guided Resource Organisation in Heterogeneous Parallel Computing: John Darlington, Yike Guo, Moustafa Ghanem, Hing Wing To; Journal of High Performance Computing; Volume 4, Issue 1, pp.13–23; May, 1997
Waiting time distribution in a class of discrete-time cyclic service multi-queue systems: Sergio Coury, Peter G. Harrison; Perform. Eval.; Volume 29, Issue 4, pp.223–243; May, 1997
GEM: A Generalised Event Monitoring Language for Distributed Systems: Massoud Mansouri-Samani, Morris Sloman; Distributed Systems Engineering; Volume 4, Issue 2, pp.96–108; IOP; April, 1997
Normalization Results for Typeable Rewrite Systems: Steffen van Bakel, Maribel Fernández; Information and Computation; Volume 133, Issue 2, pp.73–116; Elsevier; March, 1997
An abstract, argumentation-theoretic approach to default reasoning: Andrei Bondarenko, Phan Minh Dung, Robert Kowalski, Francesca Toni; Artificial Intelligence; Volume 93, Issues 1–2, pp.63–101; Elsevier Science Bv; 1997
Rendering Radiosity Solutions by Adaptive Gathering: Adrian Chung, A. J. Field; Journal of Graphics Tools; Volume 2, Issue 2, pp.31–44; 1997
Stochastic Model of Cache Coherency Overhead in SCI Rings: A. J. Field, Peter G. Harrison; IEE Proceedings - Computers and Digital Techniques; Volume 144, Issue 3, pp.175–186; 1997
Towards a Role-based Framework for Distributed Systems Management: Morris Sloman, Emil Lupu; Journal of Network and Systems Management; Volume 5, Issue 1, pp.5–30; Plenum Press; 1997
LDS-Natural Deduction for Substructural Logics: Krysia Broda, Marcelo Finger, Alessandra Russo; Volume 4, Issue 3, pp.486–489; Oxford University Press; 1996
Modelling and validation of shared memory coherency protocols: Andrew Bennett, A. J. Field, Peter G. Harrison; Performance Evaluation; Volume 27, pp.541–563; Elsevier; October, 1996
Logging the Solomon Islands Rainforests: Wantok System versus Ecosystem: Colin Richardson; The Australian Rationalist; Issue 41, pp.33–37; 1996
Countless Simson Line Configurations: Christopher J. Bradley, Jeremy T. Bradley; The Mathematical Gazette; Volume 80, Issue 488, pp.314–321; July, 1996
Dynamic Range Extension of Cine Velocity Measurements Using Motion Registered Spatio-Temporal Phase Unwrapping: Guang-Zhong Yang, P Burger, P.J. Kilner, Stefan P. Karwatowski, D.N. Firmin; Journal of Magnetic Resonance Imaging; Volume 6, Issue 3, pp.495–502; June, 1996
The M/G/1 queue with negative customers: Peter G. Harrison, E. Pitel; Advances in Applied Probability; Volume 28, pp.540–566; June, 1996
A comparison of left ventricular myocardial velocity in diastole measured by magnetic resonance and left ventricular filling measured by Doppler echocardiography: Stefan P. Karwatowski, S.J.D. Brecker, Guang-Zhong Yang, D.N. Firmin, M.S.J. Sutton, S.R. Underwood; European Heart Journal; Volume 17, Issue 5, pp.795–802; May, 1996
Information Frames, Implication Systems and Modalities: Marcello D'Agostino, Dov Gabbay, Alessandra Russo; Special issue on Aspects of Mechanising Inference: : Contexts and Problems; Volume 3, Issue 1, pp.67–82; Universitat Politecnica de Catalunya; 1996
Rank 2 Intersection Type Assignment in Term Rewriting Systems: Steffen van Bakel; Fundamenta Informaticae; Volume 26, Issue 2, pp.141–166; 1996
Capacity planning in client-server systems: Tim Foxon, Mike Garth, Peter G. Harrison; Distributed Systems Engineering; Volume 3, Issue 1, pp.32–38; IOP; March, 1996
Languages, Meta-Languages and MetateM, A Discussion Paper: Derek Brough, Peter McBrien, Ian Hodkinson, Anthony Hunter, Mark Reynolds, Dov Gabbay, Howard Barringer, Graham Gough, Richard Owens; Logic Journal of the IGPL; Oxford University Press; March, 1996
Structure adaptive anisotropic image filtering: Guang-Zhong Yang, P Burger, D.N. Firmin, S.R. Underwood; Image and Vision Computing Journal; Volume 14, Issue 2, pp.135–145; March, 1996
Computation of Flow Pressure Fields from Magnetic Resonance Velocity Mapping: Guang-Zhong Yang, P.J. Kilner, Nigel B. Wood, S.R. Underwood; Magnetic Resonance in Medicine; Volume 36, pp.520–526; 1996
Parallelism via homomorphisms: Zully N. Grant-Duff, Peter G. Harrison; Parallel Processing Letters; Volume 6, Issue 2, pp.279–295; January, 1996
Performance analysis of buffered banyan ATM switch architectures: Demetres D. Kouvatsos, J. Wilkinson, Peter G. Harrison, Madhu D. K. Bhabuta; ATM networks: performance modelling and evaluation; Volume 2, pp.287–323; Chapman & Hall; 1996
Theorem Proving and Model Building with the Calculus KE: Jeremy Pitt, Jim Cunningham; Journal of the IGPL; Volume 4, Issue 1, pp.129–150; 1996
Type Checking Smalltalk: Sophia Drossopoulou; Journal of Object Oriented Programming; Volume 8, Issue 8; January, 1996
Computing optimal multi-currency mean-variance portfolios: Berc Rustem; Journal of Economic Dynamics & Control; Volume 19, Issue 7, pp.901–908; Elsevier Science Bv; 1995
Intersection Type Assignment Systems: Steffen van Bakel; Theoretical Computer Science; Volume 151, Issue 2, pp.385–435; Elsevier; November, 1995
Intersection Type Assignment Systems: Steffen van Bakel; Theoretical Computer Science; Volume 151, Issue 2, pp.385–435; Elsevier; November, 1995
Assessment by magnetic resonance velocity mapping of global ventricular function during dobutamine infusion in coronary artery disease: D.J. Pennell, D.N. Firmin, P Burger, Guang-Zhong Yang, C.C. Manzara, P.J. Ell, R.H. Swanton, J.M. Walker, S.R. Underwood, D.B. Longmore; British Heart Journal; Volume 74, pp.163–170; 1995
Magnetic resonance velocity mapping of blood flow in thoracic aortic aneurysms and grafts: H Bogren, RH Mohiaddin, Guang-Zhong Yang, P.J. Kilner, D.N. Firmin; Journal of thoracic and cardiovascular surgery; Volume 110, Issue 3, pp.704–714; September, 1995
Modelling the biological aspects of local endemism in South African Fynbos: D.J. McDonald, J.M. Juritz, R.M. Cowling, William J. Knottenbelt; Plant Systematics and Evolution; Volume 195, Issues 3–4, pp.137–147; September, 1995
Measurement of regional aortic compliance by MR imaging: a study of reproducibility: S. Forbat, RH Mohiaddin, Guang-Zhong Yang, D.N. Firmin, S.R. Underwood; Journal of Magnetic Resonance Imaging; Volume 5, Issue 6, pp.635–639; 1995
Mitral valve flow measured with cine MR velocity mapping in patients with ischaemic heart disease: comparison with Doppler echocardiography: Stefan P. Karwatowski, S.J.D. Brecker, Guang-Zhong Yang, D.N. Firmin, M.S.J. Sutton, S.R. Underwood; Journal of Magnetic Resonance Imaging; Volume 5, pp.89–92; 1995
On the Breathers of a¹_n Affine Toda Field Theory: Uli Harder, Alexander Iskandar, William McGhee; International Journal of Modern Physics A; Volume 10, Issue 13, pp.1879–1904; World Scientific; May, 1995
Object-Oriented Technology in Multiparadigm Language Implementation: Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach; Journal of Object Oriented Programming; Volume 8, Issue 1, pp.33–38; March, 1995
Response time distributions in tandem G-networks: Peter G. Harrison, E. Pitel; Journal of Applied Probability; Volume 32, Issue 1, pp.224–246; March, 1995
Transformation of polynomial evaluation to a pipeline via Horner's rule: Peter G. Harrison, R. Lyndon While; Science of Computer Programming; Volume 24, Issue 1, pp.83–95; Elsevier Science Bv; February, 1995
A Maximal Monoidal Closed Category of Distributive Algebraic Domains: Michael Huth; Information and Computation; Volume 116, Issue 1, pp.10–25; 1995
Exploiting Quasi-reversible Structures in Markovian Process Algebra Models: Peter G. Harrison, Jane Hillston; The Computer Journal; Volume 38, Issue 7, pp.510–520; Oxford University Press; 1995
Symbolic and Sub-symbolic Knowledge Organization in Computational Theories of Mind: Michael Huth; Knowledge Organization; Volume 22, Issue 1; 1995
The Regis Toolkit for Distributed Object-Oriented Programming: Naranker Dulay; OOPS Newsletter; Issue 22; 1995
The two-step and three-step Q-superlinear convergence of successive quadratic programming algorithms: Berc Rustem; Journal of Optimization Theory and Applications; Volume 83; 1995
Zero Dimensional and Connected Domains: Michael Huth; Semigroup Forum; Volume 51, Issue 1, pp.63–71; Springer Verlag; 1995
Algebraic Domains of Natural Transformations: Adrian Fiech, Michael Huth; Theoretical Computer Science; Volume 136, Issue 1, pp.57–78; Elsevier; 1994
Policy Driven Management For Distributed Systems: Morris Sloman; Journal of Network and Systems Management; Volume 2, Issue 4, pp.333–360; Plenum Press; December, 1994
Assessment of Regional Left Ventricular Long-Axis Motion with MR Velocity Mapping in Healthy Subjects: Stefan P. Karwatowski, RH Mohiaddin, Guang-Zhong Yang, D.N. Firmin, M.S.J. Sutton, S.R. Underwood, D.B. Longmore; Journal of Magnetic Resonance Imaging; Volume 4, Issue 2, pp.151–155; November, 1994
Two-step and three-step Q-superlinear convergence of {SQP} methods: Berc Rustem; Journal of Optimization Theory and Applications; Volume 83, Issue 3, pp.613–619; 1994
Functional evaluation in congenital and acquired heart disease.: D.B. Longmore, D.N. Firmin, J. Keegan, Guang-Zhong Yang, P.D. Gatehouse, S.R. Underwood; MAGMA Magnetic resonance materials in physics, biology and medicine; Volume 2, Issue 3, pp.211–218; October, 1994
Magnetic resonance velocity vector mapping in aortic aneurysms: RH Mohiaddin, H.G. Bogern, Guang-Zhong Yang, P.J. Kilner, D.N. Firmin; MAGMA Magnetic resonance materials in physics, biology and medicine; Volume 2, Issue 3, pp.335–338; October, 1994
An approximate analysis of asynchronous, packet-switched buffered Banyan networks with blocking: Peter G. Harrison, Afonso de C. Pinto; Performance Evaluation; Volume 19, Issue 3, pp.223–258; Elsevier; March, 1994
Interactive decision making: Equivalence of modified formulations: Berc Rustem; Annals of Operations Research; Volume 51, pp.3–13; 1994
Minimax hedging strategy: M Howe, Berc Rustem, M Selby; Computational Economics; Volume 7; 1994
Paragon Specifications: Structure, Analysis and Implementation: Christopher Anderson, David Bolton, Paul Kelly; Future Generation Computer Systems; Volume 10, Issue 1; 1994
Regional myocardial velocity imaged by magnetic resonance in patients with ischaemic heart disease: Stefan P. Karwatowski, RH Mohiaddin, Guang-Zhong Yang, D.N. Firmin, M.S.J. Sutton, S.R. Underwood; British Heart Journal; Volume 72, pp.332–338; 1994
Regis: A Constructive Development Environment for Distributed Programs: Jeff Magee, Naranker Dulay, Jeff Kramer; Distributed Systems Engineering Journal; Volume 1, Issue 5; 1994
Stochastic and robust control of nonlinear economic systems: Berc Rustem; European Journal of Operations Research; Volume 73; 1994
Visualization of flow by vector analysis of multidirectional cine MR velocity mapping: RH Mohiaddin, Guang-Zhong Yang, P.J. Kilner; Journal of computer assisted tomography; Volume 18, pp.383–392; 1994
Policy Hierarchies for Distributed Systems Management: Morris Sloman, Jonathan Moffett; Journal on Selected Areas in Communications; Volume 11, Issue 9, pp.1404–1414; IEEE; December, 1993
Principal type schemes for the Strict Type Assignment System: Steffen van Bakel; Journal of Logic and Computation; Volume 3, Issue 6, pp.643–670; Oxford University Press; December, 1993
Sojourn Times in Single-Server Queues with Negative Customers: Peter G. Harrison, E. Pitel; Journal of Applied Probability; Volume 30, Issue 4, pp.943–963; December, 1993
Validation of measurement of regional myocardial perfusion in man by ultrafast X-ray computed tomography: P.F. Ludman, A.J.S. Coats, P Burger, Guang-Zhong Yang, P.A. Poole-Wilson, S.R. Underwood, R.S.O. Rees; American Journal of Cardiac Imaging; pp.267–279; December, 1993
Algorithms for solving nonlinear dynamic decision models: Robin Becker, Berc Rustem; Annals of Operations Research; Volume 44, Issue 4, pp.117–142; 1993
Equality and inequality constrained optimization algorithms with convergent stepsizes: Berc Rustem; Journal of Optimization Theory and Applications; Volume 76, Issue 3, pp.429–453; 1993
Helical and retrograde secondary flow patterns in the aortic arch studied by three-directional magnetic resonance velocity mapping: P.J. Kilner, Guang-Zhong Yang, RH Mohiaddin, D.N. Firmin, D.B. Longmore; Circulation; Volume 88, pp.2235–2247; November, 1993
User and Mechanism Views of Distributed Systems Management: Morris Sloman, Jonathan Moffett; Distributed Systems Engineering Journal; Volume 1, Issue 1, pp.37–47; IEE/IOP/BCS; August, 1993
Higher Education as a Commodity: The Long Broad Tapestry: Colin Richardson; Australian Universities Review; Volume 36, Issue 2, pp.7–8; 1993
Discrete-event Simulation in Functional Languages: A. J. Field, R. Lyndon While; Australian Computer Science Communications; Volume 15, Issue 1, pp.265–273; 1993
Pipelines for Divide-and-Conquer Functions: I. P. de Guzmán, Peter G. Harrison, E. Medina; The Computer Journal; Volume 36, Issue 3, pp.254–268; Oxford University Press; 1993
A Higher-Order Approach to Parallel Algorithms: Peter G. Harrison; The Computer Journal; Volume 35, Issue 6, pp.555–566; Oxford Journals; December, 1992
A constrained min-max algorithm for rival models of the same economic system: Berc Rustem; Mathematical Programming; Volume 53, Issue 3, pp.279–295; 1992
Complete restrictions of the Intersection Type Discipline: Steffen van Bakel; Theoretical Computer Science; Volume 102, Issue 1, pp.135–163; Elsevier; August, 1992
Automatic enhancement, animation, and segmentation of flow in peripheral arteries from MR phase-shift velocity mapping: RH Mohiaddin, Guang-Zhong Yang, P Burger, D.N. Firmin, D.B. Longmore; Journal of computer assisted tomography; Volume 16, pp.176–181; 1992
Modelling the User Knowledge by Belief Networks: Floriana De Rosis, S. Pizzutilo, Alessandra Russo; Journal of User-Modelling and User-Adapted Interaction; Volume 2, pp.367–388; Kluwer Academic Publishers; 1992
The mechanical transformation of data types: Peter G. Harrison, Hessam Khoshnevisan; The Computer Journal; Volume 35, Issue 2, pp.138–147; Oxford Journals; April, 1992
On the synthesis of function inverses: Peter G. Harrison, Hessam Khoshnevisan; Acta Informatica; Volume 29, Issue 3, pp.211–239; Springer Verlag; March, 1992
A new approach to recursion removal: Peter G. Harrison, Hessam Khoshnevisan; Theoretical Computer Science; Volume 93, Issue 1, pp.91–113; Elsevier; February, 1992
Fixed point model for adaptive token passing bus protocol: Peter G. Harrison, F. Naraghi; IEE Proceedings - Computers and Digital Techniques; Volume 139, Issue 1, pp.50–58; IEE/IOP/BCS; January, 1992
Some Desirable Extensions of Economic Theory: Colin Richardson; Economic Papers; Volume 10, Issue 4, pp.59–69; Economic Society of Australia; December, 1991
The diagonalizability of quadratic functions and the arbitrariness of shadow prices: Berc Rustem; Automatica. A Journal of IFAC, the International Federation ofAutomatic Control; Volume 27, Issue 3, pp.573–578; Pergamon Press; 1991
On the expansion of non-linear functions: Peter G. Harrison; Acta Informatica; Volume 28, Issue 6, pp.559–574; Springer-Verlag; September, 1991
Analytic models for multistage interconnection networks: Peter G. Harrison; Journal of Parallel and Distributed Computing; Volume 12, Issue 4, pp.357–369; Elsevier; August, 1991
On nonuniform packet switched delta networks and the hot-spot effect: Peter G. Harrison; IEE Proceedings - Computers and Digital Techniques; Volume 138, Issue 3, pp.123–130; May, 1991
TEMPORA - Integrating Database Technology, Rule-based Systems and Temporal Reasoning for Effective Software: Peter McBrien, Babis Theodoulidis, Benkt Wangler, Vassilis Kopanas, Peri Loucopoulos, F Schumacker; Journal of Information Systems; Volume 1, pp.388–411; American Accounting Association; 1991
Rationality, computability, and complexity: Berc Rustem, Kumaraswamy Velupillai; Journal of Economic Dynamics and Control; Volume 14, Issue 2, pp.419–432; Elsevier Science Bv; 1990
The Representation of Multistage Interconnection Networks in Queueing Models of Parallel Systems: Peter G. Harrison, Naresh M. Patel; Journal of the ACM; Volume 37, Issue 4, pp.863–898; ACM Press; October, 1990
Laplace Transform Inversion and Passage-Time Distributions in Markov Processes: Peter G. Harrison; Journal of Applied Probability; Volume 27, Issue 1, pp.74–87; Applied Probability Trust; March, 1990
A superlinearly convergent constrained min-max algorithm for rival models of the same system: Berc Rustem; Computers and Mathematics with Applications; Volume 17, Issue 9, pp.1305–1316; 1989
Algebraic transformation techniques for functional languages: Peter G. Harrison, Hessam Khoshnevisan; The Computer Journal; Volume 31, Issue 3, pp.229–242; Oxford Journals; June, 1988
Linearisation: An optimisation for nonlinear functional programs: Peter G. Harrison; Science of Computer Programming; Volume 10, Issue 3, pp.281–318; Elsevier; June, 1988
Objective functions and the complexity of policy design: Berc Rustem, Kumaraswamy Velupillai; Journal of Economic Dynamics and Control; Volume 11, Issue 2, pp.185–192; Elsevier Science Bv; 1987
Competitive Strengths and Economic Growth: The Case of the Victorian State Economic Strategy: John McCombie, Colin Richardson; Australian Journal of Regional Studies; Issue 1, pp.3–22; 1987
An Enhanced Approximation by Pair-Wise Analysis of Servers for Time Delay Distributions in Queueing Networks: Peter G. Harrison; IEEE Transactions on Computers; Volume 35, Issue 1, pp.54–61; IEEE Computer Society Press; January, 1986
Functional Programming using FP: Peter G. Harrison, Hessam Khoshnevisan; Byte; Volume 10, Issue 8, pp.219–234; August, 1985
On normalizing constants in queueing-networks: Peter G. Harrison; Operations Research; Volume 33, Issue 2, pp.464–468; INFORMS; March, 1985
An analytic model for flow-control schemes in communication-network nodes: Peter G. Harrison; IEEE Transactions on Communications; Volume 32, Issue 9, pp.1013–1019; September, 1984
A note on cycle times in tree-like queueing systems: Peter G. Harrison; Advances in Applied Probability; Volume 16, pp.216–219; Applied Probability Trust; January, 1984
The Distribution of Cycle Times in Tree-Like Networks of Queues: Peter G. Harrison; The Computer Journal; Volume 27, Issue 1, pp.27–36; Oxford Journals; 1984
Convergent discrete form for the time-delay distributions in networks of queues: Peter G. Harrison; Computer Performance; Volume 3, Issue 3, pp.167–175; 1982
Efficient Storage Management for Functional Languages: Peter G. Harrison; The Computer Journal; Volume 25, Issue 2, pp.264–271; Oxford Journals; 1982
Invariants in the Application-Oriented Specification of Control Systems: Jeff Kramer, S. J. Goldsack; Automatica; Volume 18, pp.71–76; 1982
Efficient table-driven implementation of the finite state machine: Peter G. Harrison; Journal of Systems and Software; Volume 2, Issue 3, pp.201–211; Elsevier; September, 1981
Transient Behaviour of Queueing Networks: Peter G. Harrison; Journal of Applied Probability; Volume 18, pp.482–490; 1981
System conventions for non procedural languages: R Haskell, Peter G. Harrison; The Computer Journal; Volume 23, Issue 2, pp.132–141; Oxford Journals; 1980
The Price Policy of Firms, the Level of Employment and Distribution of Income in the Short Run: An Extension: Colin Richardson; Australian Economic Papers; Volume 18, Issue 33, pp.401–406; December, 1979
An Exercise in Program Design Using Simula Class Invariants: Jeff Kramer, Jim Cunningham; Software: Practice and Experience; Volume 8; 1978
Comments on "Generating structured flow diagrams: the nature of unstructuredness": Jeff Kramer; The Computer Journal; Volume 20, pp.382–383; 1977

Journal Special Issue Articles

Biomarker discovery for sparse classification of brain images in Alzheimer's disease: Eva Janousova, Maria Vounou, Robin Wolz, Katherine Gray, Daniel Rueckert, Giovanni Montana, The Alzheimer's Disease Neuroimaging Initiative (ADNI); Annals of the BMVA; Volume 2012, Issue 2, pp.1–11; BMVA; September, 2012
Product-form approximation of queueing networks with phase-type service: Giuliano Casale, Peter G. Harrison, Maria Vigliotti; SIGMETRICS Performance Evaluation Review; Volume 39, Issue 4, p.36; April, 2012
PCTL Model Checking of Markov Chains: Truth and Falsity as Winning Strategies in Games: Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner; Performance Evaluation; Volume 67, Issue 9, pp.858–872; Elsevier; September, 2010
Response Time Distribution of Flash Memory Accesses: Peter G. Harrison, Naresh M. Patel, Soraya Zertal; Performance Evaluation; Volume 67, Issue 4, pp.248–259; Elsevier; 2010
Analysing scientific workflows with Computational Tree Logic. Journal of Cluster Computing: Vasa Curcin, Moustafa Ghanem, Yike Guo; Journal of Cluster Computing: Special Issue of Recent Advances in e-Science; 2009
A unified approach to modelling the performance of concurrent systems.: Peter G. Harrison, Catalina Lladó, Ramon Puigjaner; Simulation Modelling Practice and Theory; Volume 17, Issue 9, pp.1445–1456; Elsevier; October, 2009
PIPE2: A Tool for the Performance Evaluation of Generalised Stochastic Petri Nets: Nicholas J. Dingle, William J. Knottenbelt, Tamas Suto; Special Issue on Tools for Computer Performance Modelling and Reliability Analysis; Volume 36, Issue 4, pp.34–39; ACM SIGMETRICS Performance Evaluation Review, ACM Press; March, 2009
On model checking multiple hybrid views: Altaf Hussain, Michael Huth; Theoretical Computer Science; Elsevier; 2008
Universe Types for Topology and Encapsulation: David Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander Summers; Formal Methods for Components (FMCO) 2007; Volume 5382, pp.72–112; Lecture Notes in Computer Science, Springer Verlag; 2008
Air Pollution Monitoring and Mining Based on Sensor Grid in London: Yajie Ma, Moustafa Ghanem, Yike Guo, Mark Richards; Sensors: Special Issue on Urban Environmental Monitoring; Volume 8, pp.3601–3623; MDPI; June, 2008
An Approximate Compositional Approach to the Analysis of Fluid Queue Networks: A. J. Field, Peter G. Harrison; Performance Evaluation; Volume 64, Issues 9–12, pp.1137–1152; Elsevier; October, 2007
GRIDCC: Real-time Workflow system: Asif Akram, Li Guo, Stephen McGough, David Colling, Luke Dickens, C Kotsokalis, Marko Krznaric, Paul Kyberd, Janusz Martyniak, Roger Powell; Scientic Programming Journal; Volume 16; 2007
Payment and negotiation for the next generation Grid and Web: Jeremy Cohen, John Darlington, William Lee; Concurrency and Computation: Practice and Experience; Wiley InterScience; May, 2007
Capacity Planning and Scheduling in Grid Computing: Ali Afzal, John Darlington, Stephen McGough; Future Generation Computer Systems; Elsevier; 2007
Ontology Schema for an Agent Belief Store: Keith Clark, Frank McCabe; International Journal of Human Computer Systems; Elsevier; 2006
Decision making with a KGP Agent System: Jeremy Forth, Kostas Stathis, Francesca Toni; Journal of Decision Systems; Lavoisier; 2006
Normative KGP Agents: Fariba Sadri, Kostas Stathis, Francesca Toni; Computational and Mathematical Organization Theory; Springer Science+Business Media B.V.; 2006
Flexible Dynamic Linking for .NET: Anders Aaltonen, Alex Buckley, Susan Eisenbach; .NET Technologies 2006; Volume 2006, Issue 4, pp.1–8; Microsoft; June, 2006
Ontology Oriented Programming in Go!: Keith Clark; Applied Intelligence; Volume 24, Issue 3, pp.3–37; Springer; June, 2006
Can Autonomic Systems be trusted?: Julie McCann, Markus Huebscher, Rogério de Lemos, Omer Rana, Andreas Wombacher; Special Issue on Autonomic Computing, Computing Knowledge Engineering Review; February, 2006
CareGrid: Autonomous Trust Domains for Healthcare Applications: Naranker Dulay, Emil Lupu, Morris Sloman, Jean Bacon, David Ingram, Ken Moody; ERCIM; Issue 63; October, 2005
Dynamically Calibrating FPGA Clock Frequencies: Jacob Bower, Oskar Mencer, Wayne Luk, Michael J Flynn, martin morf; IEEE MICRO; IEEE; September, 2005
Propositional Statecharts for Agent Interaction Protocols: Hywel Dunn Davies, Jim Cunningham; pp.55–75; June, 2005
Reconfigurable Computing: Architectures and Design Methods: Timothy Todman, George Constantinides, Steve Wilton, Peter Cheung, Wayne Luk, Oskar Mencer; Volume 152, Issue 2, pp.193–205; IEE; March, 2005
Distant Causation in C+: Robert Craven, Marek Sergot; Studia Logica; Volume 79, Issue 1, pp.73–96; Springer; February, 2005
Go! - A Multi-paradigm Programming Language for Implementing Multi-threaded Agents: Keith Clark, Frank McCabe; Annals of Mathematics and Artificial Intelligence; Volume 41, Issues 2–4, pp.171–206; Springer; August, 2004
Deriving tool specifications from user actions: Christopher Hogger, Frank Kriwaczek; Transactions on Information and Systems; Volume 87, Issue 4, pp.831–837; Institute of Electronics, Information and Communication Engineers; April, 2004
InfoGrid: providing information integration for knowledge discovery: Nikolaos Giannadakis, Anthony Rowe, Moustafa Ghanem, Yike Guo; Information Sciences -- Informatics and Computer Science. Special Issue on Knowledge Discovery from Distributed Information Sources.; Volume 155, Issues 3–4, pp.199–226; Elsevier Science Bv; October, 2003
Towards an Affect-Sensitive Multimodal Human-Computer Interaction: Maja Pantic, Leon Rothkrantz; Proceedings of the IEEE; Volume 91, Issue 9, pp.1370–1390; IEEE; September, 2003
The Design of Discovery Net: Towards Open Grid Services for Knowledge Discovery: Salman Alsairafi, Fillippia-Sofia Emmanouil, Moustafa Ghanem, Nikolaos Giannadakis, Yike Guo, Dimitrios Kalaitzopolous, Michelle Osmond, Anthony Rowe, Patrick Wendel; Int. J. High Perfm. Computing. Special Issue on Grid Computing Infrastructure and Applications; pp.297–315; Sage Publications, Inc.; August, 2003
Component Based Agent Construction: Keith Clark, N Skarmeas; International Journal of Artificial Intelligence Tools; Volume 11, Issue 1; World Scientific; March, 2002
Is the Java Type System is Sound: Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid; Theory and Practice of Object Systems; Volume 5, Issue 1, pp.3–24; October, 1999
Abstract Argumentation: Robert Kowalski, Francesca Toni; Artificial Intelligence and Law Journal; Volume 4, Issues 3–4, pp.275–296; 1996

Electronic Journal Articles

Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods: Alexander Summers, Sophia Drossopoulou, Peter Mueller; Journal for Object Technology; April, 2009
Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens: Nicholas J. Dingle, William J. Knottenbelt; Volume 232, pp.75–88; Electronic Notes in Theoretical Computer Science; March, 2009
Bus Modelling in Zoned Disks RAID Storage Systems: Peter G. Harrison, Soraya Zertal; PASM 2008. Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, Palma-de-Mallorca, September 2008; Volume 232, pp.5–16; Electronic Notes in Theoretical Computer Science, Elsevier; March, 2009
Polynomial-Time Under-Approximation of Winning Regions in Parity Games: Adam Antonik, Nathaniel Charlton, Michael Huth; Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT 2006); Volume 225, pp.115–139; Electronic Notes in Theoretical Computer Science, Elsevier; January, 2009
Tickling Java with a Feather: Tristan Allwood, Susan Eisenbach; Electronic Notes in Theoretical Computer Science; Elsevier; 2008
Topological analysis of refinement: Michael Huth; Electronic Notes in Theoretical Computer Science; Volume 161, pp.3–23; Elsevier; 2006
Automata games for multiple-model checking: Altaf Hussain, Michael Huth; Electronic Notes in Theoretical Computer Science; Volume 155, pp.401–421; Elsevier; May, 2006
Efficient Patterns for Model Checking Partial State Spaces in CTL & LTL: Adam Antonik, Michael Huth; Electronic Notes in Theoretical Computer Science; Volume 158, pp.41–57; Elsevier; May, 2006
SCHOOL: a Small Chorded Object-Oriented Language: Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach; Electronic Notes in Theoretical Computer Science; Volume 135, Issue 3, pp.37–47; Elsevier; March, 2006
Abstraction and probabilities for hybrid logics: Michael Huth; Electronic Notes in Theoretical Computer Science; Volume 112, pp.61–76; Elsevier; 2005
Consistent partial model checking: Michael Huth, Shekhar Pradhan; Electronic Notes in Theoretical Computer Science; Volume 73, pp.45–85; 2004
Can Addresses be Types? (a case study: objects with delegation): Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou; WOOD 2003; Volume 82, Issue 8; Electronic Notes in Theoretical Computer Science, Elsevier Science Bv; 2003
Domain--Theoretic Solution of Differential Equations (Scalar Fields): Abbas Edalat, Marko Krznaric, André Lieutier; Volume 83; Electronic Notes in Theoretical Computer Science; 2003
Model-checking view-based partial specifications: Michael Huth, Shekhar Pradhan; Electronic Notes in Theoretical Computer Science; Volume 45, pp.1–23; Elsevier; 2001
The Interval Domain: A Matchmaker for aCTL and aPCTL: Michael Huth; Electronic Notes in Theoretical Computer Science; Volume 14, pp.134–148; Elsevier; 1998
A Powerdomain of Possibility Measures: Michael Huth; Electronic Notes in Theoretical Computer Science; Volume 6, pp.191–202; Elsevier; 1997

Journal Special Issues Edited

Computer Performance Evaluation: Special Issue of the Computer Journal: Jeremy T. Bradley; The Computer Journal; Volume 54, Issue 5, pp.639–640; Oxford Journals; May, 2011
Performance Engineering: Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, William J. Knottenbelt; IET Software; Volume 3, Issue 6, pp.443–521; IET; December, 2009
Selected papers from the 12th International Workshop on Expressiveness of Concurrency, EXPRESS'05, San Francisco, USA, 27 August 2005: Jos Baeten, Iain Phillips; Theoretical Computer Science; Volume 386, Issue 3; Elsevier; November, 2007
Workflow Design Requirements, BPEL and Partner Service Design -The Importance of Standards, Best Practices and Special Considerations for Optimized Orchestration: Asif Akram, David Meredith; submitted; May, 2007
Application of Business Process Execution Language to Scientific Workflows: February, 2007
Context as Autonomic Intelligence in a Ubiquitous Computing Environment: Julie McCann; International Journal of Internet Protocol Technology (IJIPT) special edition on Autonomic Computing,; Inderscience; 2006
Special Issue on Mathematical programming: Michael Ferris, Ken Judd, Berc Rustem; Journal of Economic Dynamics and Control; pp.1227–1480; Elsevier Science Bv; 2004
Modelling Techniques and Tools for Computer Performance Evaluation: A. J. Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder; Performance Evaluation; Volume 54, Issue 2, pp.77–206; Elsevier; October, 2003
Creativity in Arts and Science: Simon Colton, Pablo Gervas; Artificial Intelligence and the Simulation of Behaviour Journal; January, 2003
In honour of David Kendrick: Berc Rustem, HM Amman; Journal of Economic Dynamics and Control; Elsevier Science Bv; September, 2002
Formal techniques for Java programs: Gary Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll; ECOOP 2001 workshop, Budapest, Hungary, 2001; pp.30–40; Springer-Verlag; 2002
Special Issue on Agent Technology: Eduardo Alonso, Simon Colton, Daniel Kudenko, Luc Moreau, M Schroeder, Kostas Stathis; Artificial Intelligence and the Simulation of Behaviour Journal; Volume 1, Issue 1, pp.1–4; The Society for the Study of Artificial Intelligence and the Simulation of Behaviour; December, 2001
Special issue: formal techniques for Java programs: Susan Eisenbach, Gary Leavens; Concurrency and Computation: Practice and Experience; Volume 13, Issue 13; Wiley InterScience; November, 2001

BibTeX file for these publications

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.