Ana Oliveira da Costa

According to our database, Ana Oliveira da Costa authored at least 9 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Information-flow Interfaces and Security Lattices.

Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa

CoRR, 2024

Monitoring Extended Hypernode Logic.

Marek Chalupa, Thomas A. Henzinger, Ana Oliveira da Costa

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023

Hypernode Automata.

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.

Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

Information-flow Interfaces.

Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

Flavours of Sequential Information Flow.

Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa

CoRR, 2021

2017

Monadic Reasoning using Weak Completion Semantics.

Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler

Proceedings of the YSIP2, 2017

A Computational Logic Approach to Human Syllogistic Reasoning.

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.

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