Todd Schmid

21 papers A* 3A 1B 5Journal 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
Coalgebraic Path Constraints.
CoRR
Todd Schmid
2025 B conf
A Complete Inference System for Probabilistic Infinite Trace Equivalence.
CSL
Corina Cîrstea, Lawrence S. Moss, Victoria Noquez, Todd Schmid, Alexandra Silva, Ana Sokolova
2025 B conf
A General Completeness Theorem for Skip-Free Star Algebras.
FoSSaCS
Tobias Kappé, Todd Schmid
2025 J jnl
A General Completeness Theorem for Skip-free Star Algebras.
CoRR
Tobias Kappé, Todd Schmid
2025 J jnl
Fractals from Regular Behaviours.
Log. Methods Comput. Sci.
Todd Schmid, Victoria Noquez, Lawrence S. Moss
2023 A conf
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests.
ESOP
Todd Schmid, Tobias Kappé, Alexandra Silva
2023 J jnl
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests.
CoRR
Todd Schmid, Tobias Kappé, Alexandra Silva
2023 B conf
Fractals from Regular Behaviours.
CALCO
Todd Schmid, Victoria Noquez, Lawrence S. Moss
2023 J jnl
Fractals from Regular Behaviours.
CoRR
Todd Schmid, Victoria Noquez, Lawrence S. Moss
2023 A* conf
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity.
ICALP
Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
2023 J jnl
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity.
CoRR
Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
2022 J jnl
A (Co)Algebraic Framework for Ordered Processes.
CoRR
Todd Schmid
2022 J jnl
Presenting Quantitative Inequational Theories.
CoRR
Todd Schmid
2022 A* conf
Processes Parametrised by an Algebraic Theory.
ICALP
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
2022 J jnl
Processes Parametrised by an Algebraic Theory.
CoRR
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
2021 A* conf
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness.
ICALP
Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
2021 J jnl
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness.
CoRR
Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
2021 B conf
How to Write a Coequation ((Co)algebraic pearls).
CALCO
Fredrik Dahlqvist, Todd Schmid
2021 J jnl
How to write a coequation.
CoRR
Fredrik Dahlqvist, Todd Schmid
2021 B conf
On Star Expressions and Coalgebraic Completeness Theorems.
MFPS
Todd Schmid, Jurriaan Rot, Alexandra Silva
2019 J jnl
Concrete barriers to quantifier elimination in finite dimensional C*-algebras.
Math. Log. Q.
Christopher J. Eagle, Todd Schmid