Moving Specification Structures Between Logical Systems. - Tomasz Borzyszkowski (WADT, 1998)

Higher-Order Logic and Theorem Proving for Structured Specifications. - Tomasz Borzyszkowski (WADT, 1999)

Generalized interpolation in CASL. - Tomasz Borzyszkowski (Inf. Process. Lett., 2000)

Logical systems for structured specifications. - Tomasz Borzyszkowski (Theor. Comput. Sci., 2002)

Generalized Interpolation in First Order Logic. - Tomasz Borzyszkowski (Fundam. Informaticae, 2005)

A Multi-facet Approach to Dynamic Agent Systems. - Marek A. Bednarczyk; Wieslaw Pawlowski; Luca Bernardinello; Lucia Pomello; Tomasz Borzyszkowski (Fundam. Informaticae, 2008)

Credibility as Signal: Predicting Evaluations of Credibility by a Signal-Based Model. - Grzegorz Kowalik; Adam Wierzbicki; Tomasz Borzyszkowski; Wojciech Jaworski (WI, 2016)