Alessandro Abate - Böcker

Computational Methods in Systems Biology

18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings

Quantitative Evaluation of Systems

18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings

Hybrid Systems Biology

Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

Numerical Software Verification

10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Morning Call

Zero-Sum Game

Morning Call