Concepedia

Paolo Torrini

PT

6

Publications

142

Citations

6

H-Index

2000

Active since

Affiliations

University of Leicester(Current)

University of Leeds

Paolo Torrini is an author at University of Leicester specializing in computer science, systems engineering, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringNetwork ScienceNetwork AnalysisModeling And SimulationSecuritySimulationCryptographyData Privacy

Publications per year

2000–2024

6

Publications

6

A foundation for region-based qualitative geometry

Brandon Bennett, Anthony G. Cohn, Paolo Torrini et al. · 2000 · 49 citations

Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions

Brandon Bennett, Anthony G. Cohn, Paolo Torrini et al. · 2000 · 32 citations

A first step towards formal verification of security policy properties for RBAC

Michael Drouineaud, Maksym Bortin, Paolo Torrini et al. · International Conference on Quality Software · 2004 · 27 citations

Engineering, Information Security, Verification +19

Domain-specific discrete event modelling and simulation using graph transformation

Juan de Lara, Esther Guerra, Artur Boronat et al. · Software & Systems Modeling · 2012 · 13 citations · Full text

Network Science, Discrete Event Simulation, Engineering +10

Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems

Ajab Khan, Paolo Torrini, Reiko Heckel · Technische Universität Berlin – Universitätsbibliothek · 2024 · 11 citations · Full text

Engineering, Network Operation, Network Planning +17

Rows per page

1–5 of 6