Procedures, Formal Computations and Models. - Andrzej Salwicki (MFCS, 1974)

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

Computational Processes Generated by Programs with Recursive Procedures and Block Structures. - Andrzej Salwicki; Tomasz Müldner (MFCS, 1976)

An Algorithmic Approach to Set Theory. - Andrzej Salwicki (FCT, 1977)

Applied Algorithmic Logic. - Andrzej Salwicki (MFCS, 1977)

On the Algorithmic Theory of Dictionaries. - Andrzej Salwicki (Logic of Programs, 1979)

On the Algorithmic Properties of Concurrent Programs. - Andrzej Salwicki; Tomasz Müldner (Logic of Programs, 1979)

Axioms of Algorithmic Logic Univocally Determine Semantics of Programs. - Andrzej Salwicki (MFCS, 1980)

On the algorithmic theory of stacks. - Andrzej Salwicki (Fundam. Informaticae, 1980)

Critical Remarks on MAX Model of Concurrency. - Andrzej Salwicki (Logic of Programs, 1981)

Algorithmic Theories of Data Structures. - Andrzej Salwicki (ICALP, 1982)

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)

LOGPLAN '88 - Report on the Programming Language - Antoni Kreczmar; Andrzej Salwicki; Marek Warpechowski (Springer, 1990)

On a Hierarchy of File Types and a Tower of Their Theories. - Andrzej Salwicki (MFCS, 1991)

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)

Andrzej Grzegorczyk's Contribution to Computer Science. - Andrzej Salwicki (Fundam. Informaticae, 2007)

A Deterministic Algorithm for Identifying Direct Superclasses in Java. - Hans Langmaack; Andrzej Salwicki; Marek Warpechowski (Fundam. Informaticae, 2008)

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)

On an algorithm determining direct superclasses in Java and similar languages with inner classes - Its correctness, completeness and uniqueness of solutions. - Hans Langmaack; Andrzej Salwicki; Marek Warpechowski (Inf. Comput., 2009)

Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce. - Hans Langmaack; Andrzej Salwicki (Fundam. Informaticae, 2013)

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

A new proof of Euclid's algorithm. - Andrzej Salwicki (CoRR, 2023)