| Publication | Date of Publication | Type |
|---|
| Martin-Löf identity types in C-systems | 2023-12-18 | Paper |
| C-system of a module over a \(Jf\)-relative monad | 2023-03-09 | Paper |
| A cubical approach to straightening | 2021-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111175 | 2020-05-26 | Paper |
| Lawvere theories and C-systems | 2020-04-07 | Paper |
| Categorical structures for type theory in univalent foundations | 2018-09-26 | Paper |
| C-systems defined by universe categories: presheaves | 2017-02-14 | Paper |
| The (Pi,lambda)-structures on the C-systems defined by universe categories | 2017-02-14 | Paper |
| Products of families of types and (Pi,lambda)-structures on C-systems | 2017-01-06 | Paper |
| Subsystems and regular quotients of C-systems | 2016-07-29 | Paper |
| A univalent formalization of the p-adic numbers | 2016-07-27 | Paper |
| An experimental library of formalized Mathematics based on the univalent foundations | 2016-07-27 | Paper |
| C-system of a module over a $Jf$-relative monad | 2016-01-31 | Paper |
| Lawvere theories and Jf-relative monads | 2016-01-09 | Paper |
| A C-system defined by a universe category | 2015-12-14 | Paper |
| Products of families of types in the C-systems defined by a universe category | 2015-03-23 | Paper |
| B-systems | 2014-10-20 | Paper |
| C-system of a module over a monad on sets | 2014-07-12 | Paper |
| The equivalence axiom and univalent models of type theory. (Talk at CMU on February 4, 2010) | 2014-02-22 | Paper |
| Experimental library of univalent formalization of mathematics | 2013-12-30 | Paper |
| Univalence in Simplicial Sets | 2012-03-12 | Paper |
| Univalent Semantics of Constructive Type Theories | 2011-11-22 | Paper |
| On motivic cohomology with \(\mathbb{Z}/l\)-coefficients | 2011-10-20 | Paper |
| Univalent Foundations of Mathematics | 2011-05-27 | Paper |
| Motivic Eilenberg-MacLane spaces | 2011-04-01 | Paper |
| Cancellation theorem | 2010-12-16 | Paper |
| Simplicial radditive functors | 2010-06-11 | Paper |
| Motives over simplicial schemes | 2010-04-08 | Paper |
| Homotopy theory of simplicial sheaves in completely decomposable topologies | 2010-03-08 | Paper |
| Unstable motivic homotopy categories in Nisnevich and cdh-topologies | 2010-03-08 | Paper |
| Lectures on motivic cohomology 2000/2001 (written by Pierre Deligne) | 2008-05-28 | Paper |
| An exact sequence for \(K^M_*/2\) with applications to quadratic forms | 2007-05-29 | Paper |
| Motivic homotopy theory. Lectures at a summer school in Nordfjordeid, Norway, August 2002 | 2007-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3409121 | 2006-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5485722 | 2006-09-04 | Paper |
| Reduced power operations in motivic cohomology | 2004-10-28 | Paper |
| Motivic cohomology with \(\mathbb Z/2\)-coefficients | 2004-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472991 | 2004-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3147718 | 2003-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4952444 | 2003-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2782260 | 2002-06-23 | Paper |
| \(\mathbb{A}^1\)-homotopy theory of schemes | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513076 | 2000-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513077 | 2000-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513078 | 2000-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513079 | 2000-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513080 | 2000-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946335 | 2000-06-07 | Paper |
| Cycles, Transfers, and Motivic Homology Theories. (AM-143) | 1999-01-17 | Paper |
| \(\mathbb{A}^1\)-homotopy theory | 1998-08-24 | Paper |
| Homology of schemes | 1997-09-14 | Paper |
| Singular homology of abstract algebraic varieties | 1996-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4834726 | 1995-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4308237 | 1995-03-28 | Paper |
| Braided monoidal 2-categories and Manin-Schechtman higher braid groups | 1994-04-04 | Paper |
| On Galois groups of functional fields over fields of finite type over $ \mathbb{Q}$ | 1992-06-27 | Paper |
| GALOIS REPRESENTATIONS CONNECTED WITH HYPERBOLIC CURVES | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3986539 | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3986540 | 1992-06-27 | Paper |
| Free \(n\)-category generated by a cube, oriented matroids, and higher Bruhat orders | 1992-06-25 | Paper |
| ÉTALE TOPOLOGIES OF SCHEMES OVER FIELDS OF FINITE TYPE OVERQ | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3363699 | 1991-01-01 | Paper |
| ∞-Groupoids as a model for a homotopy category | 1990-01-01 | Paper |
