Semantics of Architectural Specifications in CASL. - Lutz Schröder; Till Mossakowski; Andrzej Tarlecki; Bartek Klin; Piotr Hoffman (FASE, 2001)

Checking Amalgamability Conditions for C ASL Architectural Specifications. - Bartek Klin; Piotr Hoffman; Andrzej Tarlecki; Lutz Schröder; Till Mossakowski (MFCS, 2001)

Verifying Architectural Specifications. - Piotr Hoffman (WADT, 2001)

AGILE: Software Architecture for Mobility. - Luís Andrade 001; Paolo Baldan; Hubert Baumeister; Roberto Bruni 001; Andrea Corradini 001; Rocco De Nicola; José Luiz Fiadeiro; Fabio Gadducci; Stefania Gnesi; Piotr Hoffman; Nora Koch; Piotr Kosiuczenko; et al. (WADT, 2002)

Verifying Generative Casl Architectural Specifications. - Piotr Hoffman (WADT, 2002)

Union of Equational Theories: An Algebraic Approach. - Piotr Hoffman (RTA, 2005)

Amalgamation in the semantics of CASL. - Lutz Schröder; Till Mossakowski; Andrzej Tarlecki; Bartek Klin; Piotr Hoffman (Theor. Comput. Sci., 2005)

Unions of Equational Monadic Theories. - Piotr Hoffman (RTA, 2006)

Datatypes in Memory. - David Aspinall 001; Piotr Hoffman (CALCO, 2007)

Reachability in Unions of Commutative Rewriting Systems Is Decidable. - Mikolaj Bojanczyk; Piotr Hoffman (STACS, 2007)