The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dirk Taubner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002