Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled. - Kacper Bak; Krzysztof Czarnecki 001; Andrzej Wasowski (SLE, 2010)

Example-driven modeling: model = abstractions + examples. - Kacper Bak; Dina Zayan; Krzysztof Czarnecki 001; Michal Antkiewicz; Zinovy Diskin; Andrzej Wasowski; Derek Rayside (ICSE, 2013)

Example-Driven Modeling using Clafer. - Michal Antkiewicz; Kacper Bak; Krzysztof Czarnecki 001; Zinovy Diskin; Dina Zayan; Andrzej Wasowski (MDEBE@MoDELS, 2013)

Partial Instances via Subclassing. - Kacper Bak; Zinovy Diskin; Michal Antkiewicz; Krzysztof Czarnecki 001; Andrzej Wasowski (SLE, 2013)

Clafer tools for product line engineering. - Michal Antkiewicz; Kacper Bak; Alexandr Murashkin; Rafael Olaechea; Jia Hui (Jimmy) Liang; Krzysztof Czarnecki 001 (SPLC Workshops, 2013)

Modeling and Analysis of Software Product Line Variability in Clafer. - Kacper Bak (2013)

Clafer: unifying class and feature modeling. - Kacper Bak; Zinovy Diskin; Michal Antkiewicz; Krzysztof Czarnecki 001; Andrzej Wasowski (Softw. Syst. Model., 2016)

SoK: A Review of Cross-Chain Bridge Hacks in 2023. - Nikita Belenkov; Valerian Callens; Alexandr Murashkin; Kacper Bak; Martin Derka; Jan Gorzny; Sung-Shine Lee (CoRR, 2025)