| A Methodology for Verifying Refinements of Partial Models. R Salay, M Chechik, M Famelis, J Gorzny J. Object Technol. 14 (3), 3:1-31, 2015 | 28 | 2015 |
| Change propagation due to uncertainty change R Salay, J Gorzny, M Chechik International Conference on Fundamental Approaches to Software Engineering …, 2013 | 21 | 2013 |
| Towards a methodology for verifying partial model refinements R Salay, M Chechik, J Gorzny 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 20 | 2012 |
| Comparing the effectiveness of reasoning formalisms for partial models P Saadatpanah, M Famelis, J Gorzny, N Robinson, M Chechik, R Salay Proceedings of the Workshop on Model-Driven Engineering, Verification and …, 2012 | 10 | 2012 |
| Towards the compression of first-order resolution proofs by lowering unit clauses J Gorzny, B Woltzenlogel Paleo International Conference on Automated Deduction, 356-366, 2015 | 9 | 2015 |
| End-vertices of LBFS of (AT-free) bigraphs J Gorzny, J Huang Discrete Applied Mathematics 225, 87-94, 2017 | 8 | 2017 |
| Feature interaction analysis of the feature-oriented requirements-modelling language using Alloy D Dietrich, P Shaker, JM Atlee, D Rayside, J Gorzny Proceedings of the Workshop on Model-Driven Engineering, Verification and …, 2012 | 6 | 2012 |
| Fundamentals of Smart Contract Security R Ma, J Gorzny, E Zulkoski, K Bak, OV Mack Momentum Press, 2019 | 5 | 2019 |
| Imbalance, cutwidth, and the structure of optimal orderings J Gorzny, JF Buss International Computing and Combinatorics Conference, 219-231, 2019 | 4 | 2019 |
| On end vertices of search algorithms J Gorzny | 4 | 2015 |
| Computing imbalance-minimal orderings for bipartite permutation graphs and threshold graphs J Gorzny International Conference on Combinatorial Optimization and Applications, 766-779, 2020 | 2 | 2020 |
| End-vertices of AT-free bigraphs J Gorzny, J Huang International Computing and Combinatorics Conference, 52-63, 2020 | 2 | 2020 |
| Translating the Feature-Oriented Requirements Modelling Language to Alloy D Dietrich, P Shaker, J Gorzny, J Atlee, D Rayside Tech. Rep. CS-2012-12, University of Waterloo, David R. Cheriton School of …, 2012 | 2 | 2012 |
| Pourya Shaker, Joanne M. Atlee, Derek Rayside & Jan Gorzny (2012): Feature Interaction Analysis of the Feature-oriented Requirements-modelling Language Using Alloy D Dietrich Proceedings of the Workshop on Model-Driven Engineering, Verification and …, 0 | 2 | |
| Partial regularization of first-order resolution proofs J Gorzny, E Postan, BW Paleo arXiv preprint arXiv:1804.06531, 2018 | 1 | 2018 |
| Verification of Uncertainty Reducing Model Transformations R Salay, M Chechik, M Famelis, J Gorzny Journ. of Object Technology, 2015 | 1 | 2015 |
| Related Orderings of AT-Free Graphs J Gorzny University of Waterloo, 2022 | | 2022 |
| Lifting propositional proof compression algorithms to first-order logic J Gorzny, E Postan, BW Paleo Journal of Logic and Computation 31 (8), 1903-1932, 2021 | | 2021 |
| Constant-Time Updates Using Token Mechanics S Banescu, M Derka, J Gorzny, SS Lee, A Murashkin 2020 IEEE International Conference on Blockchain (Blockchain), 300-304, 2020 | | 2020 |
| Exact Values for the ε-Ascent Chromatic Index of Complete Graphs CM van Bommel, J Gorzny | | 2014 |
