Peter Thiemann

Cited by

	All	Since 2018
Citations	4066	1169
h-index	33	17
i10-index	93	28

240

120

180

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202319 32 43 47 81 52 49 123 84 128 143 111 129 140 161 149 171 166 177 214 210 201 205 179 218 175 177 197 223

Public access

View all

12 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 BieniusaUniversity of Kaiserslautern-Landau (RPTU)Verified email at cs.uni-kl.de
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Roman Matthias KeilWhitebox Services GmbHVerified email at informatik.uni-freiburg.de
Robert GlückDIKU, Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
Olivier DanvyYale-NUS College and School of Computing, National University of SingaporeVerified 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
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas State UniversityVerified email at ksu.edu
Atsushi IgarashiProfessor, Graduate School of Informatics, Kyoto UniversityVerified email at kuis.kyoto-u.ac.jp
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
Julia L. LawallVerified email at diku.edu
Andreia MordidoLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at fc.ul.pt
Ralf LämmelUniversity of KoblenzVerified email at uni-koblenz.de
Bernardo AlmeidaLASIGE, Faculdade de Ciências, Universidade de LisboaVerified email at fc.ul.pt

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 Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA …, 2009	513	2009
Towards a type system for analyzing JavaScript programs P Thiemann Programming Languages and Systems: 14th European Symposium on Programming …, 2005	214	2005
The marriage of effects and monads P Wadler, P Thiemann ACM Transactions on Computational Logic (TOCL) 4 (1), 1-32, 2003	149	2003
An implementation of session types M Neubauer, P Thiemann Practical Aspects of Declarative Languages: 6th International Symposium …, 2004	114	2004
WASH/CGI: Server-side web scripting with sessions and typed, compositional forms P Thiemann Practical Aspects of Declarative Languages: 4th International Symposium …, 2002	110	2002
Interprocedural analysis with lazy propagation SH Jensen, A Møller, P Thiemann International Static Analysis Symposium, 320-339, 2010	86	2010
Cogen in six lines PJ Thiemann ACM SIGPLAN Notices 31 (6), 180-189, 1996	82	1996
A typed representation for HTML and XML documents in Haskell P Thiemann Journal of functional programming 12 (4-5), 435-468, 2002	80	2002
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	76	1998
Recency types for analyzing scripting languages P Heidegger, P Thiemann ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010	69	2010
Partial evaluation: international seminar, Dagstuhl Castle, Germany, February 12-16, 1996: selected papers O Danvy, R Glück Springer, 1996	68*	1996
Gradual security typing with references L Fennell, P Thiemann 2013 IEEE 26th Computer Security Foundations Symposium, 224-239, 2013	67	2013
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	67	2005
Grundlagen der funktionalen Programmierung P Thiemann Springer-Verlag, 2013	66	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	63	2015
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	61	2005
Context-free session types P Thiemann, VT Vasconcelos Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016	53	2016
Combinators for program generation P Thiemann Journal of Functional Programming 9 (5), 483-525, 1999	51	1999
JavaGI: Generalized Interfaces for Java S Wehr, R Lämmel, P Thiemann ECOOP 2007–Object-Oriented Programming: 21st European Conference, Berlin …, 2007	50	2007
Gradual session types A Igarashi, P Thiemann, VT Vasconcelos, P Wadler Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017	48	2017

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