https://anaolicosta.github.io//portfolio/portfolio-1/ https://anaolicosta.github.io//portfolio/portfolio-2/ https://anaolicosta.github.io//posts/2012/08/blog-post-1/ 2012-08-14T00:00:00+00:00 https://anaolicosta.github.io//posts/2013/08/blog-post-2/ 2013-08-14T00:00:00+00:00 https://anaolicosta.github.io//posts/2014/08/blog-post-3/ 2014-08-14T00:00:00+00:00 https://anaolicosta.github.io//posts/2012/08/blog-post-4/ 2015-08-14T00:00:00+00:00 https://anaolicosta.github.io//posts/2012/08/blog-post-4/ 2199-01-01T00:00:00+00:00 https://anaolicosta.github.io//publication/2016-01-01-syllogistic-reasoning-under-the-weak-completion-semantics 2016-01-01T00:00:00+00:00 https://anaolicosta.github.io//publication/2017-01-01-a-computational-logic-approach-to-human-syllogistic-reasoning 2017-01-01T00:00:00+00:00 https://anaolicosta.github.io//publication/2017-01-01-monadic-reasoning-using-weak-completion-semantics 2017-01-01T00:00:00+00:00 https://anaolicosta.github.io//publication/2017_syllogisms 2017-07-01T00:00:00+00:00 https://anaolicosta.github.io//publication/2020-01-01-information-flow-interfaces 2020-01-01T00:00:00+00:00 https://anaolicosta.github.io//publication/2021-01-01-flavours-of-sequential-information-flow 2021-01-01T00:00:00+00:00 https://anaolicosta.github.io//publication/2022-01-01-flavors-of-sequential-information-flow 2022-01-01T00:00:00+00:00 https://anaolicosta.github.io//publication/2022-01-01-information-flow-interfaces 2022-01-01T00:00:00+00:00 https://anaolicosta.github.io//publication/2023-01-01-hypernode-automata 2023-01-01T00:00:00+00:00 https://anaolicosta.github.io//publication/2024-01-01-information-flow-interfaces-and-security-lattices 2024-01-01T00:00:00+00:00 https://anaolicosta.github.io//publication/2024-01-01-monitoring-extended-hypernode-logic 2024-01-01T00:00:00+00:00 https://anaolicosta.github.io//publication/2024_infflow_jornal 2024-05-23T00:00:00+00:00 https://anaolicosta.github.io//publication/2025-01-01-flavors-of-quantifiers-in-hyperlogics 2025-01-01T00:00:00+00:00 https://anaolicosta.github.io//publication/2025-01-01-gray-box-runtime-enforcement-of-hyperproperties 2025-01-01T00:00:00+00:00 https://anaolicosta.github.io//publication/2025-01-01-hypernode-automata 2025-01-01T00:00:00+00:00 https://anaolicosta.github.io//publication/2025-01-01-information-flow-interfaces 2025-01-01T00:00:00+00:00 https://anaolicosta.github.io//publication/2025-01-01-monitoring-hypernode-logic-over-infinite-domains 2025-01-01T00:00:00+00:00 https://anaolicosta.github.io//publications/2025-01-01-monitoring-hyperproperties-over-observed-and-constructed-traces/ https://anaolicosta.github.io//publication/2026-01-01-information-flow-interfaces-and-security-lattices 2026-01-01T00:00:00+00:00 https://anaolicosta.github.io//talks/2012-03-01-talk-1 2012-03-01T00:00:00+00:00 https://anaolicosta.github.io//talks/2013-03-01-tutorial-1 2013-03-01T00:00:00+00:00 https://anaolicosta.github.io//talks/2014-02-01-talk-2 2014-02-01T00:00:00+00:00 https://anaolicosta.github.io//talks/2014-03-01-talk-3 2014-03-01T00:00:00+00:00 https://anaolicosta.github.io//teaching/2014-spring-teaching-1 2014-01-01T00:00:00+00:00 https://anaolicosta.github.io//teaching/2015-spring-teaching-1 2015-01-01T00:00:00+00:00 https://anaolicosta.github.io// https://anaolicosta.github.io//archive-layout-with-content/ https://anaolicosta.github.io//categories/ https://anaolicosta.github.io//collection-archive/ https://anaolicosta.github.io//cv/ https://anaolicosta.github.io//markdown/ https://anaolicosta.github.io//non-menu-page/ https://anaolicosta.github.io//page-archive/ https://anaolicosta.github.io//portfolio/ https://anaolicosta.github.io//publications/ https://anaolicosta.github.io//sitemap/ https://anaolicosta.github.io//tags/ https://anaolicosta.github.io//talkmap.html https://anaolicosta.github.io//talks/ https://anaolicosta.github.io//teaching/ https://anaolicosta.github.io//terms/ https://anaolicosta.github.io//year-archive/ https://anaolicosta.github.io//files/paper1.pdf 2026-09-24T22:06:24+00:00 https://anaolicosta.github.io//files/paper2.pdf 2026-09-24T22:06:24+00:00 https://anaolicosta.github.io//files/paper3.pdf 2026-09-24T22:06:24+00:00 https://anaolicosta.github.io//files/slides1.pdf 2026-09-24T22:06:24+00:00 https://anaolicosta.github.io//files/slides2.pdf 2026-09-24T22:06:24+00:00 https://anaolicosta.github.io//files/slides3.pdf 2026-09-24T22:06:24+00:00 https://anaolicosta.github.io//talkmap/map.html 2026-09-24T22:06:24+00:00