Piotr Hoffman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2001–2007
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | CALCO | Datatypes in Memory. | David Aspinall, Piotr Hoffman |
| 2007 | STACS | Reachability in Unions of Commutative Rewriting Systems Is Decidable. | Mikolaj Bojanczyk, Piotr Hoffman |
| 2001 | FASE | Semantics of Architectural Specifications in CASL. | Lutz Schrder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman |
| 2001 | MFCS | Checking Amalgamability Conditions for C ASL Architectural Specifications. | Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schrder, Till Mossakowski |