Tomasz Borzyszkowski

Logical systems for structured specifications

Tomasz Borzyszkowski, 2002, Theor. Comput. Sci..

A Multi-facet Approach to Dynamic Agent Systems

Luca Bernardinello, Lucia Pomello, Marek A. Bednarczyk, 2008, Fundam. Informaticae.

Towards program development, specification and verification with Isabelle

Marek A. Bednarczyk, Tomasz Borzyszkowski, 1995 .

Generalized interpolation in CASL

Tomasz Borzyszkowski, 2000, Inf. Process. Lett..

Moving Specification Structures Between Logical Systems

Tomasz Borzyszkowski, 1998, WADT.

Credibility as Signal: Predicting Evaluations of Credibility by a Signal-Based Model

Adam Wierzbicki, Grzegorz Kowalik, Wojciech Jaworski, 2016, 2016 IEEE/WIC/ACM International Conference on Web Intelligence (WI).

Higher-Order Logic and Theorem Proving for Structured Specifications

Tomasz Borzyszkowski, T. Borzyszkowski, 1999, WADT.

Generalized Interpolation in First Order Logic

Tomasz Borzyszkowski, 2005, Fundam. Informaticae.