Projects
I-Systems

[WWL05a]

Horst F. Wedde, Arnim Wedig, Anca Lazarescu, Ralf Paaschen und Elisei Rotaru
Incremental Modeling Under Large-Scale Distributed Interaction
Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Hrsg.: Farn Wang, Nr. 3731, S. 542-546, Spr, Taipei, Taiwan, 2005-10-02

[Paa05]

Ralf Paaschen
Entwurf und Implementierung eines interaktiven Visualisierungstools für I-Systeme
2005-10

[WWL05c]

Horst F. Wedde, Arnim Wedig, Anca Lazarescu, Ralf Paaschen und Elisei Rotaru
Model Building and Model Checking under Large-Scale Distributed Interaction
2005-04

[FKLb]

Horst F. Wedde, Arnim Wedig, Anca Lazarescu, Ralf Paaschen und Elisei Rotaru
Zwischenbericht der Projektgruppe 460 - BeeAdHoc - Efficient/Secure/Scalable Routing Framework für AdHoc Netze
Forschungsbericht, Universität Dortmund, Fachbereich Informatik, 2005-03

[WWL05b]

Horst F. Wedde, Arnim Wedig, Anca Lazarescu, Ralf Paaschen und Elisei Rotaru
Modeling and Analyzing Large-Scale Distributed Interaction
2005-03

[FHI04]

Frederic Folwaczny, Markus Heinz, Dragan Isakovic, Martin Krogmann, Stefan Nobis, Rolf Paaschen, Martin Piayda, Mykhaylo Rudermann, Andreas Schröder, Carsten Sommer, Gerd Terhard und Andreas Volgmann
Endbericht der Projektgruppe 432 - Dezenten – Ein erstes dezentrales Energiemanagement-System
Forschungsbericht, Universität Dortmund, Fachbereich Informatik, 2004-03

[FHI03]

Frederic Folwaczny, Markus Heinz, Dragan Isakovic, Martin Krogmann, Stefan Nobis, Rolf Paaschen, Martin Piayda, Mykhaylo Rudermann, Andreas Schröder, Carsten Sommer, Gerd Terhard und Andreas Volgmann
Zwischenbericht der Projektgruppe 432 - Dezenten – Ein erstes dezentrales Energiemanagement-System
2003-09