Chris Barrett
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | LICS | Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs. | Aleksei Tiurin, Chris Barrett, Dan R. Ghica, Nick Hu |
| 2024 | LICS | The Relational Machine Calculus. | Chris Barrett, Daniel Castle, Willem Heijltjes |
| 2023 | CSL | The Functional Machine Calculus II: Semantics. | Chris Barrett, Willem Heijltjes, Guy McCusker |
| 2021 | WSC | High Performance Agent-Based Modeling to Study Realistic Contact Tracing Protocols. | Stefan Hoops, Jiangzhuo Chen, Abhijin Adiga, Bryan L. Lewis, Henning S. Mortveit, Hannah Baek, Mandy L. Wilson, Dawen Xie, Samarth Swarup, Srinivasan Venkatramanan, Justin Crow, Elena Diskin, Seth Levine, Helen Tazelaar, Brooke Rossheim, Chris Ghaemmaghami, Rebecca Early, Chris Barrett, Madhav V. Marathe, Carter Price |