Total Correctness for Procedures. - Stefan Sokolowski (MFCS, 1977)

Axioms for Total Correctness. - Stefan Sokolowski (Acta Informatica, 1977)

A Method for Proving Programming Languages non Context-Free. - Stefan Sokolowski (Inf. Process. Lett., 1978)

Complexity of Sorting by Distributive Partitioning. - Boguslaw L. Jackowski; Ryszard Kubiak; Stefan Sokolowski (Inf. Process. Lett., 1979)

A Uniform Approach to Applicative and Imperative Features in Programming Languages. - Stefan Sokolowski (MFCS, 1980)

Programs as term transformers. - Stefan Sokolowski (Fundam. Informaticae, 1980)

Axioms for the Term-Wise Correctness of Programs. - Stefan Sokolowski (MFCS, 1981)

Partial Correctness: The Term-Wise Approach. - Stefan Sokolowski (Sci. Comput. Program., 1984)

How not to sweep infoxes u nder the carpet. - Stefan Sokolowski (Bull. EATCS, 1987)

Soundness of Hoare's Logic: An Automated Proof Using LCF. - Stefan Sokolowski (ACM Trans. Program. Lang. Syst., 1987)

A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft. - Andrzej M. Borzyszkowski; Ryszard Kubiak; Stefan Sokolowski (VDM Europe, 1988)

Understanding an informal Description: Office Documents Architecture, an ISO Standard. - Andrzej M. Borzyszkowski; Stefan Sokolowski (VDM Europe, 1988)

Introduction to programming with specifications - a mathematical approach. - Ryszard Kubiak; Roman Rudzinski; Stefan Sokolowski (Academic Press, 1991)

Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. - Donald Sannella; Stefan Sokolowski; Andrzej Tarlecki (Acta Informatica, 1992)

Specifying and Verifying Parametric Processes. - Wieslaw Pawlowski; Pawel Paczkowski; Stefan Sokolowski (MFCS, 1996)

A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. - John Hatcliff; James C. Corbett; Matthew B. Dwyer; Stefan Sokolowski; Hongjun Zheng (SAS, 1999)

Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint. - Lisbeth Fajstrup; Stefan Sokolowski (GETCO, 2000)

Categories of dimaps and their dihomotopies in po-spaces and local po-spaces. - Stefan Sokolowski (GETCO, 2001)

A case for po-manifolds - in chase after a good topological model for concurrency. - Stefan Sokolowski (GETCO, 2002)

Investigation of Concurrent Processes by Means of Homotopy Functors. - Stefan Sokolowski (Math. Struct. Comput. Sci., 2002)

Incommensurate and commensurate phases in adsorbed monolayers: ground state properties. - Andrzej Patrykiejew; Stefan Sokolowski (Ann. UMCS Informatica, 2003)