On this page:

- Books
- Book Chapters
- Journal Articles
- Journal Special Issue Articles
- Electronic Journal Articles
- Conference and Workshop Papers
- Tutorials
- Seminars
- Journal Special Issues Edited
- Proceedings Edited
- Position Paper
- National Workshop Papers
- PhD Theses
- Department of Computing Technical Reports
- Technical Reports
- Posters
- Book Review
- Masters' Theses
- Undergraduate projects
- BibTeX

- .
- Elsevier
- February, 2011
- Performance Modelling of Communication Networks and Computer Architectures
- Peter G. Harrison, Naresh M. Patel
- pp.1–472
- Addison-Wesley
- January, 1993
- Functional Programming
- A. J. Field, Peter G. Harrison
- pp.1–616
- Addison-Wesley
- July, 1988

- GPA - A multiformalism, multisolution approach to efficient analysis of large scale population models
- Jeremy T. Bradley, Marcel C. Guenther, Richard Hayden, Anton Stefanek
- Theory and Application of Multi-Formalism Modeling
- IGI Global
- 2013
- Providing Dependability and Resilience in the Cloud: Challenges and Opportunities
- Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy T. Bradley, Kaustubh Joshi, Vlastimil Babka, Stephen Gilmore, Anton Stefanek
- Resilience Assessment and Evaluation of Computing Systems
- pp.65–81
- Springer Verlag
- November, 2012
- Scalable Stochastic Modelling for Resilience
*Jeremy T. Bradley, Lucia Cloth, Richard Hayden, Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter*- Resilience Assessment and Evaluation of Computing Systems
- pp.115–149
- Springer
- November, 2012
- Product-Form Solution in PEPA via the Reversed Process
- Peter G. Harrison, Nigel Thomas
- Network Performance Engineering: A Handbook on Convergent Multi-Service Networks and Next Generation Internet
- Volume 5233, pp.343–356
- Lecture Notes in Computer Science, Springer
- June, 2011
- Modelling a Grid Market Economy
- Fernando Martinez Ortuno, Uli Harder, Peter G. Harrison
- Performance Models and Risk Management in Communication Systems
- Springer
- 2010
- Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis
- William J. Knottenbelt, Nicholas J. Dingle, Tamas Suto
- Parallel, Distributed and Grid Computing for Engineering
- Volume 21, pp.165–198
- Computational Science, Engineering and Technology, Saxe-Coburg Publications
- April, 2009
- Automated formulation and solution of Markov modulated queues with geometric processes
- Demetres D. Kouvatsos, David Thornley, Harf Zatschler, Peter G. Harrison
- Traffic and performance engineering for heterogeneous networks
- pp.419–458
- River Publishers, NY
- March, 2009
- Modelling tools and techniques for the performance analysis of wireless protocols
- Ashok Argent-Katwala, Jeremy T. Bradley, Nil Geisweiller, Stephen Gilmore, Nigel Thomas
- Advances in Wireless Networks: Performance Modelling, Analysis and Enhancement
- Issue 1
- Nova Science Publishers, Inc
- October, 2007
- Tackling Large State Spaces in Performance Modelling
- William J. Knottenbelt, Jeremy T. Bradley
- Formal Methods for Performance Evaluation
- Volume 4486, pp.318–370
- Lecture Notes in Computer Science, Springer
- June, 2007
- Response Time Densities and Quantiles in Large Markov and Semi-Markov Models
- Jeremy T. Bradley, Nicholas J. Dingle, Uli Harder, Peter G. Harrison, William J. Knottenbelt
- Performance Evaluation of Parallel, Distributed and Emergent Systems
- Volume 1, pp.3–41
- Nova Science Publishers, Inc
- 2006
- Quantiles of Sojourn Times
- Peter G. Harrison, William J. Knottenbelt
- Computer System Performance Modeling in Perspective: A Tribute to the Work of Prof Kenneth C Sevcik
- pp.156–194
- Imperial College Press
- September, 2006
- A Methodology for the Performance Modelling of Distributed Cache Coherent Multiprocessors
- A. J. Field, Peter G. Harrison
- The State-of-the-art in Performance Modeling and Simulation
- Issue 4, pp.55–92
- Gordon and Breach
- 1998
- A Fixed-Point Model of a Distributed Memory Consistency Protocol
- A. J. Field, Peter G. Harrison
- Quantitative Methods in Parallel Systems
- pp.237–247
- ESPRIT Basic Research Series, Springer Verlag
- 1995
- M/G/1 Queues with FCFS Negative Arrivals
- Peter G. Harrison, E. Pitel
- Quantitative Methods in Parallel Systems
- ESPRIT Basic Research Series, Springer
- 1995
- Temporal logic in a stochastic environment
- Ben Strulo, Dov Gabbay, Peter G. Harrison
- Time and logic: a computational approach
- pp.229–247
- UCL Press Ltd.
- 1995
- An Exercise in the Synthesis of Parallel Functional Programs for Message Passing Architectures
- A. J. Field
- Parallel Computing: From Theory to Sound Practice
- pp.452–463
- 1992
- The Design and Implementation of ALICE - a Parallel Graph Reduction Machine
- Martin Cripps, John Darlington, A. J. Field, Peter G. Harrison, Mike Reeve
- Selected Reprints on Dataflow and Reduction Architectures
- pp.300–327
- IEEE Computer Society Press
- 1987
- The Unification of Functional and Logic Languages
- John Darlington, A. J. Field, Helen Pull
- Logic Programming: Functions, Relations and Equations, DeGroot D. and Lindstrom, G. eds.
- pp.37–70
- Prentice Hall
- 1986

