Books

Short works

Books : reviews

Susan Stepney.
Relativistic Thermal Plasmas.
Institute of Astronomy, University of Cambridge. 1983

(read but not reviewed)

thesis details

Susan Stepney, Rosalind Barden, David Cooper, eds.
Object Orientation in Z.
Springer. 1992

(read but not reviewed)

book details

Contents

Peter J. Whysall. Z Expression of Refinable Objects. 1992
Silvio Lemos Meira, Ana L. C. Cavalcanti. MooZ Case Studies. 1992
Gordon A. Rose. Object-Z. 1992
Antonio J. Alencar, Joseph A. Goguen. OOZE. 1992
Kevin C. Lano. Z++. 1992
Elspeth Cusack, G. Hossein Bagherzadeh Rafsanjani. ZEST. 1992
Alan Cameron Wills. Specification in Fresco. 1992

Susan Stepney.
High Integrity Compilation: a case study.
Prentice Hall. 1993

(read but not reviewed)

book details

Roy MacLean, Susan Stepney, Simon Smith, Nick Tordoff, David Gradwell, Tim Hoverd, Simon Katz.
Analysing Systems: determining requirements for object-oriented development.
Prentice Hall. 1994

(read but not reviewed)

book details

Rosalind Barden, Susan Stepney, David Cooper.
Z in Practice.
Prentice Hall. 1994

(read but not reviewed)

book details

Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Grzegorz Rozenberg, Susan Stepney, eds.
Unconventional Computation, UC 2006: York, UK.
Springer. 2006

(read but not reviewed)

Contents

Aurelie Goulon, Arthur Duprat, Gerard Dreyfus. Graph Machines and their applications to computer-aided drug design: a new approach to learning from structured data. 2006
Michael C. Mozer. Rational models of cognitive control. 2006
Erik Winfree. Fault-tolerance in biochemical systems (abstract). 2006
Damien Woods. Optical computing and computational complexity. 2006
Russ Abbott. If a tree casts a shadow is it telling the time?. 2006
M. Sakthi Balan, Helmut Jurgensen. Peptide computing -- universality and theoretical model. 2006
Monica Cardona, M. Angels Colomer, Mario J. Perez-Jimenez, Alba Zaragoza. Handling Markov Chains with Membrane Computing. 2006
Uffe Flarup, Klaus Meer. Approximation classes for real number optimization problems. 2006
Peter Hines. Physical systems as constructive logics. 2006
Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun. On spiking neural P Systems and partially blind counter machines. 2006
Yasuhiro Igarashi, Jerzy Gorecki, Joanna Natalia Gorecka. Chemical information processing devices constructed using a nonlinear medium with controlled excitability. 2006
Natasha Jonoska, Gregory L. McColm. Flexible versus rigid tile assembly. 2006
Shankara Narayanan Krishna. On pure catalytic P Systems. 2006
William B. Langdon. Mapping non-conventional extensions of Genetic Programming. 2006
Akihiro Mikoda, Shuichi Inokuchi, Yoshihiro Mizoguchi, Mitsuhiko Fujio. The number of ordits of periodic box-ball systems. 2006
Jerzy Mycka, Francisco Coelho, Jose Felix Costa. The Euclid Abstract Machine: trisection of the angle and the Halting Problem. 2006
Shigeru Ninagawa. 1/f noise in elementary cellular automaton rule 110. 2006
Mihai Oltean. A light-based device for solving the Hamiltonian path problem. 2006
Mikhail Prokopenko, Daniel Polani, Peter Wang. Optimizing potential information transfer with self-referential memory. 2006
H. Ramesh, Shankara Narayanan Krishna, Raghavan Rama. On the power of bio-Turing machines. 2006
Dylan A. Shell, Maja J. Mataric. Ergodic dynamics for large-scale distributed robot systems. 2006

Andrew Adamatzky, Lawrence Bull, Ben De Lacy Costello, Susan Stepney, Christof Teuscher, eds.
Unconventional Computing 2007.
Luniver Press. 2007

(read but not reviewed)

Contents

Matthias Bechmann, John A. Clark, Angelika Sebald, Susan Stepney. Unentangling nuclear magnetic resonance computing. 2007
Simon O'Keefe. Implementation of logical operations on a domino substrate. 2007
William M. Stevens. A kinematic Turing machine. 2007
Effirul I. Ramlan, Klaus-Peter Zauner. Nucleic acid enzymes: The fusion of self-assembly and conformational computing. 2007
Ed Blakey. On the computational complexity of physical computing systems .. 2007
Navneet Bhalla, Peter J. Bentley, Christian Jacob. Mapping virtual self-assembly rules to physical systems. 2007
Willem Fouche, Johannes Heidema, Glyn Jones, Petrus H. Potgieter. Halting in quantum Turing computation. 2007
Kohta Suzuki, Satoshi Murata. Design of DNA spike oscillator. 2007
Kaoru Onodera. The computing power of structured molecules with gaps: Watson-Crick insertion systems. 2007
Mike Stannett. Physical hypercomputation. 2007
Jeff Jones, Mohammed Saeed. Collective perception of absolute brightness from relative contrast information -- an emergent pattern formation approach. 2007
Masayuki Ikebe, Yusuke Kitauchi. Evaluation of a multi-path maze-solving cellular automata by using a virtual slime-mold model. 2007
Takashi Morie, Takahiro Yamamoto. A cellular-automaton-based anisotropic diffusion algorithm for subjective contour generation and its digital VLSI implementation. 2007
Xin-She Yang, Young Z. L. Yang. Cellular automata networks. 2007
Eugene S. Kitamura, Yukio-Pegio Gunji. Wholeness based on gluing of incomplete information. 2007

