Scholar
Michele Sevegnani
Google Scholar ID: ycI17poAAAAJ
Senior Lecturer, School of Computing Science, University of Glasgow
Bigraphs
Formal methods
Model checking
Formal verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
523
H-index
13
i10-index
14
Publications
20
Co-authors
34
list available
Publications
6 items
From Subsumption to Satisfiability: LLM-Assisted Active Learning for OWL Ontologies
2026
Cited
0
Responsible AI in criminal justice: LLMs in policing and risks to case progression
2026
Cited
0
Introducing The Maximum Common Bigraph Problem
Electronic Proceedings in Theoretical Computer Science · 2026
Cited
0
Mapping the Probabilistic AI Ecosystem in Criminal Justice in England and Wales
2025
Cited
0
Federated Deep Reinforcement Learning for Privacy-Preserving Robotic-Assisted Surgery
2025
Cited
0
Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs
Electronic Proceedings in Theoretical Computer Science · 2025
Cited
0
Co-authors
12 total
Muffy Calder
Professor of Computing Science, University of Glasgow
Blair Archibald
Lecturer, University of Glasgow
Mengwei Xu
Lecturer at University of Newcastle
Sye-Loong Keoh
School of Computing Science, University of Glasgow
steve benford
The University of Nottingham
Ciaran McCreesh
University of Glasgow
Alexandros Koliousis
Northeastern University London
Mohammad D. Soorati
Assistant Professor, University of Southampton
