Ana Oliveira da Costa

Orcid: 0000-0002-8741-5799

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Information-flow Interfaces and Security Lattices.
CoRR, 2024

2023
Hypernode Automata.
Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022
Flavors of Sequential Information Flow.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

Information-flow Interfaces.
Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021
Flavours of Sequential Information Flow.
CoRR, 2021

2017
Monadic Reasoning using Weak Completion Semantics.
Proceedings of the YSIP2, 2017

A Computational Logic Approach to Human Syllogistic Reasoning.
Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017

2016
Syllogistic Reasoning under the Weak Completion Semantics.
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...