Former Member

Filipe Casal

Profile Picture of Filipe Casal
Filipe CasalJoão RasgaRevisiting the Equivalence of Shininess and Politeness. In Logic for Programming, Artificial Intelligence, and Reasoning,Lecture Notes in Computer Science, pages 198-212. Springer Berlin Heidelberg, 2013 [Biblios]
Carlos CaleiroFilipe CasalAndreia MordidoClassical Generalized Probabilistic Satisfiability. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017 [Biblios]
Carlos CaleiroFilipe CasalAndreia MordidoGeneralized Probabilistic Satisfiability. Electronic Notes in Theoretical Computer Science, 332, Elsevier BV, 2017 [Biblios]
Filipe CasalJoão RasgaMany-Sorted Equivalence of Shiny and Strongly Polite Theories. Journal of Automated Reasoning, 60(2):221-236, Springer Nature, 2017 [Biblios]
Filipe CasalAndreia MordidoVasco T. VasconcelosMixed sessions. Theoretical Computer Science, 897, Elsevier BV, 2022 [Biblios]
Filipe CasalAndreia MordidoVasco T. VasconcelosMixed Sessions: the Other Side of the Tape. In Electronic Proceedings in Theoretical Computer Science, pages 46-60. Open Publishing Association, 2020 [Biblios]
Vasco T. VasconcelosFilipe CasalBernardo AlmeidaAndreia MordidoMixed Sessions. In Programming Languages and Systems,Lecture Notes in Computer Science, pages 715-742. Springer International Publishing, 2020 [Biblios]