|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstracting Nash equilibria of supermodular games |
Ranzato, Francesco |
2017 |
53 | 2 |
p. 259-285 |
artikel |
|
| 2 | Enforcing termination of interprocedural analysis |
Schulze Frielinghaus, Stefan |
2017 |
53 | 2 |
p. 313-338 |
artikel |
|
| 3 | Foreword |
Rival, Xavier |
2018 |
53 | 2 |
p. 165 |
artikel |
|
| 4 | Inferring functional properties of matrix manipulating programs by abstract interpretation |
Journault, Matthieu |
2017 |
53 | 2 |
p. 221-258 |
artikel |
|
| 5 | Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses |
Heo, Kihong |
2017 |
53 | 2 |
p. 189-220 |
artikel |
|
| 6 | Securing a compiler transformation |
Deng, Chaoqiang |
2018 |
53 | 2 |
p. 166-188 |
artikel |
|
| 7 | Validating numerical semidefinite programming solvers for polynomial invariants |
Roux, Pierre |
2017 |
53 | 2 |
p. 286-312 |
artikel |
7 gevonden resultaten