Stefan Sokolowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
1977–1999
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | SAS | 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 |
| 1996 | MFCS | Specifying and Verifying Parametric Processes. | Wieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski |
| 1988 | FM | A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft. | Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski |
| 1988 | FM | Understanding an informal Description: Office Documents Architecture, an ISO Standard. | Andrzej M. Borzyszkowski, Stefan Sokolowski |
| 1981 | MFCS | Axioms for the Term-Wise Correctness of Programs. | Stefan Sokolowski |
| 1980 | MFCS | A Uniform Approach to Applicative and Imperative Features in Programming Languages. | Stefan Sokolowski |
| 1977 | MFCS | Total Correctness for Procedures. | Stefan Sokolowski |