Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Nested Session Types | 0 | 0.34 | 2021 |
| Mixed Sessions: the Other Side of the Tape. | 0 | 0.34 | 2020 |
| Mixed Sessions. | 0 | 0.34 | 2020 |
| Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities | 0 | 0.34 | 2019 |
| Probabilistic logic over equations and domain restrictions | 0 | 0.34 | 2019 |
| Generalized Probabilistic Satisfiability. | 0 | 0.34 | 2017 |
| Classical Generalized Probabilistic Satisfiability. | 0 | 0.34 | 2017 |