Trusted Autonomous Systems Hub

Research output

Research output per year 2012 2021 2022 2023 2024 2024

• 51 Citations
• 46 Conference paper
• 19 Article
• 4 Chapter
• 4 Paper
• 11 More
  • 3 Abstract
  • 3 Other contribution
  • 1 Report
  • 1 Meeting abstract
  • 1 Other chapter contribution
  • 1 Poster abstract
  • 1 Editorial

Research output per year

Research output per year

Search results

• 2024

  The Ackermann Award 2023

  Fernández, M., Goubault-Larrecq, J. & Kesner, D., Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Murano, A. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 288).

  Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution › peer-review

  Open Access