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
Publications
15 items
Compositionality in Coalgebraic Trace Semantics
2026
Cited
0
The Algebra of Iterative Constructions
2026
Cited
0
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
Load more
