Stefan Sokołowski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A case for po-manifolds -- in chase after a good topological model for concurrency	2013-08-23	Paper
The structure of a Lennard-Jones fluid in a slit-like pore filled with random matrix from integral equation theory and from Monte Carlo simulations	2006-02-03	Paper
scientific article; zbMATH DE number 1988992 (Why is no real title available?)	2003-10-20	Paper
Investigation of concurrent processes by means of homotopy functors Mathematical Structures in Computer Science	2003-02-17	Paper
Overlapping associating fluids with directional bonds in a bulk and near a hard wall: Monte Carlo study Journal of Statistical Physics	2002-03-21	Paper
Infinitely running concurrent processes with loops from a geometric viewpoint	2001-05-07	Paper
Second-order Percus-Yevick theory for a confined hard-sphere fluid Journal of Statistical Physics	1999-05-25	Paper
Toward formal development of programs from algebraic specifications: Parameterisation revisited Acta Informatica	1994-07-04	Paper
scientific article; zbMATH DE number 48697 (Why is no real title available?)	1992-09-17	Paper
Partial correctness: The term-wise approach Science of Computer Programming	1984-01-01	Paper
scientific article; zbMATH DE number 3746411 (Why is no real title available?)	1981-01-01	Paper
scientific article; zbMATH DE number 3688673 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3688674 (Why is no real title available?)	1980-01-01	Paper
Complexity of sorting by distributive partitioning Information Processing Letters	1979-01-01	Paper
A method for proving programming languages non context-free Information Processing Letters	1978-01-01	Paper
scientific article; zbMATH DE number 3562459 (Why is no real title available?)	1977-01-01	Paper
Axioms for total correctness Acta Informatica	1977-01-01	Paper

Research outcomes over time

This page was built for person: Stefan Sokołowski