Todd Schmid
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | GKAT with Hoare Hypotheses. | Jurriaan Rot, Todd Schmid, Jana Wagemaker |
| 2026 | LICS | The Algebra of Iterative Constructions. | Kevin Batz, Benjamin Lucien Kaminski, Lucas Kehrer, Gerwin Klein, Todd Schmid, Henning Urbat |
| 2025 | CSL | A Complete Inference System for Probabilistic Infinite Trace Equivalence. | Corina Crstea, Lawrence S. Moss, Victoria Noquez, Todd Schmid, Alexandra Silva, Ana Sokolova |
| 2025 | FOSSACS | A General Completeness Theorem for Skip-Free Star Algebras. | Tobias Kapp, Todd Schmid |
| 2023 | CALCO | Fractals from Regular Behaviours. | Todd Schmid, Victoria Noquez, Lawrence S. Moss |
| 2023 | ESOP | A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. | Todd Schmid, Tobias Kapp, Alexandra Silva |
| 2023 | ICALP | Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. | Wojciech Rozowski, Tobias Kapp, Dexter Kozen, Todd Schmid, Alexandra Silva |
| 2022 | ICALP | Processes Parametrised by an Algebraic Theory. | Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot |
| 2021 | CALCO | How to Write a Coequation ((Co)algebraic pearls). | Fredrik Dahlqvist, Todd Schmid |
| 2021 | ICALP | Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. | Todd Schmid, Tobias Kapp, Dexter Kozen, Alexandra Silva |