| ||
1. | A Proof of Isbell's Zigzag Theorem
JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY Vol. 84 yr. 2008, pp. 229-232 (Article) Piotr Hoffman | |
2. | Datatypes in Memory
LECTURE NOTES IN COMPUTER SCIENCE Vol. 4624 yr. 2007, pp. 111-125 (Conference article) David Aspinall, Piotr Hoffman | |
3. | Reachability in Unions of Commutative Rewriting Systems Is Decidable
LECTURE NOTES IN COMPUTER SCIENCE Vol. 4393 yr. 2007, pp. 622-633 (Conference article) 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 Vol. XXXVI yr. 2006, pp. 67-90 (Article) Piotr Hoffman, Bartosz Klin | |
5. | Unions of Equational Monadic Theories
LECTURE NOTES IN COMPUTER SCIENCE Vol. 4098 yr. 2006, pp. 81-95 (Conference article) Piotr Hoffman | |
6. | Amalgamation in the semantics of CASL
THEORETICAL COMPUTER SCIENCE Vol. 331 yr. 2005, pp. 215-247 (Article) Lutz Schroeder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman, Bartosz Klin | |
7. | Union of Equational Theories: An Algebraic Approach
LECTURE NOTES IN COMPUTER SCIENCE Vol. 3467 yr. 2005, pp. 61-73 (Conference article) Piotr Hoffman | |
8. | Architectural Specification Calculus
LECTURE NOTES IN COMPUTER SCIENCE Vol. 2960 yr. 2004, pp. 329-356 (Article) Piotr Hoffman | |
9. | Verifying Generative CASL Architectural Specifications
LECTURE NOTES IN COMPUTER SCIENCE Vol. 2755 yr. 2003, pp. 233-252 (Conference article) Piotr Hoffman | |
10. | Checking amalgamability conditions for CASL architectural specifications
LECTURE NOTES IN COMPUTER SCIENCE Nr 2136 yr. 2001, pp. 451-463 (Article) Andrzej Tarlecki, Piotr Hoffman, B. Klin, A. Schroeder, T. Mossakowski | |
11. | Semantics of architectural specifications in CASL
LECTURE NOTES IN COMPUTER SCIENCE Nr 2029 yr. 2001, pp. 253-266 (Article) Andrzej Tarlecki, Piotr Hoffman, B. Klin, A. Schroeder, T. Mossakowski | |
12. | Verifying Architectural Specifications
LECTURE NOTES IN COMPUTER SCIENCE Vol. 2267 yr. 2001, pp. 152-175 (Conference article) Piotr Hoffman |