Research output per year
Research output per year
Research output
- 19 results
Search results
-
2023
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
-
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 AccessFile49 Downloads (Pure) -
2022
Closed-form continuous-time neural networks
Hasani, R., Lechner, M., Amini, A., Liebenwein, L., Ray, A., Tschaikowski, M., Teschl, G. & Rus, D., Nov 2022, In: Nature Machine Intelligence. 4, 11, p. 992-1003 12 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile7 Citations (Scopus)59 Downloads (Pure) -
Differential Equivalence for Linear Differential Algebraic Equations
Tognazzi, S., Tribastone, M., Tschaikowski, M. & Vandin, A., Jul 2022, In: I E E E Transactions on Automatic Control. 67, 7, p. 3484 3493Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile2 Citations (Scopus)28 Downloads (Pure) -
PID control of biochemical reaction networks
Whitby, M., Cardelli, L., Kwiatkowska, M., Laurenti, L., Tribastone, M. & Tschaikowski, M., Feb 2022, In: I E E E Transactions on Automatic Control. 67, 2, p. 1023-1030 8 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile26 Citations (Scopus)89 Downloads (Pure) -
The current status of gene expression profilings in COVID-19 patients
Ilieva, M., Tschaikowski, M., Vandin, A. & Uchida, S., Sept 2022, In: Clinical and Translational Discovery. 2, 3, e104.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile4 Citations (Scopus)66 Downloads (Pure) -
2021
Exact maximal reduction of stochastic reaction networks by species lumping
Cardelli, L., Pérez-Verona, I. C., Tribastone, M., Tschaikowski, M., Vandin, A. & Waizmann, T., 2021, In: Bioinformatics. 37, 15, p. 2175–2182Research output: Contribution to journal › Journal article › Research › peer-review
9 Citations (Scopus) -
2020
From electric circuits to chemical networks
Cardelli, L., Tribastone, M. & Tschaikowski, M., 1 Mar 2020, In: Natural Computing. 19, 1, p. 237-248 12 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access13 Citations (Scopus) -
2019
Comparing chemical reaction networks: A categorical and algorithmic perspective
Cardelli, L., Tribastone, M., Tschaikowski, M. & Vandin, A., 18 Apr 2019, In: Theoretical Computer Science. 765, p. 47-66 20 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access4 Citations (Scopus) -
Symbolic computation of differential equivalences
Cardelli, L., Tribastone, M., Tschaikowski, M. & Vandin, A., 19 Jul 2019, In: Theoretical Computer Science. 777, p. 132-154 23 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access14 Citations (Scopus) -
2017
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment
Tschaikowski, M. & Tribastone, M., 1 May 2017, In: Annals of Operations Research. 252, 1, p. 101-120 20 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
Maximal aggregation of polynomial dynamical systems
Cardelli, L., Tribastone, M., Tschaikowski, M. & Vandin, A., 19 Sept 2017, In: Proceedings of the National Academy of Sciences of the United States of America. 114, 38, p. 10029-10034 6 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access40 Citations (Scopus) -
Spatial fluid limits for stochastic mobile networks
Tschaikowski, M. & Tribastone, M., 1 Mar 2017, In: Performance Evaluation. 109, p. 52-76 25 p.Research output: Contribution to journal › Journal article › Research › peer-review
9 Citations (Scopus) -
2016
Approximate Reduction of Heterogenous Nonlinear Models with Differential Hulls
Tschaikowski, M. & Tribastone, M., 1 Apr 2016, In: IEEE Transactions on Automatic Control. 61, 4, p. 1099-1104 6 p., 7159033.Research output: Contribution to journal › Journal article › Research › peer-review
26 Citations (Scopus) -
Noise Reduction in Complex Biological Switches
Cardelli, L., Csikász-Nagy, A., Dalchau, N., Tribastone, M. & Tschaikowski, M., 8 Feb 2016, In: Scientific Reports. 6, 20214.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access28 Citations (Scopus) -
2015
A unified framework for differential aggregations in Markovian process algebra
Tschaikowski, M. & Tribastone, M., 8 Aug 2015, In: Journal of Logical and Algebraic Methods in Programming. 84, 2, p. 238-258 21 p., 27.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access14 Citations (Scopus) -
Supporting performance awareness in autonomous ensembles
Bulej, L., Bureš, T., Gerostathopoulos, I., Horký, V., Keznikl, J., Marek, L., Tschaikowski, M., Tribastone, M. & Tůma, P., 2015, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8998, p. 291-322 32 p.Research output: Contribution to journal › Journal article › Research › peer-review
3 Citations (Scopus) -
2014
Exact fluid lumpability in Markovian process algebra
Tschaikowski, M. & Tribastone, M., 2014, In: Theoretical Computer Science. 538, C, p. 140-166 27 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access13 Citations (Scopus) -
Tackling continuous state-space explosion in a Markovian process algebra
Tschaikowski, M. & Tribastone, M., 16 Jan 2014, In: Theoretical Computer Science. 517, p. 1-33 33 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access18 Citations (Scopus)