We stand with Ukraine  

Jochen Burghardt

Affiliations:
  • Technical University of Berlin, Department of Mathematics, Germany


According to our database1, Jochen Burghardt authored at least 19 papers between 1988 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
An Algebra of Properties of Binary Relations.
[BibTeX]
[DOI]
Jochen Burghardt
CoRR, 2021

2018
A Scheme-Driven Approach to Learning Programs from Input/Output Equations.
[BibTeX]
[DOI]
Jochen Burghardt
CoRR, 2018

2017
An Improved Algorithm for E-Generalization.
[BibTeX]
[DOI]
Jochen Burghardt
CoRR, 2017

2016
Weight Computation of Regular Tree Languages.
[BibTeX]
[DOI]
Jochen Burghardt
CoRR, 2016

Repetition-Free Derivability from a Regular Grammar is NP-Hard.
[BibTeX]
[DOI]
Jochen Burghardt
CoRR, 2016

2014
Implementing Anti-Unification Modulo Equational Theory.
[BibTeX]
[DOI]
Jochen Burghardt
,
Birgit Heinz
CoRR, 2014

Eine entscheidbare Klasse n-stelliger Horn-Prädikate.
[BibTeX]
[DOI]
Jochen Burghardt
CoRR, 2014

Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS.
[BibTeX]
[DOI]
Jochen Burghardt
CoRR, 2014

Experiences in Developing Time-Critical Systems - The Case Study "Production Cell".
[BibTeX]
[DOI]
Jochen Burghardt
CoRR, 2014

2013
Formal specification and automated verification of railway software with Frama-C.
[BibTeX]
[DOI]
Virgile Prevosto
,
Jochen Burghardt
,
Jens Gerlach
,
Kerstin Hartig
,
Hans Werner Pohl
,
Kim Völlinger
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2005
E-generalization using grammars.
[BibTeX]
[DOI]
Jochen Burghardt
Artif. Intell., 2005

2002
Axiomatization of Finite Algebras.
[BibTeX]
[DOI]
Jochen Burghardt
Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002

2001
Maintaining Partial Sums in Logarithmic Time.
[BibTeX]
[DOI]
Jochen Burghardt
Nord. J. Comput., 2001

On the antisymmetry of Galois embeddings.
[BibTeX]
[DOI]
Jochen Burghardt
,
Florian Kammüller
,
Jeff W. Sanders
Inf. Process. Lett., 2001

1995
Regular Substitution Sets: A Means of Controlling E-Unification.
[BibTeX]
[DOI]
Jochen Burghardt
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

Deductive Synthesis.
[BibTeX]
[DOI]
Jochen Burghardt
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

A Fine-Grain Sort Discipline and Its Application to Formal Program Construction.
[BibTeX]
[DOI]
Jochen Burghardt
Proceedings of the KORSO, 1995

1993
Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion.
[BibTeX]
[DOI]
Jochen Burghardt
PhD thesis, 1993

1988
A Tree Pattern Matching Algorithm with Reasonable Space Requirements.
[BibTeX]
[DOI]
Jochen Burghardt
Proceedings of the CAAP '88, 1988


  Loading...