| 2003 |
|---|
| 12 | | Rainer Weber:
Workflow-Interoperabilität über das Internet - mit dem Standard Wf-XML.
Wirtschaftsinformatik 45(3): 345-348 (2003) |
| 2000 |
|---|
| 11 | EE | James G. Hayes,
Effat Peyrovian,
Sunil K. Sarin,
Marc-Thomas Schmidt,
Keith D. Swenson,
Rainer Weber:
Workflow Interoperability Standards for the Internet.
IEEE Internet Computing 4(3): 37-45 (2000) |
| 1996 |
|---|
| 10 | | Ketil Stølen,
Frank Dederichs,
Rainer Weber:
Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm.
Formal Asp. Comput. 8(2): 127-161 (1996) |
| 1995 |
|---|
| 9 | | Helmut Wächter,
Franz J. Fritz,
Andreas Berthold,
Bernhard Drittler,
Harald Eckert,
Ralf Gerstner,
Ralf Götzinger,
Rolf Krane,
Andreas Schaeff,
Christian Schlögel,
Rainer Weber:
Modellierung und Ausführung flexibler Geschäftsprozesse mit SAP Business Workflow 3.0.
GI Jahrestagung 1995: 197-204 |
| 1993 |
|---|
| 8 | | Rainer Weber:
Specification: Distributed Systems.
PROSPECTRA Book 1993: 80-98 |
| 7 | | Frank Dederichs,
Claus Dendorfer,
Rainer Weber:
FOCUS: A Formal Design Method for Distributed Systems.
Parallel Computer Architectures 1993: 190-202 |
| 1992 |
|---|
| 6 | | Claus Dendorfer,
Rainer Weber:
An Informal Introduction to the Design Method FOCUS.
FBT 1992: 9-20 |
| 5 | | Claus Dendorfer,
Rainer Weber:
From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development.
PSTV 1992: 163-177 |
| 1991 |
|---|
| 4 | | Frank Dederichs,
Rainer Weber:
Reply to the Comments by Martín Abadi et al.
Inf. Process. Lett. 40(3): 143 (1991) |
| 1990 |
|---|
| 3 | | Frank Dederichs,
Rainer Weber:
Safety and Liveness From a Methodological Point of View.
Inf. Process. Lett. 36(1): 25-30 (1990) |
| 1989 |
|---|
| 2 | | Rainer Weber:
Where Can I Get Gas Round Here? - An Application of a Design Methodology for Distributed Systems.
Algebraic Methods 1989: 143-166 |
| 1 | | Frank Dederichs,
Rainer Weber:
Sicherheit und Lebendigkeit - Das aktuelle Schlagwort.
Informatik Spektrum 12(6): 342-343 (1989) |
