Återgå till huvudnavigering
Återgå till sök
Gå direkt till huvudinnehållet
Åbo Akademi Hem
English
Svenska
Suomi
Hem
Personer
Forskningsenheter
Projekt
Publikationer
Dataset
Priser
Aktiviteter
Tidningsurklipp
Genomslag
Kurser
Sök per experter, namn eller tillhörighet
Doktorandnätverk IT and Mathematics
Åbo Akademi
Fakulteten för naturvetenskaper och teknik
Översikt
Fingeravtryck
Nätverk
Personer
(1)
Projekt
(5)
Publikationer
(76)
Dataset
(1)
Forskningsresultat
Publikationer per år
2013
2013
2015
2016
2017
2018
2019
2020
2024
256
Citeringar
9
h-index
34
Konferensbidrag
20
Artikel
12
Beställd rapport
4
Doktorsavhandling
6
Mer
2
Kapitel
2
Övriga bidrag
1
Sammanfattning
1
Kommentar/debatt
Publikationer per år
Publikationer per år
2 resultat
Publikations år, titel
(fallande)
Publikations år, titel
(stigande)
Titel
Typ
Filter
Övriga bidrag
Sökresultat
2024
Extended Abstract: Neurosymbolic AI approaches, an ongoing Ph.D. Project
Jayasingha Arachchige, P.
&
Lilius, J.
,
11 juni 2024
,
2 s.
Forskningsoutput
:
Övriga bidrag
›
Peer review
2019
Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO
Shokri-Manninen, F.
, Jüri, V.,
Walden, M.
, Tarmo, U. (Redaktör) & Jüri, V. (Redaktör),
2019
Forskningsoutput
:
Övriga bidrag
›
Peer review
Controller
100%