| ||
26. | Special issue on Automata, Languages and Programming (ICALP 2007)
Elsevier, r. 2009 (Książka) L. Arge (Redaktor), Ch. Cachin (Redaktor), Andrzej Tarlecki (Redaktor) | |
27. | Third International Conference on Algebra and Coalgebra in Computer Science
Springer-Verlag, r. 2009 (Książka) Alexander Kurz (Redaktor), Marina Lenisa (Redaktor), Andrzej Tarlecki (Redaktor) | |
28. | FM 2005: Formal Methods, International Symposium of Formal Methods Europe
Springer-Verlag, r. 2005 (Książka) Ian Hayes (Redaktor), John Fitzgerald (Redaktor), Andrzej Tarlecki (Redaktor) | |
29. | Computer Science Logic. 18th International Workshop
Springer, r. 2004 (Książka) Jerzy Marcinkowski (Redaktor), Andrzej Tarlecki (Redaktor) | |
30. | Special Issue to Honour Professor W.M. Turski
Elsevier, r. 2003 (Książka) Jan Madey (Redaktor), Jose Fiadeiro (Redaktor), Andrzej Tarlecki (Redaktor) | |
| ||
31. | Testing of Evolving Protocols
w: ICST, str. 901-906, r. 2012 (Artykuł konferencyjny) Jacek Chrząszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki | |
32. | Modeling, Analysis, and Verification: The Formal Methods Manifesto 2010
w: Dagstuhl Manifestos, str. 21-40, Dagstuhl Publishing, r. 2011 (Esej lub rozdział w książce) Joerg Kreiker, Andrzej Tarlecki, Moshe Vardi, Reinhard Wilhelm | |
33. | Some Nuances of Many-sorted Universal Algebra: A Review
w: Bulletin of the EATCS, str. 89-111, r. 2011 (Artykuł) Andrzej Tarlecki | |
34. | A Heterogeneous Approach to UML Semantics
w: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, str. 383-402, r. 2008 (Esej lub rozdział w książce) María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing | |
35. | CASL --- The Common Algebraic Specification Language
w: Logics of Specification Languages, str. 241-298, Springer, r. 2008 (Esej lub rozdział w książce) Andrzej Tarlecki, T. Mossakowski, A. Haxthausen, D. Sannella | |
36. | Distributed Specifications in Heterogeneous Logical Environments
w: WADT, str. 53-55, r. 2008 (Artykuł konferencyjny) Andrzej Tarlecki | |
37. | Observability Concepts in Abstract Data Type Specification, 30 Years Later
w: Concurrency, Graphs and Models, str. 593-617, r. 2008 (Artykuł konferencyjny) Donald Sannella, Andrzej Tarlecki | |
38. | What is a logic?
w: Logica Universalis, str. 113-133, Birkhauser, r. 2005 (Esej lub rozdział w książce) Razvan Diaconescu, Joseph Goguen, Till Mossakowski, Andrzej Tarlecki | |
39. | Software Specification and Development in Heterogeneous Environments
w: Proceedings 1st International Workshop on Combination of Logics: Theoryand Applications CombLog'04, str. 61-70, Instituto Superior Tecnico, Lisboa, r. 2004 (Artykuł konferencyjny) Andrzej Tarlecki | |
40. | Abstract specification theory: an overview
w: Models, Algebras, and Logics of Engineering Software, str. 43-79, IOS Press, r. 2003 (Artykuł) Andrzej Tarlecki | |
41. | Toward Component-Oriented Formal Software Development: an Algebraic Approach
w: Proc. 9th Monterey Software Engineering Workshop 2002"Radical Innovations of Software and System Engineering in the Future", str. 57-68, Universita Ca Foscari di Venezia, r. 2002 (Artykuł konferencyjny) M. Bidoit, D. Sannella, Andrzej Tarlecki | |
42. | Towards heterogeneous specifications
w: . Intl. Conference Frontiers of Combining Systems FroCoS, str. 337-360, Research Studies Press, r. 2000 (Artykuł konferencyjny) Andrzej Tarlecki |