59
Publications
3K
Citations
29
H-Index
1982
Active since
Ieke Moerdijk is an author at Utrecht University specializing in representation theory, automated reasoning, and engineering.
Top concepts
Representation TheoryAutomated ReasoningEngineeringGeometryLanguageSemanticsLinguisticsFormal MethodsComputer ScienceFunctional Analysis
Publications per year
1982–2018
59
59
Orbifolds, Sheaves and Groupoids
Ieke Moerdijk, Dorette Pronk · K-Theory · 1997 · 171 citations
Orbifolds as Groupoids: an Introduction
Ieke Moerdijk · ArXiv.org · 2002 · 154 citations · Full text
Wellfounded trees in categories
Ieke Moerdijk, Erik Palmgren · Annals of Pure and Applied Logic · 2000 · 131 citations
Rows per page
1–5 of 59