Hans Rischel

14 papers and 143 indexed citations i.

Hans Rischel has authored 14 papers that have received a total of 143 indexed citations. This includes 9 papers in Hardware and Architecture, 8 papers in Computational Theory and Mathematics and 3 papers in Artificial Intelligence. The topics of these papers are Real-Time Systems Scheduling (9 papers), Formal Methods in Verification (7 papers) and Embedded Systems Design Techniques (5 papers). Hans Rischel is often cited by papers focused on Real-Time Systems Scheduling (9 papers), Formal Methods in Verification (7 papers) and Embedded Systems Design Techniques (5 papers) and collaborates with scholars based in Denmark, United Kingdom and China. Hans Rischel's co-authors include Anders P. Ravn, V. Stavridou, Hans Langmaack, Jonathan P. Bowen and Gerhard Goos and has published in prestigious journals such as IEEE Transactions on Software Engineering, Lecture notes in computer science and BIT Numerical Mathematics.