Domes, Ferenc ; Montanher, Tiago de Morais
; Schichl, Hermann et al. /
Rigorous global filtering methods with interval unions. Beyond Traditional Probabilistic Data Processing Techniques: Interval, Fuzzy, etc. Methods and Their Applications. editor / Olga Kosheleva ; Sergey P. Shary ; Gang Xiang ; Roman Zapatrin. Vol. 835 1. ed. Singapore : Springer, 2020. pp. 249-267 (Studies in Computational Intelligence).
Fischer, Ilse ; Konvalinka, Matjaz. /
The first bijective proof of the Alternating Sign Matrix theorem. 31st International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2020). editor / Michael Drmota ; Clemens Heuberger. Dagstuhl : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2020. pp. 12:1-12:12 (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 159).
Miller, Benjamin ; Carroy, Raphael ; Soukup, Daniel Tamas. /
The open dihypergraph dichotomy and the second level of the Borel hierarchy. Trends in set theory : Simon Fest : Conference in Honor of Simon Thomas's 60th Birthday, September 15-17, 2017, Rutgers University, Piscataway, New Jersey. editor / Samuel Coskey ; Grigor Sargsyan. Providence, Rhode Island : American Mathematical Society, 2020. pp. 1-20 (Contemporary Mathematics (CONM), Vol. 752).