| Blame assignment for higher-order contracts with intersection and union M Keil, P Thiemann ACM SIGPLAN Notices 50 (9), 375-386, 2015 | 39 | 2015 |
| TreatJS: Higher-order contracts for JavaScript M Keil, P Thiemann arXiv preprint arXiv:1504.08110, 2015 | 26 | 2015 |
| Transparent object proxies for JavaScript M Keil, SN Guria, A Schlegel, M Geffken, P Thiemann arXiv preprint arXiv:1504.08100, 2015 | 19 | 2015 |
| Symbolic solving of extended regular expression inequalities M Keil, P Thiemann arXiv preprint arXiv:1410.3227, 2014 | 15 | 2014 |
| Efficient dynamic access analysis using JavaScript proxies M Keil, P Thiemann Proceedings of the 9th Symposium on Dynamic Languages, 49-60, 2013 | 13 | 2013 |
| Type-based dependency analysis for javascript M Keil, P Thiemann Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and …, 2013 | 10 | 2013 |
| Transaction-based sandboxing for JavaScript M Keil, P Thiemann arXiv preprint arXiv:1612.00669, 2016 | 1 | 2016 |
| On the proxy identity crisis M Keil, P Thiemann arXiv preprint arXiv:1312.5429, 2013 | 1 | 2013 |
| Informatische Bildung im Freistaat Sachsen-ein Gesamtkonzept T Bechstädt, R Buttke, H Fischer, M Keil, T Knapp, H Neupert, P Zeller Gesellschaft für Informatik eV, 2005 | 1 | 2005 |
| Static Contract Simplification M Keil, P Thiemann arXiv preprint arXiv:1703.10331, 2017 | | 2017 |
| On Contracts and Sandboxes for JavaScript M Keil, P Thiemann | | 2015 |
| TreatJS: Higher-Order Contracts for JavaScript (Artifact). M Keil, P Thiemann Dagstuhl Artifacts Ser. 1 (1), 01:1-01:2, 2015 | | 2015 |
| Transparent Object Proxies for JavaScript (Artifact). M Keil, SN Guria, A Schlegel, M Geffken, P Thiemann Dagstuhl Artifacts Ser. 1 (1), 02:1-02:2, 2015 | | 2015 |
| Transparent Object Proxies for JavaScript (Artifact). M Keil, SN Guria, A Schlegel, M Geffken, P Thiemann Dagstuhl Artifacts Ser. 1 (1), 02:1-02:2, 2015 | | 2015 |
| Android Components M Keil | | 2014 |
| Design Patterns S Feo-Arenis, M Keil | | 2014 |
| Android Telephony M Keil | | 2013 |
| Practical Exercises Communication Systems (Rechnernetze II) Topic 01: Basics R Jakob, M Keil | | |
Peter ThiemannProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-Freiburg.de
