Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
scHolar index
[go: Go Back, main page]

scHolar index

Comments and questions concerning this service should be sent to Nicolas Roussel (roussel@lri.fr).

Subject areas: all some

Biology, Life Sciences, and Environmental Science
Business, Administration, Finance, and Economics
Chemistry and Materials Science
Engineering, Computer Science, and Mathematics
 Medicine, Pharmacology, and Veterinary Science
Physics, Astronomy, and Planetary Science
Social Sciences, Arts, and Humanities

Find publications
  written by (e.g. "Jorge Hirsch" or "J Hirsch")
  with all the words
  with at least one of the words
  without the words
  published in between and

Display those
  cited at least times

Sending query to Google Scholar... reading... parsing... reading... parsing... reading... parsing... computing index... sorting references...

Found 297 publications, oldest seems to date from 1988. Displaying only 40. H index is 33 (h/dt=1.650, h/n=0.111)

 439 Modern Compiler Implementation in Java - all 8 versions »
AW Appel, J Palsberg - 2002 - books.google.com
261 Object-oriented type inference - all 12 versions »
J Palsberg, MI Schwartzbach - ACM SIGPLAN Notices, 1991 - portal.acm.org
249 Object-oriented type systems
J Palsberg, MI Schwartzbach - 1994 - John Wiley and Sons Ltd. Chichester, UK, UK
215 A denotational semantics of inheritance and its correctness - all 11 versions »
W Cook, J Palsberg - ACM SIGPLAN Notices, 1989 - portal.acm.org
148 Scalable propagation-based call graph construction algorithms - all 22 versions »
F Tip, J Palsberg - ACM SIGPLAN Notices, 2000 - portal.acm.org
137 A type system equivalent to flow analysis - all 18 versions »
J Palsberg, PO'Keefe - ACM Transactions on Programming Languages and Systems ( …, 1995 - portal.acm.org
119 Avrora: scalable sensor network simulation with precise timing - all 11 versions »
BL Titzer, DK Lee, J Palsberg - Proceedings of the 4th international symposium on …, 2005 - portal.acm.org
111 The essence of the visitor pattern - all 15 versions »
J Palsberg, CB Jay - Proc. 22nd IEEE Int. Computer Software and Applications Conf …, 1998 - doi.ieeecomputersociety.org
103 Type Inference of SELF - all 19 versions »
O Agesen, J Palsberg, MI Schwartzbach - Proceedings of the 7th European Conference on Object- …, 1993 - Springer
100 Evolution of object behavior using context relations - all 9 versions »
LM Seiter, J Palsberg, KJ Lieberherr - Software Engineering, IEEE Transactions on, 1998 - ieeexplore.ieee.org
94 Efficient recursive subtyping - all 17 versions »
D Kozen, J Palsberg, MI Schwartzbach - Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on …, 1993 - portal.acm.org
93 Encapsulating Objects with Confined Types - all 33 versions »
C Grothoff, J Palsberg, J Vitek - portal.acm.org
89 Making Type Inference Practical - all 6 versions »
N Oxhcj, J Palsberg, MI Schwartzbach - Springer
86 Safety Analysis versus Type Inference - all 17 versions »
J Palsberg, MI Schwartzbach - Information and Computation, 1995 - cs.ucla.edu
82 Efficient inference of object types - all 10 versions »
J Palsberg - Logic in Computer Science, 1994. LICS'94. Proceedings., …, 1994 - ieeexplore.ieee.org
69 Efficient implementation of adaptive software - all 7 versions »
J Palsberg, C Xiao, K Lieberherr - ACM Transactions on Programming Languages and Systems ( …, 1995 - portal.acm.org
68 Closure analysis in constraint form - all 8 versions »
J Palsberg - ACM Transactions on Programming Languages and Systems ( …, 1995 - portal.acm.org
67 Complexity results for 1-safe nets - all 15 versions »
A Cheng, J Esparza, J Palsberg - Theoretical Computer Science, 1995 - Elsevier
61 Experience with software watermarking - all 15 versions »
J Palsberg, S Krishnaswamy, M Kwon, D Ma, Q Shao, … - Proceedings of ACSAC, 16th Annual Computer Security …, 2000 - doi.ieeecomputersociety.org
61 A provably correct compiler generator - all 13 versions »
J Palsberg - ESOP, 1992 - Springer
58 From Polyvariant flow information to intersection and union types - all 11 versions »
J PALSBERG, C PAVLOPOULOU - Journal of Functional Programming, 2001 - Cambridge Univ Press
58 Efficient Inference of Partial Types - all 12 versions »
D Kozen, J Palsberg, MI Schwartzbach - JCSS, 1994 - daimi.au.dk
49 Trust in the lambda-Calculus
J Palsberg, P Ørbæk - Proceedings of the Second International Symposium on Static …, 1995 - portal.acm.org
45 Type substitution for object-oriented programming - all 8 versions »
J Palsberg, MI Schwartzbach - Proceedings of the European conference on object-oriented …, 1990 - portal.acm.org
43 The essence of eta-expansion in partial evaluation - all 14 versions »
O Danvy, K Malmkjær, J Palsberg - Higher-Order and Symbolic Computation, 1995 - Springer
42 Correctness of Binding-Time Analysis - all 5 versions »
J Palsberg - Journal of Functional Programming, 1993 - cs.ucla.edu
40 A new approach to compiling adaptive programs - all 8 versions »
J Palsberg, B Patt-Shamir, K Lieberherr - Science of Computer Programming, 1997 - Springer
39 Compiling with code-size constraints - all 17 versions »
M Naik, J Palsberg - ACM Transactions on Embedded Computing Systems (TECS), 2004 - portal.acm.org
37 Lightweight confinement for featherweight java - all 13 versions »
T Zhao, J Palsberg, J Vitek - Proceedings of the 18th annual ACM SIGPLAN conference on …, 2003 - portal.acm.org
35 Constrained types and their expressiveness - all 9 versions »
J Palsberg, S Smith - ACM Transactions on Programming Languages and Systems, 1996 - cs.ucla.edu
34 Three discussions on object-oriented typing - all 6 versions »
J Palsberg, MI Schwartzbach - ACM SIGPLAN OOPS Messenger, 1992 - portal.acm.org
33 Optimal Representations of Polymorphic Types with Subtyping - all 16 versions »
A Aiken, EL Wimmers, J Palsberg - Higher-Order and Symbolic Computation, 1999 - Springer
33 Eta-expansion does The Trick - all 6 versions »
O Danvy, K Malmkjær, J Palsberg - ACM Transactions on Programming Languages and Systems ( …, 1996 - portal.acm.org
32 Type-based analysis and applications - all 10 versions »
J Palsberg - Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on …, 2001 - portal.acm.org
32 Trust in the [lambda]-calculus - all 3 versions »
P ØRBÆK, J PALSBERG - Journal of Functional Programming, 1997 - Cambridge Univ Press
31 Static checking of interrupt-driven software - all 19 versions »
D Brylow, N Damgaard, J Palsberg - … Conference on Software Engineering: Proceedings of the 23 …, 2001 - doi.ieeecomputersociety.org
31 An automatically generated and provably correct compiler for asubset of Ada - all 8 versions »
J Palsberg - Computer Languages, 1992., Proceedings of the 1992 …, 1992 - ieeexplore.ieee.org
30 Type inference with non-structural subtyping - all 8 versions »
J Palsberg, M Wand, PO'Keefe - Formal Aspects of Computing, 1997 - Springer
27 Compiling actions by partial evaluation - all 3 versions »
A Bondorf, J Palsberg - Proceedings of the conference on Functional programming …, 1993 - portal.acm.org
22 Static typing for object-oriented programming - all 12 versions »
J Palsberg, MI Schwartzbach - Science of Computer Programming, 1994 - cs.ucla.edu