Filipe Casal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2013–2020
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ESOP | Mixed Sessions. | Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido |
| 2017 | IJCAI | Classical Generalized Probabilistic Satisfiability. | Carlos Caleiro, Filipe Casal, Andreia Mordido |
| 2013 | LPAR | Revisiting the Equivalence of Shininess and Politeness. | Filipe Casal, Joo Rasga |