A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures. - Grazyna Mirkowska; Andrzej Salwicki (MFCS, 1976)

On the Propositional Algorithmic Logic. - Grazyna Mirkowska (MFCS, 1979)

On the propositional algorithmic theory of arithmetic. - Grazyna Mirkowska (Logic of Programs, 1980)

Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations - Grazyna Mirkowska (STOC, 1980)

Algorithmic logic with nondeterministic programs. - Grazyna Mirkowska (Fundam. Informaticae, 1980)

Model existence theorems in algorithmic logic with non-deterministic programs. - Grazyna Mirkowska (Fundam. Informaticae, 1980)

The Deducibility Problem in Propositional Dynamic Logic. - Albert R. Meyer; Robert S. Streett; Grazyna Mirkowska (ICALP, 1981)

The Representation Theorem for Algorithmic Algebras. - Grazyna Mirkowska (Logic of Programs, 1981)

PAL - propositional algorithmic logic. - Grazyna Mirkowska (Fundam. Informaticae, 1981)

On Axiomatic Definition of Max-Model of Concurrency. - Grazyna Mirkowska; Andrzej Salwicki (Mathematical Models for the Semantics of Parallelism, 1986)

On Applications of Algorithmic Logic. - Grazyna Mirkowska; Andrzej Salwicki (CAAP, 1986)

Axiomatic definability of programming language semantics. - Grazyna Mirkowska; Andrzej Salwicki (Formal Description of Programming Concepts, 1987)

The Algebraic Specifications do not Have the Tennenbaum Property. - Grazyna Mirkowska; Andrzej Salwicki (Fundam. Informaticae, 1996)

First-Order Specifications of Programmable Data Types. - Grazyna Mirkowska; Andrzej Salwicki; Marian Srebrny; Andrzej Tarlecki (SIAM J. Comput., 2000)

Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper. - Grazyna Mirkowska; Andrzej Salwicki; Oskar Swida (Fundam. Informaticae, 2008)

Verifying a Class: combining Testing and Proving. - Grazyna Mirkowska; Andrzej Salwicki; Oskar Swida (Fundam. Informaticae, 2009)

Collatz conjecture becomes theorem. - Grazyna Mirkowska; Andrzej Salwicki (CoRR, 2023)