Doctoral Network in Information Technologies and Mathematics

Sormenjälki

Sukella tutkimusaiheisiin, joissa Doctoral Network in Information Technologies and Mathematics on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän organisaation jäsenten teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.

Verkko

Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.

David Norrbo
- david.norrbo@abo.fi
- Faculty of Science and Engineering, Doctoral Network in Information Technologies and Mathematics - Doctoral student
Henkilö
20202020
Victor-Bogdan Popescu
- victor-bogdan.popescu@abo.fi
- Faculty of Science and Engineering, Doctoral Network in Information Technologies and Mathematics - Doctoral Student
Henkilö
20182018
Fatima Shokri-Manninen
- fatemeh.shokri@abo.fi
- Faculty of Science and Engineering, Doctoral Network in Information Technologies and Mathematics - Doctoral Student
Henkilö
20152020

5 Päättynyt

MegaM@Rt2: MegaModelling at Runtime
Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I., Siavashi, F. & Ashraf, A.
ECSEL JU
01/04/17 → 31/03/20
Projekti: Research
N4S: Need for Speed
Porres Paltor, I., Nybom, K., Truscan, D., Ashraf, A., Troubitsyna, E., Byholm, B., Rauf, I. M. & Ahmad, T.
01/01/14 → 31/12/16
Projekti: Research
QuantRef: Quantitative model refinement
Petre, I., Azimi Rashti, S., Rogojin, V., Iancu, B., Gratie, C., Gratie, D. & Panchal, C.
01/09/13 → 31/08/17
Projekti: Research

154 Viittaukset
7 h-index
34 Konferenssiartikkeli
14 Artikkeli
12 Tutkimusraportti
3 Tohtorinväitöskirja
Lisää
- 2 Luku
- 1 Muu myötävaikuttaminen

Applying guidelines for system modelling in Event-B: A systematic literature review
Olszewska, M., Shokri-Manninen, F., Edmunds, A. & Walden, M., 2020, julkaisussa: International Journal of Critical Computer-Based Systems. 10, 1, s. 1–36
Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
Shokri-Manninen, F., Vain, J. & Walden, M., 2020, Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. de Boer, F. & Cerone, A. (toim.). Springer, Cham, s. 41-59 19 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 12310 LNCS).
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Hilbert matrix, Volterra and weighted composition operators on Banach spaces of analytic functions
Wikman, N., 2020, Åbo Akademi University Press. 31 Sivumäärä
Tutkimustuotos: Väitöskirjatyypit › Tohtorinväitöskirja › Artikkelikokoelma

Open access