FIS-Export des Lehrstuhls

2021

• 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 Artificial 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
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 149-162, 14 S., (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12098 LNCS)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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
• Extensions of Unification Modulo ACUIBaader, F., Marantidis, P., Mottet, A. & Okhotin, A., 2020, in: Mathematical Structures in Computer Science. 30, 6, S. 597-626, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Hardness of Network Satisfaction for Relation Algebras with Normal Representations.Bodirsky, M. & Knäuer, S., 2020, RAMiCS. S. 31-46, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Steep-Bounce zeta map in Parabolic CatalandCeballos, C., Fang, W. & Mühle, H., 2020, in:  Journal of combinatorial theory : JCTA. 172, 105210Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel

2019

• A poset structure on the alternating group generated by 3-cyclesMühle, H. & Nadeau, P., Dez. 2019, in: Algebraic Combinatorics. 2, 6, S. 1285-1310, 26 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• The core label order of a congruence-uniform latticeMühle, H., 1 März 2019, in: Algebra universalis. 80, 1, 10Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Ballot-Noncrossing PartitionsMühle, H., 2019Publikation: Beitrag zu Konferenzen > Paper