Stefan Sokolowski

According to our database, Stefan Sokolowski authored at least 21 papers between 1977 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Incommensurate and commensurate phases in adsorbed monolayers: ground state properties.

Andrzej Patrykiejew, Stefan Sokolowski

Ann. UMCS Informatica, 2003

2002

Investigation of Concurrent Processes by Means of Homotopy Functors.

Stefan Sokolowski

Math. Struct. Comput. Sci., 2002

A case for po-manifolds - in chase after a good topological model for concurrency.

Stefan Sokolowski

Proceedings of the 4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, 2002

2001

Categories of dimaps and their dihomotopies in po-spaces and local po-spaces.

Stefan Sokolowski

Proceedings of the 3rd Workshop on GEometry and Topology in COncurrency theory, 2001

2000

Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint.

Lisbeth Fajstrup, Stefan Sokolowski

Proceedings of the 2nd Workshop on Geometry and Topology in Concurrency theory, 2000

1999

A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives.

John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng

Proceedings of the Static Analysis, 6th International Symposium, 1999

1996

Specifying and Verifying Parametric Processes.

Wieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1992

Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited.

Donald Sannella, Stefan Sokolowski, Andrzej Tarlecki

Acta Informatica, 1992

1991

Introduction to programming with specifications - a mathematical approach.

Ryszard Kubiak, Roman Rudzinski, Stefan Sokolowski

A.P.I.C. series 35, Academic Press, ISBN: 978-0-12-427620-8, 1991

1988

Understanding an informal Description: Office Documents Architecture, an ISO Standard.

Andrzej M. Borzyszkowski, Stefan Sokolowski

Proceedings of the VDM '88, 1988

A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft.

Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski

Proceedings of the VDM '88, 1988

1987

Soundness of Hoare's Logic: An Automated Proof Using LCF.

Stefan Sokolowski

ACM Trans. Program. Lang. Syst., 1987

How not to sweep infoxes u nder the carpet.

Stefan Sokolowski

Bull. EATCS, 1987

1984

Partial Correctness: The Term-Wise Approach.

Stefan Sokolowski

Sci. Comput. Program., 1984

1981

Axioms for the Term-Wise Correctness of Programs.

Stefan Sokolowski

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

1980

Programs as term transformers.

Stefan Sokolowski

Fundam. Informaticae, 1980

A Uniform Approach to Applicative and Imperative Features in Programming Languages.

Stefan Sokolowski

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979

Complexity of Sorting by Distributive Partitioning.

Boguslaw L. Jackowski, Ryszard Kubiak, Stefan Sokolowski

Inf. Process. Lett., 1979

1978

A Method for Proving Programming Languages non Context-Free.

Stefan Sokolowski

Inf. Process. Lett., 1978

1977

Axioms for Total Correctness.

Stefan Sokolowski

Acta Informatica, 1977

Total Correctness for Procedures.

Stefan Sokolowski

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977