Matthias Keil
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2011–2015
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ECOOP | Transparent Object Proxies in JavaScript. | Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann |
| 2015 | ECOOP | TreatJS: Higher-Order Contracts for JavaScripts. | Matthias Keil, Peter Thiemann |
| 2015 | ICFP | Blame assignment for higher-order contracts with intersection and union. | Matthias Keil, Peter Thiemann |
| 2013 | DLS | Efficient dynamic access analysis using JavaScript proxies. | Matthias Keil, Peter Thiemann |
| 2013 | PLDI | Type-based dependency analysis for javascript. | Matthias Keil, Peter Thiemann |
| 2012 | MICCAI | Ultrasound B-Mode Segmentation for Registration with CT in Percutaneous Hepatic Interventions. | Matthias Keil, Cristina Oyarzun Laura, Stefan Wesarg |
| 2011 | MICCAI | Intraoperative Registration for Liver Tumor Ablation. | Cristina Oyarzun Laura, Klaus Drechsler, Marius Erdt, Matthias Keil, Matthias Noll, Stefano De Beni, Georgios Sakas, Luigi Solbiati |