Jochen Burghardt

23 papers C 1Misc 1Journal 16Unranked 2
YearRankTypeTitle / Venue / Authors
2021 J jnl
An Algebra of Properties of Binary Relations.
CoRR
Jochen Burghardt
2018 J jnl
A Scheme-Driven Approach to Learning Programs from Input/Output Equations.
CoRR
Jochen Burghardt
2017 J jnl
An Improved Algorithm for E-Generalization.
CoRR
Jochen Burghardt
2016 J jnl
Repetition-Free Derivability from a Regular Grammar is NP-Hard.
CoRR
Jochen Burghardt
2016 J jnl
Weight Computation of Regular Tree Languages.
CoRR
Jochen Burghardt
2014 J jnl
Axiomatization of Finite Algebras.
CoRR
Jochen Burghardt
2014 J jnl
E-Generalization Using Grammars.
CoRR
Jochen Burghardt
2014 J jnl
Eine entscheidbare Klasse n-stelliger Horn-Prädikate.
CoRR
Jochen Burghardt
2014 J jnl
Experiences in Developing Time-Critical Systems - The Case Study "Production Cell".
CoRR
Jochen Burghardt
2014 J jnl
Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS.
CoRR
Jochen Burghardt
2014 J jnl
Implementing Anti-Unification Modulo Equational Theory.
CoRR
Jochen Burghardt, Birgit Heinz
2014 J jnl
Maintaining partial sums in logarithmic time.
CoRR
Jochen Burghardt
2014 J jnl
Regular Substitution Sets: A Means of Controlling E-Unification.
CoRR
Jochen Burghardt
2013 C conf
Formal specification and automated verification of railway software with Frama-C.
INDIN
Virgile Prevosto, Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Werner Pohl, Kim Völlinger
2005 J jnl
E-generalization using grammars.
Artif. Intell.
Jochen Burghardt
2002 Misc conf
Axiomatization of Finite Algebras.
KI
Jochen Burghardt
2001 J jnl
Maintaining Partial Sums in Logarithmic Time.
Nord. J. Comput.
Jochen Burghardt
2001 J jnl
On the antisymmetry of Galois embeddings.
Inf. Process. Lett.
Jochen Burghardt, Florian Kammüller, Jeff W. Sanders
1995 — ch.
A Fine-Grain Sort Discipline and Its Application to Formal Program Construction.
KORSO Book
Jochen Burghardt
1995 — ch.
Deductive Synthesis.
Formal Development of Reactive Systems
Jochen Burghardt
1995 — conf
Regular Substitution Sets: A Means of Controlling E-Unification.
RTA
Jochen Burghardt
1993 — —
Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion.
Jochen Burghardt
1988 — conf
A Tree Pattern Matching Algorithm with Reasonable Space Requirements.
CAAP
Jochen Burghardt