J. van Katwijk

27 papers and 64 indexed citations i.

About

J. van Katwijk has authored 27 papers that have received a total of 64 indexed citations. This includes 11 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 9 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (8 papers), Advanced Software Engineering Methodologies (8 papers) and Real-Time Systems Scheduling (8 papers). J. van Katwijk is often cited by papers focused on Formal Methods in Verification (8 papers), Advanced Software Engineering Methodologies (8 papers) and Real-Time Systems Scheduling (8 papers) and collaborates with scholars based in The Netherlands, United States and France. J. van Katwijk's co-authors include Tullio Vardanega, Hans Toetenel, Janusz Zalewski, Nico Plat and Horst F. Wedde and has published in prestigious journals such as Applied Spectroscopy, Lecture notes in computer science and Information and Software Technology

In The Last Decade

Rankless by CCL
2025