Todd Schmid

According to our database, Todd Schmid authored at least 11 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity.

Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests.

Todd Schmid, Tobias Kappé, Alexandra Silva

Proceedings of the Programming Languages and Systems, 2023

Fractals from Regular Behaviours.

Todd Schmid, Victoria Noquez, Lawrence S. Moss

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

A (Co)Algebraic Framework for Ordered Processes.

Todd Schmid

CoRR, 2022

Presenting Quantitative Inequational Theories.

Todd Schmid

CoRR, 2022

Processes Parametrised by an Algebraic Theory.

Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

2021

How to write a coequation.

Fredrik Dahlqvist, Todd Schmid

CoRR, 2021

On Star Expressions and Coalgebraic Completeness Theorems.

Todd Schmid, Jurriaan Rot, Alexandra Silva

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness.

Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

How to Write a Coequation ((Co)algebraic pearls).

Fredrik Dahlqvist, Todd Schmid

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2019

Concrete barriers to quantifier elimination in finite dimensional C*-algebras.

Christopher J. Eagle, Todd Schmid

Math. Log. Q., 2019