Scholar
Lorenzo Clemente
Google Scholar ID: N5a0IB8AAAAJ
University of Warsaw
formal methods
automata theory
game theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
355
H-index
10
i10-index
12
Publications
20
Co-authors
28
list available
Contact
No contact links provided.
Publications
3 items
Commutative algebras of series
2026
Cited
0
Algorithmic analysis of systems with affine input and polynomial state
2025
Cited
0
The commutativity problem for effective varieties of formal series, and applications
2025
Cited
0
Resume (English only)
Co-authors
28 total
Slawomir Lasota
University of Warsaw, prof. of computer science
Parosh Abdulla
Professor of Computer Science, Uppsala University
Lukas Holik
Brno University of Tehcnology
Tomas Vojnar
FI, Masaryk University & FIT, Brno University of Technology
Yu-Fang Chen
Research Fellow/Professor, Academia Sinica
Chih-Duo Hong (洪智鐸)
National Chengchi University, Taiwan
Paweł Parys
Uniwersytet Warszawski
Charles Paperman
Maitre de Conférence à l'université de Lille
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up