Dirk Taubner

According to our database, Dirk Taubner authored at least 20 papers between 1987 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Gründung und Entwicklung von IT-Häusern.

Dirk Taubner

Inform. Spektrum, 2021

2011

Erfahrungen mit Lean-Konzepten im Management von Softwareprojekten.

Erich Henkel, Martin Ober, Dirk Taubner

Inform. Spektrum, 2011

Informatik in der Automobilindustrie.

Manfred Broy, Klaus Hardy Mühleck, Dirk Taubner

Inform. Spektrum, 2011

2009

Business Intelligence.

Markus Grünwald, Dirk Taubner

Inform. Spektrum, 2009

2007

NetWeaver.

Dirk Taubner

Inform. Spektrum, 2007

2005

Software auf dem Weg zur Industrialisierung.

Arndt Bode, Manfred Broy, Dirk Taubner

Inform. Spektrum, 2005

2004

Editorial (Web Services).

Donald Kossmann, Frank Leymann, Dirk Taubner

Inform. Spektrum, 2004

2001

Software-Entwicklung im industriellen Maßstab.

Dirk Taubner

Proceedings of the Das ist Informatik, 2001

1996

Objektorientierte Spezifikation mit einem CASE-Werkzeug für Structured Analysis/Structured Design.

Hubert Surrer, Dirk Taubner

Inform. Spektrum, 1996

1993

Iteration Theories of Synchronization Trees

Stephen L. Bloom, Zoltán Ésik, Dirk Taubner

Inf. Comput., January, 1993

1992

Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study.

Siegfried Fischer, Andreas Scholz, Dirk Taubner

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991

A Note on the Notation of Recursion in Process Algebras.

Dirk Taubner

Inf. Process. Lett., 1991

Computer Aided Verification of Parallel Processes.

Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén

Proceedings of the VIS'91, 1991

Generating BDDs for Symbolic Model Checking in CCS.

Reinhard Enders, Thomas Filkorn, Dirk Taubner

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

Representing CCS Programs by Finite Predicate/Transition Nets.

Dirk Taubner

Acta Informatica, 1990

1989

Step Failures Semantics and a Complete Proof System.

Dirk Taubner, Walter Vogler

Acta Informatica, 1989

Finite Representations of CCS and TCSP Programs by Automata and Petri Nets

Dirk Taubner

Lecture Notes in Computer Science 369, Springer, ISBN: 3-540-51525-9, 1989

1988

Zur verteilten Implementierung von Petrinetzen / On the Distributed Implementation of Petri Nets.

Dirk Taubner

it Inf. Technol., 1988

1987

The Step Failure Semantics.

Dirk Taubner, Walter Vogler

Proceedings of the STACS 87, 1987

On the Implementation of Petri Nets.

Dirk Taubner

Proceedings of the Advances in Petri Nets 1988, 1987