Publications

Free access to Preprints and postprints via ArXiv
My publications in zbMATHOpen (good coverage in mathematics; free access).
My publications in MathSciNet (good coverage in mathematics; login required): MathSciNet database.
My publications in DBLP (good coverage in computer science): DBLP database
My publications in the research information system of TU Dresden: FIS.
Google Scholar
My publication list at Ecole Polytechnique; no longer maintained.

Here is a Postprint of the book with the title "Complexity of Infinite-Domain Constraint Satisfaction" which appeared in the LNL Series of Cambridge University Press.

The publications of the chair of algebra and discrete structures in the system FIS of TU Dresden:

88 Entries

2021

HS-stability and complex products in involution semigroupsBodor, B., Lehtonen, E., Quinn-Gregson, T. & Verhulst, N., Oct 2021, In: Semigroup forum. 103, 2, p. 395-413, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
Smooth digraphs modulo primitive positive constructability and cyclic loop conditionsBodirsky, M., Starke, F. & Vucaj, A., Aug 2021, In: International journal of algebra and computation. 31, 5, p. 929-967, 39 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
Datalog-Expressibility for Monadic and Guarded Second-Order LogicBodirsky, M., Knäuer, S. & Rudolph, S., 1 Jul 2021, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021). Bansal, N., Merelli, E. & Worrell, J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 120:1-120:17, 17 p., 120Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
Complexity of Infinite-Domain Constraint SatisfactionBodirsky, M., 30 Jun 2021, Cambridge University PressElectronic (full-text) versionResearch output: Book/Report/Anthology > Monograph
Canonical functions: A proof via topological dynamicsBodirsky, M. & Pinsker, M., 29 Jun 2021, In: Contributions to Discrete Mathematics : CDM. 16, 2, p. 36-45, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property.Bodirsky, M. & Bodor, B., 29 Jun 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. p. 1-13, 13 p., 9470683Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
On Logics and Homomorphism ClosureBodirsky, M., Feller, T., Knäuer, S. & Rudolph, S., 29 Jun 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Wiley-IEEE Press, p. 1-13, 13 p., 9470511Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
Noncrossing Arc Diagrams, Tamari Lattices, and Parabolic Quotients of the Symmetric GroupMuhle, H., Jun 2021, In: Annals of combinatorics. 25, 2, p. 307-344, 38 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
Uniform parsing for hyperedge replacement grammarsBjörklund, H., Drewes, F., Ericson, P. & Starke, F., Jun 2021, In: Journal of computer and system sciences. 118, p. 1-27, 27 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
ℵ -categoricity of semigroups IIQuinn-Gregson, T., Jun 2021, In: Semigroup forum. 102, 3, p. 809-841, 33 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
PROJECTIVE CLONE HOMOMORPHISMSBodirsky, M., Pinsker, M. & Pongrácz, A., Mar 2021, In: The journal of symbolic logic. 86, 1, p. 148-161, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
Permutation groups with small orbit growthBodirsky, M. & Bodor, B., 20 Jan 2021, In: Journal of Group Theory. 24, 4, p. 643-709, 67 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
A universal partition result for infinite homogeneous K_n-free and related graphsAranda, A., Laflamme, C., Soukup, D. T. & Woodrow, R., Jan 2021, In: Discrete Mathematics. 344, 1, 112153Electronic (full-text) versionResearch output: Contribution to journal > Research article
Exploring the topological entropy of formal languagesStarke, F., Jan 2021, In: Theoretical computer science : the journal of the EATCS. 849, p. 210-226, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
ω-categorical structures avoiding height 1 identitiesBodirsky, M., Mottet, A., Olšák, M., Opršal, J., Pinsker, M. & Willard, R., Jan 2021, In: Transactions of the American Mathematical Society. 374, 1, p. 327-350, 24 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
A Consecutive Lehmer Code for Parabolic Quotients of the Symmetric Group.Fang, W., Mühle, H. & Novelli, J., 2021, In: The Electronic journal of combinatorics. 28, 3, 28 p., P3.53Electronic (full-text) versionResearch output: Contribution to journal > Research article
A proof of the algebraic tractability conjecture for monotone monadic SNPBodirsky, M., Madelaine, F. & Mottet, A., 2021, In: SIAM journal on computing : a publication of the Society for Industrial and Applied Mathematics. 50, 4Electronic (full-text) versionResearch output: Contribution to journal > Research article
Distributive lattices have the intersection propertyMühle, H., 2021, In: Mathematica Bohemica. 146, 1, p. 7-17, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom.Bodirsky, M. & Knäuer, S., 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. p. 6218-6226, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
Piecewise linear valued constraint satisfaction problems with fixed number of variablesBodirsky, M., Mamino, M. & Viola, C., 2021, AIRO Springer Series. Springer International Publishing AG, p. 265-276, 12 p., (AIRO Springer Series; vol. 5)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
Tractable Combinations of Theories via SamplingBodirsky, M. & Greiner, J., 2021, Logics in Artiﬁcial Intelligence - 17th European Conference, JELIA 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (eds.). Springer, Berlin [u. a.], p. 133-146, 14 p., (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12678 LNAI)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2020

Temporal Constraint Satisfaction Problems in Fixed-Point LogicBodirsky, M., Pakusa, W. & Rydval, J., 8 Jul 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. Association for Computing Machinery (ACM), New York, p. 237-251, 15 p., 3394750. (ACM International Conference Proceeding Series)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
On associative operations on commutative integral domainsLehtonen, E. & Starke, F., Jun 2020, In: Semigroup forum. 100, p. 910–915Electronic (full-text) versionResearch output: Contribution to journal > Research article
Two-element structures modulo primitive positive constructabilityBodirsky, M. & Vucaj, A., 1 May 2020, In: Algebra universalis. 81, 2, 20Electronic (full-text) versionResearch output: Contribution to journal > Research article
Connectivity Properties of Factorization Posets in Generated Groups.Mühle, H. & Ripoll, V., 2020, In: Order. 37, 1, p. 115-149, 35 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article

Publications

2021

2020

About this page

Willers-Bau