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
Showing 1 - 12 results of 12 for search 'Silva, Alexandra 1984-', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part I

    Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part I

    Published 2021
    Other Authors: “…Silva, Alexandra 1984-…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  2. 2
    Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II

    Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II

    Published 2021
    Other Authors: “…Silva, Alexandra 1984-…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  3. 3
    Foundations of probabilistic programming

    Foundations of probabilistic programming

    Published 2021
    Other Authors:
    Get full text
    Electronic eBook


    Saved in:
  4. 4
    Logic, language, information, and computation 27th International Workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings

    Logic, language, information, and computation 27th International Workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings

    Published 2021
    Other Authors: “…Silva, Alexandra 1984-…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  5. 5
    Computer aided verification 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings

    Computer aided verification 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings

    Published 2021
    Other Authors: “…Silva, Alexandra 1984-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Computer aided verification 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings

    Computer aided verification 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings

    Published 2021
    Other Authors: “…Silva, Alexandra 1984-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Computer aided verification 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings

    Computer aided verification 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings

    Published 2021
    Other Authors: “…Silva, Alexandra 1984-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  8. 8
    35th International Conference on Concurrency Theory CONCUR 2024, September 9–13, 2024, Calgary, Canada

    35th International Conference on Concurrency Theory CONCUR 2024, September 9–13, 2024, Calgary, Canada

    Published 2024
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:
  9. 9
    32nd EACSL Annual Conference on Computer Science Logic CSL 2024, February 19–23, 2024, Naples, Italy

    32nd EACSL Annual Conference on Computer Science Logic CSL 2024, February 19–23, 2024, Naples, Italy

    Published 2024
    Other Authors:
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  10. 10
    Logic, language, information, and computation 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021 : proceedings

    Logic, language, information, and computation 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021 : proceedings

    Published 2021
    Other Authors: “…Silva, Alexandra 1984-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  11. 11
    9th Conference on Algebra and Coalgebra in Computer Science CALCO 2021, August 31–September 3, 2021, Salzburg, Austria

    9th Conference on Algebra and Coalgebra in Computer Science CALCO 2021, August 31–September 3, 2021, Salzburg, Austria

    Published 2021
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:
  12. 12
    47th International Symposium on Mathematical Foundations of Computer Science MFCS 2022, August 22–26, 2022, Vienna, Austria

    47th International Symposium on Mathematical Foundations of Computer Science MFCS 2022, August 22–26, 2022, Vienna, Austria

    Published 2022
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:

Search Tools: