Stefan Sokolowski

Publication Activity (10 Years)

Years Active: 1977-2003
Publications (10 Years): 0

Publications

Stefan Sokolowski
A case for po-manifolds - in chase after a good topological model for concurrency. Electron. Notes Theor. Comput. Sci. 81 (2003)
Andrzej Patrykiejew, Stefan Sokolowski
Incommensurate and commensurate phases in adsorbed monolayers: ground state properties. Ann. UMCS Informatica 1 (1) (2003)
Stefan Sokolowski
Investigation of Concurrent Processes by Means of Homotopy Functors. Math. Struct. Comput. Sci. 12 (5) (2002)
Stefan Sokolowski
Categories of dimaps and their dihomotopies in po-spaces and local po-spaces. Electron. Notes Theor. Comput. Sci. 52 (2) (2001)
Lisbeth Fajstrup, Stefan Sokolowski
Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint. Electron. Notes Theor. Comput. Sci. 39 (2) (2001)
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)
Wieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski
Specifying and Verifying Parametric Processes. MFCS (1996)
Donald Sannella, Stefan Sokolowski, Andrzej Tarlecki
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. Acta Informatica 29 (8) (1992)
Andrzej M. Borzyszkowski, Stefan Sokolowski
Understanding an informal Description: Office Documents Architecture, an ISO Standard. VDM Europe (1988)
Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski
A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft. VDM Europe (1988)
Stefan Sokolowski
How not to sweep infoxes u nder the carpet. Bull. EATCS 31 (1987)
Stefan Sokolowski
Soundness of Hoare's Logic: An Automated Proof Using LCF. ACM Trans. Program. Lang. Syst. 9 (1) (1987)
Stefan Sokolowski
Partial Correctness: The Term-Wise Approach. Sci. Comput. Program. 4 (2) (1984)
Stefan Sokolowski
Axioms for the Term-Wise Correctness of Programs. MFCS (1981)
Stefan Sokolowski
Programs as term transformers. Fundam. Informaticae 3 (4) (1980)
Stefan Sokolowski
A Uniform Approach to Applicative and Imperative Features in Programming Languages. MFCS (1980)
Boguslaw L. Jackowski, Ryszard Kubiak, Stefan Sokolowski
Complexity of Sorting by Distributive Partitioning. Inf. Process. Lett. 9 (2) (1979)
Stefan Sokolowski
A Method for Proving Programming Languages non Context-Free. Inf. Process. Lett. 7 (3) (1978)
Stefan Sokolowski
Total Correctness for Procedures. MFCS (1977)
Stefan Sokolowski
Axioms for Total Correctness. Acta Informatica 9 (1977)