Bibliography of Petri nets. - Stefan Drees; Dominik Gomm; Helmut Plünnecke; Wolfgang Reisig; Rolf Walter (European Workshop on Applications and Theory of Petri Nets, 1986)

The Distributed Termination Problem: Formal Solution and Correctness Based on Petri Nets. - Dominik Gomm; Rolf Walter (IMYCS, 1990)

Visibility of surfaces via differential geometry. - Rolf Walter (Comput. Aided Geom. Des., 1990)

Compositional Liveness Properties of EN-Systems. - Dominik Gomm; Ekkart Kindler; Barbara Paech; Rolf Walter (Application and Theory of Petri Nets, 1993)

Message passing mutex. - Ekkart Kindler; Rolf Walter (STRICT, 1995)

A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards. - Jörg Desel; Ekkart Kindler; Tobias Vesper; Rolf Walter (Inf. Process. Lett., 1995)

Petrinetzmodelle verteilter Algorithmen: Beweistechnik und Intuition. - Rolf Walter (Bertz, 1995)

Distributed Algorithms for Networks of Agents. - Wolfgang Reisig; Ekkart Kindler; Tobias Vesper; Hagen Völzer; Rolf Walter (Petri Nets (2), 1996)

Arc-Typed Petri Nets. - Ekkart Kindler; Rolf Walter (Application and Theory of Petri Nets, 1996)

The Asynchronous Stack Revisited: Rounds Sets the Twilight Reeling. - Rolf Walter (Foundations of Computer Science: Potential - Theory - Cognition, 1997)

Petri Net Based Verification of Distributed Algorithms: An Example. - Ekkart Kindler; Wolfgang Reisig; Hagen Völzer; Rolf Walter (Formal Aspects Comput., 1997)

Mutex Needs Fairness. - Ekkart Kindler; Rolf Walter (Inf. Process. Lett., 1997)

Prozessorientierte Technikunterstützung für arbeitsprozessorientierte Weiterbildungen. - Frank Fuchs-Kittowski; Rolf Walter (MuC, 2002)

Aggregating the aggregators - An agnostic approach. - Rolf Walter; Leif Bjorking (Inf. Serv. Use, 2004)

Hilfe zur Selbsthilfe als Konzept für einen Adipositas-Begleiter. - Thomas Königsmann; Frank Lindert; Rolf Walter; Reinholde Kriebel (HMD Prax. Wirtsch., 2006)

ArtenFinder - Citizen Science am Beispiel der Libellen. - Oliver Röller; Rolf Walter (UIS, 2016)

Monitoring im Feld am Beispiel Gewässerinstandhaltung und Biotopkartierung (Monitoring in the field using the example of water maintenance and biotope mapping). - Frank Lemke; Rolf Walter (UIS, 2017)