Henning Urbat
Scholar

Henning Urbat

Google Scholar ID: JPZRDYIAAAAJ
Postdoctoral Researcher, Friedrich-Alexander-Universität Erlangen-Nürnberg
Theoretical Computer Science
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
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)