Items where authors include "Timmis, J."
![[up]](/style/images/multi_up.png)
Up a levelArticle
Ribba, B., Grimm, H. P., Agoram, B. et al. (6 more authors) (2017) Methodologies for quantitative systems pharmacology (QSP) models:Design and estimation. CPT Pharmacometrics & Systems Pharmacology. pp. 496-498. ISSN 2163-8306
Williams, R.A., Timmis, J. and Qwarnstrom, E.E. (2017) Investigating IKK dynamics in the NF-κB signalling pathway using X-Machines. 2017 IEEE Congress on Evolutionary Computation (CEC). pp. 249-256.
Williams, R.A., Timmis, J. and Qwarnstrom, E.E. orcid.org/0000-0003-4417-8663 (2016) Statistical Techniques Complement UML When Developing Domain Models of Complex Dynamical Biosystems. PLoS One, 11 (8). e0160834. ISSN 1932-6203
de Lemos, R., Timmis, J., Ayara, M. et al. (1 more author) (2007) Immune-inspired adaptable error detection for automated teller machines. IEEE Transactions on Systems, Man and Cybernetics Part C, 37 ( 5). pp. 873-886. ISSN 1094-6977
Cutello, V., Nicosia, G., Pavone, M. et al. (1 more author) (2007) An Immune Algorithm for Protein Structure Prediction on Lattice Models. IEEE Transactions on Evolutionary Computation, 11 (1). 101 - 117. ISSN 1089-778X
Timmis, J. (2006) Artificial Immune Systems: Today and Tomorrow. Natural Computing, 6 (1). pp. 1-18. ISSN 1567-7818
Neal, M., Stepney, S., Smith, R.E. et al. (1 more author) (2005) Conceptual frameworks for artificial immune systems. International Journal on Unconventional Computing, 1 ( 3). pp. 315-338. ISSN 1548-7199
Stepney, S., Braunstein, S.L., Clark, J.A. et al. (9 more authors) (2005) Journeys in non-classical computation I: A grand challenge for computing research. International Journal on Parallel, Emergent and Distributed Systems, 20 (1). pp. 5-19. ISSN 1744-5760
Proceedings Paper
De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872, Miyazawa, A. orcid.org/0000-0003-2233-9091, Li, W. orcid.org/0000-0001-9786-585X et al. (2 more authors) (2017) Modelling and Verification of Timed Robotic Controllers. In: Polikarpova, N. and Schneider, S., (eds.) Integrated Formal Methods. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 18-33.