 | 2007 |
|---|
| 10 |       | David Aspinall,
Piotr Hoffman:
Datatypes in Memory.
CALCO 2007: 111-125 |
| 9 | | Mikolaj Bojanczyk,
Piotr Hoffman:
Reachability in Unions of Commutative Rewriting Systems Is Decidable.
STACS 2007: 622-633 |
| 2006 |
|---|
| 8 | | Piotr Hoffman:
Unions of Equational Monadic Theories.
RTA 2006: 81-95 |
| 2005 |
|---|
| 7 | | Piotr Hoffman:
Union of Equational Theories: An Algebraic Approach.
RTA 2005: 61-73 |
| 6 | | Lutz Schröder,
Till Mossakowski,
Andrzej Tarlecki,
Bartek Klin,
Piotr Hoffman:
Amalgamation in the semantics of CASL.
Theor. Comput. Sci. 331(1): 215-247 (2005) |
| 2002 |
|---|
| 5 | | Luis Filipe Andrade,
Paolo Baldan,
Hubert Baumeister,
Roberto Bruni,
Andrea Corradini,
Rocco De Nicola,
José Luiz Fiadeiro,
Fabio Gadducci,
Stefania Gnesi,
Piotr Hoffman,
Nora Koch,
Piotr Kosiuczenko,
Alessandro Lapadula,
Diego Latella,
Antónia Lopes,
Michele Loreti,
Mieke Massink,
Franco Mazzanti,
Ugo Montanari,
Cristóvão Oliveira,
Rosario Pugliese,
Andrzej Tarlecki,
Michel Wermelinger,
Martin Wirsing,
Artur Zawlocki:
AGILE: Software Architecture for Mobility.
WADT 2002: 1-33 |
| 4 | | Piotr Hoffman:
Verifying Generative Casl Architectural Specifications.
WADT 2002: 233-252 |
| 2001 |
|---|
| 3 | | Lutz Schröder,
Till Mossakowski,
Andrzej Tarlecki,
Bartek Klin,
Piotr Hoffman:
Semantics of Architectural Specifications in CASL.
FASE 2001: 253-268 |
| 2 | | Bartek Klin,
Piotr Hoffman,
Andrzej Tarlecki,
Lutz Schröder,
Till Mossakowski:
Checking Amalgamability Conditions for C ASL Architectural Specifications.
MFCS 2001: 451-463 |
| 1 | | Piotr Hoffman:
Verifying Architectural Specifications.
WADT 2001: 152-175 |
