Research output per year
Research output per year
Search results
-
2006
Journeys in non-classical computation II: initial journeys and waypoints
Stepney, S., Braunstein, S. L., Clark, J. A., Tyrrell, A. M., Adamatzky, A., Smith, R. E., Addis, T. R., Johnson, C. G., Timmis, J., Welch, P. H., Milner, R. & Partridge, D., 2006, In: International Journal of Parallel, Emergent and Distributed Systems. 21, 2, p. 97-125 29 p.Research output: Contribution to journal › Article › peer-review
-
2005
Emergent Properties Do Not Refine
Polack, F. & Stepney, S., 2005, In: Electronic Notes in Theoretical Computer Science. 137, 2, p. 163-181 19 p.Research output: Contribution to journal › Article › peer-review
-
Formal development of industrial-scale systems in it ircus
Oliveira, M., Cavalcanti, A. & Woodcock, J., 2005, In: Innovations in Systems and Software Engineering. 1, 2, p. 125-146 22 p.Research output: Contribution to journal › Article › peer-review
-
Journeys in Non-Classical Computation I: A Grand Challange for Computing Research
Stepney, S., Braunstein, S., Clark, J., Tyrrell, A., Adamatzky, A., Smith, R., Addis, T., Johnson, C., Timmis, J., Welch, P., Milner, R. & Partridge, D., 2005, In: International Journal of Parallel, Emergent and Distributed Systems. 20, 1, p. 5-19 15 p.Research output: Contribution to journal › Article › peer-review
-
2004
Using Circus for Safety-critical Applications
Woodcock, J., 2004, In: Electronic Notes in Theoretical Computer Science. 95, p. 3-22 20 p.Research output: Contribution to journal › Article › peer-review