Concepedia

Hans Kleine Büning

HK

Statistics

Publications

18

Citations

853

H-Index

14

Active since

1995

Affiliations

Paderborn University(Current)

Sun Yat-sen University

Ostwestfalen-Lippe University of Applied Sciences and Arts

West Virginia University

Hans Kleine Büning is an author at Paderborn University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningSystems EngineeringData ScienceAnomaly DetectionIntelligent SystemsAutomationData Mining

Publications per year

1995–2021

18

Publications

18

Resolution for Quantified Boolean Formulas

Hans Kleine Büning, Marek Karpiński, Andreas Flögel · Information and Computation · 1995 · 320 citations

Quantified Boolean Formulas, Engineering, Boolean Function +5

An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF

G. V. Davydov, Inna Davydova, Hans Kleine Büning · Annals of Mathematics and Artificial Intelligence · 1998 · 94 citations

Learning Behavior Models for Hybrid Timed Systems

Oliver Niggemann, Benno Stein, Asmir Vodenčarević et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2021 · 84 citations · Full text

Anomaly Detection, Machine Learning, Engineering +20

On subclasses of minimal unsatisfiable formulas

Hans Kleine Büning · Discrete Applied Mathematics · 2000 · 66 citations

Engineering, Automated Reasoning, Proof Complexity +4

Identifying behavior models for process plants

Asmir Vodenčarević, Hans Kleine Büning, Oliver Niggemann et al. · 2011 · 46 citations

Anomaly Detection, Engineering, Botany +24

1–5 of 18