Publikationen

Freier Zugang zu Preprints and Postprints via ArXiv
Meine Publikationen in zbMATHOpen (gute Abdeckung in Mathematik; freier Zugang).
Meine Publikationen in DBLP (gute Abdeckung in Informtik).
Meine Publikationen auf Orcid.
Meine Publikationen in MathSciNet (gute Abdeckung in Mathematik; Login notwendig).
Meine Publikationen im Forschungsinformationssystem (FIS) der TU Dresden.
Google Scholar.
Meine Publikationsliste an der Ecole Polytechnique; wird nicht weiter aktualisiert.

Hier ein Postprint des Buches mit dem Titel "Complexity of Infinite-Domain Constraint Satisfaction", welches in der LNL Serie (Cambridge University Press) erschienen ist.

Die Publikationen des Lehrstuhls im Forschungsinformationssystem der TU Dresden:

88 Einträge

2021

HS-stability and complex products in involution semigroupsBodor, B., Lehtonen, E., Quinn-Gregson, T. & Verhulst, N., Okt. 2021, in: Semigroup forum. 103, 2, S. 395-413, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
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, S. 929-967, 39 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Datalog-Expressibility for Monadic and Guarded Second-Order LogicBodirsky, M., Knäuer, S. & Rudolph, S., 1 Juli 2021, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021). Bansal, N., Merelli, E. & Worrell, J. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, S. 120:1-120:17, 17 S., 120Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Complexity of Infinite-Domain Constraint SatisfactionBodirsky, M., 30 Juni 2021, Cambridge University PressElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Monographie
Canonical functions: A proof via topological dynamicsBodirsky, M. & Pinsker, M., 29 Juni 2021, in: Contributions to Discrete Mathematics : CDM. 16, 2, S. 36-45, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property.Bodirsky, M. & Bodor, B., 29 Juni 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. S. 1-13, 13 S., 9470683Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
On Logics and Homomorphism ClosureBodirsky, M., Feller, T., Knäuer, S. & Rudolph, S., 29 Juni 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Wiley-IEEE Press, S. 1-13, 13 S., 9470511Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Noncrossing Arc Diagrams, Tamari Lattices, and Parabolic Quotients of the Symmetric GroupMuhle, H., Juni 2021, in: Annals of combinatorics. 25, 2, S. 307-344, 38 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Uniform parsing for hyperedge replacement grammarsBjörklund, H., Drewes, F., Ericson, P. & Starke, F., Juni 2021, in: Journal of computer and system sciences. 118, S. 1-27, 27 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
ℵ -categoricity of semigroups IIQuinn-Gregson, T., Juni 2021, in: Semigroup forum. 102, 3, S. 809-841, 33 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
PROJECTIVE CLONE HOMOMORPHISMSBodirsky, M., Pinsker, M. & Pongrácz, A., März 2021, in: The journal of symbolic logic. 86, 1, S. 148-161, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Permutation groups with small orbit growthBodirsky, M. & Bodor, B., 20 Jan. 2021, in: Journal of Group Theory. 24, 4, S. 643-709, 67 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
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, 112153Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Exploring the topological entropy of formal languagesStarke, F., Jan. 2021, in: Theoretical computer science : the journal of the EATCS. 849, S. 210-226, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
ω-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, S. 327-350, 24 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
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 S., P3.53Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
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, 4Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Distributive lattices have the intersection propertyMühle, H., 2021, in: Mathematica Bohemica. 146, 1, S. 7-17, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom.Bodirsky, M. & Knäuer, S., 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. S. 6218-6226, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Piecewise linear valued constraint satisfaction problems with fixed number of variablesBodirsky, M., Mamino, M. & Viola, C., 2021, AIRO Springer Series. Springer International Publishing AG, S. 265-276, 12 S., (AIRO Springer Series; Band 5)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
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. (Hrsg.). Springer, Berlin [u. a.], S. 133-146, 14 S., (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12678 LNAI)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

2020

Temporal Constraint Satisfaction Problems in Fixed-Point LogicBodirsky, M., Pakusa, W. & Rydval, J., 8 Juli 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. Association for Computing Machinery (ACM), New York, S. 237-251, 15 S., 3394750. (ACM International Conference Proceeding Series)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
On associative operations on commutative integral domainsLehtonen, E. & Starke, F., Juni 2020, in: Semigroup forum. 100, S. 910–915Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Two-element structures modulo primitive positive constructabilityBodirsky, M. & Vucaj, A., 1 Mai 2020, in: Algebra universalis. 81, 2, 20Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
Connectivity Properties of Factorization Posets in Generated Groups.Mühle, H. & Ripoll, V., 2020, in: Order. 37, 1, S. 115-149, 35 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel

Publikationen

2021

2020

Zu dieser Seite

Willers-Bau