Peter H. Welch, Susan Stepney, Fiona Polack, F. R. M. Barnes, Alistair A. McEwan, G. S. Stiles, Jan F. Broenink, Adam T. Sampson.
Communicating Process Architectures 2008: WOTUG-31.
IOS Press. 2008

(read but not reviewed)

Susan Stepney, Fiona Polack, Peter H. Welch, eds.
CoSMoS 2008.
Luniver Press. 2008

(read but not reviewed)

Contents

Ognen Paunovski, George Eleftherakis, Tony Cowling. Framework for empirical exploration of emergence using multi-agent simulation. 2008
Robert Alexander, Ruth Alexander-Bown, Tim Kelly. Engineering safety-critical complex systems. 2008
Philip Garnett, Susan Stepney, Ottoline Leyser. Towards an executable model of auxin transport canalisation. 2008
Paul S. Andrews, Fiona Polack, Adam T. Sampson, Jonathan Timmis, Lisa Scott, Mark Coles. Simulating biology: towards understanding what the simulation shows. 2008

Susan Stepney, Peter H. Welch, Paul S. Andrews, eds.
CoSMoS 2009.
Luniver Press. 2009

(read but not reviewed)

Contents

Irun R. Cohen, David Harel. Two views of a Biology-Computer Science alliance. 2009
Mark N. Read, Jonathan Timmis, Paul S. Andrews, Vipin Kumar. A domain model of Experimental Autoimmune Encephalomyelitis. 2009
Andrew N. W. Hone. On non-standard numerical integration methods for biological oscillators. 2009
Tim Hoverd, Susan Stepney. Environment Orientation: an architecture for simulating complex systems. 2009
Anthony Nash, Sara Kalvala. A framework proposition fo cellular locality in Dictyostelium modelled in pi-calculus. 2009
Teodor Ghetiu, Robert Alexander, Paul S. Andrews, Fiona Polack. Equivalence arguments for complex systems simulations -- a case-study. 2009

Susan Stepney, Peter H. Welch, Paul S. Andrews, Adam T. Sampson, eds.
CoSMoS 2010.
Luniver Press. 2010

(read but not reviewed)

Contents

Paul Humphreys. Some Relations between Formal Structure and Conceptual Content in Simulations. 2010
Philip Garnett, Susan Stepney, Francesca Day, Ottoline Leyser. Using the CoSMoS Process to Enhance an Executable Model of Auxin Transport Canalisation. 2010
Amineh Ghorbani, Andreas Ligtvoet, Igor Nikolic, Gerard Dijkema. Using Institutional Frameworks to Conceptualize Agent-based Models of Socio-technical Systems. 2010
Fiona Polack. Arguing Validation of Simulations in Science. 2010
William M. Stevens. Adapting Gosper's Hashlife Algorithm for Kinematic Environments. 2010
Paul S. Andrews, Teodor Ghetiu, Tim Hoverd, Jenny Owen, Adam T. Sampson, Douglas N. Warren, Antonio Gomez Zamorano. A Reflection on Complex Systems: Interesting and Challenging. 2010
Arturo Araujo, Peter J. Bentley, Buzz Baum. Modelling the Role of Chromosome Missegregation in Cancer Therapies. 2010
Daniel Jones, Mark d'Inverno, Tim Blackwell. Agent-based Modelling of the Haematopoetic Cellular System. 2010

Susan Stepney, Peter H. Welch, Paul S. Andrews, Carl G. Ritson, eds.
CoSMoS 2011.
Luniver Press. 2011

(read but not reviewed)

Contents

Paul S. Andrews, Susan Stepney, Tim Hoverd, Fiona Polack, Adam T. Sampson, Jonathan Timmis. CoSMoS process, models and metamodels. 2011
Jose Evora, Enrique Kremers, Susana Morales Cuevo, Mario Hernandez, Jose Juan Hernandez, Pablo Viejo. Agent-based modelling of electrical load at household level. 2011
Chris H. McEwan, Hugues Bersini, David Klatzmann, Vernique Thomas-Vaslin, Adrien Six. A computational technique to scale mathematical models towards complex heterogeneous systems. 2011
Andrew Guest, James Bown, Andrew Sapeluk, Alan F. T. Winfield, Mark Shovman. Plotting a catchy tune: tracing sound meme evolution through visualisation. 2011
Alastair Droop, Philip Garnett, Fiona Polack, Susan Stepney. Multiple model simulation: modeling cell division and differentiation in the prostate. 2011
Fiona Polack, Alastair Droop, Philip Garnett, Teodor Ghetiu, Susan Stepney. Simulation validation: exploring the suitability of a simulation of cell division and differentiation in the prostate. 2011

