Markus Pister

6 papers and 121 indexed citations i.

Markus Pister has authored 6 papers that have received a total of 121 indexed citations. This includes 4 papers in Software, 3 papers in Computational Theory and Mathematics and 3 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (3 papers), Real-Time Systems Scheduling (3 papers) and Embedded Systems Design Techniques (2 papers). Markus Pister is often cited by papers focused on Formal Methods in Verification (3 papers), Real-Time Systems Scheduling (3 papers) and Embedded Systems Design Techniques (2 papers) and collaborates with scholars based in Germany. Markus Pister's co-authors include A. Fleischmann, Reinhard Wilhelm, Daniel Grund, Christian Ferdinand and Bernhard Schätz and has published in prestigious journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, ACM SIGPLAN Notices and Journal of Zhejiang University. Science A