dblp.uni-trier.dewww.uni-trier.de

Stefan Sokolowski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
20EEStefan Sokolowski: A case for po-manifolds - in chase after a good topological model for concurrency. Electr. Notes Theor. Comput. Sci. 81: (2003)
2002
19 Stefan Sokolowski: Investigation of Concurrent Processes by Means of Homotopy Functors. Mathematical Structures in Computer Science 12(5): 665-699 (2002)
2001
18EELisbeth Fajstrup, Stefan Sokolowski: Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint. Electr. Notes Theor. Comput. Sci. 39(2): (2001)
17EEStefan Sokolowski: Categories of dimaps and their dihomotopies in po-spaces and local po-spaces. Electr. Notes Theor. Comput. Sci. 52(2): (2001)
1999
16EEJohn 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: 1-18
1996
15 Wieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski: Specifying and Verifying Parametric Processes. MFCS 1996: 469-481
1993
14 Andrzej M. Borzyszkowski, Stefan Sokolowski: Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings Springer 1993
1992
13 Donald Sannella, Stefan Sokolowski, Andrzej Tarlecki: Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited. Acta Inf. 29(8): 689-736 (1992)
1988
12 Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski: A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft. VDM Europe 1988: 267-298
11 Andrzej M. Borzyszkowski, Stefan Sokolowski: Understanding an informal Description: Office Documents Architecture, an ISO Standard. VDM Europe 1988: 48-63
1987
10EEStefan Sokolowski: Soundness of Hoare's Logic: An Automated Proof Using LCF. ACM Trans. Program. Lang. Syst. 9(1): 100-120 (1987)
9 Stefan Sokolowski: How not to sweep infoxes u nder the carpet. Bulletin of the EATCS 31: 42-46 (1987)
1984
8 Stefan Sokolowski: Partial Correctness: The Term-Wise Approach. Sci. Comput. Program. 4(2): 141-157 (1984)
1981
7 Stefan Sokolowski: Axioms for the Term-Wise Correctness of Programs. MFCS 1981: 499-507
1980
6 Stefan Sokolowski: A Uniform Approach to Applicative and Imperative Features in Programming Languages. MFCS 1980: 612-626
5 Stefan Sokolowski: Programs as term transformers. Fundam. Inform. 3(4): 419-432 (1980)
1979
4 Boguslaw L. Jackowski, Ryszard Kubiak, Stefan Sokolowski: Complexity of Sorting by Distributive Partitioning. Inf. Process. Lett. 9(2): 100 (1979)
1978
3 Stefan Sokolowski: A Method for Proving Programming Languages non Context-Free. Inf. Process. Lett. 7(3): 151-153 (1978)
1977
2 Stefan Sokolowski: Total Correctness for Procedures. MFCS 1977: 475-483
1 Stefan Sokolowski: Axioms for Total Correctness. Acta Inf. 9: 61-71 (1977)

Coauthor Index

1Andrzej M. Borzyszkowski [11] [12] [14]
2James C. Corbett [16]
3Matthew B. Dwyer [16]
4Lisbeth Fajstrup [18]
5John Hatcliff [16]
6Boguslaw L. Jackowski [4]
7Ryszard Kubiak [4] [12]
8Pawel Paczkowski [15]
9Wieslaw Pawlowski [15]
10Donald Sannella [13]
11Andrzej Tarlecki [13]
12Hongjun Zheng [16]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)