Piotr Hoffman

Institute of Informatics
Warsaw University
Banacha 2
02-097 Warszawa
POLAND
E-mail: piotrek@mimuw.edu.pl


Publikacje

  1. Piotr Hoffman (ed.), Monika Tabor-Gruszfeld: Spółdzielnie mieszkaniowe. Komentarz do nowelizacji. C. H. Beck, Warszawa 2018.

  2. Piotr Hoffman: Das Leistungsversprechen auf erstes Anfordern. Duncker & Humblot, Berlin 2017.

  3. Piotr Hoffman: Odpowiedzialność Skarbu Państwa za szkodę wyrządzoną na skutek zastosowania nienotyfikowanych przepisów technicznych. In Maciej Taborowski (ed.): Skutki braku notyfikacji przepisów technicznych ustawy o grach hazardowych dla wymiaru sprawiedliwości Rzeczypospolitej Polskiej, pp. 364-398, Wolters Kluwer, Warszawa 2016.

  4. Claus Köhler, Thomas Berg, Piotr Hoffman, Peter Urbanek: Bank-, Börsen- und Wertpapierrecht, Versicherungsrecht. In: WiRO Handbuch Wirtschaft und Recht in Osteuropa, Ergänzungslieferung 87 (2009), Kapitel D.IX PL (Polen), pp. 1-31, C. H. Beck 2009.

  5. Piotr Hoffman: A Proof of Isbell's Zigzag Theorem. Journal of the Australian Mathematical Society, vol. 84 (2008), pp. 229-232.

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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.


Slajdy z Prawa dla informatykow: 1 2 3 4 5 6 7 8


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