Stefan Sokolowski
According to our database1,
Stefan Sokolowski
authored at least 21 papers
between 1977 and 2003.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2003
Incommensurate and commensurate phases in adsorbed monolayers: ground state properties.
Ann. UMCS Informatica, 2003
2002
Math. Struct. Comput. Sci., 2002
Proceedings of the 4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, 2002
2001
Proceedings of the 3rd Workshop on GEometry and Topology in COncurrency theory, 2001
2000
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.
Proceedings of the Static Analysis, 6th International Symposium, 1999
1996
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996
1992
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited.
Acta Informatica, 1992
1991
Introduction to programming with specifications - a mathematical approach.
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.
Proceedings of the VDM '88, 1988
A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft.
Proceedings of the VDM '88, 1988
1987
ACM Trans. Program. Lang. Syst., 1987
How not to sweep infoxes u nder the carpet.
Bull. EATCS, 1987
1984
1981
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981
1980
Programs as term transformers.
Fundam. Informaticae, 1980
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980
1979
1978
Inf. Process. Lett., 1978
1977
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977