Research output per year
Research output per year
Search results
-
2017
From Formalised State Machines to Implementations of Robotic Controllers
Li, W., Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A., Woodcock, J. & Timmis, J., 6 Feb 2017.Research output: Working paper
-
2013
Ecosystem Interactions: Ecosystem service interactions among lowland mixed-use agricultural, river-wetland and urban systems
Ford-Thompson, A., Bell, S., Capelli, S., Naylor, B., Raffaelli, D., Ritson, C., Stokowska, C., Timmis, J., Topi, C. & White, P., 1 Sep 2013, York, UK, 176 p.Research output: Working paper
-
2010
Specification of the stringmol chemical programming language version 0.1
Hickinbotham, S., Clark, E., Stepney, S., Clarke, T., Nellis, A., Pay, M. & Young, P., 2010.Research output: Working paper
-
The CoSMoS Process, Version 0.1: A Process for the Modelling and Simulation of Complex Systems
Andrews, P. S., Polack, F. A. C., Sampson, A. T., Stepney, S. & Timmis, J., 1 Mar 2010.Research output: Working paper
-
2005
A project management module for virtual teaching
Ward, A., Dec 2005, Department of Management Studies: University of York, 18 p.Research output: Working paper
File