Stefan Sokołowski

Available identifiers

zbMath Open sokolowski.stefanMaRDI QIDQ229500

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2843711	2013-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q3369656	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
https://portal.mardi4nfdi.de/entity/Q2703722	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
Axioms for total correctness	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4134897	1977-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stefan Sokołowski