Scholar
Henning Urbat
Google Scholar ID: JPZRDYIAAAAJ
Postdoctoral Researcher, Friedrich-Alexander-Universität Erlangen-Nürnberg
Theoretical Computer Science
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
273
H-index
9
i10-index
9
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
13 items
Towards a Higher-Order Bialgebraic Denotational Semantics
2026
Cited
0
A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
2026
Cited
0
Intrinsically Correct Algorithms and Recursive Coalgebras
2025
Cited
0
Demystifying Codensity Monads via Duality
2025
Cited
0
Well-Founded Coalgebras Meet König's Lemma
2025
Cited
0
Higher-Order Behavioural Conformances via Fibrations
2025
Cited
0
Bialgebraic Reasoning on Stateful Languages
2025
Cited
0
Learning Automata with Name Allocation
2025
Cited
0
Load more
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up