Projekt per år
Fingeravtryck
Fördjupa i forskningsteman där Doktorandnätverk IT and Mathematics är aktiv. Dessa begreppen kommer från medlemmarnas arbeten i denna organisation. Tillsammans bildar de ett unikt fingeravtryck.
Nätverk
Tidigare externt samarbete på landsnivå. Se mera information genom att klicka på cirklar.
Profiler
Projekt
- 5 Slutfört
-
MegaM@Rt2: MegaModelling at Runtime
Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I., Siavashi, F. & Ashraf, A.
01/04/17 → 31/03/20
Projekt: EU
-
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
Projekt: Forskning
-
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
Projekt: Forskning
Forskningsresultat
-
Carleson interpolating sequences for Banach spaces of analytic functions
Lindström, M., Mastyło, M., Mleczko, P., Norrbo, D. & Rzeczkowski, M., 29 mars 2021, (E-pub före tryck) I: Journal of the Institute of Mathematics of Jussieu.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil6 Nedladdningar (Pure) -
Formal Development of Multi-vessel Navigation of Maritime Autonomous Systems using UPPAAL STRATEGO
Shokri-Manninen, F., Vain, J. & Waldén, M., 2021, Proceedings of the 32nd Nordic Workshop on Programming Theory. Iceland: Reykjavik University, Iceland, 4 s.Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig
Öppen tillgångFil -
NetControl4BioMed: a web-based platform for controllability analysis of protein-protein interaction networks
Popescu, V-B., Angel Sanchez-Martinez, J., Schacherer, D., Safadoust, S., Majidi, N., Andronescu, A., Nedea, A., Ion, D., Mititelu, E., Czeizler, E. & Petre, I., 1 nov. 2021, I: Bioinformatics. 37, 21, s. 3976-3978Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil
Forskningsdatauppsättningar
-
ABOships
Iancu, B. (Skapad av), Soloviev, V. (Skapad av), Zelioli, L. (Skapad av) & Lilius, J. (Skapad av), Zenodo, 2021
Dataset