 | 2006 |
|---|
| 11 |       | Thomas Königsmann,
Frank Lindert,
Rolf Walter,
Reinholde Kriebel:
Hilfe zur Selbsthilfe als Konzept für einen Adipositas-Begleiter.
HMD - Praxis Wirtschaftsinform. 251: (2006) |
| 2002 |
|---|
| 10 | | Frank Fuchs-Kittowski,
Rolf Walter:
Prozessorientierte Technikunterstützung für arbeitsprozessorientierte Weiterbildungen.
Mensch & Computer 2002 |
| 1997 |
|---|
| 9 | | Rolf Walter:
The Asynchronous Stack Revisited: Rounds Sets the Twilight Reeling.
Foundations of Computer Science: Potential - Theory - Cognition 1997: 307-312 |
| 8 |  | Ekkart Kindler,
Wolfgang Reisig,
Hagen Völzer,
Rolf Walter:
Petri Net Based Verification of Distributed Algorithms: An Example.
Formal Asp. Comput. 9(4): 409-424 (1997) |
| 7 | | Ekkart Kindler,
Rolf Walter:
Mutex Needs Fairness.
Inf. Process. Lett. 62(1): 31-39 (1997) |
| 1996 |
|---|
| 6 | | Ekkart Kindler,
Rolf Walter:
Arc-Typed Petri Nets.
Application and Theory of Petri Nets 1996: 289-306 |
| 5 | | Wolfgang Reisig,
Ekkart Kindler,
Tobias Vesper,
Hagen Völzer,
Rolf Walter:
Distributed Algorithms for Networks of Agents.
Petri Nets (2) 1996: 331-385 |
| 1995 |
|---|
| 4 | | Jörg Desel,
Ekkart Kindler,
Tobias Vesper,
Rolf Walter:
A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards.
Inf. Process. Lett. 54(6): 327-328 (1995) |
| 1993 |
|---|
| 3 | | Dominik Gomm,
Ekkart Kindler,
Barbara Paech,
Rolf Walter:
Compositional Liveness Properties of EN-Systems.
Application and Theory of Petri Nets 1993: 262-281 |
| 1990 |
|---|
| 2 | | Dominik Gomm,
Rolf Walter:
The Distributed Termination Problem: Formal Solution and Correctness Based on Petri Nets.
IMYCS 1990: 159-168 |
| 1986 |
|---|
| 1 | | Stefan Drees,
Dominik Gomm,
Helmut Plünnecke,
Wolfgang Reisig,
Rolf Walter:
Bibliography of Petri nets.
European Workshop on Applications and Theory of Petri Nets 1986: 309-451 |
