Publications Home » Books
Books
On this page:
Books
- Evolutionary Game Design
- Cameron Browne
- SpringerBriefs in Computer Science, Springer
- September, 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
- August, 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
- April, 2006
- International Workshop on Wearable and Implantable Body Sensor Networks (BSN'06)
- Guang-Zhong Yang
- IEEE Computer Society Press
- April, 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
- April, 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
- September, 2004
- Medical Imaging and Augmented Reality
- Guang-Zhong Yang
- Springer, LNCS 3150, Berlin Heidelberg
- August, 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
- August, 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]](/decor/icon-pdf-mini.png)
- 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
- 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
- July, 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
- August, 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]](/decor/icon-gzps-mini.png)
- Abbas Edalat, Ali Khanban, André 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
- July, 2001
Book Chapters
- 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
- To appear 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
- Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy T. Bradley, Kaustubh Joshi, Vlastimil Babka, Stephen Gilmore, Anton Stefanek
- Resilience Assessment and Evaluation of Computing Systems
- Springer Verlag
- June, 2012
- Scalable Stochastic Modelling for Resilience
- Jeremy T. Bradley, Lucia Cloth, Richard Hayden, Leïla Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter
- Resilience Assessment and Evaluation of Computing Systems
- Springer
- June, 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
- Analysis of non-product form parallel queues using a Markovian process algebra
- Nigel Thomas, Jeremy T. Bradley
- Next Generation Internet: Performance Evaluation and Applications
- Volume 5233, pp.331–342
- Lecture Notes in Computer Science, Springer Verlag
- April, 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
- October, 2009
- Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis
![[Postscript]](/decor/icon-ps-mini.png)
- 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
- 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
- September, 2008
- GridEcon: A Market Place for Computing Resources
- Jörn 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
- August, 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
- August, 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
- 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
- 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
- August, 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
- August, 2007
- ICENI
- Stephen McGough, William Lee, Jeremy Cohen, Eleftheria Katsiri, John Darlington
- Workflows for e-Science: Scientific Workflows for Grids
- Springer
- June, 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
- 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
- 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
- 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
- Panayiotis Parpas, Berc Rustem
- Computational Science and Its Applications
- Volume 3982, pp.908–917
- Lecture Notes in Computer Science, Springer-Verlag
- May, 2006
- Multi-agent systems in computational logic: challenges and outcomes ofthe SOCS project
- 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
- Fariba Sadri, Francesca Toni
- Computational Logic in Multi-Agent Systems
- Volume 3900, pp.206–225
- Springer Verlag
- April, 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
- August, 2005
- Separation - past, present, and future
- 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
- 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
- June, 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
- Maja Pantic
- Encyclopedia of Multimedia Technology and Networking
- Volume 1, pp.8–14
- Idea Group Publishing
- May, 2005
- Agent Frameworks
- Reinier Zwitserloot, Maja Pantic
- Encyclopedia of Multimedia Technology and Networking
- Volume 1, pp.15–21
- Idea Group Publishing
- May, 2005
- Face for Interface
- Maja Pantic
- Encyclopedia of Multimedia Technology and Networking
- Volume 1, pp.308–314
- Idea Group Publishing
- May, 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
- 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
- August, 2004
- An abstraction framework for mixed non-deterministic and probabilistic systems
- 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
- June, 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
- June, 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
- September, 2003
- Access-as-you-need: a computational logic framework for accessing resources in artificial societies
- 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
- Keith Clark, Peter Robinson
- Computational Logic: From Logic Programming into the Future
- pp.33–65
- Springer
- 2002
- Adaptivity for improving web streaming application performance
- Julie McCann
- Adaptive evolutionary information systems
- pp.172–191
- Idea Group Publishing
- 2002
- Argumentation-based proof procedures for credulous and sceptical non-monotonic reasoning
- 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
- P Kostkova, Julie McCann
- Adaptive evolutionary information systems
- 2002
- Domains of view: a foundation for specification and analysis
- 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
- 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
- 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
- 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
- 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
- August, 1997
- An Object Model for Distributed and Concurrent Programming Based on Decomposition
- 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
- July, 1995
- 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
- 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
- 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
- June, 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
- April, 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
- 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.