by Gorzny, Jan, Huang, Jing
Published in Discrete Applied Mathematics (10.07.2017)

by Gorzny, Jan, Buss, Jonathan F.
Published in Computing and Combinatorics (21.07.2019)

by Gorzny, Jan, Huang, Jing
Published in Computing and Combinatorics (2020)

by Gorzny, Jan, Derka, Martin
Published in 2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW) (24.06.2024)

by Gorzny, Jan, Derka, Martin
Year of Publication 24.04.2024

by Gorzny, Jan, Woltzenlogel Paleo, Bruno
Published in Automated Deduction - CADE-25 (2015)

by Ma, Richard, Gorzny, Jan, Zulkoski, Edward, Bak, Kacper, Mack, Olga V
Year of Publication 2019

by Salay, Rick, Gorzny, Jan, Chechik, Marsha
Published in Fundamental Approaches to Software Engineering (2013)

by Chen, Zhiyang, Gorzny, Jan, Derka, Martin
Year of Publication 26.08.2024

by Callens, Valerian, Meghji, Zeeshan, Gorzny, Jan
Published in 2024 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS) (15.07.2024)

by Palakkal, Roshan, Gorzny, Jan, Derka, Martin
Published in 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) (27.05.2024)

by Callens, Valerian, Meghji, Zeeshan, Gorzny, Jan
Year of Publication 15.05.2024

by Gorzny, Jan, Derka, Martin
Published in arXiv.org (24.04.2024)

by Lee, Sung-Shine, Murashkin, Alexandr, Derka, Martin, Gorzny, Jan
Published in 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) (01.05.2023)

by Lee, Sung-Shine, Murashkin, Alexandr, Derka, Martin, Gorzny, Jan
Year of Publication 28.10.2022

by Derka, Martin, Gorzny, Jan, Siqueira, Diego, Pellegrino, Donato, Guggenmos, Marius, Chen, Zhiyang
Year of Publication 02.05.2024

by Chen, Zhiyang, Gorzny, Jan, Derka, Martin
Published in arXiv.org (26.08.2024)

by Callens, Valerian, Meghji, Zeeshan, Gorzny, Jan
Published in arXiv.org (15.05.2024)

by Gorzny, Jan, Huang, Jing
Year of Publication 03.09.2015

by Gorzny, Jan, Postan, Ezequiel, Paleo, Bruno Woltzenlogel
Year of Publication 17.04.2018