On the Complexity of Lie Algebras. - Hans F. de Groote; Joos Heintz; Stefan Möhler; Heinz Schmidt (FCT, 1987)

Object-Oriented Programming: The Language Landscape. - Heinz Schmidt (TOOLS (12/9), 1993)

Contract-Based ReusableWorst-Case Execution Time Estimate. - Johan Fredriksson; Thomas Nolte; Mikael Nolin; Heinz Schmidt (RTCSA, 2007)

Towards formalizing Virtual Enterprise Architecture. - Amit Goel; Heinz Schmidt; David R. Gilbert (EDOCW, 2009)

Context Graphs - Representing Formal Concepts by Connected Subgraphs. - Jens Kötters; Heinz Schmidt; David McG. Squire (ICFCA, 2009)

Formal Models of Virtual Enterprise Architecture: Motivations and Approaches. - Amit Goel; Heinz Schmidt; David R. Gilbert (PACIS, 2010)

Modelling and analysing resilient cyber-physical systems. - Amel Bennaceur; Carlo Ghezzi; Kenji Tei; Timo Kehrer; Danny Weyns; Radu Calinescu; Schahram Dustdar; Zhenjiang Hu; Shinichi Honiden; Fuyuki Ishikawa; Zhi Jin; Jeffrey Kramer; et al. (SEAMS@ICSE, 2019)