Pinned Repositories
sarariva.github.io
Sara Riva - personal academic webpage
cegar-bonesis
CEGAR for universal properties over minimal trap spaces of Boolean networks
plasmodium-splicing
Analysis of the alternative splicing predictions on Plasmodium F.
SaraRiva's Repositories
SaraRiva/sarariva.github.io
Sara Riva - personal academic webpage