Name Card

Full name Familienname, Vorname
Oliveira Da Costa, Ana Alexandra
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra Hypernode AutomataInproceedings Konferenzbeitrag 7-Sep-2023
2Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra Information-flow InterfacesInproceedings Konferenzbeitrag 29-Mar-2022
3Oliveira da Costa Ana Alexandra - 2018 - Raetselhafte Ignoranz ein Rundgang...pdf.jpgOliveira da Costa, Ana Alexandra Rätselhafte Ignoranz : ein Rundgang durch epistemische Logik : a modal epistemic tourThesis Hochschulschrift 2018