 | 2009 |
|---|
| 17 |       | Markus Grünwald,
Dirk Taubner:
Business Intelligence.
Informatik Spektrum 32(5): 398-403 (2009) |
| 2007 |
|---|
| 16 | | Dirk Taubner:
NetWeaver.
Informatik Spektrum 30(6): 405 (2007) |
| 2005 |
|---|
| 15 | | Arndt Bode,
Manfred Broy,
Dirk Taubner:
Software auf dem Weg zur Industrialisierung.
Informatik Spektrum 28(4): 269 (2005) |
| 2004 |
|---|
| 14 | | Donald Kossmann,
Frank Leymann,
Dirk Taubner:
Editorial (Web Services).
Informatik Spektrum 27(2): 113 (2004) |
| 2001 |
|---|
| 13 |  | Dirk Taubner:
Software-Entwicklung im industriellen Maßstab.
Das ist Informatik 2001: 85-98 |
| 1996 |
|---|
| 12 | | Hubert Surrer,
Dirk Taubner:
Objektorientierte Spezifikation mit einem CASE-Werkzeug für Structured Analysis/Structured Design.
Informatik Spektrum 19(4): 196-205 (1996) |
| 1993 |
|---|
| 11 | | Reinhard Enders,
Thomas Filkorn,
Dirk Taubner:
Generating BDDs for Symbolic Model Checking in CCS.
Distributed Computing 6(3): 155-164 (1993) |
| 10 | | Stephen L. Bloom,
Zoltán Ésik,
Dirk Taubner:
Iteration Theories of Synchronization Trees
Inf. Comput. 102(1): 1-55 (1993) |
| 1992 |
|---|
| 9 | | Siegfried Fischer,
Andreas Scholz,
Dirk Taubner:
Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study.
CAV 1992: 192-205 |
| 1991 |
|---|
| 8 | | Reinhard Enders,
Thomas Filkorn,
Dirk Taubner:
Generating BDDs for Symbolic Model Checking in CCS.
CAV 1991: 203-213 |
| 7 | | Klaus Estenfeld,
Hans-Albert Schneider,
Dirk Taubner,
Erik Tidén:
Computer Aided Verification of Parallel Processes.
VIS 1991: 208-226 |
| 6 | | Dirk Taubner:
A Note on the Notation of Recursion in Process Algebras.
Inf. Process. Lett. 37(6): 299-303 (1991) |
| 1989 |
|---|
| 5 | | Dirk Taubner:
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets
Springer 1989 |
| 4 | | Dirk Taubner,
Walter Vogler:
Step Failures Semantics and a Complete Proof System.
Acta Inf. 27(2): 125-156 (1989) |
| 3 | | Dirk Taubner:
Representing CCS Programs by Finite Predicate/Transition Nets.
Acta Inf. 27(6): 533-565 (1989) |
| 1987 |
|---|
| 2 | | Dirk Taubner:
On the Implementation of Petri Nets.
European Workshop on Applications and Theory of Petri Nets 1987: 418-434 |
| 1 | | Dirk Taubner,
Walter Vogler:
The Step Failure Semantics.
STACS 1987: 348-359 |
