Rolf Walter

According to our database, Rolf Walter authored at least 17 papers between 1986 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

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

Proceedings of the Tagungsband des 24. Workshops "Umweltinformationssysteme 2017, 2017

2016

ArtenFinder - Citizen Science am Beispiel der Libellen.

Oliver Röller, Rolf Walter

Proceedings of the Tagungsband des 23. Workshops "Umweltinformationssysteme 2016, 2016

2006

Hilfe zur Selbsthilfe als Konzept für einen Adipositas-Begleiter.

Thomas Königsmann, Frank Lindert, Rolf Walter, Reinholde Kriebel

HMD Prax. Wirtsch., 2006

2004

Aggregating the aggregators - An agnostic approach.

Rolf Walter, Leif Bjorking

Inf. Serv. Use, 2004

2002

Prozessorientierte Technikunterstützung für arbeitsprozessorientierte Weiterbildungen.

Frank Fuchs-Kittowski, Rolf Walter

Proceedings of the Mensch & Computer 2002: Vom interaktiven Werkzeug zu kooperativen Arbeits- und Lernwelten, 2002

1997

Mutex Needs Fairness.

Ekkart Kindler, Rolf Walter

Inf. Process. Lett., 1997

Petri Net Based Verification of Distributed Algorithms: An Example.

Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter

Formal Aspects Comput., 1997

The Asynchronous Stack Revisited: Rounds Sets the Twilight Reeling.

Rolf Walter

Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1996

Arc-Typed Petri Nets.

Ekkart Kindler, Rolf Walter

Proceedings of the Application and Theory of Petri Nets 1996, 1996

Distributed Algorithms for Networks of Agents.

Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter

Proceedings of the Lectures on Petri Nets II: Applications, 1996

1995

Petrinetzmodelle verteilter Algorithmen: Beweistechnik und Intuition.

Rolf Walter

PhD thesis, 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

Message passing mutex.

Ekkart Kindler, Rolf Walter

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

1993

Compositional Liveness Properties of EN-Systems.

Dominik Gomm, Ekkart Kindler, Barbara Paech, Rolf Walter

Proceedings of the Application and Theory of Petri Nets 1993, 1993

1990

Visibility of surfaces via differential geometry.

Rolf Walter

Comput. Aided Geom. Des., 1990

The Distributed Termination Problem: Formal Solution and Correctness Based on Petri Nets.

Dominik Gomm, Rolf Walter

Proceedings of the Aspects and Prospects of Theoretical Computer Science, 1990

1986

Bibliography of Petri nets.

Stefan Drees, Dominik Gomm, Helmut Plünnecke, Wolfgang Reisig, Rolf Walter

Proceedings of the Advances in Petri Nets 1987, 1986