Scholar
Corina Cirstea
Google Scholar ID: ErZfebYAAAAJ
University of Southampton
Coalgebra
Logic
Verification
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
252
H-index
10
i10-index
10
Publications
20
Co-authors
6
list available
Contact
Twitter
Open ↗
Publications
4 items
Traces via Strategies in Two-Player Games
2025
Cited
0
Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
2025
Cited
0
Learning Is a Kan Extension
2025
Cited
0
Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm
arXiv.org · 2023
Cited
0
Co-authors
3 total
Mehrnoosh Sadrzadeh
Professor of Computer Science, Royal Academy of Engineering Research Chair,University College London
Ichiro Hasuo
Professor of Computer Science, National Institute of Informatics
Lutz Schröder
Professor of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg
