Corina Cirstea
Identifiers
- name variant Corina Cirstea 0.60 · backfill
Papers (2)
- Presenting Neural Networks via Coherent Functors math.CT · 2026 · author #3
- Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices) cs.LO · 2015 · author #3
Mentions
- 1511.00346 #3 · backfill · confidence 0.70 Corina Cirstea
Frequent Coauthors
- Ichiro Hasuo 1 shared papers
- Jo Grundy 1 shared papers
- Matthew Pugh 1 shared papers
- Nick Harris 1 shared papers
- Shunsuke Shimizu 1 shared papers