Search Results - Silva, Alexandra
Alexandra Silva
Alexandra Silva (born 1984) is a Portuguese computer scientist and Professor at Cornell University. She was previously Professor of Algebra, Semantics, and Computation at University College London. Provided by Wikipedia-
1
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Published 2021Other Authors: “…Silva, Alexandra…”
Link to Metadata
Electronic eBook -
2
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Other Authors: “…Silva, Alexandra…”
Link to Metadata
Electronic eBook -
3
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Published 2021Other Authors: “…Silva, Alexandra…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Published 2021Other Authors: “…Silva, Alexandra…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Published 2021Other Authors: “…Silva, Alexandra…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
6
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Published 2021Other Authors: “…Silva, Alexandra…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
7
Foundations of Probabilistic Programming
Published 2020Other Authors: “…Silva, Alexandra…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter