| |
| 2008 | ||
|---|---|---|
| 6 | EE | Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski: A Multi-facet Approach to Dynamic Agent Systems. Fundam. Inform. 85(1-4): 19-33 (2008) |
| 2005 | ||
| 5 | EE | Tomasz Borzyszkowski: Generalized Interpolation in First Order Logic. Fundam. Inform. 66(3): 199-219 (2005) |
| 2002 | ||
| 4 | Tomasz Borzyszkowski: Logical systems for structured specifications. Theor. Comput. Sci. 286(2): 197-245 (2002) | |
| 2000 | ||
| 3 | EE | Tomasz Borzyszkowski: Generalized interpolation in CASL. Inf. Process. Lett. 76(1-2): 19-24 (2000) |
| 1999 | ||
| 2 | Tomasz Borzyszkowski: Higher-Order Logic and Theorem Proving for Structured Specifications. WADT 1999: 401-418 | |
| 1998 | ||
| 1 | EE | Tomasz Borzyszkowski: Moving Specification Structures Between Logical Systems. WADT 1998: 16-30 |
| 1 | Marek A. Bednarczyk | [6] |
| 2 | Luca Bernardinello | [6] |
| 3 | Wieslaw Pawlowski | [6] |
| 4 | Lucia Pomello | [6] |