Dirk Taubner

According to our database1, Dirk Taubner
  • authored at least 20 papers between 1987 and 2011.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
Erfahrungen mit Lean-Konzepten im Management von Softwareprojekten.
Informatik Spektrum, 2011

Informatik in der Automobilindustrie.
Informatik Spektrum, 2011

2009
Business Intelligence.
Informatik Spektrum, 2009

2007
NetWeaver.
Informatik Spektrum, 2007

2005
Software auf dem Weg zur Industrialisierung.
Informatik Spektrum, 2005

2004
Editorial (Web Services).
Informatik Spektrum, 2004

2001
Software-Entwicklung im industriellen Maßstab.
Proceedings of the Das ist Informatik, 2001

1996
Objektorientierte Spezifikation mit einem CASE-Werkzeug für Structured Analysis/Structured Design.
Informatik Spektrum, 1996

1993
Iteration Theories of Synchronization Trees
Inf. Comput., January, 1993

Generating BDDs for Symbolic Model Checking in CCS.
Distributed Computing, 1993

1992
Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study.
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991
A Note on the Notation of Recursion in Process Algebras.
Inf. Process. Lett., 1991

Computer Aided Verification of Parallel Processes.
Proceedings of the VIS'91, 1991

Generating BDDs for Symbolic Model Checking in CCS.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990
Representing CCS Programs by Finite Predicate/Transition Nets.
Acta Inf., 1990

1989
Step Failures Semantics and a Complete Proof System.
Acta Inf., 1989

Finite Representations of CCS and TCSP Programs by Automata and Petri Nets
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.
it - Informationstechnik, 1988

1987
The Step Failure Semantics.
Proceedings of the STACS 87, 1987

On the Implementation of Petri Nets.
Proceedings of the Advances in Petri Nets 1988, 1987


  Loading...