Jonathan Finger

Papers

1

Total Citations

129

H-Index

1

About

No biography available yet.

Research Focus

Artificial intelligence1 · 129 citations
Combinatory logic1 · 129 citations
Completeness (order theory)1 · 129 citations
Computer science1 · 129 citations
Consistency (knowledge bases)1 · 129 citations
High-level synthesis1 · 129 citations
Mathematics1 · 129 citations
Programming language1 · 129 citations
Soundness1 · 129 citations
Theoretical computer science1 · 129 citations

Key Achievements

1
H-Index
1
Papers
129
Total Citations
129
Avg Citations/Paper
🏆 Most Cited Paper
Exploiting constraints in design synthesis
129 citations · 1987
📈 Most Prolific Year: 1987 (1 Papers)
🤝 Key Collaborators: 0

Top Papers

  1. 1
    Exploiting constraints in design synthesis
    129 citations · 1987
Not generated yet