Concepedia

Hans-Jörg Schurr

HS

1

Publications

13

Citations

1

H-Index

2021

Active since

Affiliations

Johannes Kepler University of Linz(Current)

Hans-Jörg Schurr is an author at Johannes Kepler University of Linz specializing in formal verification, proof complexity, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProof ComplexityAutomated ReasoningFormal VerificationDiscrete Mathematics

Publications per year

2021–2021

1

Publications

1

Alethe: Towards a Generic SMT Proof Format (extended abstract)

Hans-Jörg Schurr, Mathias Fleury, Haniel Barbosa et al. · Electronic Proceedings in Theoretical Computer Science · 2021 · 13 citations · Full text

Verit Proofs, Engineering, Automated Reasoning +12

Rows per page

1–1 of 1