by Botta, N., Jansson, Patrik, Ionescu, Cesar, Christiansen, D. R., Brady, E.
Published in Logical methods in computer science (2017)

by Li, Zheng, Zhao, Yue, Hu, Xiyang, Botta, Nicola, Ionescu, Cezar, Chen, George H.
Published in IEEE transactions on knowledge and data engineering (01.12.2023)

by BREDE, NURIA, BOTTA, NICOLA
Published in Journal of functional programming (2021)

by Vaillant, Kristina, Botta, Nicola
Published in Mitteilungen der Deutschen Mathematiker-Vereinigung (01.12.2018)

by Li, Zheng, Zhao, Yue, Botta, Nicola, Ionescu, Cezar, Hu, Xiyang
Published in 2020 IEEE International Conference on Data Mining (ICDM) (01.11.2020)

by Martínez Montero, Marina, Crucifix, Michel, Couplet, Victor, Brede, Nuria, Botta, Nicola
Published in Geoscientific model development (09.11.2022)

by Botta, Nicola, Brede, Nuria, Crucifix, Michel, Ionescu, Cezar, Jansson, Patrik, Li, Zheng, Martínez, Marina, Richter, Tim
Published in Environmental modeling & assessment (01.06.2023)

by Ionescu, Cezar, Jansson, Patrik, Botta, Nicola
Published in Leveraging Applications of Formal Methods, Verification and Validation. Modeling

by Martínez Montero, Marina, Brede, Nuria, Couplet, Victor, Crucifix, Michel, Botta, Nicola, Wieners, Claudia
Published in Oxford Open Climate Change (2024)

by BOTTA, NICOLA, JANSSON, PATRIK, IONESCU, CEZAR
Published in Journal of functional programming (2017)

by BOTTA, NICOLA, BREDE, NURIA, JANSSON, PATRIK, RICHTER, TIM
Published in Journal of functional programming (2021)

by Marina Martínez Montero, Crucifix, Michel, Couplet, Victor, Brede, Nuria, Botta, Nicola
Published in Geoscientific Model Development (09.11.2022)

by Sawicki, Jakub, Berner, Rico, Loos, Sarah A. M., Anvari, Mehrnaz, Bader, Rolf, Barfuss, Wolfram, Botta, Nicola, Brede, Nuria, Franović, Igor, Gauthier, Daniel J., Goldt, Sebastian, Hajizadeh, Aida, Hövel, Philipp, Karin, Omer, Lorenz-Spreen, Philipp, Miehl, Christoph, Mölter, Jan, Olmi, Simona, Schöll, Eckehard, Seif, Alireza, Tass, Peter A., Volpe, Giovanni, Yanchuk, Serhiy, Kurths, Jürgen
Published in Chaos (Woodbury, N.Y.) (01.07.2023)

by Martínez Montero, Marina, Crucifix, Michel, Couplet, Victor, Brede, Nuria, Botta, Nicola
Published in Geoscientific model development (09.11.2022)

by Botta, Nicola, Jansson, Patrik, Ionescu, Cezar
Published in Earth system dynamics (18.05.2018)

by Vaillant, Kristina, Botta, Nicola
Published in Mitteilungen der DMV (01.12.2018)

by Brede, Nuria, Botta, Nicola
Published in arXiv.org (10.09.2021)

by Botta, Nicola, Jansson, Patrik, Da Silva, Guilherme Horta Alvares
Year of Publication 16.08.2023

by Botta, N., Mandel, A., Ionescu, C., Hofmann, M., Lincke, D., Schupp, S., Jaeger, C.
Published in Applied mathematics and computation (15.12.2011)

by Marina Martinez Montero, Brede, Nuria, Couplet, Victor, Crucifix, Michel, Botta, Nicola, Wieners, Claudia
Published in arXiv.org (14.09.2023)