Krzysztof Worytkiewicz's Publications
- Classification of Riemanian
Manifolds of Constant Positive Curvature.
Term project memoir, ETHZ.
- Algorithmic Factorization of
Polynomials.
Diploma project memoir, ETHZ.
- Components and Synchronous
Communication in Categories of Processes.
Doctoral Thesis no 2131, EPFL
.
- Concrete Process Categories.
Electronic Notes in Theoretical Computer Science 68(1), 2003.
- Paths and Simulations.
Electronic Notes in Theoretical Computer Science 69, 2003.
- A verification methodology for
infinite-state message-passing systems, joint work with Ch.
Sprenger.
A chapter of the book Formal
methods and models for system design , Kluwer Academic
Publishers, 2004.
- Simulations as Homotopies,
joint work with K.Hess, P.E.Parent and A.Tonks.
Electronic Notes in
Theoretical Computer Science 100, 2004.
- Synchronization from a
categorical perspective.
Preprint, arxiv.org/cs.PL/0411001
- A model structure à la
Thomason on 2-Cat,
joint work with K.Hess, P.E.Parent and A.Tonks.
To appear in Journal of Pure
and Applied Algebra .
- A model category structure for
local po-spaces, joint work P.Bubenik.
Homology,
Homotopy and Applications, Vol. 8 (2006), No. 1, pp.263-292.