Tomasz Borzyszkowski

According to our database, Tomasz Borzyszkowski authored at least 7 papers between 1998 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

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

Grzegorz Kowalik, Adam Wierzbicki, Tomasz Borzyszkowski, Wojciech Jaworski

Proceedings of the 2016 IEEE/WIC/ACM International Conference on Web Intelligence, 2016

2008

A Multi-facet Approach to Dynamic Agent Systems.

Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski

Fundam. Informaticae, 2008

2005

Generalized Interpolation in First Order Logic.

Tomasz Borzyszkowski

Fundam. Informaticae, 2005

2002

Logical systems for structured specifications.

Tomasz Borzyszkowski

Theor. Comput. Sci., 2002

2000

Generalized interpolation in CASL.

Tomasz Borzyszkowski

Inf. Process. Lett., 2000

1999

Higher-Order Logic and Theorem Proving for Structured Specifications.

Tomasz Borzyszkowski

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

1998

Moving Specification Structures Between Logical Systems.

Tomasz Borzyszkowski

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998