The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jochen Burghardt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jochen Burghardt
    A Tree Pattern Matching Algorithm with Reasonable Space Requirements. [Citation Graph (0, 0)][DBLP]
    CAAP, 1988, pp:1-15 [Conf]
  2. Jochen Burghardt
    Axiomatization of Finite Algebras. [Citation Graph (0, 0)][DBLP]
    KI, 2002, pp:222-234 [Conf]
  3. Jochen Burghardt
    A Fine-Grain Sort Discipline and Its Application to Formal Program Construction. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:190-204 [Conf]
  4. Jochen Burghardt
    Deductive Synthesis. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:295-309 [Conf]
  5. Jochen Burghardt
    Regular Substitution Sets: A Means of Controlling E-Unification. [Citation Graph (0, 0)][DBLP]
    RTA, 1995, pp:382-396 [Conf]
  6. Jochen Burghardt
    E-generalization using grammars. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:165, n:1, pp:1-35 [Journal]
  7. Jochen Burghardt, Florian Kammüller, Jeff W. Sanders
    On the antisymmetry of Galois embeddings. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:79, n:2, pp:57-63 [Journal]
  8. Jochen Burghardt
    Maintaining Partial Sums in Logarithmic Time. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2001, v:8, n:4, pp:473-474 [Journal]

Search in 0.003secs, 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