The SCEAS System
Navigation Menu

Search the dblp DataBase


Stefan Sokolowski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002