Concepedia

Johannes Hölzl

JH

7

Publications

143

Citations

7

H-Index

1994

Active since

Affiliations

Technical University of Munich(Current)

Johannes Hölzl is an author at Technical University of Munich specializing in engineering, automated reasoning, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationRoboticsAutomationVerificationIndustrial RoboticsSystems Engineering

Publications per year

1994–2019

7

Publications

7

Parameter identification for industrial robots

Friedrich Pfeiffer, Johannes Hölzl · 2002 · 39 citations

Robot Kinematics, Engineering, Industrial Engineering +16

Markov Chains and Markov Decision Processes in Isabelle/HOL

Johannes Hölzl · Journal of Automated Reasoning · 2016 · 27 citations

Markov Chains, Engineering, Automated Reasoning +6

Specifying and verifying sparse matrix codes

Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal et al. · 2010 · 25 citations

Engineering, Verification, Automated Proof +16

Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic

Johannes Hölzl · mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich) · 2013 · 20 citations · Full text

Engineering, Verification, Automated Proof +19

Ordinary Differential Equations.

Fabian Immler, Johannes Hölzl · Archive of formal proofs · 2012 · 11 citations

Ordinary Differential Equations, Nonlinear Equation, Linear Equation

Rows per page

1–5 of 7