Syllogistic Reasoning under the Weak Completion Semantics. - Ana Oliveira da Costa; Emmanuelle-Anna Dietz; Steffen Hölldobler; Marco Ragni (Bridging@IJCAI, 2016)

A Computational Logic Approach to Human Syllogistic Reasoning. - Ana Oliveira da Costa; Emmanuelle-Anna Dietz Saldanha; Steffen Hölldobler; Marco Ragni (CogSci, 2017)

Monadic Reasoning using Weak Completion Semantics. - Ana Oliveira da Costa; Emmanuelle-Anna Dietz Saldanha; Steffen Hölldobler (YSIP, 2017)

Flavours of Sequential Information Flow. - Ezio Bartocci; Thomas Ferrère; Thomas A. Henzinger; Dejan Nickovic; Ana Oliveira da Costa (CoRR, 2021)

Flavors of Sequential Information Flow. - Ezio Bartocci; Thomas Ferrère; Thomas A. Henzinger; Dejan Nickovic; Ana Oliveira da Costa (VMCAI, 2022)

Hypernode Automata. - Ezio Bartocci; Thomas A. Henzinger; Dejan Nickovic; Ana Oliveira da Costa (CONCUR, 2023)

Monitoring Extended Hypernode Logic. - Marek Chalupa; Thomas A. Henzinger; Ana Oliveira da Costa (IFM, 2024)

Information-flow Interfaces and Security Lattices. - Ezio Bartocci; Thomas A. Henzinger; Dejan Nickovic; Ana Oliveira da Costa (CoRR, 2024)

Information-flow interfaces. - Ezio Bartocci; Thomas Ferrère; Thomas A. Henzinger; Dejan Nickovic; Ana Oliveira da Costa (Formal Methods Syst. Des., 2025)

Monitoring Hyperproperties over Observed and Constructed Traces. - Marek Chalupa; Thomas A. Henzinger; Ana Oliveira da Costa (CoRR, 2025)

Gray-box runtime enforcement of hyperproperties. - Tzu-Han Hsu; Ana Oliveira da Costa; Andrew Wintenberg; Ezio Bartocci; Borzoo Bonakdarpour (Acta Informatica, 2025)