Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Kruff2021_Article_AlgorithmicReductionOfBiologic.pdf (Publisher version), 957KB
Kruff, N., Lüders, C., Radulescu, O., Sturm, T., & Walcher, S. (2021). Algorithmic Reduction of Biological Networks With Multiple Time Scales. Mathematics in Computer Science, 15, 499-534. doi:10.1007/s11786-021-00515-2.