Jan Gorzny

According to our database, Jan Gorzny authored at least 15 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Automated Analysis of Halo2 Circuits.

Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand

IACR Cryptol. ePrint Arch., 2023

SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks.

Sung-Shine Lee, Alexandr Murashkin, Martin Derka, Jan Gorzny

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

Attacks on Rollups.

Adrian Koegl, Zeeshan Meghji, Donato Pellegrino, Jan Gorzny, Martin Derka

Proceedings of the 4th International Workshop on Distributed Infrastructure for the Common Good, 2023

2022

Ideal properties of rollup escape hatches.

Jan Gorzny, Po-An Lin, Martin Derka

Proceedings of the 3rd International Workshop on Distributed Infrastructure for the Common Good, 2022

2021

Lifting propositional proof compression algorithms to first-order logic.

Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo

J. Log. Comput., 2021

2020

Partial Regularization of First-Order Resolution Proofs.

Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo

Proceedings of the 6th Global Conference on Artificial Intelligence, 2020

End-Vertices of AT-free Bigraphs.

Jan Gorzny, Jing Huang

Proceedings of the Computing and Combinatorics - 26th International Conference, 2020

Computing Imbalance-Minimal Orderings for Bipartite Permutation Graphs and Threshold Graphs.

Jan Gorzny

Proceedings of the Combinatorial Optimization and Applications, 2020

Constant-Time Updates Using Token Mechanics.

Sebastian Banescu, Martin Derka, Jan Gorzny, Sung-Shine Lee, Alex Murashkin

Proceedings of the IEEE International Conference on Blockchain, 2020

2019

Imbalance, Cutwidth, and the Structure of Optimal Orderings.

Jan Gorzny, Jonathan F. Buss

Proceedings of the Computing and Combinatorics - 25th International Conference, 2019

2017

End-vertices of LBFS of (AT-free) bigraphs.

Jan Gorzny, Jing Huang

Discret. Appl. Math., 2017

2015

A Methodology for Verifying Refinements of Partial Models.

Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny

J. Object Technol., 2015

Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses.

Jan Gorzny, Bruno Woltzenlogel Paleo

Proceedings of the Automated Deduction - CADE-25, 2015

2013

Change Propagation due to Uncertainty Change.

Rick Salay, Jan Gorzny, Marsha Chechik

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012

Towards a Methodology for Verifying Partial Model Refinements.

Rick Salay, Marsha Chechik, Jan Gorzny

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012