Computing Publications

Publications Home » Books

Books

Books

Evolutionary Game Design
Cameron Browne
SpringerBriefs in Computer Science, Springer
August, 2011
.
Elsevier
February, 2011
Logic in Computer Science: modelling and reasoning about systems (Portuguese language edition)
Michael Huth, Mark Ryan
Cambridge University Press
2008
Medical Imaging and Augmented Reality
Guang-Zhong Yang
Springer, LNCS 4091, Berlin Heidelberg
July, 2006
Body Sensor Networks
Guang-Zhong Yang
Springer-Verlag
2006
Concurrency: State Models & Java Programs, 2nd Edition
Jeff Kramer, Jeff Magee
pp.1–413
Worldwide Series in Computer Science, John Wiley & Sons
March, 2006
International Workshop on Wearable and Implantable Body Sensor Networks (BSN'06)
Guang-Zhong Yang
IEEE Computer Society Press
March, 2006
Logic in Computer Science: modelling and reasoning about systems (Chinese edition)
Michael Huth, Mark Ryan
Cambridge University Press
2005
Logic in Computer Science: modelling and reasoning about systems (Chinese language edition)
Michael Huth, Mark Ryan
Cambridge University Press
2005
International Workshop on Wearable and Implantable Body Sensor Networks (BSN'05)
Guang-Zhong Yang
IEEE Computer Society Press
March, 2005
Connection Games: Variations on a Theme
Cameron Browne
AK Peters
January, 2005
Medical Image Understanding and Analysis
Daniel Rueckert, JV Hajnal, Guang-Zhong Yang
BMVA
August, 2004
Medical Imaging and Augmented Reality
Guang-Zhong Yang
Springer, LNCS 3150, Berlin Heidelberg
July, 2004
Logic in Computer Science: modelling and reasoning about systems (second edition)
Michael Huth, Mark Ryan
Cambridge University Press
2004
Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics (2004)
Krysia Broda, Dov Gabbay, Luis Lamb, Alessandra Russo
Research Monograph
Research Study Press
2004
Algorithms for worst-case design and applications to risk management
Berc Rustem, M Howe
pp.1–389
Princeton University Press
December, 2002
Computational methods in decision-making, economics and finance
E Kontoghiorghes, Berc Rustem, Stavros Siokos
Computational methods in decision-making, economics and finance
Kluwer Academic Publishers
2002
Neural Symbolic Learning Systems
Artur dAvila Garcez, Krysia Broda, Dov Gabbay
Springer
2002
Relation algebras by games
Robin Hirsch, Ian Hodkinson
Volume 147
Elsevier
2002
Automated Theory Formation in Pure Mathematics
Simon Colton
Springer-Verlag
2002
Medical Imaging and Augmented Reality
Guang-Zhong Yang
IEEE Computer Society Press
July, 2001
Secure communicating systems: design, analysis, and implementation
Michael Huth
Cambridge University Press
2001
Hex Strategy: Making the Right Connections
Cameron Browne
AK Peters
January, 2000
Logic in Computer Science: Modelling and reasoning about computer systems (first edition)
Michael Huth, Mark Ryan
Cambridge University Press
2000
Concurrency: State Models & Java Programs
Jeff Kramer, Jeff Magee
pp.1–355
Worldwide Series in Computer Science, John Wiley & Sons
March, 1999
Algorithms for nonlinear programming and multiple-objective decisions [PDF]
Berc Rustem
pp.1–304
John Wiley & Sons
1998
Computational approaches to economic problems
Berc Rustem, HM Amman, A. Whinston
Volume 6, pp.1–372
Kluwer Academic Publishers
1997
Network and Distributed Systems Management
Morris Sloman
Addison Wesley
1994
Reasoned Programming [PDF]
Krysia Broda, Susan Eisenbach, Hessam Khoshnevisan, Steven Vickers
pp.1–296
Prentice Hall
1994
Performance Modelling of Communication Networks and Computer Architectures
Peter G. Harrison, Naresh M. Patel
pp.1–472
Addison-Wesley
January, 1993
Program Design with Modula-2
Susan Eisenbach, Chris Sadler
Addison-Wesley
November, 1989
Functional Programming
A. J. Field, Peter G. Harrison
pp.1–616
Addison-Wesley
June, 1988
Functional Programming: Languages, Tools, and Architectures
Susan Eisenbach
Ellis Horwood
January, 1987
Distributed Systems and Computer Networks
Jeff Kramer, Morris Sloman
pp.1–336
Prof. C. A. R. Hoare Series, Prentice Hall
November, 1986
Pascal for Programmers
Susan Eisenbach, Chris Sadler
Springer Verlag
July, 1982
An Attribute Grammar for the Semantic Analysis of Ada
Juergen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgaessner
Lecture Notes in Computer Science
1982

Research Monographs

Computational Geometry with Imprecise Input Data [GZipped Postscript]
Abbas Edalat, Ali Khanban, Lieutier
December, 2005
Computational Techniques of the Simplex Method
Istvan Maros
Kluwer Academic Publishers
2003
Profitability Gap Theories of Investment
Colin Richardson
Discussion Papers, School of Economics, University of Tasmania, University of Tasmania
November, 2001
Traverse Analysis: Progenitors and Pioneers
Colin Richardson
Discussion Papers, School of Economics, University of Tasmania, University of Tasmania
June, 2001

Book Chapters

GPA - A multiformalism, multisolution approach to efficient analysis of large scale population models [PDF]
Jeremy T. Bradley, Marcel C. Guenther, Richard Hayden, Anton Stefanek
Theory and Application of Multi-Formalism Modeling
IGI Global
2013
Manifold forests for multi-modality classification of Alzheimer's disease
Katherine Gray, Paul Aljabar, R. A. Heckemann, A. Hammers, Daniel Rueckert, Antonio Criminisi, Jamie Shotton
Decision Forests for Computer Vision and Medical Image Analysis
Advances in Computer Vision and Pattern Recognition, Springer
2013
Providing Dependability and Resilience in the Cloud: Challenges and Opportunities [PDF]
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 [PDF]
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
May, 2011
Analysis of non-product form parallel queues using a Markovian process algebra [PDF]
Nigel Thomas, Jeremy T. Bradley
Next Generation Internet: Performance Evaluation and Applications
Volume 5233, pp.331–342
Lecture Notes in Computer Science, Springer Verlag
March, 2011
Modelling a Grid Market Economy
Fernando Martinez Ortuno, Uli Harder, Peter G. Harrison
Performance Models and Risk Management in Communication Systems
Springer
2010
Quality of Sensor-originated Information in Coalition Information Networks
Chatschik Bisdikian, Lance M. Kaplan, Mani B. Srivastava, David Thornley, Dinesh Verma, Robert I. Young
Network Science for Military Coalition Operations: Information Extraction and Interactions
pp.15–41
2009
String Mining in Bioinformatics
Mohamed Abouelhoda, Moustafa Ghanem
Scientific Data Mining and Knowledge Discovery: Principles and Foundations. Gaber, Mohamed Medhat (Ed.)
Springer
September, 2009
Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis [PDF] [Postscript]
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
March, 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
Building and using analytical workflows in Discovery Net
Moustafa Ghanem, Vasa Curcin, Patrick Wendel, Yike Guo
Data Mining Techniques in Grid Environments. Dubitzky, Werner (Ed).
pp.119–140
Wiley-Blackwell
November, 2008
Capturing Patient Consent in Pervasive Healthcare Applications
Giovanni Russello, Changyu Dong, Naranker Dulay
2008
Enabling Scientists through Workflow and Quality of Service
Asif Akram, David Colling, Li Guo, Stephen McGough, Marko Krznaric, Paul Kyberd, Janusz Martyniak, Roger Powell
Grid Enabled Remote Instrumentation
pp.345–359
Springer US
August, 2008
GridEcon: A Market Place for Computing Resources
Altmann, Costas Courcoubetis, Georges D. Stamoulis, Manos Dramitinos, Thierry Rayna, Marcel Risch, Chris Bannink
Grid Economics and Business Models
Volume 5206, pp.185–196
Lecture Notes in Computer Science, Springer Berlin / Heidelberg
July, 2008
Market Mechanisms for Trading Grid Resources
Costas Courcoubetis, Manos Dramitinos, Thierry Rayna, Sergios Soursos, Georges D. Stamoulis
Grid Economics and Business Models
Volume 5206, pp.52–72
Lecture Notes in Computer Science, Springer Berlin / Heidelberg
July, 2008
Bounded Session Types for Object Oriented Languages
Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino, Nobuko Yoshida
Proceedings of FMCO 2007 (Formal Methods for Components and Objects) 2007
Volume 4709, pp.207–245
Lecture Notes in Computer Science, Springer
January, 2008
Modelling tools and techniques for the performance analysis of wireless protocols [PDF] [GZipped Postscript]
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
September, 2007
Approaches and Best Practices in Web Service Data Binding
Asif Akram, David Meredith
Securing Web Services: Practical Usage of Standards and Specifications
Idea Group Inc, USA
July, 2007
Grid Business Process: Case Study
Asif Akram, Rob Allan, S Chaudhary, P Jain, Z Laliwala
Securing Web Services: Practical Usage of Standards and Specifications
Idea Group Inc, USA
July, 2007
ICENI
Stephen McGough, William Lee, Jeremy Cohen, Eleftheria Katsiri, John Darlington
Workflows for e-Science: Scientific Workflows for Grids
Springer
May, 2007
Tackling Large State Spaces in Performance Modelling [PDF] [GZipped Postscript]
William J. Knottenbelt, Jeremy T. Bradley
Formal Methods for Performance Evaluation
Volume 4486, pp.318–370
Lecture Notes in Computer Science, Springer
May, 2007
Invention, Innovation, Investment: Heterodox Simulation Modeling of Capital Accumulation
Jerry Courvisanos, Colin Richardson
John T Harvey & Robert F Garnett (eds) Future Directions for Heterodox Economics
Advances in Heterodox Economics, University of Michigan Press
2007
Response Time Densities and Quantiles in Large Markov and Semi-Markov Models [PDF] [GZipped Postscript]
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 [PDF] [GZipped Postscript]
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
August, 2006
Corridor of Viability: Complexity Analysis for Enterprise and Investment
Jerry Courvisanos, Colin Richardson
Mark Setterfield (ed) Complexity, Endogenous Money and Macroeconomic Theory: Essays in Honour of Basil J Moore
pp.99–118
Edward Elgar
2006
Global optimization of the scenario generation and portfolio selection problems [PDF]
Panayiotis Parpas, Berc Rustem
Computational Science and Its Applications
Volume 3982, pp.908–917
Lecture Notes in Computer Science, Springer-Verlag
April, 2006
Multi-agent systems in computational logic: challenges and outcomes ofthe SOCS project [PDF]
Francesca Toni
CLIMA VI: Computational Logic in Multi-Agent Systems - Revised Selected and Invited Papers, CLIMA VI, London, UK, June 2005
Volume 3900, pp.420–426
Springer Verlag
2006
Variety of behaviours through profiles in logic-based agents [PDF]
Fariba Sadri, Francesca Toni
Computational Logic in Multi-Agent Systems
Volume 3900, pp.206–225
Springer Verlag
March, 2006
Quality of Services Based Grid Communities
Omer Rana, Asif Akram, Rashid Al -Ali, Kaizar Amin, Gregor Laszewski , David Walker
Extending Web Services Technologies
Volume 13
Springer
July, 2005
Separation - past, present, and future [PDF]
Ian Hodkinson, Mark Reynolds
pp.117–142
College Publications
2005
Compiled Labelled Deductive Systems for Access Control (2005)
Krysia Broda, Alessandra Russo
We Will Show Them: Essays in Honour of Dov Gabbay
Volume 1, pp.309–338
College Publications
2005
On modelling multi-agent systems declaratively [PDF]
Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni
Volume 3476, pp.53–68
Springer Verlag
2005
Continuous min-max approach for single period portfolio selection problem
Berc Rustem, Nalan Gulpinar
Numerical methods in finance
Volume 9, pp.241–258
Springer
May, 2005
The KGP model of agency for global computing: computational model and prototype implementation
Andrea Bracciali, N. Demetriou, Ulrich Endriss, Antonis Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni
Global computing
Volume 3267, p.342
Springer-Verlag
2005
Affective Computing [PDF]
Maja Pantic
Encyclopedia of Multimedia Technology and Networking
Volume 1, pp.8–14
Idea Group Publishing
April, 2005
Agent Frameworks [PDF]
Reinier Zwitserloot, Maja Pantic
Encyclopedia of Multimedia Technology and Networking
Volume 1, pp.15–21
Idea Group Publishing
April, 2005
Face for Interface [PDF]
Maja Pantic
Encyclopedia of Multimedia Technology and Networking
Volume 1, pp.308–314
Idea Group Publishing
April, 2005
Blood Flow Measurement
Shareem Masood, Guang-Zhong Yang
Encyclopaedia of Biomedical Engineering
Wiley InterScience
January, 2005
Computational Fluid Dynamics: Patient Specific in-vivo Blood Flow Simulation
Robert Merrifield, Guang-Zhong Yang
Encyclopaedia of Biomedical Engineering
Wiley InterScience
2005
Model-based Design of Concurrent Programs
Jeff Kramer, Jeff Magee
Communicating Sequential Processes: The First 25 Years
pp.211–219
Lecture Notes in Computer Science, Springer-Verlag
2005
Stable multi-agent systems [PDF]
Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni
5th international workshop on engineering societies in the agents world. IRIT Lab, Toulouse, France, 20 - 22 October 2004
Volume 3451, pp.322–334
Springer-Verlag
2005
Temporal Agents
Jim Cunningham
Kent A. Peakock & Andrew D. Irvine (eds), Mistakes of Reason : Essays in Honour of John Woods
pp.380–397
University of Toronto Press
2005
Building Scalable Virtual Communities - Infrastructure Requirements and Computational Costs
Omer Rana, Asif Akram, SJ Lynden
Socionics: Contribution to the Scalability of Complex Social Systems
Springer-Verlag
July, 2004
An abstraction framework for mixed non-deterministic and probabilistic systems [PDF]
Michael Huth
GI Dagstuhl research seminar on validation of stochastic systems, Dagstuhl Castle, Germany, 2002
Volume 2925, pp.419–444
Springer-Verlag
2004
Component Models and Systems for Grid Applications
Anthony Mayer, Stephen McGough, Nathalie Furmento, Jeremy Cohen, Murtaza Gulamali, Laurie Young, Ali Afzal, Steven Newhouse, John Darlington
Component Models and Systems for Grid Applications(Coregrid)
Springer
May, 2004
ICENI: An Integrated Grid Middleware to Support e-Science
Anthony Mayer, Stephen McGough, Nathalie Furmento, Jeremy Cohen, Murtaza Gulamali, Laurie Young, Ali Afzal, Steven Newhouse, John Darlington
Component Models and Systems for Grid Applications
pp.109–124
Springer
May, 2004
Automatic construction of multiple object three-dimensional statistical shape models: application to cardiac modeling
Alex Frangi, Daniel Rueckert, JA Schnabel, WJ Niessen
Yearbook of Medical Informatics 2004: Towards Clinical Bioinformatics
pp.450–466
Schattauer Verlagsgesellschaft
2004
Logic-based agent communication protocols
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Advances in agent communication, Dignum F. (ed.)
Volume 2922, pp.91–107
Springer Verlag
2004
Two formal approaches for approximating noninterference properties
Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
International school on foundations of security analysis and design, Bertinoro, ITALY, 2002
Volume 2946, pp.1–43
Springer Verlag
2004
Software architecture modeling and analysis: a rigorous approach
Jeff Kramer, Jeff Magee, Sebastian Uchitel
Formal Methods for Software Architectures (SFM-03:SA Lectures)
Volume 2804, pp.44–51
Lecture Notes in Computer Science, Springer
August, 2003
Access-as-you-need: a computational logic framework for accessing resources in artificial societies [Postscript]
Francesca Toni, Kostas Stathis
Volume 2577, pp.126–140
Springer-Verlag
2003
A decidable CLDS for some propositional resource logics
Krysia Broda
Computational logic: logic programming and beyond: essays in honour of Robert A.Kowalski, Part II
Volume 2408, pp.135–159
Springer
2002
Agents as Multi-threaded Logical Objects [PDF]
Keith Clark, Peter Robinson
Computational Logic: From Logic Programming into the Future
pp.33–65
Springer
2002
Adaptivity for improving web streaming application performance [PDF]
Julie McCann
Adaptive evolutionary information systems
pp.172–191
Idea Group Publishing
2002
Argumentation-based proof procedures for credulous and sceptical non-monotonic reasoning [Postscript]
Phan Minh Dung, Paolo Mancarella, Francesca Toni
Computational logic: logic programming and beyond: essays in honour of Robert A.Kowalski, Part II
Volume 2408, pp.289–310
Springer Verlag
2002
Multistage stochastic programming in computational finance
Nalan Gulpinar, Berc Rustem, R Settergren
Computational methods in decision-making, economics and finance
pp.35–47
Kluwer Academic Publishers
2002
Scenario specification for robust portfolio analysis
Berc Rustem, R Settergren
Computational methods in decision-making, economics and finance
pp.77–88
Kluwer Academic Publishers
2002
Sources of error in image registration for cranial imageguided neurosurgery
CR Maurer, T Rohlfing, D Dean, JB West, Daniel Rueckert, K Mori, R Shahidi, AJ Martin, MP Heilbrun, RJ Maciunas
Advanced techniques in image-guided brain and spine surgery
pp.10–36
Thieme
2002
Support for dynamic trading and runtime adaptability in mobile environments [PDF]
P Kostkova, Julie McCann
Adaptive evolutionary information systems
2002
Domains of view: a foundation for specification and analysis [PDF]
Michael Huth
International symposium on domain theory; domains and processes
Volume 1, pp.183–218
Kluwer Academic 2001
2001
On the Use of Logical Abduction in Software Engineering.
Alessandra Russo, Bashar Nuseibeh
Handbook of Software Engineering and Knowledge Engineering
pp.889–914
World Scientific
December, 2001
An abstract model of Java dynamic linking and loading [Postscript]
Sophia Drossopoulou
Types in Compilation: Revised Selected Papers
Volume 2071, p.53
Springer
January, 2001
Non-rigid registration: techniques and applications
Daniel Rueckert
Medical image registration
CRC Press
2001
A Unified Compilation Style Natural Deduction System for Modal, Substructural and Fuzzy Logics
Krysia Broda, Alessandra Russo, Dov Gabbay
Discovering World with Fuzzy Logic: Perspectives and Approaches to Formalization of Human-consistent Logical Systems
Volume 57, pp.495–548
Springer-Verlag
November, 2000
Distributed Databases
Peter McBrien, Alexandra Poulovassilis
Advanced Database Technology and Design
pp.291–328
Artech House
2000
Revision by Transformation
Dov Gabbay, Odinaldo Rodrigues, Alessandra Russo
Information, Uncertainty and Fusion
Volume 10, pp.3–31
Kluwer Academic Publishers
2000
Software Architecture Description
Naranker Dulay, Jeff Kramer, Jeff Magee, Keng Ng
Software Architecture for Product Families: Principles and Practice
Issue 2
Addison Wesley
2000
Transformation methods in LDS [Postscript]
Krysia Broda, Marcello D'Agostino, Alessandra Russo
Essays in Honour of Dov Gabbay
pp.335–376
Kluwer Academic Publishers
1999
Coordination Languages
Paul Kelly
Research Directions in Parallel Functional Programming
Springer
November, 1999
Revision by Translation
Dov Gabbay, Odinaldo Rodrigues, Alessandra Russo
JFAK. Essays Dedicated to Johan van Benthem
Amsterdam University Press
1999
3D analysis: Registration of biomedical images
Daniel Rueckert, DJ Hawkes
Image, Processing and Analysis - A Practical Approach
Oxford University Press
1999
Towards an Operational Semantics and Proof of Type Soundness for Java [PDF]
Sophia Drossopoulou, Susan Eisenbach
Formal Syntax and Semantics of Java
Issue 3
Springer-Verlag
1999
A Methodology for the Performance Modelling of Distributed Cache Coherent Multiprocessors [PDF] [Postscript]
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 Piecewise Linear Dual Procedure in Mixed Integer Programming
Istvan Maros
New Trends in Mathematical Programming
pp.159–170
Kluwer Academic Publishers
1998
Electronic Commerce and the Australian Taxation System: An Exploratory Study of Six Industries
Peter White, Colin Richardson
ATO, "Tax and the Internet"
Volume 2, pp.1–25
Australian Taxation Office
July, 1997
An Object Model for Distributed and Concurrent Programming Based on Decomposition [PDF]
Matthias Radestock, Susan Eisenbach
Object Orientation with Parallelism and Persistence
Issue 4
Kluwer Academic Publishers
1996
A Visual Approach to Distributed Programming
Jeff Kramer, Jeff Magee, Naranker Dulay, Keng Ng
Tools and Environments for Distributed Systems
Kluwer
1996
Building and solving multi-criteria models involving logical conditions
RLV Pinto, Berc Rustem
Advances in Computational Economics
Kluwer
1996
Method Integration and Support for Distributed Software Development: an overview
Jeff Kramer, Anthony Finkelstein, Bashar Nuseibeh
ICSE '93 Workshop on Studies of Software Design', Baltimore, Maryland, May 1993
pp.115–126
Lecture Notes in Computer Science, Springer-Verlag
1996
Modelling Darwin in pi-Calculus
Jeff Kramer, Jeff Magee, Susan Eisenbach
Theory and Practice in Distributed Systems
pp.133–152
Lecture Notes in Computer Science, Springer-Verlag
June, 1995
A Fixed-Point Model of a Distributed Memory Consistency Protocol [PDF] [Postscript]
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 [PDF]
Ben Strulo, Dov Gabbay, Peter G. Harrison
Time and logic: a computational approach
pp.229–247
UCL Press Ltd.
1995
Convergent stepsizes for constrained min-max algorithms
Berc Rustem
Advances in dynamic games and applications (Geneva, 1992)
Volume 1, pp.168–194
BIrkhauser Boston
1994
Configuration of Distributed Systems
Jeff Magee
Network and Distributed Systems Management
Addison Wesley
1994
Configuring Object Based Distributed Programs in REX
Jeff Kramer, Jeff Magee, Morris Sloman, Naranker Dulay
Distributed Computing Systems
pp.187–205
IEEE Computer Society Press
1994
Distributed Systems
Jeff Kramer
Network and Distributed Systems Management
pp.47–66
Addison-Wesley
1994
Domains: A Framework of Structuring Management Policy
Morris Sloman
Network and Distributed Systems Management
Issue 16
Addison Wesley
1994
Language and Architecture Paradigms as Object Classes: A Unified Approach Towards Multiparadigm Programming [PDF]
Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
Programming Languages and System Architectures
Volume 782, pp.191–207
Springer-Verlag
January, 1994
Management: What and Why
Morris Sloman
Network and Distributed Systems Management
Issue 1
Addison Wesley
1994
Multi-processor File-System Performance Modelling
Julie McCann, David Bolton, Anthony Valsamidis, X Zhao, Nicholas Williams
Computer and Telecommunication Systems Performance Engineering
pp.40–49
Pentech Press
1994
Implementing Logical Variables and Disjunctions in Graph Rewrite Systems
Peter McBrien
Term Graph Rewriting: Theory and Practice
pp.333–346
John Wiley & Sons Inc
May, 1993
A Hybrid Benchmarking Model for Database Machine Performance Studies
Julie McCann, David Bell
Computer Benchmarks
pp.325–338
North-Holland
1993
ViewPoint-Oriented Development: applications in composite systems
Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh
Safety-Critical Systems: Current issues, techniques and standards
pp.90–101
Chapman & Hall
1993
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
Configuration Programming - Exploiting Component Reuse in Distributed Systems
Jeff Kramer
Software Reuse and Reverse Engineering in Practice
pp.415–442
Chapman & Hall
1992
Process Modelling: a Critical Analysis
Anthony Finkelstein, Jeff Kramer, Michael Hales
Integrated Software Engineering with Reuse: mamagement and techniques
pp.137–148
Chapman & Hall
1992
TARA: Tool Assisted Requirements Analysis
Jeff Kramer, Anthony Finkelstein
Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development
pp.413–432
John Wiley & Sons
1992
Implementing Logic Languages by Graph Rewriting, In Logic Programming: Expanding the Horizons
Tony Dodd, Richard Owens, Stephen Torrance, Peter McBrien
pp.164–188
Intellect
1991
Software Configuration Techniques In Operational Systems
Jeff Kramer, Morris Sloman, Jeff Magee
Control and Dynamic Systems: Advances in Theory and Applications
Volume 47, pp.325–356
Academic Press
1991
ViewPoint Oriented Software Development: Methods and Viewpoints in Requirements Engineering
Jeff Kramer, Anthony Finkelstein, Michael Goedicke, Celso Niskier
Algebraic Methods II: Theory, Tools and Applications
pp.29–54
Lecture Notes in Computer Science, Springer-Verlag
1991
Methods for optimal economic policy design
Berc Rustem
Volume 36, pp.17–74
Academic Press
1990
Configuration Support for System Description, Construction and Evolution
Jeff Kramer, Jeff Magee, Morris Sloman
Managing Complexity in Software Engineering
pp.247–260
Peter Peregrinus
1990
An Overview of Distributed System Construction using Conic
Jeff Kramer, Jeff Magee, Morris Sloman
The Application of Advanced Computing Concepts and Techniques in Control Engineering
Volume 47, pp.237–255
Springer-Verlag
1988
An Introduction to ALICE: a Multiprocessor Graph Reduction Machine
Martin Cripps, A. J. Field, Mike Reeve
in Functional Programming, Languages, Tools and Architectures, Eisenbach S. (Ed.)
pp.111–128
Ellis Horwood
March, 1987
Distributed System Construction: Experience with the Conic Toolkit
Naranker Dulay, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin Twidle, Jurgen Nehmer
Experiences with Distributed Systems
pp.189–212
Lecture Notes in Computer Science, Springer-Verlag
1987
The Conic Support Environment for Distributed Systems
Jeff Kramer, Jeff Magee, Morris Sloman
Distributed Operating Systems: Theory and Practice
pp.289–310
Springer-Verlag
1987
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 [PDF]
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
Building Flexible Distributed Systems in CONIC
Jeff Kramer, Jeff Magee, Morris Sloman, David Duce
Distributed Computing Systems Programme
pp.86–106
Peter Peregrinus
1984
Distributed Computer Systems : Two Views
Jeff Kramer, Donald Knuth, Erich J Neuhold
Specification and Design of Software Systems
Lecture Notes in Computer Science, Springer-Verlag
1983

BibTeX file for these publications

 

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