The proof-checking component for the PLEATS programming system enabling specification of theories. - Jolanta Cybulka; Jerzy Bartoszek (Mathematical Methods of Specification and Synthesis of Software Systems, 1985)

Situation Spaces in Context-aware Business Solutions. - Jerzy Bartoszek; Grazyna Brzykcy (BIS, 2006)

Semantic Data Integration in P2P Environment Using Schema Mappings and Agent Technology. - Grazyna Brzykcy; Jerzy Bartoszek; Tadeusz Pankowski (KES-AMSTA, 2007)

Context in Rules Used in P2P Semantic Data Integration System. - Grazyna Brzykcy; Jerzy Bartoszek (RR, 2007)

Schema Mappings and Agents' Actions in P2P Data Integration System. - Grazyna Brzykcy; Jerzy Bartoszek; Tadeusz Pankowski (J. Univers. Comput. Sci., 2008)