Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
Syllogistic Reasoning under the Weak Completion Semantics
Published in Bridging@IJCAI, 2016
📝 Ana Oliveira da Costa, Emmanuelle-Anna Dietz, Steffen Hölldobler & Marco Ragni. (2016). "Syllogistic Reasoning under the Weak Completion Semantics." Bridging@IJCAI.
Download Paper
A Computational Logic Approach to Human Syllogistic Reasoning
Published in CogSci, 2017
📝 Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler & Marco Ragni. (2017). "A Computational Logic Approach to Human Syllogistic Reasoning." CogSci.
Download Paper
Monadic Reasoning using Weak Completion Semantics
Published in YSIP, 2017
📝 Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha & Steffen Hölldobler. (2017). "Monadic Reasoning using Weak Completion Semantics." YSIP.
Download Paper
A Computational Logic Approach to Human Syllogistic Reasoning
Published in Proceedings of the 39th Annual Meeting of the Cognitive Science Society (CogSci), 2017
📝 Ana Oliveira da Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni. (2017). "A Computational Logic Approach to Human Syllogistic Reasoning." Proceedings of the 39th Annual Meeting of the Cognitive Science Society
Download Paper
Information-Flow Interfaces
Published in CoRR, 2020
📝 Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2020). "Information-Flow Interfaces." CoRR.
Download Paper
Flavours of Sequential Information Flow
Published in CoRR, 2021
📝 Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2021). "Flavours of Sequential Information Flow." CoRR.
Download Paper
Flavors of Sequential Information Flow
Published in VMCAI, 2022
📝 Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2022). "Flavors of Sequential Information Flow." VMCAI.
Download Paper
Information-flow Interfaces
Published in FASE, 2022
📝 Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2022). "Information-flow Interfaces." FASE.
Download Paper
Hypernode Automata
Published in CONCUR, 2023
📝 Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2023). "Hypernode Automata." CoRR.
Download Paper
Information-flow Interfaces and Security Lattices
Published in CoRR, 2024
📝 Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2024). "Information-flow Interfaces and Security Lattices." CoRR.
Download Paper
Monitoring Extended Hypernode Logic
Published in IFM, 2024
📝 Marek Chalupa, Thomas A. Henzinger & Ana Oliveira da Costa. (2024). "Monitoring Extended Hypernode Logic." IFM.
Download Paper
Information-flow interfaces
Published in Formal Methods in System Design, 2024
📝 Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa (2015). "Information-flow interfaces." Formal Methods in System Design
Download Paper
Flavors of Quantifiers in Hyperlogics
Published in CoRR, 2025
📝 Marek Chalupa, Thomas A. Henzinger & Ana Oliveira da Costa. (2025). "Flavors of Quantifiers in Hyperlogics." CoRR.
Download Paper
Gray-box runtime enforcement of hyperproperties
Published in Acta Informatica, 2025
📝 Tzu-Han Hsu, Ana Oliveira da Costa, Andrew Wintenberg, Ezio Bartocci & Borzoo Bonakdarpour. (2025). "Gray-box runtime enforcement of hyperproperties." Acta Informatica.
Download Paper
Hypernode automata
Published in Acta Informatica, 2025
📝 Ezio Bartocci, Marek Chalupa, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2025). "Hypernode automata." Acta Informatica.
Download Paper
Information-flow interfaces
Published in Formal Methods Syst. Des., 2025
📝 Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2025). "Information-flow interfaces." Formal Methods Syst. Des..
Download Paper
Monitoring Hypernode Logic Over Infinite Domains
Published in RV, 2025
📝 Marek Chalupa, Thomas A. Henzinger & Ana Oliveira da Costa. (2025). "Monitoring Hypernode Logic Over Infinite Domains." RV.
Download Paper
Information-Flow Interfaces and Security Lattices
Published in Engineering Safe and Trustworthy Cyber Physical Systems, 2026
📝 Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2026). "Information-Flow Interfaces and Security Lattices." Engineering Safe and Trustworthy Cyber Physical Systems.
Download Paper
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.