Conceptual Designing Supported by Automated Checking of Design Requirements and Constraints. - Wojciech Palacz; Ewa Grabska; Szymon Gajek (CE, 2011)

Artefactual Reasoning in a Hypergraph-Based CAD System. - Mehul Bhatt; Szymon Gajek; Ewa Grabska; Wojciech Palacz (Computer Recognition Systems 4, 2011)

Knowledge Representation for Human-Computer Interaction in a System Supporting Conceptual Design. - Ewa Grabska; Grazyna Slusarczyk; Szymon Gajek (Fundam. Informaticae, 2013)