- Bounds on the deviation of discrete-time Markov chains from their mean-field model
- Luca Bortolussi, Richard Hayden
- Performance Evaluation
- 2013
- Product-forms in batch networks: approximation and asymptotics
- Peter G. Harrison, Richard Hayden, William J. Knottenbelt
- Performance Evaluation
- 2013
- Database System Performance Evaluation Models: A Survey
- Rasha Osman, William J. Knottenbelt
- Performance Evaluation
- Elsevier
- 2012
- Predicting the outcomes of tennis matches using a low-level point model
- Demetris Spanias, William J. Knottenbelt
- IMA Journal of Management Mathematics
- IOS Press
- 2012
- A common-opponent stochastic model for predicting the outcome of professional tennis matches
- William J. Knottenbelt, Demetris Spanias, Agnieszka M. Madurska
- Computers & Mathematics with Applications. An InternationalJournal
- Elsevier
- 2012
- Analysis of stochastic Petri nets with signals
- Andrea Marin, Simonetta Balsamoa, Peter G. Harrison
- Performance Evaluation
- July, 2012
- Comparative Evaluation of Independent Private Values Distributions on Internet Auction Performance
- Timothy Leung, William J. Knottenbelt
- International Journal of E-Entrepreneurship and Innovation
- Volume 3, Issue 1, pp.59–72
- IGI Global
- January, 2012
- Fluid computation of passage time distributions in large Markov models
- Richard Hayden, Anton Stefanek, Jeremy T. Bradley
- Theoretical Computer Science
- Volume 413, Issue 1, pp.106–141
- Elsevier
- January, 2012
- Performance specification and evaluation with Unified Stochastic Probes and fluid analysis
- Richard Hayden, Jeremy T. Bradley, Allan Clark
- IEEE Transactions on Software Engineering
- IEEE Computer Society
- 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
- Fluid computation of the performance-energy trade-off in large scale Markov models
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- SIGMETRICS Performance Evaluation Review
- December, 2011
- Investigating Flash memory wear levelling and execution modes
- Soraya Zertal, Peter G. Harrison
- SIMULATION
- Volume 87, Issue 12, pp.1081–1091
- Sage Publications, Inc.
- December, 2011
- Mean-field approximations for performance models with generally-timed transitions
- Richard Hayden
- SIGMETRICS Performance Evaluation Review
- December, 2011
- Invited Response to Computer Journal Lecture by Prof. Jane Hillston
- Jeremy T. Bradley, Nigel Thomas, Richard Hayden, Anton Stefanek
- The Computer Journal
- Oxford Journals
- November, 2011
- Analytical and Simulation Modelling of Zoned RAID Systems
- Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
- The Computer Journal
- Volume 54, Issue 5, pp.691–707
- Oxford Journals
- May, 2011
- Passage-time Computation and Aggregation Strategies for Large Semi-Markov Processes
- Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt
- Performance Evaluation
- Volume 68, Issue 3, pp.211–236
- Elsevier
- March, 2011
- A generalized method of moments for closed queueing networks
- Giuliano Casale
- Performance Evaluation
- Volume 68, Issue 2, pp.180–200
- Springer
- February, 2011
- Consumer-to-Consumer Internet Auction Models
- Timothy Leung, William J. Knottenbelt
- International Journal of Online Marketing
- Volume 1, Issue 3, pp.17–28
- ICEIS
- 2011
- Extracting State-Based Performance Metrics using Asynchronous Iterative Techniques
- Douglas de Jager, Jeremy T. Bradley
- Performance Evaluation
- Volume 67, Issue 12, pp.1353–1372
- Elsevier
- December, 2010
- Modelling infection spread using location tracking
- Andrew Mason, Nicholas J. Dingle, William J. Knottenbelt, Derek Bell, William Buchanan, Christoph Thuemmler
- International Journal of Healthcare Technology and Management
- Volume 11, Issue 6, pp.442–461
- Inderscience Enterprises Ltd.
- 2010
- A fluid analysis framework for a Markovian process algebra
- Richard Hayden, Jeremy T. Bradley
- Theoretical Computer Science
- Volume 411, Issues 22–24, pp.2260–2297
- Elsevier
- May, 2010
- Busy periods in fluid queues with multiple emptying input states
- A. J. Field, Peter G. Harrison
- Journal of Applied Probability
- Volume 47, Issue 2, pp.474–497
- April, 2010
- Evaluating fluid semantics for passive stochastic process algebra cooperation
- Richard Hayden, Jeremy T. Bradley
- Performance Evaluation
- Volume 67, Issue 4, pp.260–284
- Elsevier
- April, 2010
- Product-forms and functional rates
- Peter G. Harrison
- Performance Evaluation
- Volume 66, Issue 11, pp.660–663
- Elsevier
- November, 2009
- Predicting patient arrivals to an accident and emergency department
- Susanna Wau Men Au-Yeung, Uli Harder, Emma McCoy, William J. Knottenbelt
- Emergency Medicine Journal
- Volume 26, Issue 4, pp.241–244
- BMJ Publishing Group Limited
- April, 2009
- Turning back time - what impact on performance?
- Peter G. Harrison
- The Computer Journal
- Oxford Journals
- April, 2009
- Probabilistic Mobile Ambients
- Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Vigliotti
- Volume 410, Issues 12–13, pp.1272–1309
- Theoretical Computer Science, Elsevier
- 2009
- Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
- Jeremy T. Bradley, Stephen Gilmore, Jane Hillston
- Journal of Computer and System Sciences
- Volume 74, Issue 6, pp.1013–1032
- Elsevier
- September, 2008
- Efficient computation of passage time densities and distributions in Markov chains using Laguerre method
- Harini Kulatunga, William J. Knottenbelt
- Electronics Letters
- Volume 44, Issue 15
- The Institution of Engineering and Technology
- July, 2008
- Geometric Bounds: A Noniterative Analysis Technique for Closed Queueing Networks
- Giuliano Casale, Richard Muntz, Giuseppe Serazzi
- IEEE Transactions on Computers
- Volume 57, Issue 6, pp.780–794
- IEEE Computer Society
- June, 2008
- Symmetric Electoral Systems for Ambient Calculi
- Iain Phillips, Maria Vigliotti
- Information and Computation
- Volume 206, Issue 1, pp.34–72
- Elsevier
- January, 2008
- 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
- Queueing models of RAID systems with maxima of waiting times
- Peter G. Harrison, Soraya Zertal
- Performance Evaluation
- Volume 64, Issues 7–8, pp.664–689
- Elsevier
- August, 2007
- 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
- June, 2007
- Adaptive joint detection and estimation in fading MIMO CDMA channels: A Hybrid systems approach
- Harini Kulatunga, Visakan Kadirkamanathan
- IEEE Transactions on Signal Processing
- IEEE Signal Processing Society
- 2006
- Multiple H-infinity filter based Deterministic Sequence Estimation in non-Gaussian Channels
- Harini Kulatunga, Visakan Kadirkamanathan
- IEEE Signal Processing Letters
- IEEE Signal Processing Society
- 2006
- Phytoplankton co-existence: Results from an individual-based simulation model
- Enrique Nogueira, John Woods, Chris Harris, A. J. Field, Sarah Talbot
- Ecological Modelling
- Volume 198, Issues 1–2, pp.1–22
- Elsevier
- September, 2006
- Distributed Computation of Transient State Distributions and Passage Time Quantiles in Large Semi-Markov Models
- Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
- Future Generation Computer Systems
- Volume 22, Issue 7, pp.828–837
- Elsevier
- August, 2006
- Leader election in rings of ambient processes
- Iain Phillips, Maria Vigliotti
- Theoretical Computer Science
- Volume 356, Issue 3, pp.468–494
- Elsevier
- 2006
- Correlated dynamics in human printing behaviour
- Uli Harder, Maya Paczuski
- Physica A
- Volume 361, Issue 1, pp.329–336
- Elsevier
- 2006
- Separable equilibrium state probabilities via time reversal in Markovian process algebra
- Peter G. Harrison, Ting Ting Lee
- Theoretical Computer Science
- Volume 346, Issue 1, pp.161–182
- Elsevier
- November, 2005
- Iterative Convergence of Passage-time Densities in Semi-Markov Performance Models
- Jeremy T. Bradley, Helen Wilson
- Performance Evaluation
- Volume 60, Issues 1–4, pp.237–254
- Elsevier
- May, 2005
- Semi-Markov PEPA: Modelling with Generally Distributed Actions
- Jeremy T. Bradley
- International Journal of Simulation
- Volume 6, Issues 3–4, pp.43–51
- IJSIM
- February, 2005
- Network Traffic Behaviour in Switched Ethernet Systems
- A. J. Field, Uli Harder, Peter G. Harrison
- Performance Evaluation
- Volume 58, Issues 2–3, pp.243–260
- Elsevier
- November, 2004
- Stochastic Analysis of Scheduling Strategies in a Grid-based Resource Model
- Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
- IEE Proceedings - Software
- Volume 151, Issue 5, pp.232–239
- IEE
- October, 2004
- Measurement and modelling of self-similar traffic in computer networks
- A. J. Field, Uli Harder, Peter G. Harrison
- IEE Proceedings - Communications
- Volume 151, Issue 4, pp.355–363
- IEE
- August, 2004
- Uniformization and Hypergraph Partitioning for the Distributed Computation of Response Time Densities in Very Large Markov Models
- Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
- Journal of Parallel and Distributed Computing
- Volume 64, Issue 8, pp.908–920
- Elsevier
- August, 2004
- Compositional reversed Markov processes, with applications to G-networks
- Peter G. Harrison
- Performance Evaluation
- Volume 57, Issue 3, pp.379–408
- Elsevier
- July, 2004
- Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models
- Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen Wilson
- Linear Algebra and Its Applications
- Volume 386, pp.311–334
- Elsevier
- July, 2004
- Reversed processes, product forms and a non-product form
- Peter G. Harrison
- Linear Algebra and Its Applications
- Volume 386, pp.359–381
- Elsevier
- July, 2004
- 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
- An approximate solution of PEPA models using component substitution
- Nigel Thomas, Jeremy T. Bradley, David Thornley
- IEE Proceedings - Computers and Digital Techniques
- Volume 150, Issue 2, pp.67–74
- March, 2003
- A new blocking problem from Java-based schedulers
*Peter G. Harrison, Catalina*- Performance Evaluation
- Volume 51, pp.229–246
- Elsevier
- January, 2003
- Turning back time in Markovian process algebra
- Peter G. Harrison
- Theoretical Computer Science
- Volume 290, Issue 3, pp.1947–1986
- Elsevier
- January, 2003
- On the asymptotic behaviour of closed multiclass queueing networks
- Sergio Coury, Peter G. Harrison
- Performance Evaluation
- Volume 47, pp.131–138
- Elsevier
- January, 2002
- The MM CPP/GE/c G-Queue: sojourn time distribution
- Peter G. Harrison
- Queueing Systems
- Volume 41, pp.271–298
- Kluwer Academic Publishers
- January, 2002
- THEMIS: Component dependence metadata in adaptive parallel computations
- Paul Kelly, Olav Beckmann, A. J. Field, Scott Baden
- Parallel Processing Letters
- Volume 11, Issue 4, pp.455–470
- World Scientific
- December, 2001
- Performance analysis of three implementation strategies for distributed lock management
- William J. Knottenbelt, Soraya Zertal, Peter G. Harrison
- IEE Proceedings - Computers and Digital Techniques
- Volume 158, Issues 4–5, pp.176–186
- IEE
- September, 2001
- A Markov Modulated Multi-server Queue with Negative Customers - The MM CPP/GE/c/L G-Queue
- Ram Chakka, Peter G. Harrison
- Acta Informatica
- Volume 37, Issues 11–12, pp.881–919
- Springer-Verlag
- August, 2001
- A Simple Recursive Tesselator
- Adrian Chung, A. J. Field
- Journal of Graphics Tools
- Volume 5, Issue 3, pp.1–9
- Academic Press
- 2001
- The MMCPP/GE/c Queue
- Ram Chakka, Peter G. Harrison
- Queueing Systems
- Volume 38, Issue 3, pp.307–326
- Kluwer
- 2001
- Reliability modelling using G-queues
- Peter G. Harrison, Naresh M. Patel, E. Pitel
- European Journal of Operational Research
- Volume 126, Issue 2, pp.273–287
- October, 2000
- Optimising bandwidth of ABR sources
- Madhu D. K. Bhabuta , Peter G. Harrison
- Computer Networks
- Volume 34, Issue 1, pp.115–128
- Elsevier Science Bv
- July, 2000
- A Probabilistic Dynamic Technique for the Distributed Generation of Very Large State Spaces
- William J. Knottenbelt, Peter G. Harrison, Mark Mestern, Pieter Kritzinger
- Performance Evaluation
- Volume 39, Issues 1–4, pp.127–148
- Elsevier
- February, 2000
- SPADES - a Process Algebra for Discrete Event Simulation
- Peter G. Harrison, Ben Strulo
- Journal of Logic and Computation
- Volume 10, Issue 1, pp.3–42
- Oxford University Press
- January, 2000
- 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
- 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
- Automatic Generation of Verifiable Cache Coherence Simulation Models from High-level Specifications
- A. J. Field, Peter G. Harrison, K. Kanani
- Australian Computer Science Communications
- Volume 20, Issue 3, pp.261–275
- 1998
- Asymptotic properties of queuing networks
- Sergio Coury, Peter G. Harrison
- IEE Proceedings - Computers and Digital Techniques
- Volume 144, Issue 5, pp.249–254
- IEE
- September, 1997
- Waiting time distribution in a class of discrete-time cyclic service multi-queue systems
- Sergio Coury, Peter G. Harrison
- Perform. Eval.
- Volume 29, Issue 4, pp.223–243
- May, 1997
- Rendering Radiosity Solutions by Adaptive Gathering
- Adrian Chung, A. J. Field
- Journal of Graphics Tools
- Volume 2, Issue 2, pp.31–44
- 1997
- Stochastic Model of Cache Coherency Overhead in SCI Rings
- A. J. Field, Peter G. Harrison
- IEE Proceedings - Computers and Digital Techniques
- Volume 144, Issue 3, pp.175–186
- 1997
- Modelling and validation of shared memory coherency protocols
- Andrew Bennett, A. J. Field, Peter G. Harrison
- Performance Evaluation
- Volume 27, pp.541–563
- Elsevier
- October, 1996
- Countless Simson Line Configurations
- Christopher J. Bradley, Jeremy T. Bradley
- The Mathematical Gazette
- Volume 80, Issue 488, pp.314–321
- July, 1996
- The M/G/1 queue with negative customers
- Peter G. Harrison, E. Pitel
- Advances in Applied Probability
- Volume 28, pp.540–566
- June, 1996
- 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
- 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
- On the Breathers of a
^{1}_{n}Affine Toda Field Theory - Uli Harder, Alexander Iskandar, William McGhee
- International Journal of Modern Physics A
- Volume 10, Issue 13, pp.1879–1904
- World Scientific
- May, 1995
- Response time distributions in tandem G-networks
- Peter G. Harrison, E. Pitel
- Journal of Applied Probability
- Volume 32, Issue 1, pp.224–246
- March, 1995
- Transformation of polynomial evaluation to a pipeline via Horner's rule
- Peter G. Harrison, R. Lyndon While
- Science of Computer Programming
- Volume 24, Issue 1, pp.83–95
- Elsevier Science Bv
- February, 1995
- Exploiting Quasi-reversible Structures in Markovian Process Algebra Models
- Peter G. Harrison, Jane Hillston
- The Computer Journal
- Volume 38, Issue 7, pp.510–520
- Oxford University Press
- 1995
- 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
- 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
- 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
- The mechanical transformation of data types
- Peter G. Harrison, Hessam Khoshnevisan
- The Computer Journal
- Volume 35, Issue 2, pp.138–147
- Oxford Journals
- April, 1992
- On the synthesis of function inverses
- Peter G. Harrison, Hessam Khoshnevisan
- Acta Informatica
- Volume 29, Issue 3, pp.211–239
- Springer Verlag
- March, 1992
- A new approach to recursion removal
- Peter G. Harrison, Hessam Khoshnevisan
- Theoretical Computer Science
- Volume 93, Issue 1, pp.91–113
- Elsevier
- February, 1992
- Fixed point model for adaptive token passing bus protocol
- Peter G. Harrison, F. Naraghi
- IEE Proceedings - Computers and Digital Techniques
- Volume 139, Issue 1, pp.50–58
- IEE/IOP/BCS
- January, 1992
- On the expansion of non-linear functions
- Peter G. Harrison
- Acta Informatica
- Volume 28, Issue 6, pp.559–574
- Springer-Verlag
- September, 1991
- Analytic models for multistage interconnection networks
- Peter G. Harrison
- Journal of Parallel and Distributed Computing
- Volume 12, Issue 4, pp.357–369
- Elsevier
- August, 1991
- On nonuniform packet switched delta networks and the hot-spot effect
- Peter G. Harrison
- IEE Proceedings - Computers and Digital Techniques
- Volume 138, Issue 3, pp.123–130
- May, 1991
- The Representation of Multistage Interconnection Networks in Queueing Models of Parallel Systems
- Peter G. Harrison, Naresh M. Patel
- Journal of the ACM
- Volume 37, Issue 4, pp.863–898
- ACM Press
- October, 1990
- Laplace Transform Inversion and Passage-Time Distributions in Markov Processes
- Peter G. Harrison
- Journal of Applied Probability
- Volume 27, Issue 1, pp.74–87
- Applied Probability Trust
- March, 1990
- Algebraic transformation techniques for functional languages
- Peter G. Harrison, Hessam Khoshnevisan
- The Computer Journal
- Volume 31, Issue 3, pp.229–242
- Oxford Journals
- June, 1988
- Linearisation: An optimisation for nonlinear functional programs
- Peter G. Harrison
- Science of Computer Programming
- Volume 10, Issue 3, pp.281–318
- Elsevier
- June, 1988
- An Enhanced Approximation by Pair-Wise Analysis of Servers for Time Delay Distributions in Queueing Networks
- Peter G. Harrison
- IEEE Transactions on Computers
- Volume 35, Issue 1, pp.54–61
- IEEE Computer Society Press
- January, 1986
- Functional Programming using FP
- Peter G. Harrison, Hessam Khoshnevisan
- Byte
- Volume 10, Issue 8, pp.219–234
- August, 1985
- On normalizing constants in queueing-networks
- Peter G. Harrison
- Operations Research
- Volume 33, Issue 2, pp.464–468
- INFORMS
- March, 1985
- An analytic model for flow-control schemes in communication-network nodes
- Peter G. Harrison
- IEEE Transactions on Communications
- Volume 32, Issue 9, pp.1013–1019
- September, 1984
- A note on cycle times in tree-like queueing systems
- Peter G. Harrison
- Advances in Applied Probability
- Volume 16, pp.216–219
- Applied Probability Trust
- January, 1984
- The Distribution of Cycle Times in Tree-Like Networks of Queues
- Peter G. Harrison
- The Computer Journal
- Volume 27, Issue 1, pp.27–36
- Oxford Journals
- 1984
- Convergent discrete form for the time-delay distributions in networks of queues
- Peter G. Harrison
- Computer Performance
- Volume 3, Issue 3, pp.167–175
- 1982
- Efficient Storage Management for Functional Languages
- Peter G. Harrison
- The Computer Journal
- Volume 25, Issue 2, pp.264–271
- Oxford Journals
- 1982
- Efficient table-driven implementation of the finite state machine
- Peter G. Harrison
- Journal of Systems and Software
- Volume 2, Issue 3, pp.201–211
- Elsevier
- September, 1981
- Transient Behaviour of Queueing Networks
- Peter G. Harrison
- Journal of Applied Probability
- Volume 18, pp.482–490
- 1981
- System conventions for non procedural languages
- R Haskell, Peter G. Harrison
- The Computer Journal
- Volume 23, Issue 2, pp.132–141
- Oxford Journals
- 1980

