van der

5 papers and 6 indexed citations i.

van der has authored 5 papers that have received a total of 6 indexed citations. This includes 2 papers in Artificial Intelligence, 1 paper in Computational Theory and Mathematics and 1 paper in Information Systems. The topics of these papers are Parallel Computing and Optimization Techniques (1 paper), Embedded Systems Design Techniques (1 paper) and Formal Methods in Verification (1 paper) van der is often cited by papers focused on Parallel Computing and Optimization Techniques (1 paper), Embedded Systems Design Techniques (1 paper) and Formal Methods in Verification (1 paper) and collaborates with scholars based in and van der's co-authors include Wil M. P. van der Aalst, Emma van der Meulen and Linda C. van der Gaag and has published in prestigious journals such as and