3
Publications
102
Citations
3
H-Index
2018
Active since
Gianluca Grilletti is an author at University of Amsterdam specializing in computer science, engineering, and computational geometry.
Top concepts
EngineeringComputer ScienceGeometryAutomationVerificationFormal MethodsNatural SciencesGeometry ModelingTraffic ManagementAutomated Reasoning
Publications per year
2018–2022
3
3
Spatio-temporal model checking of vehicular movement in public transport systems
Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti et al. · International Journal on Software Tools for Technology Transfer · 2018 · 57 citations · Full text
Automotive Tracking, Engineering, Transportation System Management +7
Disjunction and Existence Properties in Inquisitive First-Order Logic
Gianluca Grilletti · Studia Logica · 2018 · 24 citations · Full text
Geometric Model Checking of Continuous Space
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia et al. · Logical Methods in Computer Science · 2022 · 21 citations · Full text
Engineering, Geometry, Verification +18
Rows per page
1–3 of 3