Peter Thiemann

Viittaukset

	Kaikki	2020 lähtien
Sitaatit	4298	1008
h-indeksi	34	16
i10-indeksi	95	21

260

130

195

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202519 29 47 47 79 52 52 122 87 126 143 112 126 144 156 150 175 171 175 211 211 203 201 169 218 180 184 196 243 191 14

Yleisessä käytössä

Näytä kaikki

12 artikkelia

0 artikkelia

käytettävissä

ei käytettävissä

Perustuu rahoitusehtoihin

Muut kirjoittajat

Stefan WehrProfessor of Computer Science, Offenburg University of Applied SciencesVahvistettu sähköpostiosoite verkkotunnuksessa hs-offenburg.de
Matthias NeubauerSICK AGVahvistettu sähköpostiosoite verkkotunnuksessa informatik.uni-freiburg.de
Philip WadlerUniversity of Edinburgh and IOHK/IOGVahvistettu sähköpostiosoite verkkotunnuksessa inf.ed.ac.uk
Annette BieniusaUniversity of Kaiserslautern-Landau (RPTU)Vahvistettu sähköpostiosoite verkkotunnuksessa cs.uni-kl.de
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVahvistettu sähköpostiosoite verkkotunnuksessa di.fc.ul.pt
Roman Matthias KeilWhitebox Services GmbHVahvistettu sähköpostiosoite verkkotunnuksessa informatik.uni-freiburg.de
Robert GlückDIKU, Department of Computer Science, University of CopenhagenVahvistettu sähköpostiosoite verkkotunnuksessa di.ku.dk
Olivier DanvyYale-NUS College and School of Computing, National University of SingaporeVahvistettu sähköpostiosoite verkkotunnuksessa yale-nus.edu.sg
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVahvistettu sähköpostiosoite verkkotunnuksessa h-ka.de
Anders MøllerProfessor, Aarhus UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.au.dk
Simon Holm JensenSamsung Research AmericaVahvistettu sähköpostiosoite verkkotunnuksessa hjensen.net
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas StateVahvistettu sähköpostiosoite verkkotunnuksessa ksu.edu
Hannes SaffrichPhD Student, University of Freiburg, GermanyVahvistettu sähköpostiosoite verkkotunnuksessa informatik.uni-freiburg.de
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityVahvistettu sähköpostiosoite verkkotunnuksessa indiana.edu
Atsushi IgarashiProfessor, Graduate School of Informatics, Kyoto UniversityVahvistettu sähköpostiosoite verkkotunnuksessa kuis.kyoto-u.ac.jp
Christian SchindelhauerComputer Networks and Telematics, University of Freiburg, GermanyVahvistettu sähköpostiosoite verkkotunnuksessa informatik.uni-freiburg.de
Zartash UzmiElectrical Engineering and Computer Science, LUMSVahvistettu sähköpostiosoite verkkotunnuksessa lums.edu.pk
Julia L. LawallVahvistettu sähköpostiosoite verkkotunnuksessa diku.edu
Andreia MordidoLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVahvistettu sähköpostiosoite verkkotunnuksessa fc.ul.pt
Suresh JagannathanSamuel D. Conte Professor of Computer Science, Purdue UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.purdue.edu

Seuraa

Peter Thiemann

Professor of Computer Science, University of Freiburg

Vahvistettu sähköpostiosoite verkkotunnuksessa informatik.uni-Freiburg.de - Kotisivu

programming languages static analysis types language-based security


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
Type analysis for JavaScript SH Jensen, A Møller, P Thiemann Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA …, 2009	578	2009
Towards a type system for analyzing JavaScript programs P Thiemann Programming Languages and Systems: 14th European Symposium on Programming …, 2005	212	2005
The marriage of effects and monads P Wadler, P Thiemann ACM Transactions on Computational Logic (TOCL) 4 (1), 1-32, 2003	152	2003
An implementation of session types M Neubauer, P Thiemann Practical Aspects of Declarative Languages: 6th International Symposium …, 2004	118	2004
WASH/CGI: Server-side web scripting with sessions and typed, compositional forms P Thiemann Practical Aspects of Declarative Languages: 4th International Symposium …, 2002	112	2002
Interprocedural analysis with lazy propagation SH Jensen, A Møller, P Thiemann International Static Analysis Symposium, 320-339, 2010	94	2010
Cogen in six lines PJ Thiemann ACM SIGPLAN Notices 31 (6), 180-189, 1996	85	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	79	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	69	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
Partial evaluation: international seminar, Dagstuhl Castle, Germany, February 12-16, 1996: selected papers O Danvy, R Glück Springer, 1996	69*	1996
Grundlagen der funktionalen Programmierung P Thiemann Springer-Verlag, 2013	67	2013
Context-free session types P Thiemann, VT Vasconcelos Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016	66	2016
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	64	2005
Javagi: Generalized interfaces for java S Wehr, R Lämmel, P Thiemann European Conference on Object-Oriented Programming, 347-372, 2007	53	2007
Optimized java binary and virtual machine for tiny motes F Aslam, L Fennell, C Schindelhauer, P Thiemann, G Ernst, E Haussmann, ... Distributed Computing in Sensor Systems: 6th IEEE International Conference …, 2010	51	2010
Gradual session types A Igarashi, P Thiemann, VT Vasconcelos, P Wadler Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017	50	2017

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–20

Sitaatteja vuodessa

Päällekkäiset lähteet

Yhdistetyt sitaatit

Lisää muut kirjoittajatMuut kirjoittajat

Seuraa

Viittaukset

Muut kirjoittajat