Former Member

Filipe Casal

Profile Picture of Filipe Casal
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]
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 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]