Martin Wulf

6 papers and 68 indexed citations i.

Martin Wulf has authored 6 papers that have received a total of 68 indexed citations. This includes 4 papers in Computational Theory and Mathematics, 3 papers in Artificial Intelligence and 2 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (4 papers), Real-Time Systems Scheduling (2 papers) and Machine Learning and Algorithms (1 paper). Martin Wulf is often cited by papers focused on Formal Methods in Verification (4 papers), Real-Time Systems Scheduling (2 papers) and Machine Learning and Algorithms (1 paper) and collaborates with scholars based in Belgium, France and Switzerland. Martin Wulf's co-authors include Laurent Doyen, Jean-François Raskin, Thomas A. Henzinger, Heiko K. Cammenga and Dietmar Berwanger and has published in prestigious journals such as Thermochimica Acta, Lecture notes in computer science and Information and Computation