- Product-form approximation of queueing networks with phase-type service
- Giuliano Casale, Peter G. Harrison, Maria Vigliotti
- SIGMETRICS Performance Evaluation Review
- Volume 39, Issue 4, p.36
- April, 2012
- Response Time Distribution of Flash Memory Accesses
- Peter G. Harrison, Naresh M. Patel, Soraya Zertal
- Performance Evaluation
- Volume 67, Issue 4, pp.248–259
- Elsevier
- 2010
- 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
- October, 2009
- PIPE2: A Tool for the Performance Evaluation of Generalised Stochastic Petri Nets
- Nicholas J. Dingle, William J. Knottenbelt, Tamas Suto
- Special Issue on Tools for Computer Performance Modelling and Reliability Analysis
- Volume 36, Issue 4, pp.34–39
- ACM SIGMETRICS Performance Evaluation Review, ACM Press
- March, 2009
- An Approximate Compositional Approach to the Analysis of Fluid Queue Networks
- A. J. Field, Peter G. Harrison
- Performance Evaluation
- Volume 64, Issues 9–12, pp.1137–1152
- Elsevier
- October, 2007

- Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens
- Nicholas J. Dingle, William J. Knottenbelt
- Volume 232, pp.75–88
- Electronic Notes in Theoretical Computer Science
- March, 2009
- Bus Modelling in Zoned Disks RAID Storage Systems
- Peter G. Harrison, Soraya Zertal
- PASM 2008. Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, Palma-de-Mallorca, September 2008
- Volume 232, pp.5–16
- Electronic Notes in Theoretical Computer Science, Elsevier
- March, 2009

