Jens Palsberg

Cited by

	All	Since 2017
Citations	8556	1197
h-index	46	17
i10-index	96	31

400

200

100

300

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202226 41 69 105 149 209 219 268 270 212 230 233 307 282 350 358 340 391 399 396 344 357 368 368 285 273 315 255 263 204 167 178 130

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Michael SchwartzbachProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Tian Zhaouniversity of wisconsin -- milwaukeeVerified email at uwm.edu
Fernando Magno Quintão PereiraProfessor of Computer Science, Universidade Federal de Minas GeraisVerified email at dcc.ufmg.br
Karl LieberherrProfessor of Computer Sciences, Northeastern UniversityVerified email at ccs.neu.edu
Jan VitekNortheastern UniversityVerified email at neu.edu
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Christian GrothoffBern University of Applied SciencesVerified email at grothoff.org
Mayur NaikProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
William R. CookAssociate Professor of Computer Science, University of Texas at AustinVerified email at cs.utexas.edu
Patrick O'KeefeVerified email at alum.mit.edu
Mitchell WandProfessor of Computer Science, Northeastern UniversityVerified email at ccs.neu.edu
Frank TipProfessor, Northeastern UniversityVerified email at northeastern.edu
Mahdi EslamimehrSAP Labs/Viewpoints/YCombinatorVerified email at ucla.edu
V Krishna NandivadaIIT MadrasVerified email at cse.iitm.ac.in
Dennis BrylowProfessor of Computer Science, Marquette UniversityVerified email at mu.edu
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de
Barry JayUniversity of Technology SydneyVerified email at uts.edu.au
Vivek SarkarSchool of Computer Science, Georgia Institute of TechnologyVerified email at gatech.edu
Sağnak TaşırlarRice UniversityVerified email at rice.edu

Jens Palsberg

University of California, Los Angeles (UCLA)

Verified email at ucla.edu - Homepage

Programming languages software engineering quantum computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Avrora: Scalable sensor network simulation with precise timing BL Titzer, DK Lee, J Palsberg IPSN 2005. Fourth International Symposium on Information Processing in …, 2005	985	2005
A denotational semantics of inheritance and its correctness W Cook, J Palsberg ACM Sigplan Notices 24 (10), 433-443, 1989	529	1989
Object-oriented type inference J Palsberg, MI Schwartzbach ACM SIGPLAN Notices 26 (11), 146-161, 1991	462	1991
Object-oriented type systems J Palsberg, MI Schwartzbach John Wiley and Sons Ltd., 1994	366	1994
Scalable propagation-based call graph construction algorithms F Tip, J Palsberg Proceedings of the 15th ACM SIGPLAN conference on Object-oriented …, 2000	338	2000
Complexity results for 1-safe nets A Cheng, J Esparza, J Palsberg Theoretical Computer Science 147 (1-2), 117-136, 1995	268	1995
The essence of the visitor pattern J Palsberg, CB Jay Proceedings. The Twenty-Second Annual International Computer Software and …, 1998	260	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	236	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	197	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	170*	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	148*	1995
Evolution of object behavior using context relations LM Seiter, J Palsberg, KJ Lieberherr IEEE Transactions on Software Engineering 24 (1), 79-92, 1998	132	1998
Efficient inference of object types J Palsberg Information and computation 123 (2), 198-209, 1995	129	1995
Register allocation via coloring of chordal graphs FMQ Pereira, J Palsberg Asian Symposium on Programming Languages and Systems, 315-329, 2005	128*	2005
Closure analysis in constraint form J Palsberg ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (1), 47-62, 1995	118*	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

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