Zaoral, L., Dufka, A., and Svenda, P., (2024). Published in: Smart Card Research and Advanced Applications. CARDIS 2023. Lecture Notes in Computer Science, vol 14530. Springer, Cham.
Vakarjuk, J., and Snetkov, N., (2024). Published in: Proceedings of the 7th International Conference on Historical Cryptology (HistoCrypt 2024)
Klašk, D., Kučera, A., Kůr, V., Musil, V., and Řehák, V. (2024). Published in: Proceedings of the AAAI Conference on Artificial Intelligence, 38(18), 20143-20150.
Jankola, M., Strejček, J., (2024). Published in: Foundations of Software Science and Computation Structures. FoSSaCS 2024. Lecture Notes in Computer Science, vol 14574. Springer, Cham.
Bakhtina, M., Matulevičius, R., Malina, L. (2024). Published in: Complex Systems Informatics and Modeling Quarterly (CSIMQ) Issue 38, March/April 2024.
Earnshaw, M. Sobociński, P., (2023). Published in: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023).
Malík, V., Nečas, F., Schrammel, P., Vojnar, T. (2023). Published in: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2023. Lecture Notes in Computer Science, vol 13994. Springer, Cham.
Schwarzová, T., Strejček, J., Major, J. (2023). Published in: 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy
Švábenský, V., Vykopal, J., Čeleda, P., Dovjak, J. (2023). Published in: Journal of Education and Information Technologies (2023).
Dobias, P., Ricci, S., Dzurenda, P., Malina, L., Snetkov, N. (2023). Published in: Proceedings of the 20th International Conference on Security and Cryptography (SECRYPT 2023). Science and Technology Publications. 2023. ISBN: 978-989-758-666-8.p. 724-730.