Engaging Students in Distributed Software Engineering Courses. - Christoph Angerer; Michael Nagel; Bernd Brügge; Thomas R. Gross (Managing Development and Application of Digital Technologies, 2006)

Bounded Program Verification Using an SMT Solver: A Case Study. - Tianhai Liu; Michael Nagel; Mana Taghdiri (ICST, 2012)

The QUARC Metamodel: A Communication-Based Generic Project Model. - Michael Nagel (Verlag Dr. Hut, 2012)

All CVD Boron Nitride Encapsulated Graphene FETs. - Himadri Pandey; M. Shaygan; Simon Sawallich; Satender Kataria; Martin Otto 003; Zhenxing Wang; Michael Nagel; Daniel Neumaier; Max Christian Lemme (DRC, 2018)