Willem Penninckx

2 papers and 16 indexed citations i.

Willem Penninckx has authored 2 papers that have received a total of 16 indexed citations. This includes 2 papers in Artificial Intelligence, 1 paper in Computational Theory and Mathematics and 1 paper in Safety, Risk, Reliability and Quality. The topics of these papers are Security and Verification in Computing (2 papers), Formal Methods in Verification (1 paper) and Advanced Software Engineering Methodologies (1 paper). Willem Penninckx is often cited by papers focused on Security and Verification in Computing (2 papers), Formal Methods in Verification (1 paper) and Advanced Software Engineering Methodologies (1 paper) and collaborates with scholars based in Belgium. Willem Penninckx's co-authors include Bart Jacobs, Jan Tobias Mühlberg, Pieter Philippaerts, Frank Piessens and Amin Timany and has published in prestigious journals such as Science of Computer Programming.