Dirk Taubner

Publication Activity (10 Years)

Years Active: 1987-2021
Publications (10 Years): 1

Top Topics

Numerically Stable

Top Venues

Inform. Spektrum

Publications

Dirk Taubner
Gründung und Entwicklung von IT-Häusern. Inform. Spektrum 44 (6) (2021)
Erich Henkel, Martin Ober, Dirk Taubner
Erfahrungen mit Lean-Konzepten im Management von Softwareprojekten. Inform. Spektrum 34 (1) (2011)
Manfred Broy, Klaus Hardy Mühleck, Dirk Taubner
Informatik in der Automobilindustrie. Inform. Spektrum 34 (1) (2011)
Markus Grünwald, Dirk Taubner
Business Intelligence. Inform. Spektrum 32 (5) (2009)
Dirk Taubner
NetWeaver. Inform. Spektrum 30 (6) (2007)
Arndt Bode, Manfred Broy, Dirk Taubner
Software auf dem Weg zur Industrialisierung. Inform. Spektrum 28 (4) (2005)
Donald Kossmann, Frank Leymann, Dirk Taubner
Editorial (Web Services). Inform. Spektrum 27 (2) (2004)
Hubert Surrer, Dirk Taubner
Objektorientierte Spezifikation mit einem CASE-Werkzeug für Structured Analysis/Structured Design. Inform. Spektrum 19 (4) (1996)
Reinhard Enders, Thomas Filkorn, Dirk Taubner
Generating BDDs for Symbolic Model Checking in CCS. Distributed Comput. 6 (3) (1993)
Stephen L. Bloom, Zoltán Ésik, Dirk Taubner
Iteration Theories of Synchronization Trees Inf. Comput. 102 (1) (1993)
Siegfried Fischer, Andreas Scholz, Dirk Taubner
Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. CAV (1992)
Reinhard Enders, Thomas Filkorn, Dirk Taubner
Generating BDDs for Symbolic Model Checking in CCS. CAV (1991)
Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén
Computer Aided Verification of Parallel Processes. VIS (1991)
Dirk Taubner
A Note on the Notation of Recursion in Process Algebras. Inf. Process. Lett. 37 (6) (1991)
Stephen L. Bloom, Zoltán Ésik, Dirk Taubner
Iteration theories of synchronization trees Forschungsberichte, TU Munich (1990)
Dirk Taubner
Representing CCS Programs by Finite Predicate/Transition Nets. Acta Informatica 27 (6) (1990)
Dirk Taubner, Walter Vogler
Step Failures Semantics and a Complete Proof System. Acta Informatica 27 (2) (1989)
Dirk Taubner
Zur verteilten Implementierung von Petrinetzen / On the Distributed Implementation of Petri Nets. it Inf. Technol. 30 (5) (1988)
Dirk Taubner
On the Implementation of Petri Nets. European Workshop on Applications and Theory of Petri Nets (1987)
Dirk Taubner, Walter Vogler
The Step Failure Semantics. STACS (1987)