We stand with Ukraine  

Ana Oliveira da Costa

Orcid: 0000-0002-8741-5799

Affiliations:
  • Institute of Science and Technology Austria, Klosterneuburg, Austria


According to our database1, Ana Oliveira da Costa authored at least 11 papers between 2016 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Gray-box runtime enforcement of hyperproperties.
[BibTeX]
[DOI]
Tzu-Han Hsu
,
Ana Oliveira da Costa
,
Andrew Wintenberg
,
Ezio Bartocci
,
Borzoo Bonakdarpour
Acta Informatica, September, 2025

Monitoring Hyperproperties over Observed and Constructed Traces.
[BibTeX]
[DOI]
Marek Chalupa
,
Thomas A. Henzinger
,
Ana Oliveira da Costa
CoRR, August, 2025

Information-flow interfaces.
[BibTeX]
[DOI]
Ezio Bartocci
,
Thomas Ferrère
,
Thomas A. Henzinger
,
Dejan Nickovic
,
Ana Oliveira da Costa
Formal Methods Syst. Des., May, 2025

2024
Information-flow Interfaces and Security Lattices.
[BibTeX]
[DOI]
Ezio Bartocci
,
Thomas A. Henzinger
,
Dejan Nickovic
,
Ana Oliveira da Costa
CoRR, 2024

Monitoring Extended Hypernode Logic.
[BibTeX]
[DOI]
Marek Chalupa
,
Thomas A. Henzinger
,
Ana Oliveira da Costa
Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023
Hypernode Automata.
[BibTeX]
[DOI]
Ezio Bartocci
,
Thomas A. Henzinger
,
Dejan Nickovic
,
Ana Oliveira da Costa
Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022
Flavors of Sequential Information Flow.
[BibTeX]
[DOI]
Ezio Bartocci
,
Thomas Ferrère
,
Thomas A. Henzinger
,
Dejan Nickovic
,
Ana Oliveira da Costa
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

2021
Flavours of Sequential Information Flow.
[BibTeX]
[DOI]
Ezio Bartocci
,
Thomas Ferrère
,
Thomas A. Henzinger
,
Dejan Nickovic
,
Ana Oliveira da Costa
CoRR, 2021

2017
Monadic Reasoning using Weak Completion Semantics.
[BibTeX]
[DOI]
Ana Oliveira da Costa
,
Emmanuelle-Anna Dietz Saldanha
,
Steffen Hölldobler
Proceedings of the YSIP2, 2017

A Computational Logic Approach to Human Syllogistic Reasoning.
[BibTeX]
[DOI]
Ana Oliveira da Costa
,
Emmanuelle-Anna Dietz Saldanha
,
Steffen Hölldobler
,
Marco Ragni
Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017

2016
Syllogistic Reasoning under the Weak Completion Semantics.
[BibTeX]
[DOI]
Ana Oliveira da Costa
,
Emmanuelle-Anna Dietz
,
Steffen Hölldobler
,
Marco Ragni
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016


  Loading...