| 2023 | CALCO | Interpolation Is (Not Always) Easy to Spoil. | Andrzej Tarlecki |
| 2014 | FOSSACS | A Relatively Complete Calculus for Structured Heterogeneous Specifications. | Till Mossakowski, Andrzej Tarlecki |
| 2012 | ICST | Testing of Evolving Protocols. | Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki |
| 2002 | MFCS | Global Development via Local Observational Construction Steps. | Michel Bidoit, Donald Sannella, Andrzej Tarlecki |
| 2001 | FASE | Semantics of Architectural Specifications in CASL. | Lutz Schrder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman |
| 2001 | ICALP | Amalgamation in CASL via Enriched Signatures. | Lutz Schrder, Till Mossakowski, Andrzej Tarlecki |
| 2001 | MFCS | Checking Amalgamability Conditions for C ASL Architectural Specifications. | Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schrder, Till Mossakowski |
| 2000 | FOSSACS | Constructive Data Refinement in Typed Lambda Calculus. | Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki |
| 1996 | MFCS | Mind the Gap! Abstract Versus Concrete Models of Specifications. | Donald Sannella, Andrzej Tarlecki |
| 1995 | COMPASS | Moving Between Logical Systems. | Andrzej Tarlecki |
| 1992 | ESOP | Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft. | Andrzej Tarlecki |
| 1992 | ICALP | Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations. | Donald Sannella, Andrzej Tarlecki |
| 1990 | FM | A Naive Domain Universe for VDM. | Andrzej Tarlecki, Morten Wieth |
| 1989 | LICS | Structure and Representation in LF | Robert Harper, Donald Sannella, Andrzej Tarlecki |
| 1988 | FM | A Three-Valued Logic for Software Specification and Validation. | Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle |
| 1985 | FCT | Continuous abstract data types: basic machinery and results. | Andrzej Tarlecki, Martin Wirsing |
| 1985 | POPL | Program Specification and Development in Standard ML. | Donald Sannella, Andrzej Tarlecki |
| 1984 | MFCS | Free Constructions in Algebraic Institutions. | Andrzej Tarlecki |