Stefan Sokołowski

Available identifiers

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
https://portal.mardi4nfdi.de/entity/Q4430321	2003-10-20	Paper
Investigation of concurrent processes by means of homotopy functors	2003-02-17	Paper
Overlapping associating fluids with directional bonds in a bulk and near a hard wall: Monte Carlo study	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	1999-05-25	Paper
Toward formal development of programs from algebraic specifications: Parameterisation revisited	1994-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q3997545	1992-09-17	Paper
Partial correctness: The term-wise approach	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3930618	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883456	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883457	1980-01-01	Paper
Complexity of sorting by distributive partitioning	1979-01-01	Paper
A method for proving programming languages non context-free	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4134897	1977-01-01	Paper
Axioms for total correctness	1977-01-01	Paper

This page was built for person: Stefan Sokołowski