Todd Schmid

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 16

Top Topics

Algebraic Expressions

Finite Dimensional

Boolean Algebra

Top Venues

Publications

Todd Schmid, Tobias Kappé, Alexandra Silva
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. ESOP (2023)
Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. ICALP (2023)
Todd Schmid, Tobias Kappé, Alexandra Silva
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. CoRR (2023)
Todd Schmid, Victoria Noquez, Lawrence S. Moss
Fractals from Regular Behaviours. CoRR (2023)
Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. CoRR (2023)
Todd Schmid, Victoria Noquez, Lawrence S. Moss
Fractals from Regular Behaviours. CALCO (2023)
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
Processes Parametrised by an Algebraic Theory. ICALP (2022)
Todd Schmid
A (Co)Algebraic Framework for Ordered Processes. CoRR (2022)
Todd Schmid
Presenting Quantitative Inequational Theories. CoRR (2022)
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
Processes Parametrised by an Algebraic Theory. CoRR (2022)
Fredrik Dahlqvist, Todd Schmid
How to Write a Coequation ((Co)algebraic pearls). CALCO (2021)
Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. CoRR (2021)
Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. ICALP (2021)
Fredrik Dahlqvist, Todd Schmid
How to write a coequation. CoRR (2021)
Todd Schmid, Jurriaan Rot, Alexandra Silva
On Star Expressions and Coalgebraic Completeness Theorems. CoRR (2021)
Christopher J. Eagle, Todd Schmid
Concrete barriers to quantifier elimination in finite dimensional C*-algebras. Math. Log. Q. 65 (4) (2019)