Publications
1
Co-authors
1
Institutions
1
Countries
1
Journals
1
Reads
52
Collaboration network
Each institution Dr. Sofia Morales-Vega has published with, and the co-authors who work there.
Thicker lines mean more papers from that institution; larger circles mean more work shared.
This author
Co-author
Institution
Drag a node to rearrange it; click a co-author to open their profile.
Institutions
Co-authors' institutions, by papers shared.
-
University of Ghana 1
Institutions are read from the affiliation text each co-author typed in, and near-identical spellings are merged — so a name here may not match a co-author's own wording exactly.
Publications per year
1
publication, all in 2026
Journals published in
Research topics
Keywords across this author's papers.
solidity
Smart Contract Security
Abstract Interpretation
SMT Solving
Static Analysis
Countries reached
Ghana 1
