Publikacje

• Artur Zawłocki, Grzegorz Marczyński, Piotr Kosiuczenko "Property Preserving Redesign of Specifications" [PDF], CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings, LNCS 3629 / 2005.
• Alexander Knapp, Grzegorz Marczyński, Martin Wirsing, Artur Zawłocki "A Heterogeneous Approach to Service-oriented Systems Specification" [PDF], SAC 2010 Proceedings of the 2010 ACM Symposium on Applied Computing, 2477-2484.
• Grzegorz Marczyński "Algebraic Signatures Enriched by Dependency Structure" [PDF], WADT 2010, Schloss Etelsen, Germany, July 1-4, 2010, accepted for publication.
• Grzegorz Marczyński "Specifications of Software Architectures using Diagrams of Constructions" [PDF], PhD Dissertation, MIMUW, submitted 2014 (autoreferat pl, en).