Alexandra Silva

Alexandra Martins da Silva (* 11. Februar 1984) ist eine portugiesische Informatikerin und Mathematikerin. Sie erhielt 2017 den Presburger Award für ihre Arbeiten über Koalgebren als Werkzeuge zur Formalisierung von Koinduktionen in der funktionalen Programmierung und von Operationen auf verschiedenen Varianten endlicher Automaten, insbesondere probabilistischer Automaten. Veröffentlicht in Wikipedia
Treffer 1 – 12 von 12 für Suche 'Silva, Alexandra 1984-', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  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

    Veröffentlicht 2021
    Weitere Verfasser: “… Silva, Alexandra 1984- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert 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

    Veröffentlicht 2021
    Weitere Verfasser: “… Silva, Alexandra 1984- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Foundations of probabilistic programming

    Foundations of probabilistic programming

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert 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

    Veröffentlicht 2021
    Weitere Verfasser: “… Silva, Alexandra 1984- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert 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

    Veröffentlicht 2021
    Weitere Verfasser: “… Silva, Alexandra 1984- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2021
    Weitere Verfasser: “… Silva, Alexandra 1984- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2021
    Weitere Verfasser: “… Silva, Alexandra 1984- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2024
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2024
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2021
    Weitere Verfasser: “… Silva, Alexandra 1984- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2022
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: