List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Mixed sessions Programming Languages and Systems | 2022-10-13 | Paper |
| Mixed sessions Theoretical Computer Science | 2021-12-01 | Paper |
| Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities Theoretical Computer Science | 2019-06-25 | Paper |
| Generalized probabilistic satisfiability | 2018-04-23 | Paper |
| Many-sorted equivalence of shiny and strongly polite theories Journal of Automated Reasoning | 2018-02-02 | Paper |
| Revisiting the equivalence of shininess and politeness Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Research outcomes over time
This page was built for person: Filipe Casal
