Computing Publications

Publications Home » Journals

Journals

Journal Articles

Bounds on the deviation of discrete-time Markov chains from their mean-field model [PDF]
Luca Bortolussi, Richard Hayden
Performance Evaluation
2013
Product-forms in batch networks: approximation and asymptotics [PDF]
Peter G. Harrison, Richard Hayden, William J. Knottenbelt
Performance Evaluation
2013
An Estimate of Mutual Information that Permits Closed-Form Optimisation
Raymond Liu, Duncan Gillies
Entropy
Volume 15, Issue 5, pp.1690–1704
April, 2013
Random forest-based similarity measures for multi-modal classi fication 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
June, 2012
A Survey of Monte Carlo Tree Search Methods [PDF]
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 [PDF]
Richard Hayden, Anton Stefanek, Jeremy T. Bradley
Theoretical Computer Science
Volume 413, Issue 1, pp.106–141
Elsevier
January, 2012
Performance specification and evaluation with Unified Stochastic Probes and fluid analysis [PDF]
Richard Hayden, Jeremy T. Bradley, Allan Clark
IEEE Transactions on Software Engineering
IEEE Computer Society
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 [PDF]
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 [PDF]
Richard Hayden
SIGMETRICS Performance Evaluation Review
December, 2011
Invited Response to Computer Journal Lecture by Prof. Jane Hillston [PDF]
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
May, 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
April, 2011
The Dangers of Random Playouts [PDF]
Cameron Browne
ICGA Journal
Volume 34, Issue 1, pp.25–26
March, 2011
Passage-time Computation and Aggregation Strategies for Large Semi-Markov Processes [PDF]
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 [PDF]
Douglas de Jager, Jeremy T. Bradley
Performance Evaluation
Volume 67, Issue 12, pp.1353–1372
Elsevier
December, 2010
Modelling infection spread using location tracking [PDF]
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 [PDF]
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 [PDF]
Richard Hayden, Jeremy T. Bradley
Theoretical Computer Science
Volume 411, Issues 22–24, pp.2260–2297
Elsevier
April, 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
March, 2010
Evaluating fluid semantics for passive stochastic process algebra cooperation [PDF]
Richard Hayden, Jeremy T. Bradley
Performance Evaluation
Volume 67, Issue 4, pp.260–284
Elsevier
March, 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
March, 2010
Evolutionary Game Design [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
Oliver Haggarty, William J. Knottenbelt, Jeremy T. Bradley
SIMULATION
Volume 85, Issue 8, pp.497–509
Sage Publications, Inc.
July, 2009
Contributions to abstraction-based system verification [PDF]
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
March, 2009
Turning back time - what impact on performance?
Peter G. Harrison
The Computer Journal
Oxford Journals
March, 2009
CoMoM: Efficient Class-Oriented Evaluation of Multiclass Performance Models [PDF]
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 [PDF]
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 [PDF]
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
September, 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.
August, 2008
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Stephen Gilmore, Jane Hillston
Journal of Computer and System Sciences
Volume 74, Issue 6, pp.1013–1032
Elsevier
August, 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
August, 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
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
20 Years of Mixed and Modal Specifications [PDF]
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
May, 2008
Artistic box trees [PDF]
Cameron Browne
Fractals
Volume 15, Issue 3, pp.249–253
May, 2008
Gaudi's organic geometry [PDF]
Cameron Browne
Computers & Graphics
Volume 32, Issue 1, pp.105–115
May, 2008
Geometric Bounds: A Noniterative Analysis Technique for Closed Queueing Networks [PDF]
Giuliano Casale, Richard Muntz, Giuseppe Serazzi
IEEE Transactions on Computers
Volume 57, Issue 6, pp.780–794
IEEE Computer Society
May, 2008
Truchet curves and surfaces [PDF]
Cameron Browne
Computers & Graphics
Volume 32, Issue 2, pp.268–281
May, 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
May, 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
May, 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
May, 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
April, 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
March, 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 [PDF]
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 [PDF]
Julie McCann, Markus Huebscher
ACM Computing Surveys, ACM
December, 2007
Efficient Pythagorean trees: Greed is good [PDF]
Cameron Browne
Computers & Graphics
Volume 31, Issue 4, pp.610–616
December, 2007
Impossible fractals [PDF]
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
August, 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
July, 2007
A Workflow Portal supporting Multi-language Interoperation and Optimisation
Asif Akram, Rob Allan, Omer Rana
Concurrency and Computation: Practice and Experience
June, 2007
Harmonograms [PDF]
Computers & Graphics
Volume 31, Issue 2, pp.292–300
May, 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, Pau
Cluster Computing
Volume 10, Issue 2, pp.203–216
Springer Verlag
May, 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 [PDF]
Andrew Davison, Ian Reid, N. Molton, O. Stasse
IEEE Transactions on Pattern Analysis and Machine Intelligence
Volume 29, Issue 6, pp.1052–1067
IEEE
May, 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 [PDF]
Altaf Hussain
Oxford Journals
March, 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
March, 2007
Taiji variations: Yin and Yang in multiple dimensions [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF] [GZipped Postscript]
Harini Kulatunga, Visakan Kadirkamanathan
IEEE Transactions on Signal Processing
IEEE Signal Processing Society
2006
A flexible model for dynamic linking in Java and C# [PDF]
Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
Theoretical Computer Science
Volume 368, Issue 1, pp.1–29
December, 2006
Agent-integrated concurrent web programming [PDF]
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 [PDF]
Steffen van Bakel, Ugo de'Liguoro
Theory of Computing Systems
2006
Multiple H-infinity filter based Deterministic Sequence Estimation in non-Gaussian Channels [PDF] [Postscript]
Harini Kulatunga, Visakan Kadirkamanathan
IEEE Signal Processing Letters
IEEE Signal Processing Society
2006
Some current issues in model checking [PDF]
Michael Huth
Software Tools for Technology Transfer
Volume 8, Issue 4, pp.1–10
Springer Verlag
2006
Spiral packing [PDF]
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 [PDF]
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
September, 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
August, 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 [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
Future Generation Computer Systems
Volume 22, Issue 7, pp.828–837
Elsevier
July, 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) [PDF]
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
July, 2006
Virtual Peer Communities and the Community Coordinator
Asif Akram, Rob Allan
July, 2006
A Maximum Uncertainty LDA-based approach for Limited Sample Size problems - with application to Face Recognition [PDF]
Carlos Thomaz, Edson Kitani, Duncan Gillies
Journal of the Brazilian Computer Society
Volume 12, Issue 1
Brazilian Computer Society
May, 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 [PDF]
Alireza Tamaddoni-Nezhad, Raphael Chaleil, Antonis Kakas, Stephen Muggleton
Machine Learning
Springer Science+Business Media B.V.
May, 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
May, 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
May, 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 [PDF]
Antonios Oikonomopoulos, Ioannis Patras, Maja Pantic
IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics
Volume 36, Issue 3, pp.710–719
IEEE
May, 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 [PDF]
Hiroaki Kamoda, Masaki Yamaoka, S Matsuda, Krysia Broda, Morris Sloman
Information Processing Society of Japan (IPSJ)Digital Courier
Volume 2, pp.207–221
April, 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 [PDF]
Simon Colton, Stephen Muggleton
Machine Learning
Springer Science+Business Media B.V.
April, 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 [PDF]
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 [PDF]
Maja Pantic, Ioannis Patras
IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics
Volume 36, Issue 2, pp.433–449
IEEE
March, 2006
Negotiating socially optimal allocations of resources - an overview [PDF]
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 [PDF]
Stephen Muggleton
Volume 440, pp.409–410
Nature Publishing Group
March, 2006
Fractal board games [PDF]
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 [PDF] [Postscript]
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 , 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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
Panayiotis Parpas, Berc Rustem
Journal of Global Optimization
Springer-Verlag
2006
Comparing and Transforming Between Data Models via an Intermediate Hypergraph Data Model [PDF]
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 [PDF] [GZipped Postscript]
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
September, 2005
A Parallel Library for Financial Engineering Applications [PDF]
Philip Leong
IEEE Computer
Volume 38, Issue 10, pp.70–77
IEEE Computer Soc
September, 2005
Rep-tiles with woven horns [PDF]
Cameron Browne
Computers & Graphics
Volume 29, Issue 4, pp.625–629
September, 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
September, 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
September, 2005
Adaptive Middleware For Context-Aware Applications [PDF]
Markus Huebscher, Julie McCann
Personal and Ubiquitous Computing Journal
Springer
August, 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
August, 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
August, 2005
CLIMA VI: Conference Report
Francesca Toni, Paulo Torroni
Newsletter of the ALP
July, 2005
Event Reports: 6th International Workshop on Computational Logic in Multi-Agent Systems
Francesca Toni, Paulo Torroni
AgentLink News
July, 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
July, 2005
Teaching Introductory Artificial Intelligence Using a Simple Agent Framework [PDF]
Maja Pantic, Reinier Zwitserloot, Robbert-Jan Grootjans
IEEE Transactions on Education
Volume 48, Issue 3, pp.382–390
IEEE
July, 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
June, 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
June, 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
June, 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
May, 2005
CCLRC Portal Infrastructure to support Research Facilities
Asif Akram, David Meredith, Rob Allan
Concurrency and Computation: Pract. Exper. 2007
pp.751–766
May, 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
May, 2005
Web Services in Life Sciences
Vasa Curcin, Moustafa Ghanem, Yike Guo
Drug Discov Today
Volume 10, Issue 12, pp.865–871
May, 2005
Automated Conjecture Making in Number Theory using HR, Otter and Maple [PDF]
Simon Colton
Journal of Symbolic Computation
Volume 39, Issue 5, pp.593–615
Elsevier
April, 2005
Iterative Convergence of Passage-time Densities in Semi-Markov Performance Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Helen Wilson
Performance Evaluation
Volume 60, Issues 1–4, pp.237–254
Elsevier
April, 2005
Refinement is complete for implementations [PDF]
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
March, 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
March, 2005
Probabilistic Lambda-calculus and Quantitative Program Analysis [PDF]
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Journal of Logic and Computation
Volume 15, Issue 2, pp.159–179
Oxford University Press
March, 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 [PDF]
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 [PDF] [GZipped Postscript]
Jeremy T. Bradley
International Journal of Simulation
Volume 6, Issues 3–4, pp.43–51
IJSIM
February, 2005
Canonical varieties with no canonical axiomatisation [PDF]
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 [PDF]
I Akrotirianakis, Berc Rustem
Journal of Optimization Theory and Applications
Volume 125, Issue 3
2005
Labelled transition systems as a Stone space [PDF]
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 [PDF]
Cameron Browne
Computers & Graphics
Volume 29, Issue 6, pp.998–1003
December, 2004
Domain Theory and Differential Calculus (functions of one variable) [Postscript]
Abbas Edalat, 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 [PDF] [GZipped Postscript]
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
September, 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
September, 2004
Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model [PDF] [Postscript]
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
IEE Proceedings - Software
Volume 151, Issue 5, pp.232–239
IEE
September, 2004
Strong normalisation in the pi -calculus.
Nobuko Yoshida, Martin Berger, Kohei Honda
Information and Computation
Volume 191, Issue 2, pp.145–202
Elsevier
August, 2004
Trust Management in Internet and Pervasive Systems
Morris Sloman
IEEE Intelligent Systems
Volume 19, Issue 5, pp.77–79
IEEE Computer Society
August, 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 [PDF]
Lengrand, Pierre Lescanne, Dan Dougherty, Dezani 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 [PDF] [GZipped Postscript]
A. J. Field, Uli Harder, Peter G. Harrison
IEE Proceedings - Communications
Volume 151, Issue 4, pp.355–363
IEE
July, 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
July, 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 [PDF]
Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
Journal of Parallel and Distributed Computing
Volume 64, Issue 8, pp.908–920
Elsevier
July, 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
June, 2004
Compositional reversed Markov processes, with applications to G-networks [PDF] [GZipped Postscript]
Peter G. Harrison
Performance Evaluation
Volume 57, Issue 3, pp.379–408
Elsevier
June, 2004
Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen Wilson
Linear Algebra and Its Applications
Volume 386, pp.311–334
Elsevier
June, 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
June, 2004
On-line automated detection of cerebral embolic signals using a wavelet based system [PDF]
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 [PDF]
Rebecca Montanari, Emil Lupu, Cesare Stefanelli
Computer
Volume 37, Issue 7
June, 2004
Reversed processes, product forms and a non-product form [PDF] [GZipped Postscript]
Peter G. Harrison
Linear Algebra and Its Applications
Volume 386, pp.359–381
Elsevier
June, 2004
Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalising [PDF]
Steffen van Bakel
Notre Dame Journal of Formal Logic
Volume 45
2004
Erdos graphs resolve Fine's canonicity problem [PDF]
Robert Goldblatt, Ian Hodkinson, Yde Venema
Bulletin of Symbolic Logic
Volume 10, Issue 2, pp.186–208
May, 2004
Facial Action Recognition for Facial Expression Analysis from Static Face Images [PDF]
Maja Pantic, Leon Rothkrantz
IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics
Volume 34, Issue 3, pp.1449–1461
IEEE
May, 2004
Mathematics for the exploration of requirements [PDF]
Michael Huth
SIGCSE Bulletin
Volume 36, Issue 2, pp.34–39
ACM Press
May, 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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF]
Cameron Browne
Abstract Games Magazine
Volume 1, Issue 14
December, 2003
Modelling the world in real time: how robots engineer information [PDF]
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
September, 2003
An adaptive policy-based framework for network services management [PDF]
Leonidas Lymberopoulos, Emil Lupu, Morris Sloman
Journal of Network and Systems Management
Volume 11, Issue 3, pp.277–303
Plenum Press
August, 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
August, 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
July, 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
July, 2003
Obstructive Lung Diseases: Texture Classification for Differentiation at CT
Chabat, Guang-Zhong Yang, D.M. Hansell
Radiology
Volume 228, Issue 3, pp.871–877
June, 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 [PDF]
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
April, 2003
An approximate solution of PEPA models using component substitution [PDF]
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 [PDF]
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 [PDF] [Postscript]
Peter G. Harrison, Catalina
Performance Evaluation
Volume 51, pp.229–246
Elsevier
January, 2003
A parallel algorithm for semi-infinite programming [PDF]
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 [PDF]
Christopher Anderson, Sophia Drossopoulou
Electronic Notes in Theoretical Computer Science
Volume 82, Issue 8
2003
Contextual Mediation Enables Appropriate Data Selection [PDF]
Daniel Chalmers, Morris Sloman, Naranker Dulay
ERCIM News
Volume 54
2003
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate [PDF] [Postscript]
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 [PDF]
Matthias Radestock, Susan Eisenbach
Concurrency and Computation: Practice & Experience
Volume 15, Issue 13
2003
Finite conformal hypergraph covers and Gaifman cliques in finite structures [PDF]
Ian Hodkinson, Martin Otto
Bulletin of Symbolic Logic
Volume 9, Issue 3, pp.387–405
2003
Linearisability on Datalog programs [PDF]
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 [PDF] [GZipped Postscript]
Steffen van Bakel, Maribel
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 [PDF] [GZipped Postscript]
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 [PDF] [Postscript]
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
August, 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
August, 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
August, 2002
Foundation of a Computable Solid Modelling [Postscript]
Abbas Edalat, Lieutier
Theoretical Computer Science
Volume 284, Issue 2, pp.319–345
Elsevier
June, 2002
Simultaneous Localization and Map-Building Using Active Vision [PDF]
Andrew Davison, David W Murray
IEEE Transactions on Pattern Analysis and Machine Intelligence
Volume 24, Issue 7, pp.865–880
IEEE Computer Society
June, 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
June, 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
May, 2002
A Microcoded Elliptic Curve Processor using FPGA Technology [PDF]
Philip Leong
IEEE Transactions on VLSI Systems
Volume 10, Issue 5, pp.550–559
April, 2002
Assigning Types to Processes
Nobuko Yoshida, Matthew Hennessy
Information and Computation
Volume 174, Issue 2, pp.143–179
Springer Verlag
April, 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
March, 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
March, 2002
Automatic MRI Adipose Tissue Mapping Using Overlapping Mosaics
Guang-Zhong Yang, S. Myerson, 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 [Postscript]
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 [PDF]
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 [PDF]
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 [PDF] [Postscript]
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 [Postscript]
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 [PDF]
Robin Hirsch, Ian Hodkinson
Volume 130, Issue 6, pp.1819–1831
2002
The MM CPP/GE/c G-Queue: sojourn time distribution [PDF] [GZipped Postscript]
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 [PDF]
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 [PDF] [GZipped Postscript]
William J. Knottenbelt, Soraya Zertal, Peter G. Harrison
IEE Proceedings - Computers and Digital Techniques
Volume 158, Issues 4–5, pp.176–186
IEE
August, 2001
A Markov Modulated Multi-server Queue with Negative Customers - The MM CPP/GE/c/L G-Queue [PDF] [Postscript]
Ram Chakka, Peter G. Harrison
Acta Informatica
Volume 37, Issues 11–12, pp.881–919
Springer-Verlag
July, 2001
Multi-resolution Image Registration for 2D Gel Electrophoresis. Electrophoresis
S. Veeser, M.J. Dunn, Guang-Zhong Yang
Electrophoresis
pp.856–870
June, 2001
Aspect and Interval Tense Logic
Miguel Leith, Jim Cunningham
Linguistics and Philosophy
Volume 24, Issue 3, pp.331–381
May, 2001
ERS Transform for automated detection of bronchial abnormalities on CT
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 [PDF]
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
Alefeld, Vladik Kreinovich, 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 [Postscript]
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 [PDF]
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 [PDF]
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 [PDF]
Berc Rustem, Robin Becker, Wolfgang Marty
Journal of Economic Dynamics and Control
pp.1591–1621
2000
Computerised decision support in medical imaging
Chabat, D.M. Hansell, Guang-Zhong Yang
IEEE Engineering in Medicine and Biology Magazine
Volume 19, Issue 5, pp.89–96
September, 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
September, 2000
A Survey of Trust in Internet Applications [PDF]
Tyrone Grandison, Morris Sloman
IEEE Communications Surveys and Tutorials
Volume 3, Issue 4
August, 2000
Expert system for automatic analysis of Facial Expression [PDF]
Maja Pantic, Leon Rothkrantz
Image and Vision Computing Journal
Volume 18, Issue 11, pp.881–905
Elsevier Science Bv
July, 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
June, 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
May, 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
May, 2000
Gradient correction and classification of CT lung images for the automated quantification of mosaic attenuation pattern
Chabat, D.M. Hansell, Guang-Zhong Yang
Volume 24, Issue 3, pp.437–447
April, 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
March, 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
March, 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 [PDF] [GZipped Postscript]
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 [PDF]
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 [PDF]
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 [PDF]
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 [PDF] [Postscript]
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, [PDF]
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
September, 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
August, 1999
A corner orientation detector
Chabat, Guang-Zhong Yang, D.M. Hansell
Image and Vision Computing Journal
Volume 17, Issue 10, pp.761–769
July, 1999
Labelled Natural Deduction for Substructural Logics [PDF]
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 [GZipped Postscript]
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, Chabat, D.M. Hansell, A. Wells, S.R. Desai, C. , 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 [PDF]
Daniel Chalmers, Morris Sloman
IEEE Communications Surveys
Volume 2, Issue 2
March, 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 [PDF]
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 [PDF]
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 [PDF]
Peter McBrien, Alexandra Poulovassilis
Data and knowledge engineering
Volume 28, Issue 1, pp.47–71
Elsevier Science Ltd.
September, 1998
An algorithm for the inequality-constrained discrete min-maxproblem
Berc Rustem, Q Nguyen
SIAM Journal on Optimization
pp.265–283
SIAM
September, 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
August, 1998
A Formalisation of Semantic Schema Integration [Postscript]
Peter McBrien, Alexandra Poulovassilis
Information Systems
Volume 23, Issue 5, pp.307–334
Elsevier Science Ltd.
June, 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
June, 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
May, 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 [PDF]
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 [Postscript]
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, 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
September, 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
August, 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 [Postscript]
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 [PDF]
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
June, 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
May, 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 [PDF]
John Darlington, Yike Guo, Moustafa Ghanem, Hing Wing To
Journal of High Performance Computing
Volume 4, Issue 1, pp.13–23
April, 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
April, 1997
GEM: A Generalised Event Monitoring Language for Distributed Systems [PDF]
Massoud Mansouri-Samani, Morris Sloman
Distributed Systems Engineering
Volume 4, Issue 2, pp.96–108
IOP
March, 1997
Normalization Results for Typeable Rewrite Systems [PDF]
Steffen van Bakel, Maribel
Information and Computation
Volume 133, Issue 2, pp.73–116
Elsevier
March, 1997
An abstract, argumentation-theoretic approach to default reasoning [PDF]
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 [PDF] [GZipped Postscript]
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 [PDF]
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 [Postscript]
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 [PDF] [Postscript]
Andrew Bennett, A. J. Field, Peter G. Harrison
Performance Evaluation
Volume 27, pp.541–563
Elsevier
September, 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 [PDF] [GZipped Postscript]
Christopher J. Bradley, Jeremy T. Bradley
The Mathematical Gazette
Volume 80, Issue 488, pp.314–321
June, 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
May, 1996
The M/G/1 queue with negative customers
Peter G. Harrison, E. Pitel
Advances in Applied Probability
Volume 28, pp.540–566
May, 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
April, 1996
Information Frames, Implication Systems and Modalities [Postscript]
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 [PDF]
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 [PDF]
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 [PDF]
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
August, 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
August, 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 a1n Affine Toda Field Theory [PDF] [Postscript]
Uli Harder, Alexander Iskandar, William McGhee
International Journal of Modern Physics A
Volume 10, Issue 13, pp.1879–1904
World Scientific
April, 1995
Object-Oriented Technology in Multiparadigm Language Implementation [PDF]
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 [PDF]
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 [PDF]
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 [Postscript]
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
September, 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
September, 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 [Postscript]
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 [PDF]
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 [Postscript]
Morris Sloman, Jonathan Moffett
Distributed Systems Engineering Journal
Volume 1, Issue 1, pp.37–47
IEE/IOP/BCS
July, 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. , 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 [PDF]
Steffen van Bakel
Theoretical Computer Science
Volume 102, Issue 1, pp.135–163
Elsevier
July, 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
March, 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 [PDF]
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
August, 1991
Analytic models for multistage interconnection networks
Peter G. Harrison
Journal of Parallel and Distributed Computing
Volume 12, Issue 4, pp.357–369
Elsevier
July, 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
April, 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 [PDF]
Peter G. Harrison, Naresh M. Patel
Journal of the ACM
Volume 37, Issue 4, pp.863–898
ACM Press
September, 1990
Laplace Transform Inversion and Passage-Time Distributions in Markov Processes [PDF]
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
May, 1988
Linearisation: An optimisation for nonlinear functional programs
Peter G. Harrison
Science of Computer Programming
Volume 10, Issue 3, pp.281–318
Elsevier
May, 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 [PDF]
Peter G. Harrison, Hessam Khoshnevisan
Byte
Volume 10, Issue 8, pp.219–234
July, 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
August, 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
August, 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

