| Publication | Date of Publication | Type |
|---|
| On the equivalence of Lurie's \(\infty\)-operads and dendroidal \(\infty\)-operads | 2025-01-10 | Paper |
| A Mysterious Tensor Product in Topology | 2023-12-03 | Paper |
| Simplicial model structures on pro-categories | 2023-11-21 | Paper |
| Partition complexes and trees | 2023-04-19 | Paper |
| A small catalogue of En-operads | 2022-12-07 | Paper |
| Profinite \(\infty\)-operads | 2022-09-20 | Paper |
| Simplicial and Dendroidal Homotopy Theory | 2022-08-02 | Paper |
| On the equivalence of the Lurie's $\infty$-operads and dendroidal $\infty$-operads | 2022-06-28 | Paper |
| On the additivity of the little cubes operads | 2022-05-25 | Paper |
| Closed dendroidal sets and unital operads | 2021-08-03 | Paper |
| Homology of infinity-operads | 2021-05-25 | Paper |
| An extension of Quillen's theorem B | 2020-08-03 | Paper |
| Dendroidal spaces, \(\Gamma\)-spaces and the special Barratt-Priddy-Quillen theorem | 2020-03-02 | Paper |
| The dendroidal category is a test category | 2019-07-29 | Paper |
| Univalent completion | 2018-08-23 | Paper |
| Sets, Models and Proofs | 2018-07-23 | Paper |
| Shuffles of trees | 2018-05-18 | Paper |
| Exact completion of path categories and algebraic set theory. I: Exact completion of path categories | 2018-05-11 | Paper |
| W-types in homotopy-type theory – CORRIGENDUM | 2018-01-04 | Paper |
| Dendroidal spaces, $\Gamma$-spaces and the special Barratt-Priddy-Quillen theorem | 2017-01-23 | Paper |
| Minimal fibrations of dendroidal sets | 2016-12-20 | Paper |
| On the equivalence between Lurie's model and the dendroidal model for infinity-operads | 2016-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2818561 | 2016-09-07 | Paper |
| W-types in homotopy type theory | 2016-07-27 | Paper |
| Daniel M. Kan (1927—2013) | 2016-06-15 | Paper |
| Left fibrations and homotopy colimits II | 2016-02-03 | Paper |
| Left fibrations and homotopy colimits | 2015-04-02 | Paper |
| The axiom of multiple choice and models for constructive set theory | 2014-09-05 | Paper |
| Note on the tensor product of dendroidal sets | 2014-03-25 | Paper |
| Dendroidal Segal spaces and ∞-operads | 2014-03-21 | Paper |
| Dendroidal sets and simplicial operads | 2014-03-21 | Paper |
| ON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES | 2013-10-10 | Paper |
| Aspects of predicative algebraic set theory III: sheaves | 2012-11-30 | Paper |
| Derived rules for predicative set theory: an application of sheaves | 2012-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2889422 | 2012-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2889440 | 2012-06-07 | Paper |
| On an extension of the notion of Reedy category | 2012-01-12 | Paper |
| Dendroidal sets as models for homotopy operads | 2011-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007159 | 2011-06-21 | Paper |
| Aspects of predicative algebraic set theory. II: Realizability | 2011-05-10 | Paper |
| Simplicial methods for operads and algebraic geometry. Edited by Carles Casacuberta and Joachim Kock | 2010-11-30 | Paper |
| On the universal enveloping algebra of a Lie algebroid | 2010-09-27 | Paper |
| Localization of algebras over coloured operads | 2010-07-22 | Paper |
| A Unified Approach to Algebraic Set Theory | 2010-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3646417 | 2009-11-21 | Paper |
| On the derived category of an algebra over an operad | 2009-06-25 | Paper |
| On inner Kan complexes in the category of dendroidal sets | 2009-05-05 | Paper |
| Aspects of predicative algebraic set theory. I: Exact completion | 2008-12-05 | Paper |
| Deformations of Lie brackets: Cohomological aspects | 2008-11-12 | Paper |
| W-types in sheaves | 2008-10-14 | Paper |
| On the universal enveloping algebra of a Lie-Rinehart algebra | 2008-01-25 | Paper |
| Dendroidal sets | 2007-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5431508 | 2007-12-11 | Paper |
| On the developability of Lie subalgebroids | 2007-03-09 | Paper |
| The Boardman-Vogt resolution of operads in monoidal model categories | 2006-09-14 | Paper |
| On the integrability of Lie subalgebroids | 2006-07-20 | Paper |
| Families of Hopf algebras of trees and pre-Lie algebras. | 2006-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5316335 | 2005-09-12 | Paper |
| On the developability of subalgebroids | 2004-06-28 | Paper |
| Čech-De Rham theory for leaf spaces of foliations | 2004-03-07 | Paper |
| Axiomatic homotopy theory for operads | 2004-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4409414 | 2004-01-19 | Paper |
| Lie groupoids, gerbes, and non-abelian cohomology | 2004-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417968 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4408051 | 2003-07-06 | Paper |
| On integrability of infinitesimal actions | 2003-05-22 | Paper |
| Wellfounded trees in categories | 2003-05-08 | Paper |
| Introduction to the language of stacks and gerbes | 2002-12-19 | Paper |
| Type theories, toposes and constructive set theory: Predicative aspects of AST | 2002-12-03 | Paper |
| The renormalisation bialgebra and operads | 2002-10-23 | Paper |
| Simplicial cohomology of orbifolds | 2002-09-22 | Paper |
| Foliation groupoids and their cyclic homology | 2002-07-22 | Paper |
| Monads on tensor categories | 2002-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2752879 | 2002-03-20 | Paper |
| On the Classification of Regular Groupoids | 2002-03-11 | Paper |
| Spaces with local equivalence relations, and their monodromy | 2001-11-23 | Paper |
| A homology theory for étale groupoids | 2001-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4267500 | 2001-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2785085 | 2001-01-01 | Paper |
| Proper maps of toposes | 2000-11-29 | Paper |
| An elementary definability theorem for first order logic | 2000-09-27 | Paper |
| Proof of a conjecture of A. Pitts | 2000-09-17 | Paper |
| Representing topoi by topological groupoids | 1999-11-10 | Paper |
| Sets, Topoi and Intuitionism | 1999-05-31 | Paper |
| Classifying spaces for toposes with enough points | 1998-11-26 | Paper |
| Minimal models of Heyting arithmetic | 1998-11-02 | Paper |
| Proof of a conjecture of A. Haefliger | 1998-10-05 | Paper |
| Représentation de topos par des espaces topologiques | 1998-08-16 | Paper |
| Orbifolds, sheaves and groupoids | 1998-03-16 | Paper |
| An addendum to “Path-lifting for Grothendieck toposes" | 1997-12-11 | Paper |
| On the construction of the Grothendieck fundamental group of a topos by paths | 1997-11-18 | Paper |
| A remark on the theory of semi-functors | 1997-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3123627 | 1997-04-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4893207 | 1997-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4853302 | 1997-01-09 | Paper |
| A model for intuitionistic non-standard arithmetic | 1996-01-21 | Paper |
| Classifying spaces and classifying topoi | 1995-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4853985 | 1995-11-07 | Paper |
| A completeness theorem for open maps | 1995-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4299041 | 1994-07-21 | Paper |
| The Equivariant Serre Spectral Sequence | 1994-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3142954 | 1994-01-09 | Paper |
| Algebraic classification of equivariant homotopy 2-types. I | 1993-10-19 | Paper |
| Every étendue comes from a local equivalence relation | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4010364 | 1992-09-27 | Paper |
| Sheaves in geometry and logic: a first introduction to topos theory | 1992-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3997818 | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3986545 | 1992-06-27 | Paper |
| Toposes as homotopy groupoids | 1992-06-25 | Paper |
| Classifying toposes and foliations | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3353231 | 1991-01-01 | Paper |
| Toposes are Cohomologically Equivalent to Spaces | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204651 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3356497 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3490175 | 1989-01-01 | Paper |
| Local Maps of Toposes | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4205616 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4206922 | 1989-01-01 | Paper |
| The Classifying Topos of a Continuous Groupoid. I | 1988-01-01 | Paper |
| Morita equivalence for continuous groups | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3808284 | 1988-01-01 | Paper |
| Path-Lifting for Grothendieck Toposes | 1988-01-01 | Paper |
| A smooth version of the Zariski topos | 1987-01-01 | Paper |
| Forcing smooth square roots and integration | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3816230 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3825227 | 1987-01-01 | Paper |
| Rings of smooth functions and their localizations. I | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3714248 | 1986-01-01 | Paper |
| Connected Locally Connected Toposes are Path-Connected | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3761312 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3797788 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3816650 | 1986-01-01 | Paper |
| An elementary proof of the descent theorem for Grothendieck toposes | 1985-01-01 | Paper |
| Smooth spaces versus continuous spaces in models for synthetic differential geometry | 1984-01-01 | Paper |
| Sheaf models for choice sequences | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3679877 | 1984-01-01 | Paper |
| De Rham's theorem in a smooth topos | 1984-01-01 | Paper |
| Heine-Borel does not imply the Fan Theorem | 1984-01-01 | Paper |
| On choice sequences determined by spreads | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3714079 | 1984-01-01 | Paper |
| On the Freyd cover of a topos | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3315680 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3674653 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3679173 | 1983-01-01 | Paper |
| Equational classes of toposes | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4749837 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3659781 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3947661 | 1982-01-01 | Paper |
| A definability theorem for first order logic | N/A | Paper |
| Profinite $\infty$-operads: Part II | N/A | Paper |
