Stefan Sokolowski - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2003

Incommensurate and commensurate phases in adsorbed monolayers: ground state propertiesAndrzej Patrykiejew, Stefan Sokolowski. umcs, 1(1):186-196, 2003.

A case for po-manifolds - in chase after a good topological model for concurrencyStefan Sokolowski. ENTCS, 81:15-35, 2003. [doi]

2002

Investigation of Concurrent Processes by Means of Homotopy FunctorsStefan Sokolowski. mscs, 12(5):665-699, 2002.

2001

Infinitely Running Concurrent Processes with Loops from a Geometric ViewpointLisbeth Fajstrup, Stefan Sokolowski. ENTCS, 39(2):1-19, 2001. [doi]

Categories of dimaps and their dihomotopies in po-spaces and local po-spacesStefan Sokolowski. ENTCS, 52(2):164-186, 2001. [doi]

1999

A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency PrimitivesJohn Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng. SAS 1999: 1-18 [doi]

1996

Specifying and Verifying Parametric ProcessesWieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski. mfcs 1996: 469-481

1992

Toward Formal Development of Programs from Algebraic Specifications: Parameterisation RevisitedDonald Sannella, Stefan Sokolowski, Andrzej Tarlecki. ACTA, 29(8):689-736, 1992.

1991

Introduction to programming with specifications - a mathematical approachRyszard Kubiak, Roman Rudzinski, Stefan Sokolowski. Volume 35 of A.P.I.C. series, Academic Press, 1991.

1988

A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoftAndrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski. FM 1988: 267-298

Understanding an informal Description: Office Documents Architecture, an ISO StandardAndrzej M. Borzyszkowski, Stefan Sokolowski. FM 1988: 48-63

1987

How not to sweep infoxes u nder the carpetStefan Sokolowski. eatcs, 31:42-46, 1987.

Soundness of Hoare s Logic: An Automated Proof Using LCFStefan Sokolowski. TOPLAS, 9(1):100-120, 1987. [doi]

1984

Partial Correctness: The Term-Wise ApproachStefan Sokolowski. SCP, 4(2):141-157, 1984.

1981

Axioms for the Term-Wise Correctness of ProgramsStefan Sokolowski. mfcs 1981: 499-507

1980

A Uniform Approach to Applicative and Imperative Features in Programming LanguagesStefan Sokolowski. mfcs 1980: 612-626

Programs as term transformersStefan Sokolowski. FUIN, 3(4):419-432, 1980.

1979

Complexity of Sorting by Distributive PartitioningBoguslaw L. Jackowski, Ryszard Kubiak, Stefan Sokolowski. ipl, 9(2):100, 1979.

1978

A Method for Proving Programming Languages non Context-FreeStefan Sokolowski. ipl, 7(3):151-153, 1978.

1977

Total Correctness for ProceduresStefan Sokolowski. mfcs 1977: 475-483

Axioms for Total CorrectnessStefan Sokolowski. ACTA, 9:61-71, 1977.

Sign in or sign up to see more results.

runs on WebDSL