| 2003 | ADBIS | Updatable XML Views. | Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz Subieta |
| 2003 | CaiSE | Updateable Views for an XML Query Language. | Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz Subieta |
| 1995 | VLDB | Procedures in Object-Oriented Query Languages. | Kazimierz Subieta, Yahiko Kambayashi, Jacek Leszczylowski |
| 1993 | LPNMR | Negation as Partial Failure. | Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi |
| 1991 | STACS | Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective. | Jacek Leszczylowski, Martin Wirsing |
| 1980 | AAAI | On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF. | Jacek Leszczylowski |
| 1980 | CADE | An Experiment with "Edinburgh LCF". | Jacek Leszczylowski |
| 1980 | GI | Edingburgh LCF Supporting FP Systems. | Jacek Leszczylowski |
| 1980 | MICRO | On fundamentals of computer-aided design of firmware. | Igor Hansen, Jacek Leszczylowski |
| 1976 | MFCS | Microprogram-Oriented Model of the Controlled Structure. | Igor Hansen, Jacek Leszczylowski |
| 1974 | MFCS | On Equivalence of Programs. | Jacek Leszczylowski |
| 1974 | MFCS | Mathematical Model of Programs with Dynamic Allocation of Variables. | Jacek Leszczylowski |