Fides Aarts

4 papers and 47 indexed citations i.

About

Fides Aarts has authored 4 papers that have received a total of 47 indexed citations. This includes 4 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 4 papers in Software. The topics of these papers are Machine Learning and Algorithms (4 papers), Software Testing and Debugging Techniques (4 papers) and Formal Methods in Verification (4 papers). Fides Aarts is often cited by papers focused on Machine Learning and Algorithms (4 papers), Software Testing and Debugging Techniques (4 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in The Netherlands and Sweden. Fides Aarts's co-authors include Bengt Jönsson, Frits Vaandrager, Jan Tretmans, Sicco Verwer and Erik Poll and has published in prestigious journals such as Machine Learning and Formal Methods in System Design

In The Last Decade

Rankless by CCL
2025