Concepedia

Bertram Felgenhauer

BF

5

Publications

170

Citations

5

H-Index

2005

Active since

Affiliations

Universität Innsbruck(Current)

University of Sheffield

Bertram Felgenhauer is an author at Universität Innsbruck specializing in automated reasoning, formal verification, and engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSyntaxGrammarLanguageSemantics

Publications per year

2005–2015

5

Publications

5

Mathematics of Sudoku I

Bertram Felgenhauer, Frazer Jarvis · 2006 · 84 citations

Enumerating possible Sudoku grids

Bertram Felgenhauer, Frazer Jarvis · 2005 · 53 citations

Combinatory Analysis, Sudoku Grids Below, Grid System +5

Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules

Julian Nagele, Bertram Felgenhauer, Aart Middeldorp · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 13 citations · Full text

Engineering, Verification, Automated Proof +21

Layer Systems for Proving Confluence

Bertram Felgenhauer, Aart Middeldorp, Harald Zankl et al. · ACM Transactions on Computational Logic · 2015 · 10 citations · Full text

Formal Specification, Engineering, Automated Reasoning +15

Labelings for Decreasing Diagrams

Harald Zankl, Bertram Felgenhauer, Aart Middeldorp · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011 · 10 citations · Full text

Rows per page

1–5 of 5