Tomasz Borzyszkowski

Publication Activity (10 Years)

Years Active: 1998-2016
Publications (10 Years): 1

Top Topics

Conceptual Model

Top Venues

Publications

Grzegorz Kowalik, Adam Wierzbicki, Tomasz Borzyszkowski, Wojciech Jaworski
Credibility as Signal: Predicting Evaluations of Credibility by a Signal-Based Model. WI (2016)
Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski
A Multi-facet Approach to Dynamic Agent Systems. Fundam. Informaticae 85 (1-4) (2008)
Tomasz Borzyszkowski
Generalized Interpolation in First Order Logic. Fundam. Informaticae 66 (3) (2005)
Tomasz Borzyszkowski
Logical systems for structured specifications. Theor. Comput. Sci. 286 (2) (2002)
Tomasz Borzyszkowski
Generalized interpolation in CASL. Inf. Process. Lett. 76 (1-2) (2000)
Tomasz Borzyszkowski
Higher-Order Logic and Theorem Proving for Structured Specifications. WADT (1999)
Tomasz Borzyszkowski
Moving Specification Structures Between Logical Systems. WADT (1998)