The New WALDMEISTER Loop at Work. - Jean-Marie Gaillourdet; Thomas Hillenbrand; Bernd Löchner; Hendrik Spies (CADE, 2003)

Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes. - Jan Schäfer 002; Markus Reitz; Jean-Marie Gaillourdet; Arnd Poetzsch-Heffter (CoCoME, 2007)

The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform. - Thomas Grundmann; Jean-Marie Gaillourdet; Karsten Schmidt 002; Arnd Poetzsch-Heffter; Stefan Deßloch; Martin Memmel (MathWikis@ITP, 2011)

WoM: An Open Interactive Platform for Describing, Exploring, and Sharing Mathematical Models. - Jean-Marie Gaillourdet; Thomas Grundmann; Martin Memmel; Karsten Schmidt 002; Arnd Poetzsch-Heffter; Stefan Deßloch (KES (4), 2011)

A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It). - Jean-Marie Gaillourdet; Patrick Michel; Arnd Poetzsch-Heffter; Nicole Rauch (Programming Logics, 2013)