Peter Thiemann

Cytowane przez

	Wszystkie	Od 2020
Cytowania	4295	1017
h-indeks	35	17
i10-indeks	94	21

240

120

180

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202519 29 45 48 79 48 57 121 86 130 142 112 123 144 151 148 169 172 175 211 216 200 204 170 218 175 186 195 240 198 23

Dostęp publiczny

Wyświetl wszystko

12 artykułów

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Stefan WehrProfessor of Computer Science, Offenburg University of Applied SciencesZweryfikowany adres z hs-offenburg.de
Matthias NeubauerSICK AGZweryfikowany adres z informatik.uni-freiburg.de
Philip WadlerUniversity of Edinburgh and IOHK/IOGZweryfikowany adres z inf.ed.ac.uk
Annette BieniusaUniversity of Kaiserslautern-Landau (RPTU)Zweryfikowany adres z cs.uni-kl.de
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaZweryfikowany adres z di.fc.ul.pt
Roman Matthias KeilWhitebox Services GmbHZweryfikowany adres z informatik.uni-freiburg.de
Robert GlückDIKU, Department of Computer Science, University of CopenhagenZweryfikowany adres z di.ku.dk
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesZweryfikowany adres z h-ka.de
Olivier DanvyYale-NUS College and School of Computing, National University of SingaporeZweryfikowany adres z yale-nus.edu.sg
Anders MøllerProfessor, Aarhus UniversityZweryfikowany adres z cs.au.dk
Simon Holm JensenSamsung Research AmericaZweryfikowany adres z hjensen.net
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas StateZweryfikowany adres z ksu.edu
Hannes SaffrichPhD Student, University of Freiburg, GermanyZweryfikowany adres z informatik.uni-freiburg.de
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityZweryfikowany adres z indiana.edu
Atsushi IgarashiProfessor, Graduate School of Informatics, Kyoto UniversityZweryfikowany adres z kuis.kyoto-u.ac.jp
Christian SchindelhauerComputer Networks and Telematics, University of Freiburg, GermanyZweryfikowany adres z informatik.uni-freiburg.de
Zartash UzmiElectrical Engineering and Computer Science, LUMSZweryfikowany adres z lums.edu.pk
Julia L. LawallZweryfikowany adres z diku.edu
Andreia MordidoLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaZweryfikowany adres z fc.ul.pt
Suresh JagannathanSamuel D. Conte Professor of Computer Science, Purdue UniversityZweryfikowany adres z cs.purdue.edu

Obserwuj

Peter Thiemann

Professor of Computer Science, University of Freiburg

Zweryfikowany adres z informatik.uni-Freiburg.de - Strona główna

programming languages static analysis types language-based security


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
Type analysis for JavaScript SH Jensen, A Møller, P Thiemann International Static Analysis Symposium, 238-255, 2009	579	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	154	2003
An implementation of session types M Neubauer, P Thiemann Practical Aspects of Declarative Languages: 6th International Symposium …, 2004	119	2004
WASH/CGI: Server-side web scripting with sessions and typed, compositional forms P Thiemann International Symposium on Practical Aspects of Declarative Languages, 192-208, 2001	111	2001
Interprocedural analysis with lazy propagation SH Jensen, A Møller, P Thiemann International Static Analysis Symposium, 320-339, 2010	95	2010
Cogen in six lines PJ Thiemann ACM SIGPLAN Notices 31 (6), 180-189, 1996	83	1996
A typed representation for HTML and XML documents in Haskell P Thiemann Journal of functional programming 12 (4-5), 435-468, 2002	81	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	80	1998
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	72	2015
Recency types for analyzing scripting languages P Heidegger, P Thiemann ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010	71	2010
Gradual security typing with references L Fennell, P Thiemann 2013 IEEE 26th Computer Security Foundations Symposium, 224-239, 2013	70	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	69	2005
Grundlagen der funktionalen Programmierung P Thiemann Springer-Verlag, 2013	68	2013
Context-free session types P Thiemann, VT Vasconcelos Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016	66	2016
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
Javagi: Generalized interfaces for java S Wehr, R Lämmel, P Thiemann European Conference on Object-Oriented Programming, 347-372, 2007	52	2007
Gradual session types A Igarashi, P Thiemann, VT Vasconcelos, P Wadler Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017	51	2017
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	50	2010

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy