46
Publications
2.5K
Citations
23
H-Index
2001
Active since
Paolo Torroni is an author at University of Bologna specializing in engineering, automated reasoning, and formal verification.
Top concepts
EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationLinguisticsVerificationComputational LinguisticsNatural Language ProcessingLanguage
Publications per year
2001–2024
46
46
Marco Lippi, Paolo Torroni · ACM Transactions on Internet Technology · 2016 · 358 citations · Full text
Rows per page
1–5 of 46