Concrete barriers to quantifier elimination in finite dimensional C*-algebras. - Christopher J. Eagle; Todd Schmid (Math. Log. Q., 2019)

How to Write a Coequation ((Co)algebraic pearls). - Fredrik Dahlqvist; Todd Schmid (CALCO, 2021)

Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. - Todd Schmid; Tobias Kappé; Dexter Kozen; Alexandra Silva 001 (ICALP, 2021)

On Star Expressions and Coalgebraic Completeness Theorems. - Todd Schmid; Jurriaan Rot; Alexandra Silva 001 (MFPS, 2021)

How to write a coequation. - Fredrik Dahlqvist; Todd Schmid (CoRR, 2021)

Processes Parametrised by an Algebraic Theory. - Todd Schmid; Wojciech Rozowski; Alexandra Silva 001; Jurriaan Rot (ICALP, 2022)

Presenting Quantitative Inequational Theories. - Todd Schmid (CoRR, 2022)

A (Co)Algebraic Framework for Ordered Processes. - Todd Schmid (CoRR, 2022)

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. - Todd Schmid; Tobias Kappé; Alexandra Silva 001 (ESOP, 2023)

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. - Wojciech Rozowski; Tobias Kappé; Dexter Kozen; Todd Schmid; Alexandra Silva 001 (ICALP, 2023)

A Complete Inference System for Probabilistic Infinite Trace Equivalence. - Corina Cîrstea; Lawrence S. Moss; Victoria Noquez; Todd Schmid; Alexandra Silva 001; Ana Sokolova (CSL, 2025)

A General Completeness Theorem for Skip-Free Star Algebras. - Tobias Kappé; Todd Schmid (FoSSaCS, 2025)

Fractals from Regular Behaviours. - Todd Schmid; Victoria Noquez; Lawrence S. Moss (Log. Methods Comput. Sci., 2025)