Concepedia

Julian Nagele

JN

2

Publications

31

Citations

2

H-Index

2012

Active since

Affiliations

Universität Innsbruck(Current)

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

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSyntaxGrammarLanguageSemantics

Publications per year

2012–2015

2

Publications

2

On the Formalization of Termination Techniques based on Multiset Orderings

René Thiemann, Guillaume Allais, Julian Nagele · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 18 citations · Full text

Engineering, Multiset Orderings, Verification +17

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

Rows per page

1–2 of 2