Calum Imrie
Papers
7
Total Citations
50
H-Index
5
About
No biography available yet.
Research Focus
Artificial intelligence7 · 50 citations
Computer science7 · 50 citations
Software engineering2 · 23 citations
Software2 · 23 citations
Robot3 · 19 citations
Artificial neural network3 · 19 citations
Deep learning3 · 19 citations
Control engineering3 · 18 citations
Distributed computing3 · 18 citations
Controller (irrigation)3 · 18 citations
Machine learning2 · 17 citations
Human–computer interaction2 · 15 citations
Key Achievements
5
H-Index
7
Papers
50
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
Analyzing and Debugging Normative Requirements via Satisfiability Checking
13 citations · 2024
📈 Most Prolific Year: 2024 (4 Papers)
🤝 Key Collaborators: 28
🏛 Institutions: University of York, University of Edinburgh
Top Papers
- 1Analyzing and Debugging Normative Requirements via Satisfiability Checking13 citations · 2024
- 2Bayesian learning for the robust verification of autonomous robots11 citations · 2024
- 3
- 4
- 5Formal Synthesis of Uncertainty Reduction Controllers5 citations · 2024
- 6
- 7Self-organisation of Spatial Behaviour in a Kilobot Swarm2 citations · 2017
Key Collaborators
RCRadu Călinescu5 shared papersGNGenaína Nunes Rodrigues3 shared papersCSCorina S. Păsăreanu2 shared papersJMJ. Michael Herrmann2 shared papersRMRavi Mangal2 shared papersGVGricel Vázquez2 shared papersMAMisael Alpizar Santana2 shared papersMCMarsha Chećhik1 shared papersSCSimón C. Smith1 shared papersTVThomas Vogel1 shared papersRDRichard Dharmadi1 shared papersXZXingyu Zhao1 shared papersYBYesugen Baatartogtokh1 shared papersLMLina Marsso1 shared papersISIsobel Standen1 shared papersISIoannis Stefanakos1 shared papersDFDavid Flynn1 shared papersBSBailu Si1 shared papersMCMarc Carwehl1 shared papersVOVictoria Oldemburgo de Mello1 shared papers
Not generated yet