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.
Projects
- 1 Finished
-
BEO-COVID: Decision making tool based on evaluation and optimisation of models in 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
Project: Research
Research output
-
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains
Cardelli, L., Grosu, R., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 1 Nov 2023, In: IEEE Transactions on Automatic Control. 68, 11, p. 6557-6572Research output: Contribution to journal › Journal article › Research › peer-review
-
Approximate Constrained Lumping of Polynomial Differential Equations
Leguizamon-Robayo, A., Jiménez-Pastor, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, Computational Methods in Systems Biology: 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023, Proceedings. Pang, J. & Niehren, J. (eds.). Springer, p. 106-123 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14137 LNBI).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Formal lumping of polynomial differential equations through approximate equivalences
Cardelli, L., Squillace, G., Tribastone, M., Tschaikowski, M. & Vandin, A., Aug 2023, In: Journal of Logical and Algebraic Methods in Programming. 134, 100876.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile50 Downloads (Pure) -
Minimization of Dynamical Systems over Monoids
Argyris, G., Lafuente, A. L., Robayo, A. L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 14 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Reducing Boolean networks with backward equivalence
Argyris, G. A., Lluch Lafuente, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 23 May 2023, In: BMC Bioinformatics. 24, Suppl. 1, 212.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile12 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