Publications

UFO 2022

LUKŠAN, Ladislav, MATONOHA, Ctirad, VLČEK, Jan. <em>UFO 2022</em> [software]. Ústav informatiky AV ČR, v. v. i., 2022. Dostupné z: https://www.cs.cas.cz/~luksan/ufo.html

Autoři: Ladislav Lukšan , Ctirad Matonoha , Jan Vlček

Czech Gathering of Logicians 2022

CINTULA, Petr, WANNENBURG, Johann Joubert, VACKOVÁ, Kateřina, GRIMAU, Berta, HANIKOVÁ, Zuzana. <em>Czech Gathering of Logicians 2022</em>. Prague, Ústav informatiky AV ČR, v. v. i., 16. 6. 2022 - 17. 6. 2022. Konference. Dostupné z: https://uivty.cs.cas.cz/~clog2022/BookOfAbstracts.pdf

Autoři: Petr Cintula , Johann Joubert Wannenburg , Kateřina Vacková , Berta Grimau , Zuzana Haniková

PermutationCCC

KATHPALIA, Aditi, PALUŠ, Milan. <em>PermutationCCC</em> [software]. 2022. Dostupné z: https://github.com/AditiKathpalia/PermutationCCC

Autoři: Aditi Kathpalia , Milan Paluš

On the anti-Ramsey threshold for non-balanced graphs

CAMPOS ARAÚJO, Pedro, MARTINS, T., MATTOS, L., MENDONÇA, W., MOREIRA, L., MOTA, G.O. <em>On the anti-Ramsey threshold for non-balanced graphs</em>. Cornell: Cornell University, 2022. arXiv.org e-Print archive, arXiv:2201.05106<br>Dostupné z: doi:10.48550/arXiv.2201.05106.

Autoři: Pedro Campos Araújo , T. Martins , L. Mattos , W. Mendonça , L. Moreira , G.O. Mota

From flip processes to dynamical systems on graphons

GARBE, F., HLADKÝ, Jan, ŠILEIKIS, Matas, SKERMAN, F. <em>From flip processes to dynamical systems on graphons</em>. Cornell University, 2022. arXiv.org e-Print archive, arXiv:2201.12272<br>Dostupné z: doi:10.48550/arXiv.2201.12272.

Autoři: F. Garbe , Jan Hladký , Matas Šileikis , F. Skerman

Library of software modules for detecting extreme events

HLINKA, Jaroslav, PIDNEBESNA, Anna, TANI RAFFAELLI, Giulio, HARTMAN, David, PŘEVOROVSKÝ, Zdeněk, CHLADA, Milan, KOVANDA, Martin, PRÁŠEK, P., BERKA, Z., SVOBODA, R. <em>Library of software modules for detecting extreme events</em> [software]. Ústav informatiky AV ČR, v. v. i., Ústav termomechaniky AV ČR, v. v. i., CertiCon, a.s., 2022. Dostupné z: https://www.ciirc.cvut.cz/research-education/projects/nck-kui/sub13/v2/

Autoři: Jaroslav Hlinka , Anna Pidnebesna , Giulio Tani Raffaelli , David Hartman , Zdeněk Převorovský , Milan Chlada , Martin Kovanda , P. Prášek , Z. Berka , R. Svoboda

On the total versions of 1-2-3-conjecture for graphs and hypergraphs

DAVOODI, Akbar, MAHERANI, L. <em>On the total versions of 1-2-3-conjecture for graphs and hypergraphs</em>. Cornell University, 2022. arXiv.org e-Print archive, arXiv:2204.13936 [math.CO]<br>Dostupné z: doi:10.48550/arXiv.2204.13936.

Autoři: Akbar Davoodi , L. Maherani

Prominent examples of flip processes

CAMPOS ARAÚJO, Pedro, HLADKÝ, Jan, HNG, Eng Keat, ŠILEIKIS, Matas. <em>Prominent examples of flip processes</em>. Cornell University, 2022. arXiv.org e-Print archive, arXiv:2206.03884<br>Dostupné z: doi:10.48550/arXiv.2206.03884.

Autoři: Pedro Campos Araújo , Jan Hladký , Eng Keat Hng , Matas Šileikis

Autonomous Vehicle Ethics. The Trolley Problem and Beyond

JENKINS, R., ČERNÝ, David, HŘÍBEK, T. <em>Autonomous Vehicle Ethics. The Trolley Problem and Beyond</em>. New York: Oxford University Press, 2022. ISBN 978-0-19-763919-1<br>Dostupné z: doi:10.1093/oso/9780197639191.001.0001

Autoři: R. Jenkins , David Černý , T. Hříbek