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.