Nikos Tzevelekos
Scholar

Nikos Tzevelekos

Google Scholar ID: OsFtuawAAAAJ
Queen Mary, University of London
Semantics of Programming LanguagesTheory of ComputationAutomata over Infinite Alphabets
Google Scholar↗
Citations & Impact
All-time
Citations
398
 
H-index
11
 
i10-index
12
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
1 items
A Bounded Game Semantics Checker for Precise Smart Contract Analysis
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)