AGILE: Software Architecture for Mobility. - Luís Andrade 001; Paolo Baldan; Hubert Baumeister; Roberto Bruni 001; Andrea Corradini 001; Rocco De Nicola; José Luiz Fiadeiro; Fabio Gadducci; Stefania Gnesi; Piotr Hoffman; Nora Koch; Piotr Kosiuczenko; et al. (WADT, 2002)

Architectural Specifications for Reactive Systems. - Artur Zawlocki (WADT, 2004)

Property Preserving Redesign of Specifications. - Artur Zawlocki; Grzegorz Marczynski; Piotr Kosiuczenko (CALCO, 2005)

A heterogeneous approach to service-oriented systems specification. - Alexander Knapp; Grzegorz Marczynski; Martin Wirsing; Artur Zawlocki (SAC, 2010)

Arctic-TILT. Business Document Understanding at Sub-Billion Scale. - Lukasz Borchmann; Michal Pietruszka; Wojciech Jaskowski; Dawid Jurkiewicz; Piotr Halama; Pawel Józiak; Lukasz Garncarek; Pawel Liskowski; Karolina Szyndler; Andrzej Gretkowski; Julita Oltusek; Gabriela Nowakowska; et al. (CoRR, 2024)