Papers
2
Total Citations
14
H-Index
2
About
No biography available yet.
Research Focus
Theoretical computer science2 · 14 citations
Computer science2 · 14 citations
Programming language2 · 14 citations
Lisp1 · 11 citations
Common Lisp1 · 11 citations
Computer graphics (images)1 · 11 citations
Graphics1 · 11 citations
Graphical user interface1 · 3 citations
Automated theorem proving1 · 3 citations
Interval temporal logic1 · 3 citations
Algorithm1 · 3 citations
Mathematical proof1 · 3 citations
Key Achievements
2
H-Index
2
Papers
14
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
The Real-Time Graphical Interval Logic toolset
11 citations · 1996
📈 Most Prolific Year: 1996 (2 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: University of California, Santa Barbara
Top Papers
- 1The Real-Time Graphical Interval Logic toolset11 citations · 1996
- 2Automated deduction in a graphical temporal logic3 citations · 1996
Key Collaborators
Not generated yet