Author Search Results

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

Computer Aided Verification : : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I.

Participants: Silva, Alexandra. [ ]; Leino, K. Rustan M. [ TeilnehmendeR ]
Published: 2021.
Superior document: Lecture Notes in Computer Science Series ; v.12759

Links: Get full text

Computer Aided Verification : : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II.

Participants: Silva, Alexandra. [ ]; Leino, K. Rustan M. [ TeilnehmendeR ]
Published: 2021.
Superior document: Lecture Notes in Computer Science Series ; v.12760

Links: Get full text

Computer Aided Verification : : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / / edited by Alexandra Silva, K. Rustan M. Leino.

Participants: Silva, Alexandra. [ ]; Leino, K. Rustan M. [ TeilnehmendeR ]
Published: 2021.
Superior document: Theoretical Computer Science and General Issues, 12760

Computer Aided Verification : : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / / edited by Alexandra Silva, K. Rustan M. Leino.

Participants: Silva, Alexandra. [ ]; Leino, K. Rustan M. [ TeilnehmendeR ]
Published: 2021.
Superior document: Theoretical Computer Science and General Issues, 12759

Foundations of probabilistic programming / / edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva.

Participants: Barthe, Gilles, 1967- [ TeilnehmendeR ]; Katoen, Joost-Pieter, [ TeilnehmendeR ]; Silva, Alexandra, [ TeilnehmendeR ]
Published: 2021.
Superior document: Mathematical Sciences and Information Technology

Other Authors: “...Silva, Alexandra,...”

New trends towards Mediterranean tourism sustainability / Luis Miguel Rosalino, Alexandra Silva and Antonio Abreu, editors.

Participants: ProQuest (Firm) [ ]; Rosalino, Luis M. [ TeilnehmendeR ]; Silva, Alexandra. [ TeilnehmendeR ]; Abreu, Tono. [ TeilnehmendeR ]; ProQuest (Firm) [ TeilnehmendeR ]
Published: c2012.
Superior document: Hospitality, tourism and marketing studies

Other Authors: “...Silva, Alexandra....”

Links: Get full text