Jens Palsberg

Citata da

	Tutte	Dal 2017
Citazioni	8500	1141
Indice H	46	17
i10-index	93	28

420

210

105

315

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202225 41 70 108 149 221 223 268 270 214 229 237 307 281 348 356 339 393 401 394 343 354 367 362 281 271 315 254 265 202 165 180 75

Accesso pubblico

Visualizza tutto

7 articoli

1 articolo

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Michael SchwartzbachProfessor of Computer Science, Aarhus UniversityEmail verificata su cs.au.dk
Tian Zhaouniversity of wisconsin -- milwaukeeEmail verificata su uwm.edu
Fernando Magno Quintão PereiraProfessor of Computer Science, Universidade Federal de Minas GeraisEmail verificata su dcc.ufmg.br
Karl LieberherrProfessor of Computer Sciences, Northeastern UniversityEmail verificata su ccs.neu.edu
Jan VitekNortheastern UniversityEmail verificata su neu.edu
Dexter KozenProfessor of Computer Science, Cornell UniversityEmail verificata su cs.cornell.edu
Christian GrothoffBern University of Applied SciencesEmail verificata su grothoff.org
Mayur NaikProfessor of Computer Science, University of PennsylvaniaEmail verificata su cis.upenn.edu
Rupak MajumdarMPI for Software SystemsEmail verificata su mpi-sws.org
William R. CookAssociate Professor of Computer Science, University of Texas at AustinEmail verificata su cs.utexas.edu
Patrick O'KeefeEmail verificata su alum.mit.edu
Mitchell WandProfessor of Computer Science, Northeastern UniversityEmail verificata su ccs.neu.edu
Frank TipProfessor, Northeastern UniversityEmail verificata su northeastern.edu
Mahdi EslamimehrSAP Labs/Viewpoints/YCombinatorEmail verificata su ucla.edu
V Krishna NandivadaIIT MadrasEmail verificata su cse.iitm.ac.in
Dennis BrylowProfessor of Computer Science, Marquette UniversityEmail verificata su mu.edu
Javier EsparzaProfessor of Computer Science, Technical University of MunichEmail verificata su in.tum.de
Barry JayUniversity of Technology SydneyEmail verificata su uts.edu.au
Vivek SarkarSchool of Computer Science, Georgia Institute of TechnologyEmail verificata su gatech.edu
Sağnak TaşırlarRice UniversityEmail verificata su rice.edu

Segui

Jens Palsberg

University of California, Los Angeles (UCLA)

Email verificata su ucla.edu - Home page

Programming languages software engineering quantum computing


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Avrora: Scalable sensor network simulation with precise timing BL Titzer, DK Lee, J Palsberg IPSN 2005. Fourth International Symposium on Information Processing in …, 2005	975	2005
A denotational semantics of inheritance and its correctness W Cook, J Palsberg ACM Sigplan Notices 24 (10), 433-443, 1989	536	1989
Object-oriented type inference J Palsberg, MI Schwartzbach ACM SIGPLAN Notices 26 (11), 146-161, 1991	460	1991
Object-oriented type systems J Palsberg, MI Schwartzbach John Wiley and Sons Ltd., 1994	368	1994
Scalable propagation-based call graph construction algorithms F Tip, J Palsberg Proceedings of the 15th ACM SIGPLAN conference on Object-oriented …, 2000	334	2000
Complexity results for 1-safe nets A Cheng, J Esparza, J Palsberg Theoretical Computer Science 147 (1-2), 117-136, 1995	265	1995
The essence of the visitor pattern J Palsberg, CB Jay Proceedings. The Twenty-Second Annual International Computer Software and …, 1998	262	1998
Concurrent collections Z Budimlić, M Burke, V Cavé, K Knobe, G Lowney, R Newton, J Palsberg, ... Scientific Programming 18 (3-4), 203-217, 2010	234	2010
Experience with software watermarking J Palsberg, S Krishnaswamy, M Kwon, D Ma, Q Shao, Y Zhang Proceedings 16th Annual Computer Security Applications Conference (ACSAC'00 …, 2000	221	2000
A type system equivalent to flow analysis J Palsberg, P O'Keefe ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (4), 576-599, 1995	198	1995
Encapsulating objects with confined types C Grothoff, J Palsberg, J Vitek Proceedings of the 16th ACM SIGPLAN conference on Object-oriented …, 2001	172*	2001
Type Inference of Self O Agesen, J Palsberg, MI Schwartzbach European Conference on Object-Oriented Programming, 247-267, 1993	171*	1993
Efficient recursive subtyping D Kozen, J Palsberg, MI Schwartzbach Mathematical Structures in Computer Science 5 (1), 113-125, 1995	165	1995
Making type inference practical N Oxhøj, J Palsberg, MI Schwartzbach European Conference on Object-Oriented Programming, 329-349, 1992	155	1992
Trust in the λ-calculus J Palsberg International Static Analysis Symposium, 314-329, 1995	149*	1995
Evolution of object behavior using context relations LM Seiter, J Palsberg, KJ Lieberherr IEEE Transactions on Software Engineering 24 (1), 79-92, 1998	133	1998
Efficient inference of object types J Palsberg Information and computation 123 (2), 198-209, 1995	130	1995
Register allocation via coloring of chordal graphs FMQ Pereira, J Palsberg Asian Symposium on Programming Languages and Systems, 315-329, 2005	126*	2005
Closure analysis in constraint form J Palsberg ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (1), 47-62, 1995	120*	1995
Static checking of interrupt-driven software D Brylow, N Damgaard, J Palsberg Proceedings of the 23rd International Conference on Software Engineering …, 2001	111	2001

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui questo autore

Citata da

Coautori