Ana Oliveira da Costa

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 10

Top Topics

Functional Modules

Information Flows

Top Venues

Publications

Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Information-flow Interfaces and Security Lattices. CoRR (2024)
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Hypernode Automata. CONCUR (2023)
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Hypernode Automata. CoRR (2023)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Information-flow Interfaces. FASE (2022)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Flavors of Sequential Information Flow. VMCAI (2022)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Flavours of Sequential Information Flow. CoRR (2021)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Information-Flow Interfaces. CoRR (2020)
Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler
Monadic Reasoning using Weak Completion Semantics. YSIP (2017)
Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to Human Syllogistic Reasoning. CogSci (2017)
Ana Oliveira da Costa, Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
Syllogistic Reasoning under the Weak Completion Semantics. Bridging@IJCAI (2016)