To optimize your use of our website, JU.se uses necessary cookies. If you consent, we also use cookies and collect personal data in order to improve our services, measure and analyze website traffic and provide you with relevant and customized content. Your consent covers the use of both cookies and the related processing of personal data. You can withdraw your consent at any time. You can read more on our site about how we process your personal data and how to withdraw your consent.
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
Doktorsavhandling
Matela Braquehais, R.
(2017).
Tools for Discovery, Refinement and Generalization of Functional Properties by Enumerative Testing
(Doctoral thesis).
University of York
More information
Konferensbidrag
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
Ändra din information