Doctoral Network in Information Technologies and Mathematics

Publications

Research output per year 2013 2013 2015 2016 2017 2018 2019 2020 2024

• 256 Citations
• 9 h-index
• 34 Conference contribution
• 20 Article
• 12 Commissioned report
• 4 Doctoral Thesis
• 6 More
  • 2 Chapter
  • 2 Other contribution
  • 1 Abstract
  • 1 Comment/debate

Research output per year

Research output per year

Search results

• 2024

  Extended Abstract: Neurosymbolic AI approaches, an ongoing Ph.D. Project

  Jayasingha Arachchige, P. & Lilius, J., 11 Jun 2024, 2 p.

  Research output: Other contribution › peer-review
• 2019

  Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO

  Shokri-Manninen, F., Jüri, V., Walden, M., Tarmo, U. (Editor) & Jüri, V. (Editor), 2019

  Research output: Other contribution › peer-review

  • Controller 100%