Jonathan Timmis

View Scopus Profile

Jonathan Timmis

Prof

 https://orcid.org/0000-0003-1055-0471
1998 …2024

Research activity per year

Personal profile

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 3 - Good Health and Well-being
  • SDG 7 - Affordable and Clean Energy
  • SDG 13 - Climate Action

Fingerprint

Dive into the research topics where Jonathan Timmis is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool

    Li, W., Ribeiro, P. A., Miyazawa, A., Redpath, R., Cavalcanti, A., Alden, K., Woodcock, J. & Timmis, J., 01 Aug 2024, In: Autonomous Robots. 48, 6, 14.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    8 Downloads (Pure)

  • Bringing RoboStar and RT-Tester Together

    Cavalcanti, A., Miyazawa, A., Schulze, U. & Timmis, J., 2023, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Nature, p. 16-33 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14165 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Preface

    Cavalcanti, A., Dongol, B., Hierons, R., Timmis, J. & Woodcock, J., 05 Jul 2021, Software Engineering for Robotics. Springer Nature, p. vii-viii

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

    4 Citations (Scopus)

  • Software engineering for robotics

    Cavalcanti, A., Dongol, B., Hierons, R., Timmis, J. & Woodcock, J., 05 Jul 2021, Springer Nature. 483 p.

    Research output: Book/Report › Book

    11 Citations (Scopus)

  • Towards autonomous robot evolution

    Eiben, A. E., Hart, E., Timmis, J., Tyrrell, A. M. & Winfield, A. F., 05 Jul 2021, Software Engineering for Robotics. Cavalcanti, A., Dongol, B., Hierons, R., Timmis, J. & Woodcock, J. (eds.). Springer Nature, p. 29-51 23 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    13 Citations (Scopus)

  • B cell zone reticular cell microenvironments shape CXCL13 gradient formation

    Cosgrove, J., Novkovic, M., Albrecht, S., Pikor, N. B., Zhou, Z., Onder, L., Mörbe, U., Cupovic, J., Miller, H., Alden, K., Thuery, A., O’Toole, P., Pinter, R., Jarrett, S., Taylor, E., Venetz, D., Heller, M., Uguccioni, M., Legler, D. F. & Lacey, C. J. & 11 others, Coatesworth, A., Polak, W. G., Cupedo, T., Manoury, B., Thelen, M., Stein, J. V., Wolf, M., Leake, M. C., Timmis, J., Ludewig, B. & Coles, M. C., 01 Dec 2020, In: Nature Communications. 11, 1, 3677.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    53 Citations (Scopus)

  • Bootstrapping artificial evolution to design robots for autonomous fabrication

    Buchanan, E., Le Goff, L. K., Li, W., Hart, E., Eiben, A. E., De Carlo, M., Winfield, A. F., Hale, M. F., Woolley, R., Angus, M., Timmis, J. & Tyrrell, A. M., Dec 2020, In: Robotics. 9, 4, p. 1-24 24 p., 106.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    12 Citations (Scopus)

  • Evolution of Diverse, Manufacturable Robot Body Plans

    Buchanan, E., Goff, L. K. L., Hart, E., Eiben, A. E., Carlo, M. D., Li, W., Hale, M. F., Angus, M., Woolley, R., Winfield, A. F., Timmis, J. & Tyrrell, A. M., 01 Dec 2020, 2020 IEEE Symposium Series on Computational Intelligence, SSCI 2020. IEEE Press, p. 2132-2139 8 p. 9308434. (2020 IEEE Symposium Series on Computational Intelligence, SSCI 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Proceeding (Non-Journal item)

    4 Citations (Scopus)

  • Hardware Design for Autonomous Robot Evolution

    Hale, M. F., Angus, M., Buchanan, E., Li, W., Woolley, R., Goff, L. K. L., Carlo, M. D., Timmis, J., Winfield, A. F., Hart, E., Eiben, A. E. & Tyrrell, A. M., 01 Dec 2020, 2020 IEEE Symposium Series on Computational Intelligence, SSCI 2020. IEEE Press, p. 2140-2147 8 p. 9308204. (2020 IEEE Symposium Series on Computational Intelligence, SSCI 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Proceeding (Non-Journal item)

    15 Citations (Scopus)

  • Strategies for calibrating models of biology

    Read, M. N., Alden, K., Timmis, J. & Andrews, P. S., 17 Jan 2020, In: Briefings in Bioinformatics. 21, 1, p. 24-35 12 p.

    Research output: Contribution to journal › Article › peer-review

    15 Citations (Scopus)

  • The ARe robot fabricator: How to (Re)produce robots that can evolve in the real world

    Hale, M. F., Buchanan, E., Winfield, A. F., Timmis, J., Hart, E., Eiben, A. E., Angus, M., Veenstra, F., Li, W., Woolley, R., de Carlo, M. & Tyrrell, A. M., 2020, p. 95-102. 8 p.

    Research output: Contribution to conference › Paper › peer-review

    28 Citations (Scopus)
View all 274 research outputs