Projekter pr. år
Personlig profil
Forskningsprofil
For more information on my research, please refer to my personal page.
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
Projekter
- 1 Afsluttet
-
BEO-COVID: Beslutningsstøtte for Evaluering og Optimering i UPPAAL
Larsen, K. G., Stoustrup, J., Jensen, P. G., Mikucionis, M., Jørgensen, K. Y., Rodriguez, M. A. M., Poulsen, D. B. & Tschaikowski, M.
27/04/2020 → 01/10/2020
Projekter: Projekt › Forskning
-
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations
Squillace, G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2022, Quantitative Evaluation of Systems. Springer, s. 173–191 (Lecture Notes in Computer Science, Bind 13479).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus) -
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence
Argyris, G., Lluch Lafuente, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2022, Computational Methods in Systems Biology (CMSB'2022). Springer, s. 294-301 (Lecture Notes in Computer Science, Bind LNBI, volume 13447).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang1 Citationer (Scopus) -
Closed-form continuous-time neural networks
Hasani, R., Lechner, M., Amini, A., Liebenwein, L., Ray, A., Tschaikowski, M., Teschl, G. & Rus, D., nov. 2022, I: Nature Machine Intelligence. 4, 11, s. 992-1003 12 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)32 Downloads (Pure) -
Differential Equivalence for Linear Differential Algebraic Equations
Tognazzi, S., Tribastone, M., Tschaikowski, M. & Vandin, A., jul. 2022, I: I E E E Transactions on Automatic Control. 67, 7, s. 3484 3493Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)6 Downloads (Pure) -
Efficient Estimation of Agent Networks
Leguizamon Robayo, A. & Tschaikowski, M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning.. Springer, (Lecture Notes in Computer Science, Bind 13703).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus)
Presse/medier
-
Solving Brain Dynamics Gives Rise to Flexible Machine Learning Models
15/11/2022 → 16/11/2022
9 elementer af Mediedækning
Presse/medie