by Windsteiger, Wolfgang
Published in Electronic proceedings in theoretical computer science (30.12.2021)

by Nikolic, Mladen, Marinkovic, Vesna, Kovaacs, Zoltan, Janicic, Predrag
Published in Annals of mathematics and artificial intelligence (01.04.2019)

by Narboux, Julien, Neuper, Walther, Quaresma, Pedro
Published in Electronic proceedings in theoretical computer science (07.05.2025)

by Cellucci, Carlo
Published in Foundations of science (01.03.2017)

by Fitting, Melvin
Year of Publication 2012

by Banks, Jess, Breuer, Jonathan, Garza-Vargas, Jorge, Seelig, Eyal, Simon, Barry
Published in Proceedings of the National Academy of Sciences - PNAS (04.06.2024)

by Stojanović-Ðurđević, Sana
Published in Annals of mathematics and artificial intelligence (01.04.2019)

by Fitting, Melvin
Year of Publication 1996

by Widada, Wahyu, Herawaty, Dewi, Jumri, Rahmat, Wulandari, Hayatri, Aliza, Fenny, Anggoro, Abdurrobbil F D
Published in Journal of physics. Conference series (01.02.2020)

by Windsteiger, Wolfgang
Published in arXiv.org (03.01.2022)

by Stojanović-Đurđević, Sana, Urošević, Andrija, Marić, Filip
Published in Journal of Educational Studies in Mathematics and Computer Science (2024)

by DeVos, Matt, McDonald, Jessica, Nurse, Kathryn
Published in Journal of graph theory (01.10.2024)

by Narboux, Julien, Neuper, Walther, Quaresma, Pedro
Year of Publication 07.05.2025

by HUANG, XUEJING, ZHAO, JINXU, OLIVEIRA, BRUNO C. D. S.
Published in Journal of functional programming (01.01.2021)

by Narboux, Julien, Neuper, Walther, Quaresma, Pedro
Published in arXiv.org (04.04.2024)

by Ni'mah, K, Susanto, Sunardi, Hobri
Published in Journal of physics. Conference series (01.02.2020)

by Safrida, L N, Susanto, Setiawan, T B, Ambarwati, R, Hussen, S
Published in Journal of physics. Conference series (01.03.2021)

by Paulson, Lawrence C.
Published in Proceedings of the Royal Society. A, Mathematical, physical, and engineering sciences (01.02.2018)

by Quaresma, Pedro, Marcos, João, Neuper, Walther
Published in arXiv.org (09.03.2023)

by Viger, Torin, Murphy, Logan, Di Sandro, Alessio, Menghi, Claudio, Shahin, Ramy, Chechik, Marsha
Published in Software and systems modeling (01.10.2023)