Scholar
Charles Grellois
Google Scholar ID: u7WXdJkAAAAJ
University of Sheffield
model-checking: theory and applications (biology...)
logic
semantics
AI
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
317
H-index
10
i10-index
10
Publications
20
Co-authors
0
Publications
5 items
Enhancing Automated Machine Learning via Homogeneous Train-Test Splitting Methods
2026
Cited
0
Phase Semantic Cut-elimination for Intuitionistic Linear Logic with Least and Greatest Fixed Points
2026
Cited
0
A coalgebraic higher-order modal fixed-point logic
2026
Cited
0
Tree Automata Acceptance up to Measurable Defect
2026
Cited
0
Quantitative Linear Logic
2026
Cited
0
