CUFinder

Julian Brunner

About Julian Brunner

Julian Brunner, With an exceptional h-index of 3 and a recent h-index of 3 (since 2020), a distinguished researcher at Technische Universität München, specializes in the field of Interactive Theorem Proving, Verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

Formal Verification of Algorithms for Automata and Model Checking

Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata

Julian Brunner Information

University

Position

___

Citations(all)

51

Citations(since 2020)

43

Cited By

35

hIndex(all)

3

hIndex(since 2020)

3

i10Index(all)

1

i10Index(since 2020)

1

Email

University Profile Page

Google Scholar

Julian Brunner Skills & Research Interests

Interactive Theorem Proving

Verification

Top articles of Julian Brunner

Formal Verification of Algorithms for Automata and Model Checking

2022

Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata

2020

Julian Brunner
Julian Brunner

H-Index: 2

See List of Professors in Julian Brunner University(Technische Universität München)