Suchergebnisse - Silva, Alexandra 1984-
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-
135th International Conference on Concurrency Theory: CONCUR 2024, September 9–13, 2024, Calgary, CanadaVeröffentlicht 2024Weitere beteiligte Personen: “… Silva, Alexandra 1984- …”
Online lesen (frei zugänglich)
Elektronisch Tagungsbericht E-Book -
232nd EACSL Annual Conference on Computer Science Logic: CSL 2024, February 19–23, 2024, Naples, ItalyVeröffentlicht 2024Weitere beteiligte Personen: “… Silva, Alexandra 1984- …”
Online lesen (frei zugänglich)
Elektronisch E-Book -
39th Conference on Algebra and Coalgebra in Computer Science: CALCO 2021, August 31–September 3, 2021, Salzburg, AustriaVeröffentlicht 2021Weitere beteiligte Personen: “… Silva, Alexandra 1984- …”
Online lesen (frei zugänglich)
Elektronisch Tagungsbericht E-Book -
4Computer aided verification: 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part IVeröffentlicht 2021Weitere beteiligte Personen: “… Silva, Alexandra 1984- …”
Online lesen (frei zugänglich)
Elektronisch Tagungsbericht E-Book -
5Computer aided verification: 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part IIVeröffentlicht 2021Weitere beteiligte Personen: “… Silva, Alexandra 1984- …”
Online lesen (frei zugänglich)
Elektronisch Tagungsbericht E-Book -
647th International Symposium on Mathematical Foundations of Computer Science: MFCS 2022, August 22–26, 2022, Vienna, AustriaVeröffentlicht 2022Weitere beteiligte Personen: “… Silva, Alexandra 1984- …”
Online lesen (frei zugänglich)
Elektronisch Tagungsbericht E-Book -
7Foundations of probabilistic programmingVeröffentlicht 2021Weitere beteiligte Personen: “… Silva, Alexandra 1984- …”
Online lesen (frei zugänglich)
Elektronisch E-Book -
8Logic, language, information, and computation: 27th International Workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedingsVeröffentlicht 2021Weitere beteiligte Personen: “… Silva, Alexandra 1984- …”
Online lesen
Elektronisch Tagungsbericht E-Book -
9Computer aided verification: 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedingsVeröffentlicht 2021Weitere beteiligte Personen: “… Silva, Alexandra 1984- …”
Tagungsbericht Buch -
10Computer aided verification: 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedingsPart 1Veröffentlicht 2021Weitere beteiligte Personen: “… Silva, Alexandra 1984- …”
Tagungsbericht Buch -
11Computer aided verification: 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedingsPart 2Veröffentlicht 2021Weitere beteiligte Personen: “… Silva, Alexandra 1984- …”
Tagungsbericht Buch -
12Logic, language, information, and computation: 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021 : proceedingsVeröffentlicht 2021Weitere beteiligte Personen: “… Silva, Alexandra 1984- …”
Tagungsbericht Buch