Projekter pr. år
Personlig profil
Forskningsprofil
See 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.
-
EQuaL: Equivalence Checking of Quantum Circuits via Tensor Decision Diagrams and Machine Learning
Larsen, K. G. (PI (principal investigator)), Schilling, C. (CoI (co-investigator)) & Tschaikowski, M. (CoI (co-investigator))
15/12/2024 → 14/12/2027
Projekter: Projekt › Forskning
-
BEO-COVID: Beslutningsstøtte for Evaluering og Optimering i UPPAAL
Larsen, K. G. (PI (principal investigator)), Stoustrup, J. (CoPI), Jensen, P. G. (Projektdeltager), Mikučionis, M. (Projektdeltager), Jørgensen, K. Y. (Projektdeltager), Muniz Rodriguez, M. A. (Projektdeltager), Poulsen, D. B. (Projektdeltager) & Tschaikowski, M. (Projektdeltager)
27/04/2020 → 01/10/2020
Projekter: Projekt › Forskning
Publikationer
-
Coarse-graining Complex Networks for Control Equivalence
Toller, D., Tribastone, M., Tschaikowski, M. & Vandin, A., 2025, I: IEEE Transactions on Automatic Control. 70, 2, s. 1169-1175 7 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Approximate Reductions of Rational Dynamical Systems in CLUE
Jiménez-Pastor, A., Leguizamon-Robayo, A., Tschaikowski, M. & Vandin, A., 2024, Computational Methods in Systems Biology: 22nd International Conference, CMSB 2024, Pisa, Italy, September 16–18, 2024, Proceedings. Gori, R., Milazzo, P. & Tribastone, M. (red.). Springer, s. 108-116 9 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14971 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Dissimilarity for Linear Dynamical Systems
Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Squillace, G., Tschaikowski, M. & Vandin, A., 2024, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings. Hillston, J. & Soudjani, S. (red.). Springer, s. 125-142 18 s. (Lecture Notes in Computer Science (LNCS), Bind 14996).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Efficient Network Embedding by Approximate Equitable Partitions
Squillace, G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2024, Proceedings - 24th IEEE International Conference on Data Mining, ICDM 2024. Baralis, E., Zhang, K., Damiani, E., Debbah, M., Kalnis, P. & Wu, X. (red.). IEEE (Institute of Electrical and Electronics Engineers), s. 440-449 10 s. (Proceedings - IEEE International Conference on Data Mining, ICDM).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Forward and Backward Constrained Bisimulations for Quantum Circuits
Jiménez-Pastor, A., Larsen, K. G., Tribastone, M. & Tschaikowski, M., 2024, Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II. Finkbeiner, B. & Kovács, L. (red.). Springer, s. 343-362 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14571 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil4 Citationer (Scopus)15 Downloads (Pure)
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