Jan Gorzny
Title
Cited by
Cited by
Year
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
272015
Change propagation due to uncertainty change
R Salay, J Gorzny, M Chechik
International Conference on Fundamental Approaches to Software Engineering …, 2013
202013
Towards a methodology for verifying partial model refinements
R Salay, M Chechik, J Gorzny
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
202012
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
102012
Towards the compression of first-order resolution proofs by lowering unit clauses
J Gorzny, BW Paleo
International Conference on Automated Deduction, 356-366, 2015
82015
End-vertices of LBFS of (AT-free) bigraphs
J Gorzny, J Huang
Discrete Applied Mathematics 225, 87-94, 2017
62017
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
62012
On end vertices of search algorithms
J Gorzny
32015
Imbalance, cutwidth, and the structure of optimal orderings
J Gorzny, JF Buss
International Computing and Combinatorics Conference, 219-231, 2019
22019
Fundamentals of Smart Contract Security
R Ma, J Gorzny, E Zulkoski, K Bak, OV Mack
Momentum Press, 2019
22019
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
22012
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
End-Vertices of AT-free Bigraphs
J Gorzny, J Huang
International Computing and Combinatorics Conference, 52-63, 2020
12020
Partial regularization of first-order resolution proofs
J Gorzny, E Postan, BW Paleo
arXiv preprint arXiv:1804.06531, 2018
12018
Verification of Uncertainty Reducing Model Transformations
R Salay, M Chechik, M Famelis, J Gorzny
Journ. of Object Technology, 2015
12015
Lifting propositional proof compression algorithms to first-order logic
J Gorzny, E Postan, B Woltzenlogel Paleo
Journal of Logic and Computation, 2020
2020
Computing Imbalance-Minimal Orderings for Bipartite Permutation Graphs and Threshold Graphs
J Gorzny
International Conference on Combinatorial Optimization and Applications, 766-779, 2020
2020
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
Comparing the Effectiveness of Reasoning Formalisms for Partial Models
PSMFJ Gorzny, N Robinson, MCR Salay
The system can't perform the operation now. Try again later.
Articles 1–20