Doctoral Network in Information Technologies and Mathematics


Persons


Publications

Go to first page Go to previous page 1 of 7 Go to next page Go to last page
A1 Journal article (refereed)
Explicit zero-free regions and a τ-Li-type criterion (2020)
Neea Palojärvi
Albanian Journal of Mathematics
A4 Conference proceedings
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, and Marina Waldén
D1 Article in a trade journal
Jokaisessa parittomassa luvussa on e! (2020)
Neea Palojärvi
Matematiikkalehti Solmu
D1 Article in a trade journal
Koronalotto (2020)
Neea Palojärvi
Matematiikkalehti Solmu
A4 Conference proceedings
Recursive Task Generation for Scalable SDF Graph Execution on Multicore Processors (2020)
Georgios Georgakarakos, Johan Lilius
IEEE Computer Society Conference Publishing Services (CPS)
D1 Article in a trade journal
59. matematiikkaolympialaiset: Suomelle kaksi pronssia! (2019)
Neea Palojärvi
Dimensio
G5 Doctoral dissertation (article)
Formal analysis of network routing protocols (2019)
Mojgan Kamali
O2 Other
Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO (2019)
Shokri-Manninen Fatima, Vain Jüri, Waldén Marina
A1 Journal article (refereed)
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
View on publisher's site
D1 Article in a trade journal
Laatikkoperiaatteen ihmeitä (2019)
Neea Palojärvi
Matematiikkalehti Solmu

Last updated on 2018-30-08 at 17:26