OpenAlex
Alexandra Silva
Author
View works
Alternate names A Silva, Alexandra Silva, A. S. SILVA, A. SILVA
Institution Cornell University
Past institutions Cornell University, Angelina College, University College London, University of Oslo, Royal Holloway University of London +5 more
ORCID: Yes
H-index: 23
I10-index: 55
Works count: 258
Citations count: 1,884
Top works
Generalizing determinization from automata to coalgebras
2013 · Alexandra Silva, Filippo Bonchi, et al. · Logical Methods in Computer Science
A Coalgebraic Decision Procedure for NetKAT
2014 · Nate Foster, Dexter Kozen, et al.
Probabilistic NetKAT
2016 · Nate Foster, Dexter Kozen, et al. · Lecture notes in computer science
Key stats
year
open access
topic
type