Concepedia

Peter Schneider–Kamp

PS

27

Publications

942

Citations

18

H-Index

2007

Active since

Affiliations

University of Southern Denmark(Current)

RWTH Aachen University

Ben-Gurion University of the Negev

Universität Innsbruck

Eindhoven University of Technology

Peter Schneider–Kamp is an author at University of Southern Denmark specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisCombinatorial OptimizationVerificationDeep Learning

Publications per year

2007–2024

27

Publications

27

Mechanizing and Improving Dependency Pairs

Jürgen Giesl, René Thiemann, Peter Schneider–Kamp et al. · Journal of Automated Reasoning · 2007 · 193 citations

Programming Language Theory, Dependency Analysis, Engineering +9

Analyzing Program Termination and Complexity Automatically with AProVE

Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt et al. · Journal of Automated Reasoning · 2016 · 124 citations · Full text

Software Maintenance, Program Checking, Engineering +10

Automated termination proofs for haskell by term rewriting

Jürgen Giesl, Matthias Raffelsieper, Peter Schneider–Kamp et al. · ACM Transactions on Programming Languages and Systems · 2011 · 74 citations · Full text

Term Rewriting, Engineering, Automated Reasoning +14

Automated termination proofs for logic programs by term rewriting

Peter Schneider–Kamp, Jürgen Giesl, Alexander Serebrenik et al. · ACM Transactions on Computational Logic · 2009 · 48 citations

Computational Logic, Term Rewriting, Engineering +13

Real-Time On-Board Deep Learning Fault Detection for Autonomous UAV Inspections

Naeem Ayoub, Peter Schneider–Kamp · Electronics · 2021 · 45 citations · Full text

Rows per page

1–5 of 27