| FitSpec: refining property sets for functional testing R Braquehais, C Runciman Proceedings of the 9th International Symposium on Haskell, 1-12, 2016 | 20 | 2016 |
| Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results R Braquehais, C Runciman Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 40-51, 2017 | 19 | 2017 |
| Tools for discovery, refinement and generalization of functional properties by enumerative testing R Matela Braquehais University of York, 2017 | 17* | 2017 |
| Calibrated explanations for regression T Löfström, H Löfström, U Johansson, C Sönströd, R Matela Machine Learning 114 (4), 1-34, 2025 | 8 | 2025 |
| Extrapolate: generalizing counterexamples of functional test properties R Braquehais, C Runciman Proceedings of the 29th Symposium on the Implementation and Application of …, 2017 | 6 | 2017 |
| NAES: Natural adaptive exponential smoothing algorithm for WLAN channel prediction in mobile environment J Bezerra, R Braquehais, F Roberto, J Silva, M Fernandez, T de Araújo, ... 2008 The Fourth International Conference on Wireless and Mobile …, 2008 | 6 | 2008 |
| A method using time series analysis for IEEE 802.11 WLANs channel forecasting J Bezerra, R Braquehais, F Roberto, J Silva, M Fernandez, T de Araújo, ... Proceedings of the 2007 Euro American conference on Telematics and …, 2007 | 2 | 2007 |
| Express: applications of dynamically typed Haskell expressions R Matela Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 98-109, 2021 | 1 | 2021 |
| Bridging the Gap: Socio-Technical Perspectives on Software Testing and Automation in Manufacturing J Jakupovic, J Johansson, R Matela, JL Eddeland 11th International Workshop and Conference on Socio-Technical Perspectives …, 2025 | | 2025 |
| online-cp: a Python Package for Online Conformal Prediction, Conformal Predictive Systems and Conformal Test Martingales JH Szabadváry, T Löfström, R Matela Proceedings of Machine Learning Research 266, 1-20, 2025 | | 2025 |
| IP-checksum incremental update method proposal for efficient use of energy in wireless environments DSS Carneiro, PVA Pinheiro, PH Prudêncio, DNS Cavalcante, ... Proceedings of the 2007 Euro American conference on Telematics and …, 2007 | | 2007 |
| Técnicas para Comutação Gigabit VM Romão, PH Prudêncio, RM Braquehais, J Celestino Jr, JLC Silva, ... Minicursos da SBRC 2006, 2006 | | 2006 |
| Previsibilidade do Comportamento do Canal em Redes IEEE 802.11 JM Bezerra, F Maciel, RM Braquehais | | |
Colin RuncimanProfessor of Computer Science, University of York, UKVerified email at york.ac.uk
