Publications

Journal Publications

Lifting propositional proof compression algorithms to first-order logic. J. Gorzny, E. Postan, B. Woltzenlogel Paleo. Journal of Logic and Computation.

End-Vertices of LBFS of (AT-free) bigraphs. J. Gorzny and J. Huang. Discrete Applied Mathematics. [pdf]

Exact Values for the ε-ascent chromatic index of complete graphs. C. M. van Bommel and J. Gorzny. To appear in The Journal of Combinatorial Mathematics and Combinatorial Computing. [pdf]

Verification of uncertainty reducing model transformations. R. Salay, M. Chechik, M. Famelis, and J. Gorzny. The Journal of Object Technology. [pdf]

Conference & Workshop Papers

Computing Imbalance-Minimal Orderings for Bipartite Permutation Graphs and Threshold Graphs. Jan Gorzny. COCOA 2020. (Errata)

Constant-Time Updates Using Token Mechanics. Sebastian Banescu, Martin Derka, Jan Gorzny, Sung-Shine Lee, and Alex Murashkin. Blockchain 2020.

End-Vertices of AT-Free Bigraphs. Jan Gorzny and Jing Huang. COCOON 2020. (Errata)

Partial Regularization of First-Order Resolution Proofs. J. Gorzny, E. Postan, and B. Woltzenlogel Paleo. GCAI 2020 Best Paper Award

Imbalance, cutwidth, and the structure of optimal orderings. Jan Gorzny and Jonathan F. Buss. COCOON 2019. (Errata)

Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses. Jan Gorzny and Bruno Woltzenlogel Paleo. CADE 2015 [pdf | slides].

Change Propagation Due to Uncertainty Change. Rick Salay, Jan Gorzny, and Marsha Chechik. FASE 2013 [pdf].

Feature Interaction Analysis of the Feature-Oriented Requirements-Modelling Language Using Alloy. David Dietrich, Pourya Shaker, Joanne M. Atlee, Derek Rayside, and Jan Gorzny. MoDeVVa 2012 [pdf].

Comparing the Effectiveness of Reasoning Formalisms for Partial Models. Pooya Saadatpanah, Michalis Famelis, Jan Gorzny, Nathan Robinson, Marsha Chechik, and Rick Salay. MoDeVVa 2012 [pdf].

Towards a Methodology for Verifying Partial Model Refinements. Rick Salay, Marsha Chechik, and Jan Gorzny. VOLT 2012 [pdf].

Theses

Related Orderings of AT-Free Graphs. Jan Gorzny. Ph.D. Thesis, 2022, University of Waterloo. [pdf]

On End Vertices of Search Algorithms. Jan Gorzny. M.Sc. Thesis, 2015, University of Victoria. [pdf]

Books

Fundamentals of Smart Contract Security. Richard Ma, Jan Gorzny, Ed Zulkoski, Kacper Bak, and Olga V. Mack. Momentum Press, 2019.

Posters Presented

Imbalance, Cutwidth, and the Structure of Optimal Orderings. J. Gorzny and J. Buss. DIMEA Days 2019, Brno, Czech Republic.

Partial Regularization of First-Order Resolution Proofs. J. Gorzny, E. Postan, and B. Woltzenlogel Paleo. User Interfaces for Theorem Provers, University of Oxford, Oxford, United Kingdom, 2018 and North American Summer School on Logic, Language, and Information, 2016.

Uncertainty management with partial models. M. Famelis, J. Gorzny, P. SaadatPanah, M. Chechik, and R. Salay. Research in Action Showcase, University of Toronto, Toronto, ON, Canada, 2012.

Feature-oriented modelling and analysis. J. M. Atlee, P. Shaker, and J. Gorzny CASCON, Toronto, ON, Canada, 2011.

JSCOOP: Simple concurrency for Java.J. Gorzny, F. Torshizi, and M. Chechik. Department Showcase, University of Toronto, Toronto, ON, Canada, 2010.

Erdos Number

My Erdos number is 3:

I (Jan Gorzny) have coauthored with Jonathan F. Buss,
Jonathan F. Buss coauthored with Jeffrey O. Shallit,
Jeffrey O. Shallit coauthored with Paul Erdős.