L.E. Moser

University of California, Santa Barbara

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

  1. 1
    The Real-Time Graphical Interval Logic toolset
    11 citations · 1996
  2. 2
    Automated deduction in a graphical temporal logic
    3 citations · 1996

Key Collaborators

YSY. S. Ramakrishna2 shared papersLKLaura K. Dillon2 shared papersPMP. M. Melliar‐Smith2 shared papersGKG. Kutty2 shared papers
Not generated yet