Filipe Casal
From MaRDI portal
Person:682378
Available identifiers
zbMath Open casal.filipeMaRDI QIDQ682378
List of research outcomes
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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Filipe Casal