| ||
| 1. | A Proof of Isbell's Zigzag Theorem
JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY Tom 84 r. 2008, str. 229-232 (Artykuł) Piotr Hoffman | |
| 2. | Datatypes in Memory
LECTURE NOTES IN COMPUTER SCIENCE Tom 4624 r. 2007, str. 111-125 (Artykuł konferencyjny) David Aspinall, Piotr Hoffman | |
| 3. | Reachability in Unions of Commutative Rewriting Systems Is Decidable
LECTURE NOTES IN COMPUTER SCIENCE Tom 4393 r. 2007, str. 622-633 (Artykuł konferencyjny) Piotr Hoffman, Mikołaj Bojańczyk | |
| 4. | Careful With That Computer: On Creating Maps by Multidimensional Scaling of Papyri in Katja Mueller's Recent Studies on the Topography of the Fayum
THE JOURNAL OF JURISTIC PAPIROLOGY Tom XXXVI r. 2006, str. 67-90 (Artykuł) Piotr Hoffman, Bartosz Klin | |
| 5. | Unions of Equational Monadic Theories
LECTURE NOTES IN COMPUTER SCIENCE Tom 4098 r. 2006, str. 81-95 (Artykuł konferencyjny) Piotr Hoffman | |
| 6. | Amalgamation in the semantics of CASL
THEORETICAL COMPUTER SCIENCE Tom 331 r. 2005, str. 215-247 (Artykuł) Lutz Schroeder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman, Bartosz Klin | |
| 7. | Union of Equational Theories: An Algebraic Approach
LECTURE NOTES IN COMPUTER SCIENCE Tom 3467 r. 2005, str. 61-73 (Artykuł konferencyjny) Piotr Hoffman | |
| 8. | Architectural Specification Calculus
LECTURE NOTES IN COMPUTER SCIENCE Tom 2960 r. 2004, str. 329-356 (Artykuł) Piotr Hoffman | |
| 9. | Verifying Generative CASL Architectural Specifications
LECTURE NOTES IN COMPUTER SCIENCE Tom 2755 r. 2003, str. 233-252 (Artykuł konferencyjny) Piotr Hoffman | |
| 10. | Checking amalgamability conditions for CASL architectural specifications
LECTURE NOTES IN COMPUTER SCIENCE Nr 2136 r. 2001, str. 451-463 (Artykuł) Andrzej Tarlecki, Piotr Hoffman, B. Klin, A. Schroeder, T. Mossakowski | |
| 11. | Semantics of architectural specifications in CASL
LECTURE NOTES IN COMPUTER SCIENCE Nr 2029 r. 2001, str. 253-266 (Artykuł) Andrzej Tarlecki, Piotr Hoffman, B. Klin, A. Schroeder, T. Mossakowski | |
| 12. | Verifying Architectural Specifications
LECTURE NOTES IN COMPUTER SCIENCE Tom 2267 r. 2001, str. 152-175 (Artykuł konferencyjny) Piotr Hoffman | |