Susan Stepney, Paul S. Andrews, Mark N. Read, eds.
CoSMoS 2012.
Luniver Press. 2012

(read but not reviewed)

Contents

Paul S. Andrews, Susan Stepney, Jonathan Timmis. Simulation as a scientific instrument. 2012
Jose Evora, Jose Juan Hernandez, Mario Hernandez, Enrique Kremers. Asynchronous smart grid simulations. 2012
Philip Garnett. Going around again -- modelling standing ovations with a flexible agent-based simulaton framework. 2012
Richard B. Greaves, Fiona Polack, John Forrester. CoSMoS in the context of socio-ecological systems research. 2012
Susan Stepney. A pattern language for scientific simulations. 2012
Alexey Goltsov, Gregory Goltsov, Adam T. Sampson. Simulating the effects of anticoagulant drugs upon blood clotting dynamics. 2012

Susan Stepney, Paul S. Andrews, eds.
CoSMoS 2013.
Luniver Press. 2013

(read but not reviewed)

Contents

Katie Barr, Toby Fleming, Viv Kendon. Simulation methods for quantum walks on graphs applied to perfect state transfer and formal language recognition. 2013
Jose Evora, Jose Juan Hernandez, Mario Hernandez. Decision support for Complex Systems: a Smart Grid case. 2013
Peter Feher, Tamas Meszaros, Pieter J. Mosterman, Laszlo Lengyel. Flattening Virtual Simulink Subsystems with Graph Transformation. 2013
Philip Garnett. Bursting a Bubble: Abstract Banking Demographics to Understand Tipping Points?. 2013
Ye Li, Adam T. Sampson, James Bown, Yusuf Deeni. Understanding tissue morphology: model repurposing using the CoSMoS process. 2013
Susan Stepney. CoSMoS simulation experiment reproducibility and the ODD protocol. 2013
Li Tao, Jiming Liu. Understanding Self-Organized Regularities: AOC-Based Modeling of Complex Healthcare Systems. 2013

Susan Stepney, Paul S. Andrews, eds.
CoSMoS 2014.
Luniver Press. 2014

(read but not reviewed)

Contents

Ali Afshar Dodson, Susan Stepney, Emma Uprichard, Leo S. D. Caves. Using the CoSMoS approach to study Schelling's Bounded Neighbourhood Model. 2014
Bassant E. Youssef, Mohamed R. M. Rizk. Effect of Arriving Nodes Connection-Standards on Models for the Generation of Heterogeneous Complex Networks. 2014
Peter Banda, Drew Blount, Christof Teuscher. COEL: A Web-based Chemistry Simulation Framework. 2014
Paul S. Andrews, Susan Stepney. Using CoSMoS to Reverse Engineer a Domain Model for Aevol. 2014
Stefan Leijnen, Joris Dormans. Order of Battle: A Case Study for Designing Emergent Structure in Games (abstract). 2014
Fabio Mavelli, Emiliano Altamura, Pasquale Stano. In Silico Minimal Cell Model Systems (abstract). 2014

Susan Stepney, Paul S. Andrews, eds.
CoSMoS 2015.
Luniver Press. 2015

(read but not reviewed)

The study of complex systems is growing rapidly and modelling and simulation tools are an important part of the process.

This volume brings together work from a multidisciplinary group of scientists, who are studying a variety of techniques and applications for modelling and simulating complex systems.

Building on the success of previous CoSMoS workshops, these proceedings explore a range of modelling and simulation techniques together with a selection of complex systems case-studies.

Contents

Paul S. Andrews, Susan Stepney. The CoSMoS Domain Experiment Model. 2015
Keith De'Bell. Towards a Network Model of Community Empowerment for Public Health Outcomes. 2015
Richard B. Greaves, Sabine Dietmann, Austin Smith, Susan Stepney, Julianne D. Halley. Genome-wide mouse embryonic stem cell regulatory network self-organisation. 2015
Jose Juan Hernandez, Jose Evora, Enrique Kremers, Johannes Schauble. Action horizon: on the controllability of complex systems. 2015
Sebastian von Mammen, Sarah Edenhofer, Jorg Hahner. CoSMoS in the Interactive Simulation Curriculum. 2015
Richard A. Williams, Jonathan Timmis, Eva Qwarnstrom. Towards a Platform Model of the IL-1 Stimulated NF-kB Signalling Pathway using UML and Communicating Stream X-Machines. 2015