| 2006 |
|---|
| 4 | EE | Arnim Wedig,
Horst F. Wedde,
Anca Lazarescu,
Elisei Rotaru:
Concurrency in Distributed Systems under Autonomous and Enforced Actions.
ACSD 2006: 251-260 |
| 2005 |
|---|
| 3 | EE | Horst Wedde,
Arnim Wedig,
Anca Lazarescu,
Ralf Paaschen,
Elisei Rotaru:
Incremental Modeling Under Large-Scale Distributed Interaction.
FORTE 2005: 542-546 |
| 2002 |
|---|
| 2 | EE | Horst Wedde,
Arnim Wedig:
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems.
TACAS 2002: 127-141 |
| 2000 |
|---|
| 1 | | Arnim Wedig:
Modellierung Verteilter Systeme mit I-Systemen - Ein Beispiel.
FBT 2000: 59-68 |
