ST Gilmore
Papers
1
Total Citations
26
H-Index
1
About
No biography available yet.
Research Focus
Algebra over a field1 · 26 citations
Artificial intelligence1 · 26 citations
Computer science1 · 26 citations
Control (management)1 · 26 citations
Extension (predicate logic)1 · 26 citations
Idealization1 · 26 citations
Mathematical optimization1 · 26 citations
Mathematics1 · 26 citations
Optimal control1 · 26 citations
Process (computing)1 · 26 citations
Process calculus1 · 26 citations
Programming language1 · 26 citations
Key Achievements
1
H-Index
1
Papers
26
Total Citations
26
Avg Citations/Paper
🏆 Most Cited Paper
Specifications in stochastic process algebra for a robot control problem
26 citations · 1996
📈 Most Prolific Year: 1996 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: University of Edinburgh
Top Papers
- 1Specifications in stochastic process algebra for a robot control problem26 citations · 1996
Key Collaborators
Not generated yet