Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
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.