| Publication | Date of Publication | Type |
|---|
| A new Kenzo module for computing the Eilenberg-Moore spectral sequence | 2022-09-06 | Paper |
| An implementation of effective homotopy of fibrations | 2019-06-20 | Paper |
| Computing all maps into a sphere | 2019-05-10 | Paper |
| The homological hexagonal lemma | 2019-01-11 | Paper |
| A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space | 2017-12-01 | Paper |
| Programming before theorizing, a case study | 2015-03-27 | Paper |
| A combinatorial tool for computing the effective homotopy of iterated loop spaces | 2015-02-19 | Paper |
| Computing All Maps into a Sphere | 2014-09-12 | Paper |
| Polynomial-time homology for simplicial Eilenberg-MacLane spaces | 2014-03-24 | Paper |
| Effective homotopy of fibrations | 2012-10-11 | Paper |
| Constructive Homological Algebra and Applications | 2012-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3101174 | 2011-11-22 | Paper |
| fKenzo: a user interface for computations in algebraic topology | 2011-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3062090 | 2011-01-03 | Paper |
| A case study of 𝐴∞-structure | 2010-05-31 | Paper |
| Computing spectral sequences | 2007-10-23 | Paper |
| Algebraic models for homotopy types | 2005-10-27 | Paper |
| Computing with locally effective matrices | 2005-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4676271 | 2005-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4822389 | 2004-10-25 | Paper |
| Constructive algebraic topology | 2003-03-18 | Paper |
| The computability problem in algebraic topology | 1995-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3135181 | 1994-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975344 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975345 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4206109 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787156 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3747340 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4721240 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3873203 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3969586 | 1979-01-01 | Paper |
| Feuilletage et difféomorphismes infiniment tangents à l'identité | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4148218 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4122524 | 1976-01-01 | Paper |
| Un théorème de fonctions implicites. Applications | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5671920 | 1973-01-01 | Paper |
| Un théorème de fonctions implicites sur certains espaces de Fréchet et quelques applications | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596598 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599352 | 1970-01-01 | Paper |
