Semantic SOS over Virtual Topic Maps. - Robert Barta; Thomas Bleier; Lara Spendier (South Afr. Comput. J., 2009)

Standard Completeness for Extensions of MTL: An Automated Approach. - Paolo Baldi; Agata Ciabattoni; Lara Spendier (WoLLIC, 2012)

Automated Support for the Investigation of Paraconsistent and Other Logics. - Agata Ciabattoni; Ori Lahav 001; Lara Spendier; Anna Zamansky (LFCS, 2013)

The Fourth Answer Set Programming Competition: Preliminary Report. - Mario Alviano; Francesco Calimeri; Günther Charwat; Minh Dao-Tran; Carmine Dodaro; Giovambattista Ianni; Thomas Krennwallner; Martin Kronegger; Johannes Oetsch; Andreas Pfandler; Jörg Pührer; Christoph Redl; et al. (LPNMR, 2013)

VCWC: A Versioning Competition Workflow Compiler. - Günther Charwat; Giovambattista Ianni; Thomas Krennwallner; Martin Kronegger; Andreas Pfandler; Christoph Redl; Martin Schwengerer; Lara Katharina Spendier; Johannes Peter Wallner; Guohui Xiao 001 (LPNMR, 2013)

Hypersequent and Labelled Calculi for Intermediate Logics. - Agata Ciabattoni; Paolo Maffezioli; Lara Spendier (TABLEAUX, 2013)

Tools for the Investigation of Substructural and Paraconsistent Logics. - Agata Ciabattoni; Lara Spendier (JELIA, 2014)

Taming Paraconsistent (and Other) Logics: An Algorithmic Approach. - Agata Ciabattoni; Ori Lahav 001; Lara Spendier; Anna Zamansky (ACM Trans. Comput. Log., 2014)