Matthias Perner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2012–2015
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | LOPSTR | Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis. | Heiko Mantel, Markus Mller-Olm, Matthias Perner, Alexander Wenner |
| 2012 | MPC | Scheduler-Independent Declassification. | Alexander Lux, Heiko Mantel, Matthias Perner |