Publications Home » Technical reports
Technical reports
Position Papers
- Mean field and fluid approaches to Markov chain analysis
![[PDF]](/decor/icon-pdf-mini.png)
- Jeremy T. Bradley
- QAPL 2012, 10th Workshop on Quantitative Aspects of Programming Languages
- pp.62–64
- March, 2011
- Fast Multi-Level Locks for Java: A Preliminary Performance Evaluation
- Khilan Gudka, Susan Eisenbach
- EC^2 2010: Workshop on Exploiting Concurrency Efficiently and Correctly
- July, 2010
- Research Challenges in Future Health Care Systems
- Harini Kulatunga
- eHealth 2008 - Electronic healthcare for the 21st century
- ICST Lecture Notes, Springer
- September, 2008
- Working Groups' Report: The Challenge of Combining Simulation and Verification
- Gregory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde Uhrmacher
- Simulation and Verification of Dynamic Systems, Dagstuhl
- Volume 6161
- Dagstuhl Seminar Proceedings
- September, 2006
- Network Centric Operating Systems
- Jeremy Cohen, John Darlington, William Lee
- March, 2005
- Learning structure and parameters of stochastic logic programs
- Stephen Muggleton
- Volume 7
- August, 2002
- Abstraction and refinement for model checking inconsistent systems
- Michael Huth, Shekhar Pradhan
- University of Toronto
- May, 2001
Department of Computing Technical Reports
- A Featherweight Model for Chorded Languages
- Alexis Petrounias, Sophia Drossopoulou, Susan Eisenbach
- December, 2008
- 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
Technical Reports
- 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
- Zeno: A tool for the automatic verification of algebraic properties of functional programs
- William Sonnex, Sophia Drossopoulou, Susan Eisenbach
- February, 2011
- Methodological Construction of Product-Form Stochastic Petri-Nets for Performance Evaluation
- Simonetta Balsamo, Peter G. Harrison, Andrea Marin
- December, 2010
- PCTL Model Checking of Markov Chains: Truth and Falsity as Winning Strategies in Games
- Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
- Performance Evaluation
- Elsevier
- 2010
- The Aftermath of the 2010 UK General Election: Weighted First-Past-The-Post
- Jeremy T. Bradley, Helen Wilson
- Imperial College London
- May, 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
- Verification of Policy-based Self-Managed Cell Interactions Using Alloy
- Alberto Schaeffer Filho, Emil Lupu, Morris Sloman, Susan Eisenbach
- April, 2009
- A compositional construction of product-form Petri-nets using Ercat
- Peter G. Harrison, Andrea Marin
- 2009
- Errors for the Common Man: Hiding the unintelligable in Haskell
- Matthew Sackman, Susan Eisenbach
- September, 2008
- Development of a Mission Abstraction Requirements Structure (MARS) and stochastic modelling for sensing service-driven mission performance prediction
- August, 2008
- Session Types in Haskell: Updating Message Passing for the 21st Century
- Matthew Sackman, Susan Eisenbach
- July, 2008
- CLASE: Cursor Library for A Structured Editor
- Tristan Allwood, Susan Eisenbach
- June, 2008
- Web 2.0 is cheap: Supply exceeds demand
- Thierry Rayna, Ludmila Striukova
- June, 2008
- Engineering vs. craftsmanship: Innovation in the electric guitar industry (1945-1984)
- Thierry Rayna, Ludmila Striukova
- Issue 68
- DIME Working Papers on Intellectual Property Rights, DIME
- May, 2008
- Monometapoly: the economic impact of the recording industry on the music market
- Thierry Rayna, Ludmila Striukova
- Issue 56
- DIME Working Papers on Intellectual Property Rights, DIME
- May, 2008
- Threshold accepting approach to improve bound-based approximations for portfolio optimization
- Daniel Kuhn, Panayiotis Parpas, Berc Rustem
- July, 2007
- Digital Rights Management: White Knight or Trojan Horse?
- Thierry Rayna, Ludmila Striukova
- Department of Economics, University of Bristol
- Working Papers in Economics
- April, 2007
- RCAT: From PEPA to Product form
![[Postscript]](/decor/icon-ps-mini.png)
- Jeremy T. Bradley
- Department of Computing, Imperial College London
- Volume 2007, Issue 2, pp.1–8
- March, 2007
- IPR Protection in the High-Tech Industries: A Model of Piracy
- Thierry Rayna
- Department of Economics, University of Bristol
- Volume 593, Issue 6
- Working Papers in Economics
- September, 2006
- The Economics of Digital Goods: Selling vs. Renting Music Online
- Thierry Rayna
- DIME
- Issue 13
- DIME Working Papers on Intellectual Property Rights
- May, 2006
- Complete abstractions through extensions of disjunctive modal transition systems
- Harald Fecher, Michael Huth
- March, 2006
- 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
- On model checking multiple hybrid views
- Altaf Hussain, Michael Huth
- First International Symposium on Leveraging Applications of Formal Methods (ISOLA'04)
- University of Cyprus
- 2004
- Safety in Flexible Dynamic Linking
- Alex Buckley, Sophia Drossopoulou
- Imperial College London, Department of Computing
- October, 2004
- Deriving Event-Based Transition Systems from Goal-Oriented Requirements Models
- Sebastian Uchitel, Jeff Magee, Jeff Kramer, Emmanuel Letier
- Technical Report
- Imperial College London, Department of Computing
- April, 2004
- Convergence and Correctness of an Iterative Scheme for Calculating Passage Times in Semi-Markov Processes
![[GZipped Postscript]](/decor/icon-gzps-mini.png)
- Helen Wilson
- Department of Applied Maths, University of Leeds, Woodhouse Lane, Leeds, LS2 9JT, UK
- Volume 2004, Issue 1
- February, 2004
- Mapping UML Models incorporating OCL Constraints into Object-Z
- David Roe, Krysia Broda, Alessandra Russo
- Technical Report
- Department of Computing, Imperial College London
- September, 2003
- Network traffic behaviour in switched ethernet systems
- A. J. Field, Uli Harder, Peter G. Harrison
- June, 2002
- Lifting assertion and consistency checkers from single to multiple models
- Michael Huth, Shekhar Pradhan
- 2002
- Performance of ICENI/Jini Service Oriented Architecture
- Nathalie Furmento, Steven Newhouse, John Darlington
- Technical report, ICPC, 2002
- 2002
- An Abductive Approach for Analysing Event-based Specifications
- Alessandra Russo, Robert Miller, Jeff Kramer, Bashar Nuseibeh
- Technical Report
- Imperial College of Science, Technology and Medicine, Department of Computing
- September, 2001
- Performance Models for Linear Solvers within a Component Framework
- Nathalie Furmento, Anthony Mayer, Stephen McGough, Steven Newhouse, John Darlington
- Technical report, ICPC, 2001
- 2001
- Java Type Soundness Revisited
- Sophia Drossopoulou, Susan Eisenbach, Tanya Valkevych
- Imperial College London, Department of Computing
- September, 2000
- Java Exceptions Throw No Surprises
- Sophia Drossopoulou, Tanya Valkevych
- Imperial College London, Department of Computing
- March, 2000
- An Outer Approximation Based Branch And Cut Algorithm For Convex 0-1 Minlp Problems
- I Akrotirianakis, Berc Rustem, Istvan Maros
- Departmental Technical Reports
- Volume 6
- 2000
- A Semantic Approach to Integrating XML and Structured Data Sources
- Peter McBrien, Alexandra Poulovassilis
- Birkbeck/Imperial Technical Report
- Birkbeck College/Imperial College
- 2000
- Ponder: A Language for Specifying Security and Management Policies for Distributed Systems
- Nicholas Damianou, Naranker Dulay, Emil Lupu, Morris Sloman
- The Language Specification - Version 2.2, Imperial College, Department of Computing
- 2000
- A Translation Method for Four-valued Logics
- Alessandra Russo, Odinaldo Rodrigues
- Technical Report
- Imperial College London, Department of Computing
- 1998
- Digital Business: Electronic Commerce and Some Risks for the Australian Taxation System
- Peter White, Colin Richardson
- Australian Taxation Office
- July, 1998
- An Abstraction-Based Analysis of Rule Systems for Active Database Management Systems
- Tarek Ghazi, Michael Huth
- Department of Computing and Information Sciences, Kansas State University
- April, 1998
- MAGNET: QoS-based Dynamic Adaptation in a Changing Environment
- Julie McCann, Steven Crane, P Kostkova, Tim Wilkinson
- Technical Report
- Department of Computer Science, City University
- February, 1998
- A Unified Compilation Style Labelled Deductive System for Modal and Substructural Logic using Natural Deduction
- Krysia Broda, Alessandra Russo
- Technical Report
- Imperial College London, Department of Computing
- 1997
- Australia's Peak Demand for Internet Bandwidth: A Modelling and Forecasting Methodology
- Colin Richardson
- Issue 3
- Online Media Program, "Research Reports", La Trobe University
- December, 1996
- The Integration of Functional Programming Languages and Relational Databases
- A. J. Field, J. A. R. Hutton
- Internal Report No. DoC 96/3, Department of Computing, Imperial College, 1996, 12pp.
- 1996
- Modal Labelled Deductive Systems
- Alessandra Russo
- Technical Report
- Imperial College London, Department of Computing
- 1995
- The Non-stop Spineless Tagless G-machine
- R. Lyndon While, A. J. Field
- Internal Report No. DoC 93/8, Department of Computing, Imperial College, 1993, 10pp.
- 1993
- The Semantics and Implementation of Various Best-fit Pattern Matching Schemes for Functional Languages
- A. J. Field, L. S. Hunt, R. Lyndon While
- Internal Report No. DoC 92/13, Department of Computing, Imperial College, 1992, 25pp.
- 1992
- Rate of Return versus Financing Ratio in Electricity Pricing
- Colin Richardson
- Richardson
- Australian Society for Operations Research
- 1983
- A Structure-independent Switching System with System-level Fault Tolerance
- Martin Cripps, A. J. Field
- Internal Report No. DoC 83/32, Department of Computing, Imperial College, 1983, 13pp.
- 1983
BibTeX file for these publications
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.