Projects per year
Personal profile
Research profile
See my personal page.
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
-
EQuaL: Equivalence Checking of Quantum Circuits via Tensor Decision Diagrams and Machine Learning
Larsen, K. G. (PI), Schilling, C. (CoI) & Tschaikowski, M. (CoI)
15/12/2024 → 14/12/2027
Project: Research
-
BEO-COVID: Decision making tool based on evaluation and optimisation of models in UPPAAL
Larsen, K. G. (PI), Stoustrup, J. (CoPI), Jensen, P. G. (Project Participant), Mikučionis, M. (Project Participant), Jørgensen, K. Y. (Project Participant), Muniz Rodriguez, M. A. (Project Participant), Poulsen, D. B. (Project Participant) & Tschaikowski, M. (Project Participant)
27/04/2020 → 01/10/2020
Project: Research
Research output
-
Coarse-graining Complex Networks for Control Equivalence
Toller, D., Tribastone, M., Tschaikowski, M. & Vandin, A., 2025, In: IEEE Transactions on Automatic Control. 70, 2, p. 1169-1175 7 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access1 Citation (Scopus) -
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. (eds.). Springer, p. 108-116 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14971 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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. (eds.). Springer, p. 125-142 18 p. (Lecture Notes in Computer Science (LNCS), Vol. 14996).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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. (eds.). IEEE (Institute of Electrical and Electronics Engineers), p. 440-449 10 p. (Proceedings - IEEE International Conference on Data Mining, ICDM).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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. (eds.). Springer, p. 343-362 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14571 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile5 Citations (Scopus)20 Downloads (Pure)
Press/Media
-
Solving Brain Dynamics Gives Rise to Flexible Machine Learning Models
15/11/2022 → 16/11/2022
9 items of Media coverage
Press/Media: Press / Media