Peter Thiemann

Cited by

	All	Since 2017
Citations	3752	1055
h-index	32	17
i10-index	89	25

220

110

165

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202216 30 43 57 71 57 50 122 79 128 140 113 129 142 161 148 184 163 177 208 217 202 207 180 214 170 168 116

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Stefan WehrProfessor of Computer Science, Offenburg University of Applied SciencesVerified email at hs-offenburg.de
Matthias NeubauerSICK AGVerified email at informatik.uni-freiburg.de
Philip WadlerUniversity of Edinburgh and IOHKVerified email at inf.ed.ac.uk
Annette BieniusaTechnische Universität KaiserslauternVerified email at cs.uni-kl.de
Roman Matthias KeilIBM GermanyVerified email at informatik.uni-freiburg.de
Robert GlückDIKU, Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Olivier DanvyYale-NUS CollegeVerified email at yale-nus.edu.sg
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at h-ka.de
Anders MøllerProfessor, Aarhus UniversityVerified email at cs.au.dk
Simon Holm JensenSamsung Research AmericaVerified email at hjensen.net
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas State UniversityVerified email at ksu.edu
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Christian SchindelhauerComputer Networks and Telematics, University of Freiburg, GermanyVerified email at informatik.uni-freiburg.de
Zartash UzmiElectrical Engineering and Computer Science, LUMSVerified email at lums.edu.pk
Atsushi IgarashiProfessor, Graduate School of Informatics, Kyoto UniversityVerified email at kuis.kyoto-u.ac.jp
Julia L. LawallVerified email at diku.edu
Torben Ægidius MogensenUniversity of CopenhagenVerified email at diku.edu
Suresh JagannathanProfessor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
Ralf LämmelFacebookVerified email at fb.com

Peter Thiemann

Professor of Computer Science, University of Freiburg

Verified email at informatik.uni-Freiburg.de - Homepage

programming languages static analysis types language-based security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Type analysis for JavaScript SH Jensen, A Møller, P Thiemann International Static Analysis Symposium, 238-255, 2009	453	2009
Towards a type system for analyzing JavaScript programs P Thiemann European Symposium On Programming, 408-422, 2005	204	2005
The marriage of effects and monads P Wadler, P Thiemann ACM Transactions on Computational Logic (TOCL) 4 (1), 1-32, 2003	135	2003
WASH/CGI: Server-side web scripting with sessions and typed, compositional forms P Thiemann International Symposium on Practical Aspects of Declarative Languages, 192-208, 2002	111	2002
An implementation of session types M Neubauer, P Thiemann International Symposium on Practical Aspects of Declarative Languages, 56-70, 2004	110	2004
Interprocedural analysis with lazy propagation SH Jensen, A Møller, P Thiemann International Static Analysis Symposium, 320-339, 2010	82	2010
Cogen in six lines PJ Thiemann ACM SIGPLAN Notices 31 (6), 180-189, 1996	80	1996
Single and loving it: Must-alias analysis for higher-order languages S Jagannathan, P Thiemann, S Weeks, A Wright Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998	79	1998
A typed representation for HTML and XML documents in Haskell P Thiemann Journal of functional programming 12 (4-5), 435-468, 2002	77	2002
Grundlagen der funktionalen Programmierung P Thiemann Springer-Verlag, 2013	66	2013
Recency types for analyzing scripting languages P Heidegger, P Thiemann European conference on Object-oriented programming, 200-224, 2010	66	2010
Partial evaluation: international seminar, Dagstuhl Castle, Germany, February 12-16, 1996: selected papers O Danvy, R Glück Springer, 1996	65*	1996
An embedded domain-specific language for type-safe server-side web scripting P Thiemann ACM Transactions on Internet Technology (TOIT) 5 (1), 1-46, 2005	62	2005
From sequential programs to multi-tier applications by program transformation M Neubauer, P Thiemann Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005	62	2005
Gradual security typing with references L Fennell, P Thiemann 2013 IEEE 26th Computer Security Foundations Symposium, 224-239, 2013	59	2013
Blame and coercion: Together again for the first time J Siek, P Thiemann, P Wadler Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	53	2015
JavaGI: Generalized Interfaces for Java S Wehr, R Lämmel, P Thiemann European Conference on Object-Oriented Programming, 347-372, 2007	51	2007
Combinators for program generation P Thiemann Journal of Functional Programming 9 (5), 483-525, 1999	50	1999
Optimized java binary and virtual machine for tiny motes F Aslam, L Fennell, C Schindelhauer, P Thiemann, G Ernst, E Haussmann, ... International Conference on Distributed Computing in Sensor Systems, 15-30, 2010	48	2010
Two for the price of one: Composing partial evaluation and compilation M Sperber, P Thiemann Proceedings of the ACM SIGPLAN 1997 conference on Programming language …, 1997	47	1997

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors