Jochen Burghardt

Publication Activity (10 Years)

Years Active: 1988-2021
Publications (10 Years): 5

Top Venues

CoRR

INDIN

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Jochen Burghardt
An Algebra of Properties of Binary Relations. CoRR (2021)
Jochen Burghardt
A Scheme-Driven Approach to Learning Programs from Input/Output Equations. CoRR (2018)
Jochen Burghardt
An Improved Algorithm for E-Generalization. CoRR (2017)
Jochen Burghardt
Repetition-Free Derivability from a Regular Grammar is NP-Hard. CoRR (2016)
Jochen Burghardt
Weight Computation of Regular Tree Languages. CoRR (2016)
Jochen Burghardt, Birgit Heinz
Implementing Anti-Unification Modulo Equational Theory. CoRR (2014)
Jochen Burghardt
Regular Substitution Sets: A Means of Controlling E-Unification. CoRR (2014)
Jochen Burghardt
Formale Entwicklung einer Steuerung für eine Fertigungszelle mit SYSYFOS. CoRR (2014)
Jochen Burghardt
Experiences in Developing Time-Critical Systems - The Case Study "Production Cell". CoRR (2014)
Jochen Burghardt
Maintaining partial sums in logarithmic time. CoRR (2014)
Jochen Burghardt
Eine entscheidbare Klasse n-stelliger Horn-Prädikate. CoRR (2014)
Jochen Burghardt
E-Generalization Using Grammars. CoRR (2014)
Jochen Burghardt
Axiomatization of Finite Algebras. CoRR (2014)
Virgile Prevosto, Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Werner Pohl, Kim Völlinger
Formal specification and automated verification of railway software with Frama-C. INDIN (2013)
Jochen Burghardt
E-generalization using grammars. Artif. Intell. 165 (1) (2005)
Jochen Burghardt
Axiomatization of Finite Algebras. KI (2002)
Jochen Burghardt, Florian Kammüller, Jeff W. Sanders
On the antisymmetry of Galois embeddings. Inf. Process. Lett. 79 (2) (2001)
Jochen Burghardt
Maintaining Partial Sums in Logarithmic Time. Nord. J. Comput. 8 (4) (2001)
Jochen Burghardt
Regular Substitution Sets: A Means of Controlling E-Unification. RTA (1995)
Jochen Burghardt
A Tree Pattern Matching Algorithm with Reasonable Space Requirements. CAAP (1988)

Jochen Burghardt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jochen Burghardt