Filipe Casal

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 8

Top Topics

Satisfiability Problem

Probabilistic Model

Top Venues

Theor. Comput. Sci.

Publications

Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos
Mixed sessions. Theor. Comput. Sci. 897 (2022)
Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido
Mixed Sessions. ESOP (2020)
Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos
Mixed Sessions: the Other Side of the Tape. PLACES@ETAPS (2020)
Carlos Caleiro, Filipe Casal, Andreia Mordido
Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities. Theor. Comput. Sci. 781 (2019)
Filipe Casal, João Rasga, André Souto
Kolmogorov One-Way Functions Revisited. Cryptogr. 2 (2) (2018)
Filipe Casal, João Rasga
Many-Sorted Equivalence of Shiny and Strongly Polite Theories. J. Autom. Reason. 60 (2) (2018)
Carlos Caleiro, Filipe Casal, Andreia Mordido
Classical Generalized Probabilistic Satisfiability. IJCAI (2017)
Carlos Caleiro, Filipe Casal, Andreia Mordido
Generalized Probabilistic Satisfiability. LSFA (2016)
Filipe Casal, João Rasga
Revisiting the Equivalence of Shininess and Politeness. LPAR (2013)