Login
中文
Nevin Heintze
HIndex: 18
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Type system
Computation
Computer network
Information security
Lambda calculus
Discrete mathematics
Graph theory
Control flow analysis
Communications protocol
Partial evaluation
Logic
Reason
Logic programming
Control flow
Compiler
Computer programming
Cryptography
Semantics
Arithmetic
Calculus
Variables
Information system
Theory of computation
Transitive closure
Program analysis
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Type system
Computation
Computer network
Information security
Lambda calculus
Discrete mathematics
Graph theory
Control flow analysis
Communications protocol
Partial evaluation
Logic
Reason
Logic programming
Control flow
Compiler
Computer programming
Cryptography
Semantics
Arithmetic
Calculus
Variables
Information system
Theory of computation
Transitive closure
Program analysis
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Nevin Heintze
Agere Systems
48
Nevin Heintze
Alcatel Lucent
3
×
Share to your followers
Submit