Algebras for generalized power constructions. - Andrea Schalk (1993)

Building Models of Linear Logic. - Valeria de Paiva; Andrea Schalk (AMAST, 1998)

Abstract Games for Linear Logic. - Martin Hyland; Andrea Schalk (CTCS, 1999)

A fully abstract denotational model for observational precongruence. - Anna Ingólfsdóttir; Andrea Schalk (Theor. Comput. Sci., 2001)

Games on Graphs and Sequentially Realizable Functionals. - Martin Hyland; Andrea Schalk (LICS, 2002)

Glueing and orthogonality for models of linear logic. - Martin Hyland; Andrea Schalk (Theor. Comput. Sci., 2003)

Concrete Data Structures as Games. - Andrea Schalk; José Juan Palacios Pérez (CTCS, 2004)

Poset-valued sets or how to build models for linear logics. - Andrea Schalk; Valeria de Paiva (Theor. Comput. Sci., 2004)

Concrete data structures as games. - Andrea Schalk (GALOP@ETAPS, 2005)

Modelling Linear Logic Without Units (Preliminary Results). - Robin Houston; Dominic J. D. Hughes; Andrea Schalk (CoRR, 2005)

10252 Abstracts Collection - Game Semantics and Program Verification. - Paul-André Melliès; Andrzej S. Murawski; Andrea Schalk; Igor Walukiewicz (Game Semantics and Program Verification, 2010)

10252 Executive Summary - Game Semantics and Program Verification. - Paul-André Melliès; Andrzej S. Murawski; Andrea Schalk; Igor Walukiewicz (Game Semantics and Program Verification, 2010)

Constructing Fully Complete Models of Multiplicative Linear Logic. - Andrea Schalk; Hugh P. Steele (Log. Methods Comput. Sci., 2015)

A Category Theoretic Interpretation of Gandy's Principles for Mechanisms. - Joseph Razavi; Andrea Schalk (DCM/ITRS, 2018)

Modelling Multiplicative Linear Logic via Deep Inference. - Tomer Galor; Andrea Schalk (CoRR, 2024)