default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJan Gorzny
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[i10]Nikita Belenkov, Valerian Callens, Alexandr Murashkin, Kacper Bak, Martin Derka, Jan Gorzny, Sung-Shine Lee:
SoK: A Review of Cross-Chain Bridge Hacks in 2023. CoRR abs/2501.03423 (2025)- [i9]Francisco Gomes Figueira, Martin Derka, Ching Lun Chiu, Jan Gorzny:
A Practical Rollup Escape Hatch Design. CoRR abs/2503.23986 (2025) - 2024
- [c15]Valerian Callens, Zeeshan Meghji, Jan Gorzny:
Temporarily Restricting Solidity Smart Contract Interactions. DAPPS 2024: 1-8 - [c14]Roshan Palakkal, Jan Gorzny, Martin Derka:
SoK: Compression in Rollups. ICBC 2024: 712-728 - [c13]Jan Gorzny, Martin Derka:
Requirements Engineering Challenges for Blockchain Rollups. RE Workshops 2024: 340-347 - [i8]Jan Gorzny, Martin Derka:
A Rollup Comparison Framework. CoRR abs/2404.16150 (2024) - [i7]Martin Derka, Jan Gorzny, Diego Siqueira, Donato Pellegrino, Marius Guggenmos, Zhiyang Chen:
Sequencer Level Security. CoRR abs/2405.01819 (2024) - [i6]Valerian Callens, Zeeshan Meghji, Jan Gorzny:
Temporarily Restricting Solidity Smart Contract Interactions. CoRR abs/2405.09084 (2024) - [i5]Zhiyang Chen, Jan Gorzny, Martin Derka:
Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security. CoRR abs/2408.14621 (2024) - 2023
- [c12]Adrian Koegl
, Zeeshan Meghji, Donato Pellegrino, Jan Gorzny, Martin Derka:
Attacks on Rollups. DICG@Middleware 2023: 25-30 - [c11]Sung-Shine Lee, Alexandr Murashkin, Martin Derka, Jan Gorzny:
SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks. ICBC 2023: 1-14 - [c10]Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand:
Automated Analysis of Halo2 Circuits. SMT 2023: 3-17 - [i4]Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand:
Automated Analysis of Halo2 Circuits. IACR Cryptol. ePrint Arch. 2023: 1051 (2023) - 2022
- [c9]Jan Gorzny, Po-An Lin, Martin Derka:
Ideal properties of rollup escape hatches. DICG@Middleware 2022: 7-12 - [i3]Sung-Shine Lee, Alexandr Murashkin, Martin Derka, Jan Gorzny:
SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks. CoRR abs/2210.16209 (2022) - 2021
- [j3]Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo:
Lifting propositional proof compression algorithms to first-order logic. J. Log. Comput. 31(8): 1903-1932 (2021) - 2020
- [c8]Sebastian Banescu, Martin Derka, Jan Gorzny, Sung-Shine Lee, Alex Murashkin:
Constant-Time Updates Using Token Mechanics. Blockchain 2020: 300-304 - [c7]Jan Gorzny:
Computing Imbalance-Minimal Orderings for Bipartite Permutation Graphs and Threshold Graphs. COCOA 2020: 766-779 - [c6]Jan Gorzny, Jing Huang:
End-Vertices of AT-free Bigraphs. COCOON 2020: 52-63 - [c5]Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo:
Partial Regularization of First-Order Resolution Proofs. GCAI 2020: 34-45
2010 – 2019
- 2019
- [c4]Jan Gorzny, Jonathan F. Buss:
Imbalance, Cutwidth, and the Structure of Optimal Orderings. COCOON 2019: 219-231 - 2018
- [i2]Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo:
Partial Regularization of First-Order Resolution Proofs. CoRR abs/1804.06531 (2018) - 2017
- [j2]Jan Gorzny, Jing Huang:
End-vertices of LBFS of (AT-free) bigraphs. Discret. Appl. Math. 225: 87-94 (2017) - 2015
- [j1]Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny:
A Methodology for Verifying Refinements of Partial Models. J. Object Technol. 14(3): 3:1-31 (2015) - [c3]Jan Gorzny, Bruno Woltzenlogel Paleo:
Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses. CADE 2015: 356-366 - [i1]Jan Gorzny, Jing Huang:
End-vertices of LBFS of (AT-free) bigraphs. CoRR abs/1509.01307 (2015) - 2013
- [c2]Rick Salay, Jan Gorzny, Marsha Chechik:
Change Propagation due to Uncertainty Change. FASE 2013: 21-36 - 2012
- [c1]Rick Salay, Marsha Chechik, Jan Gorzny:
Towards a Methodology for Verifying Partial Model Refinements. ICST 2012: 938-945
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-22 21:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
