Rudy Matela

Löfström, T., Löfström, H., Johansson, U., Sönströd, C., Matela, R. (2025). Calibrated explanations for regression Machine Learning, 114(4). More information

Matela Braquehais, R. (2017). Tools for Discovery, Refinement and Generalization of Functional Properties by Enumerative Testing (Doctoral thesis). University of York More information

Szabadváry, J., Löfström, T., Matela, R. (2025). Online-cp: a Python Package for Online Conformal Prediction, Conformal Predictive Systems and Conformal Test Martingales. 14th Symposium on Conformal and Probabilistic Prediction with Applications, COPA 2025, 10 September 2025 - 12 September 2025, London. More information

Matela, R. (2021). Express: Applications of dynamically typed Haskell expressions. 14th ACM SIGPLAN International Symposium on Haskell, August 26–27, 2021, Virtual, Republic of Korea. More information

Braquehais, R., Runciman, C. (2017). Extrapolate: Generalizing counterexamples of functional test properties. 29th Symposium on the Implementation and Application of Functional Programming Languages, August 30-September 1, 2017, Bristol, United Kingdom. More information

Braquehais, R., Runciman, C. (2017). Speculate: Discovering conditional equations and inequalities about black-box Functions by reasoning from test results. 10th ACM SIGPLAN International Symposium on Haskell, September 7-8, 2017, Oxford, UK. More information