Login
中文
David A Schmidt
HIndex: 15
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Computability
Defunctionalization
Model of computation
Temporal logic
Logic
Operational semantics
Program analysis
Object-oriented programming
Higher-order logic
Mathematical analysis
State transition table
Theory of computation
Model checking
Denotational semantics
Lambda calculus
Formal methods
Programming language
Static analysis
Type inference
Semantics
Data-flow analysis
First-order logic
Calculus
Compiler
Discrete mathematics
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Computability
Defunctionalization
Model of computation
Temporal logic
Logic
Operational semantics
Program analysis
Object-oriented programming
Higher-order logic
Mathematical analysis
State transition table
Theory of computation
Model checking
Denotational semantics
Lambda calculus
Formal methods
Programming language
Static analysis
Type inference
Semantics
Data-flow analysis
First-order logic
Calculus
Compiler
Discrete mathematics
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
David A Schmidt
University Of Wurzburg
88
David A Schmidt
Fraunhofer Society
59
David A Schmidt
University Of California
49
David A Schmidt
German National Metrology Institute
8
David A Schmidt
Depaul University
4
David A Schmidt
Ghent University
2
David A Schmidt
Dow Chemical Company
2
David A Schmidt
Uganda Revenue Authority
1
David A Schmidt
Microsoft
1
David A Schmidt
Ohio State University
1
×
Share to your followers
Submit