Skip to content

Scientist · Computer Science

Florian Zuleger

University of Applied Sciences Technikum Wien, Vienna, Austria

iD0000-0003-1468-8398

Citations, last 5 years: 70
Works, last 5 years: 47
h-index: 18
Citations, all time: 1 406
In Computer Science: #136,941

Research topics

Formal Methods in Verification102Computer Science
Logic, programming, and type systems100Computer Science
Software Testing and Debugging Techniques47Computer Science
Logic, Reasoning, and Knowledge34Computer Science
semigroups and automata theory19Computer Science

Recent works

Discussion

Ask Florian about their research. When the scientist claims this card, they will see your question.

Start a discussion