Graph^Ed: An Interactive Garpg Editor. - Michael Himsolt (STACS, 1989)

GraphEd: An Interactive Tool For Developing Graph Grammars. - Michael Himsolt (Graph-Grammars and Their Application to Computer Science, 1990)

Konzeption und Implementierung von Grapheneditoren. - Michael Himsolt (Shaker, 1993)

GraphEd: a Graphical Platform for the Implementation of Graph Algorithms. - Michael Himsolt (GD, 1994)

An Experimental Comparison of Force-Directed and Randomized Graph Drawing Algorithms. - Franz-Josef Brandenburg; Michael Himsolt; Christoph Rohrer (GD, 1995)

Portable Graph Layout and Editing. - Brendan Madden; Patrick Madden; Steve Powers; Michael Himsolt (GD, 1995)

Comparing and Evaluating Layout Algorithms within GraphEd. - Michael Himsolt (J. Vis. Lang. Comput., 1995)

The Graphlet System. - Michael Himsolt (GD, 1996)

Graph-Drawing Contest Report. - Franz-Josef Brandenburg; Ulrik Brandes; Michael Himsolt; Marcus Raitner (GD, 2000)

Graphlet: design and implementation of a graph editor. - Michael Himsolt (Softw. Pract. Exp., 2000)

GraphML Progress Report. - Ulrik Brandes; Markus Eiglsperger; Ivan Herman; Michael Himsolt; M. Scott Marshall (GD, 2001)

DataFAN: A Practical Approach to Data Flow Analysis for Ada 95. - Krzysztof Czarnecki 001; Michael Himsolt; Ernst Richter; Falk Vieweg; Alfred Rosskopf (Ada-Europe, 2002)

Variant Management and Reuse. - Ina Schaefer; André Heuer; Michael Himsolt; Tobias Jäger; Tobias Kaufmann 003; Christian Manz; Reinhold May; Christian Reuter 002; Bernhard Rumpe; Holger Schlingloff; Sebastian Schröck; Christoph Schulze 002; et al. (Advanced Model-Based Engineering of Embedded Systems, 2016)