You are not logged in | log in

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset


Andrzej Tarlecki




  • Donald Sannella and Andrzej Tarlecki, The Foundational Legacy of ASL., in: Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering., Springer, 2015, p. 253–272.see in PBN
  • Yazmin Angélica Ibáñez-García, Till Mossakowski, Donald Sannella and Andrzej Tarlecki, Modularity of Ontologies in an Arbitrary Institution., in: Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday., Springer, 2015, p. 361–379.see in PBN
  • Grzegorz Marczyński, Donald Sannella and Andrzej Tarlecki, Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation, International Journal Of Software And Informatics 9 (2) 2015, p. 117–139.see in PBN




  • Alexander Kurz and Andrzej Tarlecki (eds.), Special issue on Algebra and Coalgebra in Computer Science (CALCO 2009), Braunschweig 2011.see in PBN
  • Andrzej Tarlecki, Some Nuances of Many-sorted Universal Algebra: A Review, in: Bulletin of the EATCS, Amsterdam 2011, p. 89–111.see in PBN
  • Joerg Kreiker, Andrzej Tarlecki, Moshe Vardi and Reinhard Wilhelm, Modeling, Analysis, and Verification: The Formal Methods Manifesto 2010, in: Dagstuhl Manifestos, Dagstuhl Publishing, Dagstuhl 2011, p. 21–40.see in PBN



  • Donald Sannella and Andrzej Tarlecki, Observability Concepts in Abstract Data Type Specification, 30 Years Later, in: Concurrency, Graphs and Models, 2008.see in PBN
  • María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki and Martin Wirsing, A Heterogeneous Approach to UML Semantics, in: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, BERLIN, GERMANY, D-14197 2008.see in PBN
  • Michel Bidoit, Donald Sannella and Andrzej Tarlecki, Observational interpretation of Casl specifications, Mathematical Structures In Computer Science 18 (2) 2008, p. 325–371.see in PBN
  • Andrzej Tarlecki, T. Mossakowski, A. Haxthausen and D. Sannella, CASL --- The Common Algebraic Specification Language, in: Logics of Specification Languages, Springer, 2008.see in PBN






  • Luis Filippe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicolo, Jose Luis Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antonia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristovao Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing and Artur Zawłocki, AGILE: Software Architecture for Mobility., in: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers., Springer, 2003, p. 1–33.see in PBN
  • Andrzej Tarlecki, Abstract specification theory: an overview, in: Models, Algebras, and Logics of Engineering Software, IOS Press, Washington 2003.see in PBN
  • Jan Madey, Jose Fiadeiro and Andrzej Tarlecki (eds.), Special Issue to Honour Professor W.M. Turski, Elsevier, Amsterdam 2003.see in PBN
  • Till Mossakowski, Anne Haxthausen, Donald Sannella and Andrzej Tarlecki, CASL --- The Common Algebraic Specification Language: semantics and proof theory, Computing And Informatics 22 2003, p. 285–321.see in PBN