Stefan Sokolowski

22 papers B 6Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2003 J jnl
Incommensurate and commensurate phases in adsorbed monolayers: ground state properties.
Ann. UMCS Informatica
Andrzej Patrykiejew, Stefan Sokolowski
2002 — conf
A case for po-manifolds - in chase after a good topological model for concurrency.
GETCO
Stefan Sokolowski
2002 J jnl
Investigation of Concurrent Processes by Means of Homotopy Functors.
Math. Struct. Comput. Sci.
Stefan Sokolowski
2001 — conf
Categories of dimaps and their dihomotopies in po-spaces and local po-spaces.
GETCO
Stefan Sokolowski
2000 — conf
Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint.
GETCO
Lisbeth Fajstrup, Stefan Sokolowski
1999 B conf
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives.
SAS
John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng
1996 B conf
Specifying and Verifying Parametric Processes.
MFCS
Wieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski
1993 B ed.
Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings
MFCS
Andrzej M. Borzyszkowski, Stefan Sokolowski
1992 J jnl
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited.
Acta Informatica
Donald Sannella, Stefan Sokolowski, Andrzej Tarlecki
1991 — book
Introduction to programming with specifications - a mathematical approach.
Ryszard Kubiak, Roman Rudzinski, Stefan Sokolowski
1988 — conf
A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft.
VDM Europe
Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski
1988 — conf
Understanding an informal Description: Office Documents Architecture, an ISO Standard.
VDM Europe
Andrzej M. Borzyszkowski, Stefan Sokolowski
1987 J jnl
How not to sweep infoxes u nder the carpet.
Bull. EATCS
Stefan Sokolowski
1987 J jnl
Soundness of Hoare's Logic: An Automated Proof Using LCF.
ACM Trans. Program. Lang. Syst.
Stefan Sokolowski
1984 J jnl
Partial Correctness: The Term-Wise Approach.
Sci. Comput. Program.
Stefan Sokolowski
1981 B conf
Axioms for the Term-Wise Correctness of Programs.
MFCS
Stefan Sokolowski
1980 B conf
A Uniform Approach to Applicative and Imperative Features in Programming Languages.
MFCS
Stefan Sokolowski
1980 J jnl
Programs as term transformers.
Fundam. Informaticae
Stefan Sokolowski
1979 J jnl
Complexity of Sorting by Distributive Partitioning.
Inf. Process. Lett.
Boguslaw L. Jackowski, Ryszard Kubiak, Stefan Sokolowski
1978 J jnl
A Method for Proving Programming Languages non Context-Free.
Inf. Process. Lett.
Stefan Sokolowski
1977 J jnl
Axioms for Total Correctness.
Acta Informatica
Stefan Sokolowski
1977 B conf
Total Correctness for Procedures.
MFCS
Stefan Sokolowski