Piotr Hoffman

Institute of Informatics
Warsaw University
Banacha 2
02-097 Warszawa
POLAND
E-mail: piotrek@mimuw.edu.pl
Phone: +48 22 554 45 68
Office: 5680

Publikacje

  1. Piotr Hoffman: A Proof of Isbell's Zigzag Theorem. Journal of the Australian Mathematical Society (to appear).

  2. David Aspinall, Piotr Hoffman: Datatypes in Memory. In Ugo Montanari, Till Mossakowski (eds): Algebra and Coalgebra in Computer Science, 2nd Conf., CALCO 2007. LNCS 4624, pp. 111-125, Springer 2007. pdf

  3. Piotr Hoffman, Bartek Klin: 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 Papyrology, vol. XXXVI (2006), pp. 67-90. pdf

  4. Mikołaj Bojańczyk, Piotr Hoffman: Reachability in Unions of Commutative Rewriting Systems Is Decidable. In Wolfgang Thomas, Pascal Weil (eds): Theoretical Aspects of Computer Science, 24th Ann. Symp., STACS 2007. LNCS 4393, pp. 622-633, Springer 2007. pdf bib-entry

  5. Piotr Hoffman: Unions of Equational Monadic Theories. In Frank Pfenning (ed.): Term Rewriting and Applications, 17th Intnl. Conf., RTA 2006. LNCS 4098, pp. 81-95, Springer 2006. gzipped ps full version bib-entry

  6. Piotr Hoffman: Union of Equational Theories: An Algebraic Approach. In Jurgen Giesl (ed.): Term Rewriting and Applications, 16th Intnl. Conf., RTA 2005. LNCS 3467, pp. 61-73, Springer 2005. gzipped ps bib-entry

  7. Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman: Amalgamation in the Semantics of CASL. Theoretical Computer Science 331(1), pp. 215-247, 2005. gzipped ps bib-entry

  8. Till Mossakowski (ed.), Piotr Hoffman, Serge Autexier, Dieter Hutter: CASL Logic. Part IV of Common Framework Initiative (CoFI): CASL Reference Manual. LNCS 2960, Springer 2004. bib-entry

  9. Piotr Hoffman: Verifying Generative CASL Architectural Specifications. In Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds): Recent Trends in Algebraic Development Techniques, 16th Intnl. Workshop, WADT 2002. LNCS 2755, pp. 233-252, Springer 2003. gzipped ps bib-entry

  10. Piotr Hoffman: Verifying Architectural Specifications. In Maura Cerioli, Gianna Reggio (eds): Recent Trends in Algebraic Development Techniques, 15th Intnl. Workshop, WADT 2001. LNCS 2267, pp. 152-175, Springer 2001. gzipped ps bib-entry

  11. Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski: Checking Amalgamability Conditions for CASL Architectural Specifications. In Jiri Sgall, Ales Pultr, Petr Kolman (eds): Mathematical Foundations of Computer Science, 26th Intnl. Symp., MFCS 2001. LNCS 2136, pp. 451-463, Springer 2001.gzipped ps bib-entry

  12. Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman: Semantics of Architectural Specifications in CASL. In Heinrich Hussmann (ed.): Fundamental Approaches to Software Engineering, 4th Intnl. Conf., FASE 2001. LNCS 2029, pp. 253-268, Springer 2001. gzipped ps bib-entry

PhD Thesis - Architectural Specifications and Their Verification:

Instytucje Gaiusa.

Tłumaczenie wyroku Federalnego Sądu Konstytucyjnego RFN w sprawie Maastricht, BVerfGE 89, 155. Plik MS Word

Streszczenie różnic między projektem ustawy - Prawo o szkolnictwie wyższym w wersji z 26 maja 2003 r. a projektem w wersji z 31 pazdziernika 2003 r. (2 strony) Plik MS Word

Streszczenie różnic między ustawami obowiązującymi a projektem ustawy - Prawo o szkolnictwie wyższym w wersji z 31 pazdziernika 2003 r. (3 strony) Plik MS Word

Rozbudowane streszczenie różnic między ustawami obowiązującymi a projektem ustawy - Prawo o szkolnictwie wyższym w wersji z 31 pazdziernika 2003 r. (ponad 30 stron) Plik MS Word

Zestawienie przepisów ustawy o szkolnictwie wyższym i ustawy o wyższych szkołach zawodowych z przepisami projektu ustawy - Prawo o szkolnictwie wyższym w wersji z 26 maja 2003 r. Plik MS Word