Filipe Casal
From MaRDI portal
Person:682378
Available identifiers
zbMath Open casal.filipeMaRDI QIDQ682378
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 | 2022-10-13 | Paper |
| Mixed sessions | 2021-12-01 | Paper |
| Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities | 2019-06-25 | Paper |
| Generalized probabilistic satisfiability | 2018-04-23 | Paper |
| Many-sorted equivalence of shiny and strongly polite theories | 2018-02-02 | Paper |
| Revisiting the Equivalence of Shininess and Politeness | 2014-01-17 | Paper |
Research outcomes over time
This page was built for person: Filipe Casal
