Doktorandnätverk IT and Mathematics


Personer


Publikationer

null null 1 av 7 null null
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Explicit zero-free regions and a τ-Li-type criterion (2020)
Neea Palojärvi
Albanian Journal of Mathematics
A4 Konferenspublikationer
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems (2020)
Fatima Shokri-Manninen, Jüri Vain, and Marina Waldén
A4 Konferenspublikationer
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes (2020)
Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén
Visa på utgivarens sida
D1 Artikel i en facktidskrift
Jokaisessa parittomassa luvussa on e! (2020)
Neea Palojärvi
Matematiikkalehti Solmu
D1 Artikel i en facktidskrift
Koronalotto (2020)
Neea Palojärvi
Matematiikkalehti Solmu
D1 Artikel i en facktidskrift
59. matematiikkaolympialaiset: Suomelle kaksi pronssia! (2019)
Neea Palojärvi
Dimensio
G5 Doktorsavhandling (artikel)
Formal analysis of network routing protocols (2019)
Mojgan Kamali
O2 Annat
Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO (2019)
Shokri-Manninen Fatima, Vain Jüri, Waldén Marina
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Generalized Volterra operators mapping between Banach spaces of analytic functions (2019)
Eklund Ted, Lindström Mikael, Pirasteh Maryam M., Sanatpour Amir H., Wikman Niklas
Monatshefte für Mathematik
Visa på utgivarens sida
D1 Artikel i en facktidskrift
Laatikkoperiaatteen ihmeitä (2019)
Neea Palojärvi
Matematiikkalehti Solmu

Senast uppdaterad 2018-30-08 vid 17:26