FIS-Box of the chair

2021

• 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 Artificial 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
• ASNP: A Tame Fragment of Existential Second-Order LogicBodirsky, M., Knäuer, S. & Starke, F., 2020, Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (eds.). Springer, Berlin [u. a.], p. 149-162, 14 p., (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12098 LNCS)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• Extensions of Unification Modulo ACUIBaader, F., Marantidis, P., Mottet, A. & Okhotin, A., 2020, In: Mathematical Structures in Computer Science. 30, 6, p. 597-626, 30 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Hardness of Network Satisfaction for Relation Algebras with Normal Representations.Bodirsky, M. & Knäuer, S., 2020, RAMiCS. p. 31-46, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Steep-Bounce zeta map in Parabolic CatalandCeballos, C., Fang, W. & Mühle, H., 2020, In:  Journal of combinatorial theory : JCTA. 172, 105210Electronic (full-text) versionResearch output: Contribution to journal > Research article

2019

• A poset structure on the alternating group generated by 3-cyclesMühle, H. & Nadeau, P., Dec 2019, In: Algebraic Combinatorics. 2, 6, p. 1285-1310, 26 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The core label order of a congruence-uniform latticeMühle, H., 1 Mar 2019, In: Algebra universalis. 80, 1, 10Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Ballot-Noncrossing PartitionsMühle, H., 2019Research output: Contribution to conferences > Paper