- Performance-energy trade-offs in smartphones
- Tiberiu Chis, Peter G. Harrison
- The 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM 2016)
- ACM Digital Library
- 2016
- A Model of Speculative Parallel Scheduling in Networks of Unreliable Sensors
- Zhan Qiu, Peter G. Harrison
- 28th International Symposium on Computer and Information Sciences (ISCIS 2013)
- Volume 264, pp.107–116
- Lecture Notes in Electrical Engineering, Springer
- October, 2013
- Analysing and Predicting Patient Arrival Times in Hospitals using Hidden Markov Models
- Tiberiu Chis, Peter G. Harrison
- 28th International Symposium on Computer and Information Sciences (ISCIS '13)
- Volume 264, pp.77–85
- Lecture Notes in Engineering and Computer Science, Springer
- October, 2013
- Bounds on the deviation of discrete-time Markov chains from their mean-field model
- Luca Bortolussi, Richard Hayden
- 31st International Symposium on Computer Performance, Modeling, Measurements and Evaluation (IFIP PERFORMANCE)
- 2013
- Product-forms in batch networks: approximation and asymptotics
- Peter G. Harrison, Richard Hayden, William J. Knottenbelt
- 31st International Symposium on Computer Performance, Modeling, Measurements and Evaluation (IFIP PERFORMANCE)
- 2013
- Sliding Hidden Markov Model for Evaluating Discrete Data
- Tiberiu Chis
- 10th European Workshop on Performance Engineering (EPEW '13)
- Volume 8168, pp.251–262
- Lecture Notes in Computer Science, Springer Berlin / Heidelberg
- September, 2013
- iSWoM: The incremental Storage Workload Model using Hidden Markov Models
- Tiberiu Chis, Peter G. Harrison
- 20th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA '13)
- Volume 7984, pp.127–141
- Lecture Notes in Computer Science, Springer Berlin / Heidelberg
- July, 2013
- Journey data based arrival forecasting for bicycle hire schemes
- Marcel C. Guenther, Jeremy T. Bradley
- 20th International Conference on Analytical & Stochastic Modelling Techniques & Applications (ASTMA'13)
- Lecture Notes in Computer Science, Springer
- 2013
- Mean-field Analysis of Data Flows in Wireless Sensor Networks
- Marcel C. Guenther, Jeremy T. Bradley
- ICPE'13: Fourth Joint WOSP/SIPEW International Conference on Performance Engineering
- 2013
- Deriving the rate equations characterising product-form models and application to propagating synchronisations
- Peter G. Harrison, Andrea Marin
- 6th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2012)
- IEEE
- October, 2012
- Collecting battery data with Open Battery
- Gareth Jones, Peter G. Harrison
- Imperial College Computing Student Workshop (ICCSW 2012)
- Schloss Dagstuhl
- September, 2012
- Incremental HMM with an improved Baum-Welch Algorithm
- Tiberiu Chis, Peter G. Harrison
- Imperial College Computing Student Workshop (ICCSW '12)
- September, 2012
- Mean field for performance models with deterministically-timed transitions
- Richard Hayden
- 9th International Conference on Quantitative Evaluation of Systems (QEST 2012)
- 2012
- Specification and efficient computation of passage-time distributions in GPA
- Matej Kohut, Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- 9th International Conference on Quantitative Evaluation of Systems (QEST 2012)
- 2012
- Moment closures for performance models with highly non-linear rates
- Marcel C. Guenther, Anton Stefanek, Jeremy T. Bradley
- EPEW 2012, 9th European Performance Engineering Workshop
- 2012
- Controlling Variability in Split-Merge Systems
- Iryna Tsimashenka, William J. Knottenbelt, Peter G. Harrison
- Analytical and Stochastic Modeling Techniques and Applications (ASMTA 2012)
- Springer
- June, 2012
- Mean-field analysis of Markov models with reward feedback
- Anton Stefanek, Richard Hayden, Marc Mac Gonagle, Jeremy T. Bradley
- ASMTA 2012, 19th International Conference on Analytic and Stochastic Modelling Techniques and Applications
- Lecture Notes in Computer Science, Springer Verlag
- 2012
- A Class of Tractable Models for Run-Time Performance Evaluation
- Giuliano Casale, Peter G. Harrison
- 3rd ACM/SPEC International Conference on Performance Engineering (ICPE 2012)
- April, 2012
- Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data
- Nikolas Anastasiou, William J. Knottenbelt, Andrea Marin
- 8th European Performance Engineering Workshop (EPEW 2011)
- October, 2011
- GPA - A tool for fluid scalability analysis of massively parallel systems
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- QEST'11, 8th International Conference on Quantitative Evaluation of Systems
- pp.147–148
- IEEE
- October, 2011
- Higher moment analysis of a spatial stochastic process algebra
- Marcel C. Guenther, Jeremy T. Bradley
- EPEW 2011, 8th European Performance Engineering Workshop
- Volume 6977, pp.87–101
- Lecture Notes in Computer Science, Springer
- October, 2011
- A PMIF with Petri Net Building Blocks
*Catalina , Peter G. Harrison*- ICPE '11 Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering
- ACM
- September, 2011
- Fluid Queue Models of Battery Life
- Gareth Jones, Peter G. Harrison, Uli Harder, A. J. Field
- IEEE 19th International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS 2011)
- July, 2011
- The Effect of Private Valuation on E-Auction Revenues
- Timothy Leung, William J. Knottenbelt
- Digital Enterprise and Information Systems (DEIS 2011)
- July, 2011
- Data Allocation Strategies for the Management of Quality of Service in Virtualised Storage Systems
- Felipe Franciosi, William J. Knottenbelt
- IEEE Conference on Mass Storage Systems and Technologies (MSST 2011)
- pp.1–6
- May, 2011
- Deriving Generalised Stochastic Petri Net performance models from high-precision location tracking data
- Nikolas Anastasiou, Tzu-Ching Horng, William J. Knottenbelt
- Fifth International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2011)
- May, 2011
- Fluid analysis of energy consumption using rewards in massively parallel Markov models
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- ICPE 2011, 2nd ACM/SPEC International Conference on Performance Engineering, March 14-16, 2011, Karlsruhe, Germany
- pp.121–131
- ACM
- March, 2011
- LocTrackJINQS: An Extensible Location-aware Simulation Tool for Multiclass Queueing Networks
- Tzu-Ching Horng, Nikolas Anastasiou, A. J. Field, William J. Knottenbelt
- Electronic Notes in Theoretical Computer Science
- Volume 275, Issue 27, pp.93–104
- March, 2011
- Stochastic Modelling and Optimisation of Internet Auction Processes
- Timothy Leung, William J. Knottenbelt
- Fifth International Workshop on the Practical Application of Stochastic Modelling (PASM)
- Electronic Notes in Theoretical Computer Science
- March, 2011
- Global B2C and C2C Online Auction Models
- Timothy Leung, William J. Knottenbelt
- Annual Conference on Innovations in Business & Management
- January, 2011
- GPU-Enabled Steady-State Solution of Large Markov Models
- Bruno Magalhaes, Nicholas J. Dingle, William J. Knottenbelt
- 6th International Workshop on the Numerical Solution of Markov Chains (NSMC'10)
- pp.63–66
- September, 2010
- Product-Form Approximation of Tandem Queues via Matrix Geometric Methods
- Giuliano Casale, Peter G. Harrison, Maria Vigliotti
- 6th International Workshop on the Numerical Solution of Markov Chains (NSMC 2010)
- September, 2010
- Semi-Product-Form Solution for Models with State-Dependent Rates
- Nigel Thomas, Andrea Marin, Peter G. Harrison
- 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
- September, 2010
- State-dependent rates and semi-product-form via the reversed process
- Nigel Thomas, Peter G. Harrison
- European Performance Engineering Workshop (EPEW 2010)
- Lecture Notes in Computer Science, Springer-Verlag
- September, 2010
- A Unifying Approach to Product-forms in Networks with Finite Capacity Constraints
- Simonetta Balsamo, Peter G. Harrison, Andrea Marin
- ACM Sigmetrics 2010
- pp.25–36
- ACM SIGMETRICS Performance Evaluation Review, ACM
- June, 2010
- A new tool for the performance analysis of massively parallel computer systems
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), March 27-28, 2010, Paphos, Cyprus
- Volume 28, pp.159–181
- Electronic Proceedings in Theoretical Computer Science
- March, 2010
- A general result for deriving product-form solutions in Markovian models
- Andrea Marin, Maria Vigliotti
- First Joint WOSP/SIPEW International
- ACM International Conference Proceedings, ACM
- 2010
- A Markovian Futures Market for Computing Power
- Fernando Martinez Ortuno, Peter G. Harrison, Uli Harder
- WOSP/SIPEW
- January, 2010
- CoBiC: Context-dependent Bioambient Calculus
- Luca Borlolussi, Maria Vigliotti
- international Workshop on Quantitative Aspects of Programming Languages
- Volume 253, pp.187–201
- Electronic Notes in Theoretical Computer Science, Elsevier
- 2009
- Data Placement And Migration Strategies For Virtualised Data Storage Systems
- Henry Bond, Nicholas J. Dingle, Felipe Franciosi, Peter G. Harrison, William J. Knottenbelt
- 23rd Annual European Simulation and Modelling Conference (ESM 2009)
- October, 2009
- Response time distributions and network perturbation into product-form
- Peter G. Harrison, Maria Vigliotti
- 4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2009).
- October, 2009
- Using Bulk Arrivals to Model I/O Request Response Time Distributions in Zoned Disks and RAID Systems
- Abigail Lebrecht, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt, Soraya Zertal
- 4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2009)
- October, 2009
- A Performance Model of Zoned Disk Drives with I/O Request Reordering
- Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
- 6th International Conference on Quantitative Evaluation of Systems (QEST 2009)
- pp.97–106
- September, 2009
- PageRank: Splitting Homogeneous Singular Linear Systems of Index One
- Douglas de Jager, Jeremy T. Bradley
- ICTIR'09, 2nd International Conference on the Theory of Information Retrieval
- Volume 5766, pp.17–28
- Lecture Notes in Computer Science, Springer Verlag
- September, 2009
- Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems
- Richard Hayden, Jeremy T. Bradley
- MASCOTS '09, 17th Annual Meeting of the IEEE International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems
- IEEE Computer Society
- September, 2009
- A likelihood based framework for assessing network evolution models tested on real network data
- Richard Clegg, Raul Landa, Miguel Rio, Uli Harder
- Workshop on Simplifying Complex Network for Practitioners
- pp.1–6
- ACM
- July, 2009
- A more realistic Peer-to-Peer Grid Market Model
- Uli Harder, Fernando Martinez Ortuno
- EPEW'09, 6th European Performance Engineering Workshop Imperial College London, 9-10 July
- Volume 5652
- Lecture Notes in Computer Science, Springer-Verlag
- July, 2009
- Modelling Zoned RAID Systems using Fork-Join Queueing Simulation
- Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
- 6th European Performance Engineering Workshop (EPEW 2009)
- Volume 5652, pp.16–29
- Lecture Notes in Computer Science, Springer Verlag
- July, 2009
- Aggregation strategies for large semi-Markov processes
- Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt
- 3rd International Symposium on Semi-Markov Models: Theory and Applications
- June, 2009
- From X to Pi: Representing Classical Sequent Calculus in Pi-calculus
- Luca Cardelli, Steffen van Bakel, Maria Vigliotti
- International Workshop on Classical Logic and Computation (CL&C'08)
- 2009
- Towards The Automated Inference Of Queueing Network Models From High-Precision Location Tracking Data
- Nicholas J. Dingle, Adam Jackson, William J. Knottenbelt
- 23rd European Conference on Modelling and Simulation (ECMS 2009)
- pp.664–674
- June, 2009
- Towards a QoS-aware Virtualised Storage System
- Felipe Franciosi, William J. Knottenbelt
- UKPEW 2009
- pp.56–67
- April, 2009
- Node-level Architecture Design and Simulation of the MAGOG Grid Middleware
- Jeremy Cohen, Colin Richardson, Uli Harder, Fernando Martinez Ortuno, John Darlington
- Conferences in Research and Practice in Information Technology
- Volume 99, pp.57–66
- Australian Computer Society
- January, 2009
- Fluid level in a reservoir with an on-off source
- Varun Gupta, Peter G. Harrison
- 10th workshop on mathematical performance modeling and analysis (MAMA 2008)
- Volume 36, Issue 2, pp.128–130
- Performance Evaluation Review, ACM
- December, 2008
- Fluid semantics for passive stochastic process algebra cooperation
- Richard Hayden, Jeremy T. Bradley
- VALUETOOLS'08, 3rd International Conference on Performance Evaluation Methodologies and Tools
- ACM
- October, 2008
- Safety and Response-Time Analysis of an Automotive Accident Assistance Service
- Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone
- ISOLA'08, 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
- Volume 17, Issue 6, pp.191–205
- Communications in Computer and Information Science, Springer
- October, 2008
- Service Level Agreement Specification, Compliance Prediction And Monitoring With Performance Trees
- Nicholas J. Dingle, William J. Knottenbelt, Lei Wang
- 22nd Annual European Simulation and Modelling Conference (ESM'08)
- pp.137–144
- October, 2008
- Simulation And Modelling Of RAID 0 System Performance
- Francis Wan, Nicholas J. Dingle, William J. Knottenbelt, Abigail Lebrecht
- 22nd Annual European Simulation and Modelling Conference (ESM'08)
- pp.145–149
- October, 2008
- A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation
- Darren K. Brien, Nicholas J. Dingle, William J. Knottenbelt, Harini Kulatunga, Tamas Suto
- QEST'08, 5th International Conference on the Quantitative Evaluation of Systems
- pp.237–238
- IEEE Computer Society
- September, 2008
- A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
- Jeremy T. Bradley
- EPEW'08, 5th European Performance Evaluation Workshop
- Volume 5261, pp.79–94
- Lecture Notes in Computer Science, Springer Verlag
- September, 2008
- Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens
- Nicholas J. Dingle, William J. Knottenbelt
- Third International Workshop on Practical Applications of Stochastic Modelling (PASM'08), Palma de Mallorca, Spain
- September, 2008
- Modelling and Validation of Response Times in Zoned RAID
- Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
- 16th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)
- September, 2008
- Natural Language Specification of Performance Trees
- Lei Wang, Nicholas J. Dingle, William J. Knottenbelt
- 5th European Performance Engineering Workshop (EPEW 2008)
- Issue 5261, pp.141–151
- Lecture Notes in Computer Science
- September, 2008
- Distributed Response Time Analysis of GSPN Models with MapReduce
- Oliver Haggarty, William J. Knottenbelt, Jeremy T. Bradley
- SPECTS'08, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Edinburgh, 16-18 June 2008
- pp.82–90
- SCS
- 2008
- Parallelization of a Simulation of a peer to peer market for Grid Computing
- Fernando Martinez Ortuno
- 24th UK Performance Engineering Workshop (UKPEW 2008)
- July, 2008
- A Response Time Distribution Model for Zoned RAID
- Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
- The 15th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA '08)
- pp.144–157
- Lecture Notes in Computer Science
- June, 2008
- BAM: BioAmbient Machine
- Vinod Muganthan, Andrew Phillips, Maria Vigliotti
- 8th International Conference on Application of Concurrency to System (ACDS'08)
- IEEE Computer Society Press, IEEE
- 2008
- Extracting Response Times from Fluid Analysis of Performance Models
- Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto
- SIPEW'08, SPEC International Performance Evaluation Workshop, Darmstadt, 27-28 June 2008
- Volume 5119, pp.29–43
- Lecture Notes in Computer Science, Springer
- June, 2008
- Non-linear seek distance for optimal accuracy of zoned disks seek time in Multi-RAID storage systems
- Soraya Zertal, Peter G. Harrison
- High Performance Computing & Simulation Conference (HPCS 2008)
- June, 2008
- Response time distributions via reversed processes.
- Peter G. Harrison, Maria Vigliotti
- Imperial College
- Imperial College
- 2008
- Simulation of a peer to peer market for Grid Computing
- Uli Harder, Fernando Martinez Ortuno
- The 15th International Conference on ANALYTICAL and STOCHASTIC MODELLING TECHNIQUES and APPLICATIONS, ASMTA 2008
- Volume 5055, pp.234–248
- Lecture Notes in Computer Science, Springer-Verlag
- 2008
- Performance Trees: Implementation And Distributed Evaluation
- Darren K. Brien, Nicholas J. Dingle, William J. Knottenbelt, Harini Kulatunga, Tamas Suto
- PDMC'08, 7th International Workshop on Parallel and Distributed Methods in Verification
- March, 2008
- Machine learned regression for abductive DNA sequencing
- David Thornley, Maxim Zverev, Stavros Petridis
- The 2007 International Conference on Machine Learning and Applications
- IEEE
- December, 2007
- Continuous PEPA Queues: Individual behaviour in continuous queueing networks
- Ashok Argent-Katwala, Jeremy T. Bradley
- VALUETOOLS'07, 2nd International Conference on Performance Evaluation Methodologies and Tools, Nantes, 23-25 October 2007
- Issue 54
- ACM Press
- November, 2007
- Location-Aware Quality of Service Measurements for Service-Level Agreements
- Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore
- TGC'07, Trustworthy Global Computing
- Volume 4912, pp.222–239
- Lecture Notes in Computer Science, Springer
- November, 2007
- Novel anisotropic multidimensional convolutional filters for derivative estimation and reconstruction
- David Thornley
- Proceedings of The 2007 IEEE International Conference on Signal Processing and Communications (ICSPC 2007)
- November, 2007
- An Integrated Analytical Model for Computation and Comparison of the Throughputs of the UMTS/HSDPA User Equipment Categories
- Tien Van Do, Ram Chakka, Peter G. Harrison
- MSWiM 2007, Proceedings of the 10th ACM Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, Crete, October 22-26, 2007
- pp.45–51
- ACM
- October, 2007
- Approximate Queueing Network Analysis of Patient Treatment Times
- Susanna Wau Men Au-Yeung, Peter G. Harrison, William J. Knottenbelt
- 2nd International Conference on Performance Evaluation Methodologies and Tools
- October, 2007
- Note on a simple type system for non-interference.
- Steffen van Bakel, Maria Vigliotti
- Nordic Workshop on Programming Theory (NWPT'07), Oslo, October 10-12, 2007.
- 2007
- Cluster Grid based Response-time Analysis Module for the PIPE Tool
- Harini Kulatunga, Ashok Argent-Katwala, William J. Knottenbelt
- QEST 2007, 4th International Conference on the Quantitative Evaluation of Systems
- pp.51–52
- IEEE Computer Society
- September, 2007
- PEPA Queues: Capturing customer behaviour in queueing networks
- Ashok Argent-Katwala, Jeremy T. Bradley
- QAPL'07, 5th Workshop on Quantitative Aspects of Programming Languages
- Volume 190, Issue 3, pp.3–25
- Electronic Notes in Theoretical Computer Science, Elsevier
- September, 2007
- Performance Trees: Expressiveness And Quantitative Semantics
- Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt
- QEST'07, 4th International Conference on the Quantitative Evaluation of Systems
- pp.41–50
- IEEE Computer Society
- September, 2007
- Performance of a Priority-Weighted Round Robin Mechanism for Differentiated Service Networks
- Yu Zhang, Peter G. Harrison
- International Workshop on Performance Modeling and Evaluation in Computer and Telecommunication Networks (PMECT07) in conjunction with IEEE ICCCN2007.
- IEEE
- August, 2007
- Decoding Trace Peak Behaviour - A Neuro-Fuzzy Approach
- David Thornley, Stavros Petridis
- IEEE International Conference on Fuzzy Systems
- July, 2007
- Approximate Analysis of a Network of Fluid Queues
- A. J. Field, Peter G. Harrison
- Workshop on Mathematical performance Modeling and Analysis (MAMA 2007)
- Volume 35, Issue 2, pp.30–32
- Performance Evaluation Review, ACM
- June, 2007
- Asynchronous Iterative Solution for State-Based Performance Metrics
- Douglas de Jager, Jeremy T. Bradley
- SIGMETRICS'07, ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems. 12-16 June, San Diego.
- pp.373–374
- ACM Press
- June, 2007
- Multi-RAID Queueing Model with Zoned Disks
- Soraya Zertal, Peter G. Harrison
- 2007 High Performance Computing & Simulation Conference (HPCS 2007) June 4 - 6, 2007 Prague, Czech Republic
- June, 2007
- Stochastic Ambient Logic
- Maria Vigliotti
- international Workshop on Quantitative Aspects of Programming Languages (QAPL'07)
- 2007
- Stochastic Ambient Calculus
- Maria Vigliotti, Peter G. Harrison
- International Workshop on Quantitative Aspects of Programming Languages (QAPL'06)
- Volume 164, pp.169–186
- ENTCS, Elsevier
- 2006
- Worst-case Analysis of Router Networks with Rival Queueing Models
- Nalan Gulpinar, Peter G. Harrison, Berc Rustem
- 21st International Symposium on Computer and Information Sciences (ISCIS 2006), Istanbul, Turkey
- Volume 4263, pp.897–907
- Lecture Notes in Computer Science, Springer-Verlag
- November, 2006
- A General Performance Model Interchange Format
*Peter G. Harrison, Catalina , Ramon Puigjaner*- 1st International Conference on Performance Evaluation Methodologies and Tools (Valuetools 2006), Pisa, Italy
- Volume 180
- ACM International Conference Proceedings, ACM
- October, 2006
- A Queueing Network Model of Patient Flow in an Accident and Emergency Department
- Susanna Wau Men Au-Yeung, Peter G. Harrison, William J. Knottenbelt
- 20th Annual European and Simulation Modelling Conference
- pp.60–67
- October, 2006
- Automated product-forms with Meercat
- Ashok Argent-Katwala
- SMCtools 2006, Tools for solving Structured Markov Chains
- Volume 201, Issue 10
- ACM International Conference Proceedings, ACM
- October, 2006
- Optimization of a Tandem Router Network Using a Fluid Model
- Nalan Gulpinar, Peter G. Harrison
- 9th ACM/IEEE International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2006), Terromolinos, Spain. 2-6 October, 2006
- pp.199–206
- ACM
- October, 2006
- Exploring accuracy and correctness in solution to matrix polynomial equations in queues
- David Thornley, Harf Zatschler
- QEST 2006
- September, 2006
- Machine Learning in Basecalling - Decoding trace peak behaviour
- David Thornley, Stavros Petridis
- IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology 2006
- September, 2006
- Performance Trees: A New Approach To Quantitative Performance Specification
- Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt
- MASCOTS'06, 14th International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems
- pp.303–313
- IEEE Computer Society
- September, 2006
- Space-Time Block Coding: Joint Detection and Channel Estimation using Multiple Model Theory
- Harini Kulatunga, Visakan Kadirkamanathan
- IEEE Workshop on Signal Processing Advances in Wireless Communications
- IEEE Signal Processing Society
- July, 2006
- A tandem network of fluid queues with on-off arrivals
- Peter G. Harrison, P. M. Lonsdale
- 5th Workshop on Process Algebra and Stochastically Timed Activities 2006 (PASTA 2006)
- June, 2006
- Expanding The Boundaries Of Performance Requirement Representation With Performance Trees
- Tamas Suto
- PASTA'06, 5th Workshop on Process Algebra and Stochastically Timed Activities
- Imperial College London, Department of Computing
- June, 2006
- Functional Performance Specification with Stochastic Probes
- Ashok Argent-Katwala, Jeremy T. Bradley
- EPEW'06, 3rd European Performance Evaluation Workshop
- Volume 4054, pp.31–46
- Lecture Notes in Computer Science, Springer
- June, 2006
- Modelling along the DNA template in the Sanger method: inhibition through competition and form
- David Thornley
- Process Algebra and Stochastically Timed Activities 2006
- June, 2006
- Observing Internet Worm and Virus Attacks with a Small Network Telescope
- Uli Harder, Matthew Johnson, Jeremy T. Bradley, William J. Knottenbelt
- PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling
- Volume 151, Issue 3, pp.47–59
- Electronic Notes in Theoretical Computer Science, Elsevier
- June, 2006
- Performance Optimization of a Tandem Router Network Using a Fluid Model
*Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Pau*- International MultiConference of Engineers and Computer Scientists 2006, (IMECS'06), June 20-22, 2006, Hong Kong
- p.986
- Lecture Notes in Engineering and Computer Science
- June, 2006
- Process algebraic non-product-forms
- Peter G. Harrison
- Practical Aspects of Stochastic Modelling (PASM'05), Newcastle, July 2005
- Volume 151, Issue 3, pp.61–76
- Electronic Notes in Theoretical Computer Science, Elsevier
- June, 2006
- Stochastic simulation methods applied to a secure electronic voting model
- Jeremy T. Bradley, Stephen Gilmore
- PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling
- Volume 151, Issue 3, pp.5–25
- Electronic Notes in Theoretical Computer Science, Elsevier
- June, 2006
- Visualising Dynamic Memory Allocators
- Andrew Cheadle, A. J. Field, J.W. Ayres, N. Dunn, Richard Hayden, J. Nystrom-Persson
- ISMM'06, ACM International Symposium on Memory Management
- pp.115–125
- ACM Press
- June, 2006
- Performance analysis of Stochastic Process Algebra models using Stochastic Simulation
- Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas
- PMEO-PDS'06, Proceedings of Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems
- p.321
- IEEE Computer Society Press
- April, 2006
- Performance Optimization of Mean Response Time in a Tandem Router Network with Batch Arrivals
*Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Pau*- 10th IEEE/IFIP Network Operations and Management Symposium, 2006 (NOMS 2006)
- April, 2006
- Parallel Visualization using the Domain-Specific Interpreter Pattern
- Karen Osmond, Olav Beckmann, A. J. Field, Paul Kelly
- CPC 2006. Workshop on Compilers for Parallel Computers
- January, 2006
- Delay Analysis of Priority Queues with Modulated Traffic
- Peter G. Harrison, Yu Zhang
- MASCOTS 2005, IEEE International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems
- pp.280–287
- IEEE Computer Society Press
- September, 2005
- GRAIL: Grid-Enabled Performance Analysis Using Stochastic Logics
- Tamas Suto
- PASTA'05, 4th Workshop on Process Algebra and Stochastically Timed Activities
- University of Edinburgh
- September, 2005
- Hypergraph Partitioning for Faster Parallel PageRank Computation
- Jeremy T. Bradley, Douglas de Jager, William J. Knottenbelt, Aleksandar Trifunovic
- EPEW'05, Proceedings of the 2nd European Performance Evaluation Workshop
- Volume 3670, pp.155–171
- Lecture Notes in Computer Science, Springer-Verlag
- September, 2005
- Performance Engineering and Stochastic Modelling
- Peter G. Harrison
- European Performance Engineering Workshop (EPEW 2005) and International Workshop on Web Services and Formal Methods (WS-FM 2005), Versailles, France, September 1-3, 2005
- Volume 3670, pp.1–14
- Lecture Notes in Computer Science, Springer
- September, 2005
- Robust Multiuser Detection in Flat Fading Non-Gaussian Channels
- Harini Kulatunga, Visakan Kadirkamanathan
- IEEE SPAWC 2005
- June, 2005
- Calibration of a Queueing Model of RAID Systems
- Peter G. Harrison, Soraya Zertal
- PASM 2004, 1st International Workshop on Practical Applications of Stochastic Modelling
- Volume 128, Issue 4, pp.145–164
- Electronic Notes in Theoretical Computer Science, Elsevier
- April, 2005
- Leader Election in Rings of Ambient Processes
- Iain Phillips, Maria Vigliotti
- Electronic Notes in Theoretical Computer Science
- Volume 128, Issue 2, pp.185–199
- Elsevier
- April, 2005
- Optimization of a Tandem M/GI/1 Router Network with Batch Arrivals
*Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Pau*- PMEO-PDS 2005, 4th International Workshop on Performance Modelling, Evaluation, and Optimization of Parallel and Distributed Systems
- p.270
- IEEE Computer Society Press
- April, 2005
- Optimising Parallel Pattern-matching by Source-level Program Transformation
- R. Lyndon While, A. J. Field
- ACSC'05, 28th Australasian Computer Science Conference
- Volume 38, pp.239–248
- ACM International Conference Proceedings, Australian Computer Society
- January, 2005
- Hybrid systems approach to adaptive multi-user detection in MIMO CDMA channels
- Harini Kulatunga, Visakan Kadirkamanathan
- The IMA Conference on Mathematics in Signal Processing VI
- December, 2004
- Robust equalization using multiple H-infinity filters
- Harini Kulatunga, Visakan Kadirkamanathan
- The IMA Conference on Mathematics in Signal Processing VI
- December, 2004
- An optimisation model for a two-node router network
*Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Pau*- 12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS 2004), Volendam, Netherlands
- pp.147–156
- IEEE Computer Soc
- October, 2004
- Experimental Evaluation of the UML Profile for Schedulability, Performance and Time
- Andrew Bennett, A. J. Field, Murray Woodside
- UML 2004, 7th International Conference on the Unified Modeling Language
- Volume 3273, pp.143–157
- Lecture Notes in Computer Science, Springer
- October, 2004
- Exploring the Barrier to Entry - Incremental Generational Garbage Collection for Haskell
- Andrew Cheadle, A. J. Field, Simon Marlow, Simon Peyton Jones, R. Lyndon While
- ISSM'04, ACM SIGPLAN International Symposium on Memory Management
- pp.163–174
- ACM Press
- October, 2004
- How Synchronisation Strategy Approximation in PEPA Implementations affects Passage Time Performance Results
- Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas
- EPEW'04, European Performance Evaluation Workshop
- Volume 3236, pp.128–142
- Lecture Notes in Computer Science, Springer-Verlag
- October, 2004
- Overcoming Barriers to Restructuring in a Modular Visualisation Environment
- Olav Beckmann, A. J. Field, Gerard Gorman, Andrew Huff, Marc Hull, Paul Kelly
- LCR 2004. Proceedings of the 7th workshop on Workshop on Languages, Compilers, and Run-time Support for Scalable Systems
- Volume 81, pp.110–116
- ACM International Conference Proceedings, ACM Press
- October, 2004
- Parkway 2.0: A Parallel Multilevel Hypergraph Partitioning Tool
- Aleksandar Trifunovic, William J. Knottenbelt
- 19th International Symposium on Computer and Information Sciences (ISCIS 2004)
- Volume 3280, pp.789–800
- Lecture Notes in Computer Science, Springer-Verlag
- October, 2004
- Performance Engineering with the UML Profile for Schedulability, Performance and Time: a Case Study
- Andrew Bennett, A. J. Field
- 12th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'04)
- pp.67–75
- IEEE Communications Society
- October, 2004
- Sojourn time distributions in modulated G-queues with batch processing
- Peter G. Harrison, Harf Zatschler
- 1st International Conference on Quantitative Evaluation of Systems (QEST) 2004, University of Twente
- September, 2004
- The ipc/HYDRA Tool Chain for the Analysis of PEPA Models
- Jeremy T. Bradley, William J. Knottenbelt
- QEST'04, 1st IEEE International Conference on the Quantitative Evaluation of Systems
- pp.334–335
- IEEE Computer Society Press
- September, 2004
- A Parallel Algorithm for Multilevel k-way Hypergraph Partitioning
- Aleksandar Trifunovic, William J. Knottenbelt
- ISPDC 2004, 3rd International Symposium on Parallel and Distributed Computing
- pp.114–121
- IEEE Computer Society
- July, 2004
- Towards a Parallel Disk-Based Algorithm for Multilevel k-way Hypergraph Partitioning
- Aleksandar Trifunovic, William J. Knottenbelt
- 5th Workshop on Parallel and Distributed Scientific and Engineering Computing
- 2004
- Cross-component restructuring in the MayaVi visualisation pipeline
- Olav Beckmann, A. J. Field, Paul Kelly
- Compilers for parallel computing (CPC2004), July 2004
- 2004
- Efficient Approximation of Response Time Densities and Quantiles in Stochastic Models
- Susanna Wau Men Au-Yeung, Nicholas J. Dingle, William J. Knottenbelt
- 4th ACM Workshop on Software and Performance (WOSP 2004), Redwood City, California, USA, January 2004, pp. 151-155.
- January, 2004
- Electoral systems in ambient calculi
- Iain Phillips, Maria Vigliotti
- 7th International Conference on Foundations of Software Science and Computation Structures, Barcelona, Spain
- Volume 2987, pp.408–422
- Lecture Notes in Computer Science, Springer-Verlag
- 2004
- Expressing Performance Requirements using Regular Expressions to specify Stochastic Probes over Process Algebra Models
- Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle
- WOSP'04, 4th International Workshop on Software and Performance
- Volume 29, Issue 1, pp.49–58
- ACM SIGSOFT Software Engineering Notes, ACM
- January, 2004
- Multiple models for blind multiuser detection in MIMO DS/CDMA systems
- Harini Kulatunga, Visakan Kadirkamanathan
- The IEEE Global Communications Conference
- Volume 22, Issue 1, pp.2453–2457
- IEEE Communications Society
- December, 2003
- Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler
- Jeremy T. Bradley, Nicholas J. Dingle, Stephen Gilmore, William J. Knottenbelt
- MASCOTS'03, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems
- pp.344–351
- IEEE Computer Society Press
- October, 2003
- G-networks with Propagating Resets via RCAT
- Peter G. Harrison
- MAMA 2003, Special issue on the 5th workshop on Mathematical Performance Modeling and Analysis
- Volume 31, Issue 2, pp.3–5
- ACM SIGMETRICS Performance Evaluation Review, ACM Press
- September, 2003
- Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models
- Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen Wilson
- NSMC 2003, 4th International Workshop on Numerical Solution of Markov Chains
- pp.99–120
- September, 2003
- Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic
- Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
- PNPM 2003, 10th International Workshop on Petri Nets and Performance Models, Urbana IL, USA
- pp.62–71
- IEEE Computer Society Press
- September, 2003
- Queueing Models with Maxima of Service Times.
- Peter G. Harrison, Soraya Zertal
- Lecture Notes in Computer Science
- Volume 2794, pp.152–168
- September, 2003
- Reversed processses, product forms, non-product forms and a new proof of the BCMP theorem
- Peter G. Harrison
- International Conference on the Numerical Solution of Markov Chains (NSMC 2003), Urbana IL, USA, September 2-5 2003
- pp.289–304
- September, 2003
- Analysis and enhancement of network solutions using geometrically batched traffic
- David Thornley, Harf Zatschler
- UKPEW'03
- July, 2003
- An automated formulation of queues with multiple geometric batch processes
- David Thornley, Harf Zatschler, Peter G. Harrison
- HETNETS'03
- July, 2003
- A novel approximated joint activity transition structure in a tandem feedback unreliable server queue
- David Thornley, Harf Zatschler, Nigel Thomas
- UKPEW'03
- July, 2003
- Exact Aggregation Strategies for Semi-Markov Performance Models
- Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt
- SPECTS 2003, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Montreal, Canada, July 20-24 2003
- pp.755–762
- SCS
- July, 2003
- Synchronized negative customers in an unreliable server queue
- David Thornley
- HETNETS'03
- July, 2003
- Approximate solution of a class of queueing networks with breakdowns
- Nigel Thomas, David Thornley, Harf Zatschler
- European Simulation Multiconference, Nottingham
- June, 2003
- HYDRA: HYpergraph-based Distributed Response-time Analyser
- Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
- International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2003)
- pp.215–219
- June, 2003
- Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models
- Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
- PMEO-PDS 2003, International Workshop on Performance Modelling, Evaluation, and Optimization of Parallel and Distributed Systems
- p.281
- IEEE Computer Society Press
- April, 2003
- Geometrically batched networks
- Peter G. Harrison, David Thornley, Harf Zatschler
- 17th International Symposium On Computer and Information Sciences (ISCIS 2002)
- October, 2002
- Network Traffic Behaviour in Switched Ethernet Systems
- A. J. Field, Uli Harder, Peter G. Harrison
- MASCOTS 2002, 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
- pp.32–42
- IEEE Computer Society
- October, 2002
- Studying Sensitivities of an EJB Performance Model
*Catalina , Johannes , Peter G. Harrison*- MASCOTS'02, 10th IEEE International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunications Systems
- pp.277–280
- IEEE Computer Society Press
- October, 2002
- Barbs and congruences for safe mobile ambients
- Maria Vigliotti, Iain Phillips
- Electronic Notes in Theoretical Computer Science
- Volume 66, Issue 3, pp.37–51
- Elsevier
- September, 2002
- Optimising shared reduction variables in MPI programs
- A. J. Field, Paul Kelly, Thomas Hansen
- 8th International Euro-Par Conference on Parallel Processing, Paderborn, Germany, 2002
- Volume 2400, p.630
- Lecture Notes in Computer Science, Springer-Verlag
- August, 2002
- Queues with simultaneous loss on breakdown
- David Thornley
- Eighteenth Annual UK Performance Engineering Workshop, University of Glasgow (UKPEW 2002)
- July, 2002
- Response Time Densities in Generalised Stochastic Petri Net Models.
- Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
- 3rd International Workshop on Software and Performance (WOSP 2002), Rome, Italy, July 24-26 2002
- pp.46–54
- July, 2002
- Passage Time Distributions in Large Markov Chains
- Peter G. Harrison, William J. Knottenbelt
- SIGMETRICS'02, ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems
- Volume 30, Issue 1, pp.77–85
- ACM SIGMETRICS Performance Evaluation Review, ACM Press
- June, 2002
- A Passage-time Preserving Equivalence for Semi-Markov Processes
- Jeremy T. Bradley
- TOOLS 2002, Computer Performance Evaluation: Modelling Techniques and Tools
- Volume 2324, pp.178–187
- Lecture Notes in Computer Science, Springer-Verlag
- April, 2002
- GILK: A Dynamic Instrumentation Tool for the Linux Kernel
- David Pearce, Paul Kelly, A. J. Field, Uli Harder
- TOOLS 2002, 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
- Volume 2324, pp.220–226
- Lecture Notes in Computer Science, Springer-Verlag
- April, 2002
- On reduction semantics for the push and pull ambient calculus
- Iain Phillips, Maria Vigliotti
- 2nd IFIP international conference on theoretical computer science (TCS 2002) held in conjunction with the 17th world computer congress, Montreal, Canada, 2002
- pp.550–562
- Kluwer Academic Publishers
- 2002
- Two Solution Methods for Models of Parallel Queues
- Nigel Thomas, Jeremy T. Bradley
- ESM'01, Fifteenth European Simulation Multiconference
- pp.741–745
- SCS
- July, 2001
- Putting Quality of Service into a Network by making the Traffic Markovian
- Jeremy T. Bradley, Nigel Thomas
- ESM'01, Fifteenth European Simulation Multiconference
- pp.746–750
- SCS
- June, 2001
- Non-stop Haskell
- Andrew Cheadle, A. J. Field, Simon Marlow, Simon Peyton Jones, R. Lyndon While
- ICFP'00, 5th ACM SIGPLAN International Conference on Functional Programming
- pp.257–267
- ACM Press
- September, 2000
- Performance evaluation of an enterprise JavaBean server implementation
*Catalina , Peter G. Harrison*- WOSP 2000, 2nd International Workshop on Software and Performance
- pp.180–188
- ACM Press
- September, 2000
- A Matrix-based Method for Analysing Stochastic Process Algebras
- Jeremy T. Bradley, Neil Davies
- PAPM'00, 8th International Workshop on Process Algebra and Performance Modelling. ICALP Workshops
- pp.579–590
- Carleton Scientific
- July, 2000
- Approximating variance in non-product form decomposed models
- Nigel Thomas, Jeremy T. Bradley
- PAPM'00, 8th International Workshop on Process Algebra and Performance Modelling. ICALP Workshops.
- pp.607–619
- Carleton Scientific
- July, 2000
- Decomposing Models of Parallel Queues
- Nigel Thomas, Jeremy T. Bradley
- QNETS'00, Fourth International Workshop on Queueing Networks with Finite Capacity
- pp.381–388
- July, 2000
- Performance Evaluation of a Distributed Enterprise Data Mining System
*Peter G. Harrison, Catalina*- TOOLS 2000, 11th International Conference for Computer Performance Evaluation. Modelling Techniques and Tools
- Volume 1786, pp.117–131
- Springer-Verlag
- March, 2000
- Run-time fusion of MPI calls in a parallel C++ library
- A. J. Field, Thomas Hansen, Paul Kelly
- LCPC2000, The 13th International Workshop on Languages and Compilers for High-Performance Computing, Yorktown Heights
- 2000
- Distributed Disk-based Solution Techniques for Large Markov Models
- William J. Knottenbelt, Peter G. Harrison
- NSMC'99, 3rd International Workshop on the Numerical Solution of Markov Chains
- pp.58–75
- September, 1999
- Parallel Simulation of Plankton Ecology
- Samir Al-Battran, A. J. Field, Roger Wiley, John Woods
- IASTED 1999 International Conference on Modelling and Simulation
- pp.259–263
- May, 1999
- Response times in G-nets
- Peter G. Harrison
- 13th International Symposium on Computer and Information Sciences (ISCIS 1998)
- pp.9–16
- October, 1998
- Probability, Parallelism and the State Space Exploration Problem
- William J. Knottenbelt, Mark Mestern, Peter G. Harrison, Pieter Kritzinger
- TOOLS'98, 10th International Conference on Modelling, Techniques and Tools
- Volume 1469, pp.165–179
- Lecture Notes in Computer Science, Springer Verlag
- September, 1998
- Response Times in Client-Server Systems
- A. J. Field, Peter G. Harrison, Andrew Parry
- TOOLS'98, 10th International Conference on Modelling, Techniques and Tools. Palma de Mallorca, Spain, September 1998
- Volume 1469, pp.75–92
- Lecture Notes in Computer Science, Springer
- September, 1998
- M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive Applications
- A. J. Field, Paul Kelly, Qian Wu
- EuroPar'97
- Springer
- 1997
- Performance Modelling and Verification of Cache Coherency Protocols using Stochastic Process Algebra
- K. Kanani, A. J. Field, Peter G. Harrison
- 4th Workshop on Process Algebras and Performance Modelling, 1996.
- 1996
- An Analytical Model of the Standard Coherent Interface "SCI".
- A. J. Field, Peter G. Harrison
- 1995 International Conference on Parallel Processing, August 14-18, 1995, Urbana-Champain, Illinois, USA
- pp.173–177
- August, 1995
- A Uniform Memory Access Model of a Distributed Coherent Cache System
- A. J. Field, Peter G. Harrison
- U.K. Performance Engineering Workshop, September 1994
- September, 1994
- Transmission Times in Buffered Full-Crossbar Communication Networks with Cyclic Arbitration
- A. J. Field, Peter G. Harrison
- ICPP'93, IEEE/ACM International Conference on Parallel Processing. 16-20 August 1993, Syracuse University, NY
- Volume 1, pp.189–196
- IEEE Computer Society
- August, 1993
- Parallel Programming Using Skeleton Functions
- John Darlington, A. J. Field, Peter G. Harrison, Paul Kelly, D W N Sharp, Qiang Wu, R. Lyndon While
- PARLE'93, 5th International PARLE Conference on Parallel Architectures and Languages Europe
- Volume 694, pp.146–160
- Lecture Notes in Computer Science, Springer
- June, 1993
- Process Algebra for Discrete Event Simulation
- Peter G. Harrison, Ben Strulo
- QMIPS'93, Qualitative Methods in Parallel Systems, Erlangen
- pp.115–142
- March, 1993
- Transmission Times in Unbuffered Crossbars with Cyclic Arbitration
- A. J. Field, Peter G. Harrison
- ICPP'92, IEEE/ACM International Conference on Parallel Processing. An Arbor, Michigan, August 17-21, 1992
- Volume 1, pp.132–137
- August, 1992
- Blocking in asynchronous, buffered Banyan networks
- Peter G. Harrison, Afonso de C. Pinto
- IFIP Trans. C-Commun. Syst.
- Volume 5, pp.169–188
- North-Holland
- September, 1991
- A projection model of types
- David J Lillie, Peter G. Harrison
- 5th ACM conference on Functional programming languages and computer architecture
- Volume 523, pp.259–288
- Lecture Notes in Computer Science, Springer
- August, 1991
- Asynchronous Packet-switched Banyan Networks with Blocking
- Peter G. Harrison, Afonso de C. Pinto
- 7th UK Computer and Telecommunications Performance Engineering Workshop
- pp.146–149
- Workshops in Computing, Springer
- July, 1991
- A Functional Programming Environment Supporting Execution, Partial Execution and Transformation
- John Darlington, Peter G. Harrison, Hessam Khoshnevisan, Lee McLoughlin, Nigel Perry, Helen Pull, Mike Reeve, Keith Sephton, R. Lyndon While, Sue Wright
- PARLE'89 Parallel Architectures and Languages Europe. Volume I. Eindhoven, The Netherlands, June 12-16
- Volume 365, pp.286–305
- Lecture Notes in Computer Science, Springer
- June, 1989
- On Hot-spot Contention in Interconnection Networks
- Naresh M. Patel, Peter G. Harrison
- SIGMETRICS'88, ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems
- Volume 16, Issue 1, pp.114–123
- ACM SIGMETRICS Performance Evaluation Review, ACM Press
- May, 1988
- The Representation of Switching Networks in Queueing Models of Parallel Systems
- Peter G. Harrison, Naresh M. Patel
- Performance'87, 12th International Symposium on Computer Performance Modelling, Measurement and Evaluation
- pp.497–512
- North-Holland
- December, 1987
- The Parallel Graph Reduction Machine, ALICE
- Peter G. Harrison, Mike Reeve
- Proceedings of a Workshop on Graph Reduction
- Volume 279, pp.181–202
- Lecture Notes in Computer Science, Springer
- October, 1986
- Efficient compilation of linear recursive functions into object level loops
- Peter G. Harrison, Hessam Khoshnevisan
- SIGPLAN Symposium on Compiler Construction 1986, Palo Alto, June
- pp.207–218
- ACM Press
- June, 1986
- Performance modelling of parallel computer architectures
- Peter G. Harrison, A. J. Field
- SIGMETRICS'86, Joint International Conference on Computer Performance Modelling, Measurement and Evaluation
- Volume 14, Issue 1, pp.18–27
- ACM SIGMETRICS Performance Evaluation Review, ACM Press
- May, 1986
- An exact analysis of the distribution of cycle times in a class of queueing networks
- Peter G. Harrison
- SIGMETRICS'83, ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems
- pp.224–242
- ACM
- August, 1983
- Approximate Analysis and Prediction of Time Delay Distributions in Networks of Queues
- Peter G. Harrison
- 7th International Computer Measurement Group Conference, New Orleans, December 1-4, 1981
- pp.70–80
- Computer Measurement Group
- December, 1981

- Basic Theory and Some Applications of Martingales
- Richard Hayden
- 12th Joint ACM SIGMETRICS/IFIP Performance Conference on Measurement and Modeling of Computer Systems
- 2012
- Separation Results via Leader Election Problems
- Maria Vigliotti, Iain Phillips, Catuscia Palamidessi
- 4th International Symposium on Formal Methods for Objects and Components (FMCO 2005), 1-4 November 2005, CWI, Amsterdam, The Netherlands
- Volume 4111, pp.172–194
- Lecture Notes in Computer Science, Springer-Verlag
- September, 2006
- Response Time Distributions in Queueing Network Models
- Peter G. Harrison
- Joint Tutorial Papers of Performance/SIGMETRICS'93: Performance Evaluation of Computer and Communication Systems
- Volume 729, pp.147–164
- Lecture Notes in Computer Science, Springer
- May, 1993

- Scalable Performance Analysis of Massively Parallel Stochastic Systems
- Richard Hayden
- Seminar Series on Advances in Telecommunications, Networking and Computing, Budapest University of Technology and Economics (BME)
- November, 2012
- Scalable Performance Analysis of Massively Parallel Stochastic Systems
- Richard Hayden
- Laboratory for Foundations of Computer Science, University of Edinburgh
- October, 2012
- Scalable Performance Analysis of Massively Parallel Stochastic Systems
- Richard Hayden
- 11th INFORMS Telecommunications Conference 2012
- March, 2012
- Anaytical Models for Multi-Stage Interconnection Networks
- Peter G. Harrison
- International Seminars on the Teaching of Computing Science: System Modelling
- 1990

- 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
- Modelling Techniques and Tools for Computer Performance Evaluation
- A. J. Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder
- Performance Evaluation
- Volume 54, Issue 2, pp.77–206
- Elsevier
- October, 2003

- Practical Applications of Stochastic Modelling 2009
- Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder
- PASM 2009, Practical Applications of Stochastic Modelling, Imperial College London
- Volume 261, pp.1–4
- Electronic Notes in Theoretical Computer Science, Elsevier
- February, 2010
- Proceedings of EPEW 2009, Computer Performance Engineering. 6th European Workshop Performance Engineering Modelling
- Jeremy T. Bradley
- EPEW 2009. Computer Performance Engineering. Imperial College London, 9-10 July 2009
- Volume 5652
- Lecture Notes in Computer Science, Springer Verlag
- July, 2009
- Proceedings of PASM 2008, 3rd International Workshop on the Practical Application of Stochastic Modelling
- Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
- Volume 232, pp.1–178
- Electronic Notes in Theoretical Computer Science, Elsevier
- March, 2009
- Proceedings of UKPEW 2008, 24th Annual UK Performance Engineering Workshop
- Ashok Argent-Katwala, Nicholas J. Dingle, Uli Harder
- UKPEW 2008, UK Performance Engineering Workshop. 3-4 July 2008, Imperial College London
- UKPEW
- July, 2008
- Proceedings of PASM 2004, 1st International Workshop on Practical Applications of Stochastic Modelling
- Jeremy T. Bradley, William J. Knottenbelt
- PASM 2004, Practical Applications of Stochastic Modelling
- Volume 128, Issue 4, pp.1–164
- Electronic Notes in Theoretical Computer Science, Elsevier
- April, 2005
- Practical Applications of Stochastic Modelling 2004
- Jeremy T. Bradley, William J. Knottenbelt
- PASM 2004, Practical Applications of Stochastic Modelling, Imperial College London
- September, 2004
- Proceedings of TOOLS 2002, 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
- A. J. Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder
- Volume 2324
- Lecture Notes in Computer Science, Springer-Verlag
- April, 2002

- Research Challenges in Future Health Care Systems
- Harini Kulatunga
- eHealth 2008 - Electronic healthcare for the 21st century
- ICST Lecture Notes, Springer
- September, 2008

- Sliding Hidden Markov Model for Evaluating Discrete Data
- Tiberiu Chis, Peter G. Harrison
- 29th UK Performance Engineering Workshop (UKPEW '13)
- July, 2013
- Energy Consumption in The Office
- Anton Stefanek, Uli Harder, Jeremy T. Bradley
- 28th UK Performance Engineering Workshop (UKPEW 2012)
- July, 2012
- PCTMC models of Wireless Sensor Network protocols
- Marcel C. Guenther, Jeremy T. Bradley
- UKPEW'12, 28th UK Performance Engineering Workshop
- 2012
- Mean-field models for interacting battery-powered devices
- Richard Hayden
- Imperial College Energy and Performance Colloquium (ICEP)
- May, 2012
- Using Fluid Queues to Model Energy Storage and Distribution
- Gareth Jones, Peter G. Harrison
- Imperial College Energy and Performance Colloquium (ICEP)
- May, 2012
- MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool
- Marcel C. Guenther, Jeremy T. Bradley
- Imperial College Computing Student Workshop (ICCSW)
- September, 2011
- Normal and inhomogeneous moment closures for stochastic process algebras
- Anton Stefanek, Marcel C. Guenther, Jeremy T. Bradley
- 10th Workshop on Process Algebra and Stochastically Timed Activities 2011 (PASTA'11)
- September, 2011
- Toward efficient parameter sweeping and optimisation of fluid performance models by Taylor-model based symbolic numerical integration
- Richard Hayden
- 10th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2011)
- September, 2011
- Convergence of ODE approximations and bounds on performance models in the steady-state
- Richard Hayden
- 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
- September, 2010
- Hybrid analysis of large scale PEPA models
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
- September, 2010
- An Empirical Study of the Scalability of Performance Analysis Tools in the Cloud
- Nicholas J. Dingle
- 26th UK Performance Engineering Workshop (UKPEW 2010)
- pp.9–16
- July, 2010
- A Stochastic Calculus Model for the Spot Price of Computing Power
- Fernando Martinez Ortuno, Uli Harder
- UKPEW 2010
- July, 2010
- GPA - Tool for rapid analysis of very large scale PEPA models
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- UKPEW'10, 26th UK Performance Engineering Workshop. 7-8th July, University of Warwick
- pp.91–101
- University of Warwick
- July, 2010
- A functional central limit theorem for PEPA
- Richard Hayden, Jeremy T. Bradley
- 8th Workshop on Process Algebra and Stochastically Timed Activities
- pp.13–23
- August, 2009
- Analysis of Storage System Activity
- Nicholas J. Dingle, Uli Harder
- UKPEW 2009
- pp.39–48
- July, 2009
- Truncation of Passage-time Calculations in Semi-Markov Models
- Marcel C. Guenther, Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt
- UKPEW'09, 25th UK Performance Engineering Workshop
- pp.17–28
- July, 2009
- Extracting Fluid Response times from PEPA models
- Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto
- PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities
- July, 2008
- ODE-based general moment approximations for PEPA
- Richard Hayden, Jeremy T. Bradley
- PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities
- July, 2008
- State-Space Size Estimation By Least-Squares Fitting
- Nicholas J. Dingle, William J. Knottenbelt
- 24th UK Performance Engineering Workshop (UKPEW 2008)
- pp.347–357
- July, 2008
- Validation of Large Zoned RAID Systems
- Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
- 24th UK Performance Engineering Workshop (UKPEW 2008)
- pp.246–261
- July, 2008
- PIPE v2.5: A Petri Net Tool for Performance Modelling
*Pere Bonet, Catalina , Ramon Puigjaner, William J. Knottenbelt*- 23rd Latin American Conference on Informatics (CLEI 2007)
- October, 2007
- A peer-to-peer Market for Grid Computing
- Uli Harder
- 6th Workshop on Process Algebra and Stochastically Timed Activities
- pp.105–109
- July, 2007
- Exploration of the network spun by website users
- Ashok Argent-Katwala, Tim Evans, Uli Harder
- 23rd Annual UK Performance Engineering Workshop (UKPEW 2007), Edge Hill University, UK, July 9th-10th, 2007
- pp.118–121
- July, 2007
- Fluid-flow solutions in PEPA to the state space explosion problem
- Richard Hayden, Jeremy T. Bradley
- PASTA 2007, 6th Workshop on Process Algebra and Stochastically Timed Activities
- pp.25–37
- July, 2007
- PerformDB: Community-driven performance modelling and analysis
- Ashok Argent-Katwala, Jeremy T. Bradley
- UKPEW 2007, 23rd Annual UK Performance Engineering Workshop
- pp.86–94
- July, 2007
- Response Time Approximations in Fork-Join Queues
- Abigail Lebrecht, William J. Knottenbelt
- 23rd Annual UK Performance Engineering Workshop (UKPEW)
- July, 2007
- A Continuous State Space Approximation for PEPA Queues
- Ashok Argent-Katwala, Jeremy T. Bradley
- Process Algebra and Stochastically Timed Activities 2006
- June, 2006
- PEPA queues
- Ashok Argent-Katwala
- Process Algebra and Stochastically Timed Activities 2005
- September, 2005
- Observing Internet Worm and Virus Attacks with a Small Network Telescope
- Uli Harder, Matthew Johnson, Jeremy T. Bradley, William J. Knottenbelt
- PASM 2005, Proceedings of the 2nd Workshop on Practical Applications of Stochastic Modelling
- pp.113–126
- July, 2005
- Stochastic Simulation Methods applied to a Secure Electronic Voting Model
- Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas
- PASM'05, Proceedings of 2nd Workshop on Practical Applications of Stochastic Modelling
- pp.127–149
- July, 2005
- Semi-blind scheduling in a finite capacity system
- Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
- UKPEW'04, 20th Annual UK Performance Evaluation Workshop
- July, 2004
- Iterative Transient State Distribution Calculation in Semi-Markov Processes
- Nicholas J. Dingle
- 3rd Workshop on Process Algebras and Stochastically Timed Activities (PASTA'04)
- pp.1–9
- June, 2004
- Extracting Passage Times from PEPA models with the HYDRA Tool: A Case Study
- Jeremy T. Bradley, Nicholas J. Dingle, Stephen Gilmore, William J. Knottenbelt
- UKPEW 2003, 19th UK Performance Engineering Workshop
- pp.79–90
- July, 2003
- Parameter estimation for MMPPs using the EM algorithm
- Haifang Ge, Uli Harder, Peter G. Harrison
- 19th UK Performance Engineering Workshop (UKPEW 2003)
- pp.293–306
- July, 2003
- Reversed Processes of Multiple Agent Cooperations
- Peter G. Harrison, Ting Ting Lee
- 19th UK Performance Engineering Workshop (UKPEW 2003), Warwick, July 9-10 2003
- pp.257–265
- July, 2003
- An approximate solution of PEPA models using component substitution
- Nigel Thomas, Jeremy T. Bradley, David Thornley
- 28th UK Performance Engineering Workshop (UKPEW 2002)
- July, 2002
- Distributed Solution of Large Markov Models Using Asynchronous Iterations and Graph Partitioning
- Nicholas J. Dingle, William J. Knottenbelt
- 18th UK Performance Engineering Workshop (UKPEW 2002), Glasgow July 10-11, 2002
- pp.27–34
- July, 2002
- Network Traffic Measurements in a Switched Ethernet Environment
- A. J. Field, Uli Harder, Peter G. Harrison
- UKPEW 2002
- pp.47–58
- July, 2002
- Performance modelling in the pub - speculative computation and dynamic pricing
- Ashok Argent-Katwala
- UK Performance Evaluation Workshop 2002, University of Glasgow
- July, 2002
- A queueing network model of Oracle Parallel Server
- Uli Harder, Peter G. Harrison
- UKPEW 1999
- pp.69–80
- July, 1999
- Predicting buffer hit ratios with neural networks
- Uli Harder, Tim MacLeod
- UKPEW 1999
- pp.333–342
- July, 1999

- Scalable Performance Analysis of Massively Parallel Stochastic Systems
- Richard Hayden
- Imperial College London
- April, 2011
- Queueing network models of Zoned RAID system performance
- Abigail Lebrecht
- Imperial College London
- January, 2010
- Asynchronous Iterative Solution for Dominant Eigenvectors with Applications in Performance Modelling and PageRank
- Douglas de Jager
- Imperial College London
- December, 2009
- Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis
- Tamas Suto
- Imperial College London, Department of Computing
- August, 2008
- Response Times in Healthcare Systems
- Susanna Wau Men Au-Yeung
- Imperial College London
- January, 2008
- A compositional, collaborative performance pipeline
- Ashok Argent-Katwala
- Department of Computing, Imperial College London, University of London
- November, 2006
- Parallel Algorithms for Hypergraph Partitioning
- Aleksandar Trifunovic
- Imperial College London
- February, 2006
- Parallel Computation of Response Time Densities and Quantiles in Large Markov and Semi-Markov Models
- Nicholas J. Dingle
- Department of Computing, Imperial College London. University of London.
- October, 2004
- Steady-State and Response Time Analysis of Modulated Queues and Networks with Batches
- Harf Zatschler
- University of London
- August, 2004
- Performance Evaluation of Enterprise JavaBeans Architectures
*Catalina*- Department of Computing, Imperial College of Science, Technology and Medicine. University of London.
- December, 2001
- Parallel Performance Analysis of Large Markov Models
- William J. Knottenbelt
- Department of Computing, Imperial College of Science, Technology and Medicine. University of London.
- December, 1999
- Analysis of Trace Data from Fluoresence Based Sanger Sequencing
- David Thornley
- Department of Computing, Imperial College London
- September, 1997
- Process Algebra for Discrete Event Simulation
- Ben Strulo
- Department of Computing, Imperial College of Science, Technology and Medicine. University of London.
- October, 1993
- Representative Queueing Network Models of Computer Systems in Terms of Time Delay Probability Distributions
- Peter G. Harrison
- 1979

- Anisotropic Multidimensional Savitzky Golay kernels for Smoothing, Differentiation and Reconstruction
- David Thornley
- Issue 8
- Department of Computing, Imperial College London
- July, 2006
- Trace modelling for abduction basecalling
- David Thornley
- Issue 7
- Imperial College of Science, Technology and Medicine, Department of Computing
- July, 2006

- Proceedings of Imperial College Energy and Performance Colloquium (ICEP 2012)
- Jeremy T. Bradley, Richard Hayden
- Department of Computing, Imperial College London
- Department of Computing, Imperial College London
- June, 2012
- Capturing the energy-performance trade-off in virtualised computing models
- Anton Stefanek, Richard Hayden, Jeremy T. Bradley
- Dept of Computing, Imperial College London
- 2011
- Methodological Construction of Product-Form Stochastic Petri-Nets for Performance Evaluation
- Simonetta Balsamo, Peter G. Harrison, Andrea Marin
- December, 2010
- Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems (extended version)
- Imperial College London
- June, 2009
- Evaluating and Optimising Models of Network Growth
- Richard Clegg, Raul Landa, Uli Harder, Miguel Rio
- Computer Science > Networking and Internet Architecture - arXiv.org
- arxiv.org
- April, 2009
- A compositional construction of product-form Petri-nets using Ercat
- Peter G. Harrison, Andrea Marin
- 2009
- RCAT: From PEPA to Product form
- Jeremy T. Bradley
- Department of Computing, Imperial College London
- Volume 2007, Issue 2, pp.1–8
- March, 2007
- A dynamical model of a GRID market
- Uli Harder, Peter G. Harrison, Maya Paczuski, Tejas Sudhir Shah
- The Computing Research Repository (CoRR)
- arxiv.org
- October, 2004
- Convergence and Correctness of an Iterative Scheme for Calculating Passage Times in Semi-Markov Processes
- Helen Wilson
- Department of Applied Maths, University of Leeds, Woodhouse Lane, Leeds, LS2 9JT, UK
- Volume 2004, Issue 1
- February, 2004
- Network traffic behaviour in switched ethernet systems
- A. J. Field, Uli Harder, Peter G. Harrison
- June, 2002

- Fluid Queue Models of Renewable Energy Storage
- Gareth Jones, Peter G. Harrison, Uli Harder, A. J. Field
- 6th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2012)
- October, 2012
- Mean-field performance analysis of a hazard detection Wireless Sensor Network
- Marcel C. Guenther, Jeremy T. Bradley
- VALUETOOLS'12
- 2012
- Large spatial performance models: Think global, Analyse local!
- Marcel C. Guenther, Jeremy T. Bradley
- Graduate School Summer Research Symposium 2012
- July, 2012
- Sojourn time distributions in networks of queues with batches
- Peter G. Harrison, Maria Vigliotti
- IFIP WG 7.3 International Symposium on Computer Performance, Modeling, Measurements and Evaluation (Performance 2010)
- November, 2010
- Intracellular Fate of FGFRs with BioAmbients
- Maria Vigliotti, Steffen van Bakel, John Heath
- Spatial 2009 - Overcoming Distance in Signaling Networks.
- 2009
- Towards a Performance Model for Virtualised Multi-Tier Storage Systems
- Abigail Lebrecht, Peter G. Harrison, William J. Knottenbelt
- 6th USENIX Conference on File and Storage Technologies (FAST 2008)
- February, 2008
- A dynamic model of a GRID market
- Uli Harder, Peter G. Harrison, Maya Paczuski, Tejas Sudhir Shah
- MASCOTS 2004 (Invited poster)
- October, 2004

- A resurgence in product-forms
- Peter G. Harrison
- The Computer Journal
- Volume 51, Issue 6, pp.731–734
- Oxford Journals
- March, 2008

- Augmenting The Core Functionality Of An e-Science Grid Multi-Tier Front-End: GridSphere-Based Reengineering Of EPIC
- Tamas Suto
- Imperial College London, Department of Computing
- June, 2004
- Generalised Markovian Analysis of Timed Transition Systems
- William J. Knottenbelt
- Department of Computer Science, University of Cape Town
- June, 1996

- Hidden Markov Models: Applications to Flash Memory data and Hospital Arrival times
- Tiberiu Chis
- Department of Computing, Imperial College London
- June, 2011
- Aggregation and Numerical Techniques for Passage-Time Calculations in Large Semi-Markov Models
- Marcel C. Guenther
- Imperial College London
- Distinguished project
- July, 2009
- Continuous and spatial extension of stochastic pi-calculus
- Anton Stefanek
- Imperial College London
- Distinguished project
- July, 2009
- Addressing the state space explosion problem for PEPA models through fluid-flow approximation
- Richard Hayden
- Imperial College London
- Distinguished project
- July, 2007

BibTeX file for these publications

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