Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 22.
2010
Polack, Fiona A.C. and Andrews, Paul S. and Ghetiu, Teodor and Read, Mark and Stepney, Susan and Timmis, Jon and Sampson, Adam T. (2010) Reflections on the Simulation of Complex Systems for Science. In: ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems. IEEE Press pp. 276-285. ISBN 978-0-7695-4015-3. (Full text available) |
2008
Stepney, Susan and Abramsky, Samson and Adamatzky, Andrew and Johnson, Colin G. and Timmis, Jon (2008) Grand Challenge 7: Journeys in Non-Classical Computation. In: Visions of Computer Science 2008. BCS, London, UK pp. 407-421. (Full text available) |
Welch, Peter H. and Barnes, Frederick R.M. (2008) A CSP Model for Mobile Channels. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering, 66. IOS Press, Amsterdam, The Netherlands pp. 17-33. ISBN 978-1-58603-907-3. (Full text available) |
Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. (2008) Communicating Process Architectures 2008. Concurrent Systems Engineering, 66 . IOS Press, Amsterdam, The Netherlands ISBN 978-1-58603-907-3. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Welch, Peter H. (2008) Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008. In: UNSPECIFIED. (Full text available) |
Bjørndalen, John Markus and Sampson, Adam T. (2008) Process-Oriented Collective Operations. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering, 66. IOS Press, Amsterdam, The Netherlands pp. 309-328. ISBN 978-1-58603-907-3. (Full text available) |
Welch, Peter H. and Pedersen, Jan B. (2008) Santa Claus - with Mobile Reindeer and Elves. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering, 66. IOS Press, Amsterdam, The Netherlands pp. 455-456. ISBN 978-1-58603-907-3. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Andrews, Paul S. and Polack, Fiona and Sampson, Adam T. and Scott, Lisa and Coles, Mark (2008) Simulating biology: towards understanding what the simulation shows. In: Stepney, Susan and Polack, Fiona A.C. and Welch, Peter H., eds. Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008. Luniver Press pp. 93-123. ISBN 978-1-905986-17-0. (Full text available) |
Sampson, Adam T. (2008) Two-Way Protocols for occam-pi. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering, 66. IOS Press, Amsterdam, The Netherlands pp. 85-97. ISBN 978-1-58603-907-3. (Full text available) |
Ritson, Carl G. and Simpson, Jonathan (2008) Virtual Machine Based Debugging for occam-pi. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering Series, 66. IOS Press, Amsterdam, The Netherlands pp. 293-307. ISBN 978-1-58603-907-3. (Full text available) |
Simpson, Jonathan and Jacobsen, Christian L. (2008) Visual Process-oriented Programming for Robotics. In: Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. Communicating Process Architectures 2008. Concurrent Systems Engineering, 66. IOS Press, Amsterdam, The Netherlands pp. 365-380. ISBN 978-1-58603-907-3. (Full text available) |
Polack, Fiona A.C. and Hoverd, Tim and Sampson, Adam T. and Stepney, Susan and Timmis, Jon (2008) Complex systems models: engineering simulations. In: Bullock, S. and Noble, J. and Watson, R. and Bedau, Mark A., eds. Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. MIT Press, Cambridge, MA, USA pp. 482-489. ISBN 978-0-262-75017-2. (Full text available) |
Sampson, Adam T. and Welch, Peter H. and Warren, Douglas N. and Andrews, Paul S. and Bjørndalen, John Markus and Stepney, Susan and Timmis, Jon (2008) Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems. In: Bullock, S. and Noble, J. and Watson, R. and Bedau, Mark A., eds. Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. MIT Press, Cambridge, MA, USA. pp. 17-24. ISBN 978-0-262-75017-2. (Full text available) |
2006
Stepney, Susan and Braunstein, Samuel L. and Clark, John A. and Tyrrell, Andy M. and Adamatzky, Andrew and Smith, Robert E. and Addis, Tom and Johnson, Colin G. and Timmis, Jon and Welch, Peter H. and Milner, Robin and Partridge, Derek (2006) Journeys in Non-Classical Computation II: Initial Journeys and Waypoints. International Journal of Parallel, Emergent and Distributed Systems, 21 (2). pp. 97-125. ISSN 1744-5779. (doi:https://doi.org/10.1080/17445760500355454) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
2005
Polack, Fiona A.C. and Stepney, Susan and Turner, Heather and Welch, Peter H. and Barnes, Frederick R.M. (2005) An Architecture for Modelling Emergence in CA-Like Systems. In: Capcarrere, Mathieu S. and Freitas, Alex A. and Bentley, Peter J. and Johnson, Colin G. and Timmis, Jon, eds. Advances in Artificial Life, 8th European Conference on Artificial Life (ECAL 2005). Lecture Notes in Computer Science, 3630. Springer, Canterbury, UK pp. 427-436. ISBN 3-540-28848-1. (Full text available) |
Johnson, Colin G. (2005) Non-classical computation the computationalist stance towards the natural and cognitive sciences. In: Stepney, Susan, ed. Grand Challenge Summary. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Stepney, Susan and Braunstein, Samuel L. and Clark, John A. and Tyrrell, Andy M. and Adamatzky, Andrew and Smith, Robert E. and Addis, Tom and Johnson, Colin G. and Timmis, Jon and Welch, Peter H. and Milner, Robin and Partridge, Derek (2005) Journeys in Non-Classical Computation I: A Grand Challenge for computing research. International Journal of Parallel, Emergent and Distributed Systems, 20 (1). pp. 5-19. ISSN 1744-5760. (Full text available) |
2004
Stepney, Susan and Smith, Robert E. and Timmis, Jon and Tyrrell, Andy M. (2004) Towards a Conceptual Framework for Artificial Immune Systems. In: Nicosia, Giuseppe, ed. Third International Conference on Artificial Immune Systems. LNCS, 3239 (3239). Springer pp. 53-64. ISBN 3-540-23097-1. (doi:https://doi.org/10.1007/978-3-540-30220-9_5) (Full text available) |
2003
Stepney, Susan and Clark, John A. and Johnson, Colin G. and Partridge, Derek and Smith, Robert E. (2003) Artificial Immune Systems and the Grand Challenge for Non-Classical Computation. In: Timmis, Jon and Bentley, Peter J. and Hart, Emma, eds. Proceedings of the 2003 International Conference on Artificial Immune Systems. LNCS 2787, 2787. Springer pp. 204-216. ISBN 3-540-40766-9. (doi:https://doi.org/10.1007/b12020) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
2000
Cooper, David and Stepney, Susan and Woodcock, Jim (2000) Derivation of Refinement Proof Rules for Z: forwards and backwards rules incorporating input/output refinement. Technical report. Oxford University (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Stepney, Susan and Cooper, David and Woodcock, Jim (2000) An Electronic Purse: Specification, Refinement and Proof. Technical report. Oxford University (Full text available) |
1992
Meira, SRL and Cavalcanti, Ana L. C. (1992) MooZ Case Studies. In: Barden, Rosalind and Stepney, Susan and Cooper, David, eds. Object Orientation in Z, Workshops in Computing. Springer-Verlag, pp. 37-58. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |