2003 |
20 | EE | Stefan Sokolowski:
A case for po-manifolds - in chase after a good topological model for concurrency.
Electr. Notes Theor. Comput. Sci. 81: (2003) |
2002 |
19 | | Stefan Sokolowski:
Investigation of Concurrent Processes by Means of Homotopy Functors.
Mathematical Structures in Computer Science 12(5): 665-699 (2002) |
2001 |
18 | EE | Lisbeth Fajstrup,
Stefan Sokolowski:
Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint.
Electr. Notes Theor. Comput. Sci. 39(2): (2001) |
17 | EE | Stefan Sokolowski:
Categories of dimaps and their dihomotopies in po-spaces and local po-spaces.
Electr. Notes Theor. Comput. Sci. 52(2): (2001) |
1999 |
16 | EE | John Hatcliff,
James C. Corbett,
Matthew B. Dwyer,
Stefan Sokolowski,
Hongjun Zheng:
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives.
SAS 1999: 1-18 |
1996 |
15 | | Wieslaw Pawlowski,
Pawel Paczkowski,
Stefan Sokolowski:
Specifying and Verifying Parametric Processes.
MFCS 1996: 469-481 |
1993 |
14 | | Andrzej M. Borzyszkowski,
Stefan Sokolowski:
Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings
Springer 1993 |
1992 |
13 | | Donald Sannella,
Stefan Sokolowski,
Andrzej Tarlecki:
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited.
Acta Inf. 29(8): 689-736 (1992) |
1988 |
12 | | Andrzej M. Borzyszkowski,
Ryszard Kubiak,
Stefan Sokolowski:
A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft.
VDM Europe 1988: 267-298 |
11 | | Andrzej M. Borzyszkowski,
Stefan Sokolowski:
Understanding an informal Description: Office Documents Architecture, an ISO Standard.
VDM Europe 1988: 48-63 |
1987 |
10 | EE | Stefan Sokolowski:
Soundness of Hoare's Logic: An Automated Proof Using LCF.
ACM Trans. Program. Lang. Syst. 9(1): 100-120 (1987) |
9 | | Stefan Sokolowski:
How not to sweep infoxes u nder the carpet.
Bulletin of the EATCS 31: 42-46 (1987) |
1984 |
8 | | Stefan Sokolowski:
Partial Correctness: The Term-Wise Approach.
Sci. Comput. Program. 4(2): 141-157 (1984) |
1981 |
7 | | Stefan Sokolowski:
Axioms for the Term-Wise Correctness of Programs.
MFCS 1981: 499-507 |
1980 |
6 | | Stefan Sokolowski:
A Uniform Approach to Applicative and Imperative Features in Programming Languages.
MFCS 1980: 612-626 |
5 | | Stefan Sokolowski:
Programs as term transformers.
Fundam. Inform. 3(4): 419-432 (1980) |
1979 |
4 | | Boguslaw L. Jackowski,
Ryszard Kubiak,
Stefan Sokolowski:
Complexity of Sorting by Distributive Partitioning.
Inf. Process. Lett. 9(2): 100 (1979) |
1978 |
3 | | Stefan Sokolowski:
A Method for Proving Programming Languages non Context-Free.
Inf. Process. Lett. 7(3): 151-153 (1978) |
1977 |
2 | | Stefan Sokolowski:
Total Correctness for Procedures.
MFCS 1977: 475-483 |
1 | | Stefan Sokolowski:
Axioms for Total Correctness.
Acta Inf. 9: 61-71 (1977) |