Focused Natural Deduction. - Taus Brock-Nannestad; Carsten Schürmann 001 (LPAR (Yogyakarta), 2010)

Truthful Monadic Abstractions. - Taus Brock-Nannestad; Carsten Schürmann 001 (IJCAR, 2012)

Hybrid Extensions in a Logical Framework. - Taus Brock-Nannestad; Nicolas Guenot; Agata Murawska; Carsten Schürmann 001 (LFMTP, 2014)

Cut Elimination in Multifocused Linear Logic. - Taus Brock-Nannestad; Nicolas Guenot (LINEARITY, 2014)

Computation in focused intuitionistic logic. - Taus Brock-Nannestad; Nicolas Guenot; Daniel Gustafsson (PPDP, 2015)

Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations. - Taus Brock-Nannestad; Kaustuv Chaudhuri (TABLEAUX, 2015)

Focused Linear Logic and the λ-calculus. - Taus Brock-Nannestad; Nicolas Guenot (MFPS, 2015)

Space-Efficient Planar Acyclicity Constraints - A Declarative Pearl. - Taus Brock-Nannestad (FLOPS, 2016)

Multi-focused cut elimination. - Taus Brock-Nannestad; Nicolas Guenot (Math. Struct. Comput. Sci., 2018)

Space-efficient acyclicity constraints: A declarative pearl. - Taus Brock-Nannestad (Sci. Comput. Program., 2018)

An intuitionistic formula hierarchy based on high-school identities. - Taus Brock-Nannestad; Danko Ilik (Math. Log. Q., 2019)