| Constructive category theory and applications to equivariant sheaves S Posur | 14 | 2017 |
| The CAP project–Categories, Algorithms, Programming S Gutsche, Ø Skartsæterhagen, S Posur | 13 | |
| A constructive approach to Freyd categories S Posur Applied Categorical Structures 29 (1), 171-211, 2021 | 10 | 2021 |
| Linear systems over localizations of rings S Posur Archiv der Mathematik 111 (1), 23-32, 2018 | 8 | 2018 |
| On the Syntax and Semantics of CAP. S Gutsche, S Posur, Ø Skartsæterhagen CICM Workshops, 2018 | 8 | 2018 |
| Methods of constructive category theory S Posur arXiv preprint arXiv:1908.04132, 2019 | 6 | 2019 |
| On free abelian categories for theorem proving S Posur Journal of Pure and Applied Algebra 226 (7), 106994, 2022 | 4 | 2022 |
| Constructing equivariant vector bundles via the BGG correspondence S Posur Journal of Symbolic Computation 91, 57-73, 2019 | 3 | 2019 |
| Cap: categories, algorithms, programming S Gutsche, S Posur Computeralgebra-Rundbrief 64, 14-17, 2019 | 2 | 2019 |
| Elimination via saturation M Barakat, M Lange-Hegermann, S Posur arXiv preprint arXiv:1707.00925, 2017 | 2 | 2017 |
| Indecomposable objects in Khovanov–Sazdanovic's generalizations of Deligne's interpolation categories J Flake, R Laugwitz, S Posur Advances in Mathematics 415, 108892, 2023 | 1 | 2023 |
| Projection formulas and induced functors on centers of monoidal categories J Flake, R Laugwitz, S Posur arXiv preprint arXiv:2402.10094, 2024 | | 2024 |
| An abelian ambient category for behaviors in algebraic systems theory S Posur arXiv preprint arXiv:2303.02636, 2023 | | 2023 |
| Tensor products of finitely presented functors M Bies, S Posur Journal of Algebra and Its Applications, 2250186, 2021 | | 2021 |
| A constructive approach to Fourier-Mukai transforms for projective spaces via -functors between pretriangulated dg categories S Posur arXiv preprint arXiv:2003.13023, 2020 | | 2020 |
| Closing the category of finitely presented functors under images made constructive S Posur arXiv preprint arXiv:1911.11469, 2019 | | 2019 |
| Atom spectra of graded rings and sheafification in toric geometry S Posur Journal of Algebra 534, 207-227, 2019 | | 2019 |
Mohamed BarakatProfessor of Mathematics, University of SiegenVerified email at uni-siegen.de