RAPPORT: running scientific high-performance computing applications on the cloud
Jeremy Cohen, Ioannis Filippis, Daniela Bauer, Neil Chue Hong, Michael Jackson, Mark Woodbridge, Sarah Butcher, David Colling, John Darlington, Brian Fuchs, Matt Harvey
Philosophical Transactions of the Royal Society A
Volume 371, Issue 1983
Royal Society
January, 2013
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
August, 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
March, 2012
PCTL Model Checking of Markov Chains: Truth and Falsity as Winning Strategies in Games [PDF]
Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
Performance Evaluation
Volume 67, Issue 9, pp.858–872
Elsevier
August, 2010
Response Time Distribution of Flash Memory Accesses [PDF]
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 , Ramon Puigjaner
Simulation Modelling Practice and Theory
Volume 17, Issue 9, pp.1445–1456
Elsevier
September, 2009
PIPE2: A Tool for the Performance Evaluation of Generalised Stochastic Petri Nets [PDF] [Postscript]
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 [PDF]
David Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter , 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
May, 2008
An Approximate Compositional Approach to the Analysis of Fluid Queue Networks [PDF]
A. J. Field, Peter G. Harrison
Performance Evaluation
Volume 64, Issues 9–12, pp.1137–1152
Elsevier
September, 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
April, 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 [PDF]
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 [PDF]
Fariba Sadri, Kostas Stathis, Francesca Toni
Computational and Mathematical Organization Theory
Springer Science+Business Media B.V.
2006
Flexible Dynamic Linking for .NET [PDF]
Anders Aaltonen, Alex Buckley, Susan Eisenbach
.NET Technologies 2006
Volume 2006, Issue 4, pp.1–8
Microsoft
May, 2006
Ontology Oriented Programming in Go! [PDF]
Keith Clark
Applied Intelligence
Volume 24, Issue 3, pp.3–37
Springer
May, 2006
Can Autonomic Systems be trusted?
Julie McCann, Markus Huebscher, 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
September, 2005
Dynamically Calibrating FPGA Clock Frequencies
Jacob Bower, Oskar Mencer, Wayne Luk, Michael J Flynn, martin morf
IEEE MICRO
IEEE
August, 2005
Propositional Statecharts for Agent Interaction Protocols
Hywel Dunn Davies, Jim Cunningham
pp.55–75
May, 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+ [PDF]
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 [PDF]
Keith Clark, Frank McCabe
Annals of Mathematics and Artificial Intelligence
Volume 41, Issues 2–4, pp.171–206
Springer
July, 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
March, 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
September, 2003
Towards an Affect-Sensitive Multimodal Human-Computer Interaction [PDF]
Maja Pantic, Leon Rothkrantz
Proceedings of the IEEE
Volume 91, Issue 9, pp.1370–1390
IEEE
August, 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.
July, 2003
Component Based Agent Construction [PDF]
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 [Postscript]
Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid
Theory and Practice of Object Systems
Volume 5, Issue 1, pp.3–24
September, 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 [PDF]
Alexander Summers, Sophia Drossopoulou, Peter Mueller
Journal for Object Technology
March, 2009
Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens [PDF]
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 [PDF]
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 [PDF]
Tristan Allwood, Susan Eisenbach
Electronic Notes in Theoretical Computer Science
Elsevier
2008
Topological analysis of refinement [PDF]
Michael Huth
Electronic Notes in Theoretical Computer Science
Volume 161, pp.3–23
Elsevier
2006
Automata games for multiple-model checking [PDF]
Altaf Hussain, Michael Huth
Electronic Notes in Theoretical Computer Science
Volume 155, pp.401–421
Elsevier
April, 2006
Efficient Patterns for Model Checking Partial State Spaces in CTL & LTL [PDF]
Adam Antonik, Michael Huth
Electronic Notes in Theoretical Computer Science
Volume 158, pp.41–57
Elsevier
April, 2006
SCHOOL: a Small Chorded Object-Oriented Language [PDF]
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 [PDF]
Michael Huth
Electronic Notes in Theoretical Computer Science
Volume 112, pp.61–76
Elsevier
2005
Consistent partial model checking [PDF]
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) [PDF]
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) [Postscript]
Abbas Edalat, Marko Krznaric, Lieutier
Volume 83
Electronic Notes in Theoretical Computer Science
2003
Model-checking view-based partial specifications [PDF]
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
April, 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
April, 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
September, 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
August, 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 [PDF]
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.