Institute of Algebra
Organisational unit: Institute
Contact
- TUD website: https://tu-dresden.de/mn/math/algebra
Related content and researchers (public profile)
- Researchers (public profile)
- Research output
- Journals
- Activities
- Prizes
Bodirsky, Manuel
- Chair of Algebra and Discrete Structures - Academic Staff
- Faculty of Computer Sciences - Member
Person
Network satisfaction problems solved by k-consistency
Bodirsky, M. & Knäuer, S., 18 Dec 2026, In: International journal of algebra and computation. 36, 2, p. 121-152 32 p.Research output: Contribution to journal › Research article › Contributed › peer-review
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
Bodirsky, M., Knäuer, S. & Rudolph, S., Apr 2026, In: ACM transactions on computational logic. 27, 2, p. 1-42 8.Research output: Contribution to journal › Research article › Contributed › peer-review
Spectrahedral shadows and completely positive maps on real closed fields
Bodirsky, M., Kummer, M. & Thom, A., 13 Mar 2026, In: Journal of the European Mathematical Society : JEMS. 28, 5, p. 2233–2259 27 p.Research output: Contribution to journal › Research article › Contributed › peer-review
Graph Homomorphisms and Universal Algebra
Bodirsky, M., 15 Feb 2026.Research output: Preprint/Documentation/Report › Preprint
Forbidden cycles in metrically homogeneous graphs
Hubička, J., Kompatscher, M. & Konečný, M., Feb 2026, In: European Journal of Combinatorics. 132, Part A, 104262.Research output: Contribution to journal › Research article › Contributed › peer-review
International Symposium on Multiple-Valued Logic
ISSNs: 0195-623X
IEEE Computer Society, United States of America
Scopus rating (2025): CiteScore 1.6 SJR 0.32 SNIP 0.684
Journal
Acta Arithmetica
ISSNs: 0065-1036
Additional searchable ISSN (electronic): 1730-6264
Instytut Matematyczny, Poland
Scopus rating (2025): CiteScore 0.8 SJR 0.491 SNIP 0.706
Journal
Journal of the Institute of Mathematics of Jussieu : JIMJ = Journal de l'Institut de Mathématiques de Jussieu
ISSNs: 1474-7480
Additional searchable ISSN (electronic): 1475-3030
Cambridge University Press, United Kingdom
Scopus rating (2025): CiteScore 2.5 SJR 1.502 SNIP 1.381
Journal
Combinatorial theory : CT
ISSNs: 2766-1334
Additional searchable ISSN (electronic): 2766-1334
eScholarship Publishing, United States of America
Scopus rating (2025): CiteScore 1.7 SJR 0.99 SNIP 1.502
Indexed in DOAJ
Journal
Séminaire Lotharingien de Combinatoire : SLC
ISSNs: 1286-4889
Additional searchable ISSN (electronic): 1286-4889
Faculty of Mathematics, University of Vienna, Austria
Scopus rating (2025): CiteScore 0.4 SJR 0.257 SNIP 0.309
Journal
Generic Structures for Monotone Monadic Second-Order Logic
Bodirsky, M. (Speaker)Oct 2023
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Model-theoretic Challenges in Constraint Satisfaction
Bodirsky, M. (Speaker)Sept 2023
Activity: Talk or presentation at external institutions/events › Keynote › Invited
Valued Constraint Satisfaction Problems and Resilience in Database Theory
Bodirsky, M. (Speaker)Mar 2023
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Mathematical logic quarterly : MLQ (Journal)
Bodirsky, M. (Senior editor)1 Jan 2023 → 31 Dec 2025
Activity: Publication peer-review and editorial work › Editorial work
Network Satisfaction Problems solved by k -Consistency
Bodirsky, M. (Speaker)2023
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
POCOCOP
Bodirsky, M. (Recipient), Barto, L. (Recipient) & Pinsker, M. (Recipient), 25 Oct 2022
Prize: Fellow/scholarship › Research projects/Networks
ERC Consolidator Grant
Bodirsky, M. (Recipient), 2016
Prize: Fellow/scholarship › Research projects/Networks
Best Paper Award 2015
Borchmann, D. (Recipient) & Kriegel, F. (Recipient), 2015
Prize: Publication/Conference prize
ERC Starting Grant
Bodirsky, M. (Recipient), 2011
Prize: Fellow/scholarship › Early career researchers/research group