Simon Helsen

7 papers and 656 indexed citations i.

About

Simon Helsen has authored 7 papers that have received a total of 656 indexed citations. This includes 6 papers in Artificial Intelligence, 4 papers in Information Systems and 3 papers in Computational Theory and Mathematics. The topics of these papers are Advanced Software Engineering Methodologies (3 papers), Formal Methods in Verification (3 papers) and Logic, Reasoning, and Knowledge (3 papers). Simon Helsen is often cited by papers focused on Advanced Software Engineering Methodologies (3 papers), Formal Methods in Verification (3 papers) and Logic, Reasoning, and Knowledge (3 papers) and collaborates with scholars based in Germany, Canada and Greece. Simon Helsen's co-authors include Krzysztof Czarnecki, Ulrich W. Eisenecker, Peter Thiemann, Diomidis Spinellis and Cristiano Calcagno and has published in prestigious journals such as IEEE Software, ACM Transactions on Programming Languages and Systems and Information and Computation

In The Last Decade

Rankless by CCL
2025