Manuel Tws
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2016–2018
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ICTAC | Information Flow Certificates. | Manuel Tws, Heike Wehrheim |
| 2017 | ICFEM | Policy Dependent and Independent Information Flow Analyses. | Manuel Tws, Heike Wehrheim |
| 2016 | ICFEM | A CEGAR Scheme for Information Flow Analysis. | Manuel Tws, Heike Wehrheim |