You are not logged in | Log in

Andrzej Tarlecki

Number of publications: 60

2023

2017

2015

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

2014

2012

  • Donald Sannella, Andrzej Tarlecki , Foundations of Algebraic Specification and Formal Software Development, 2012. See in PBN
  • Jacek Chrząszcz, Patryk Czarnik, Aleksy Schubert , Andrzej Tarlecki , Testing of Evolving Protocols, IEEE Sixth International ConferIEEE Sixth International Conference on Software Testing, Verification and Validation 2012, Montreal, Canada, 2012. See in PBN

2011

  • Joerg Kreiker, Andrzej Tarlecki , Moshe Vardi, Reinhard Wilhelm, Modeling, Analysis, and Verification: The Formal Methods Manifesto 2010, 2011. See in PBN
  • Alexander Kurz, Andrzej Tarlecki , Special issue on Algebra and Coalgebra in Computer Science (CALCO 2009), 2011. See in PBN

2009

2008

2007

2006

2005

2004

2003

  • Andrzej Tarlecki , Abstract specification theory: an overview, 2003. 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, Artur Zawłocki, AGILE: Software Architecture for Mobility., 16th International Workshop on Algebraic Development Techniques, Frauenchiemsee, Germany, 24 September 2002 - 27 September 2002. See in PBN
  • Anne Haxthausen, Till Mossakowski, Donald Sannella, Andrzej Tarlecki , CASL --- The Common Algebraic Specification Language: semantics and proof theory, Computing and Informatics, 2003. See in PBN
  • Jose Fiadeiro, Jan Madey, Andrzej Tarlecki , Special Issue to Honour Professor W.M. Turski, 2003. See in PBN

2002

2001

2000

1999

1997

Others