Thomson Reuters and the FEIII Challenge. - Brian Ulicny; Alex Constandache; Joseph Cunningham; Michael Traub; Kimberly Yu; Carlos Azeglio; Maki Saito-Varadi (DSMM@SIGMOD, 2016)

SModelS v1.1 user manual: Improving simplified model constraints with efficiency maps. - Federico Ambrogi; Sabine Kraml; Suchita Kulkarni; Ursula Laa; Andre Lessa; Veronika Magerl; Jory Sonneveld; Michael Traub; Wolfgang Waltenberger (Comput. Phys. Commun., 2018)