Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions. - Brandon Bennett; Anthony G. Cohn 001; Paolo Torrini; Shyamanta M. Hazarika (AAAI/IAAI, 2000)

A Foundation for Region-based Qualitative Geometry. - Brandon Bennett; Anthony G. Cohn 001; Paolo Torrini; Shyamanta M. Hazarika (ECAI, 2000)

Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic. - Paolo Torrini; John G. Stell; Brandon Bennett (J. Appl. Non Class. Logics, 2002)

Qualitative spatial reasoning with super-intuitionistic logics. - Paolo Torrini (2003)

A First Step Towards Formal Verification of Security Policy Properties for RBAC. - Michael Drouineaud; Maksym Bortin; Paolo Torrini; Karsten Sohr (QSIC, 2004)

Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems. - Ajab Khan; Paolo Torrini; Reiko Heckel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Towards an embedding of Graph Transformation in Intuitionistic Linear Logic - Paolo Torrini; Reiko Heckel (ICE, 2009)

Resource-Bound Quantification for Graph Transformation - Paolo Torrini; Reiko Heckel (LINEARITY, 2009)

Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System. - Ajab Khan; Reiko Heckel; Paolo Torrini; István Ráth (ASMTA, 2010)

Stochastic Modelling and Simulation of Mobile Systems. - Reiko Heckel; Paolo Torrini (Graph Transformations and Model-Driven Engineering, 2010)

Stochastic Simulation of Graph Transformation Systems. - Paolo Torrini; Reiko Heckel; István Ráth (FASE, 2010)

Graph Transformation for Domain-Specific Discrete Event Time Simulation. - Juan de Lara; Esther Guerra; Artur Boronat; Reiko Heckel; Paolo Torrini (ICGT, 2010)

Stochastic Graph Transformation with Regions. - Paolo Torrini; Reiko Heckel; István Ráth; Gábor Bergmann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis. - Gábor Bergmann; Artur Boronat; Reiko Heckel; Paolo Torrini; István Ráth; Dániel Varró (Results of the SENSORIA Project, 2011)

Incremental Pattern Matching for the Efficient Computation of Transitive Closure. - Gábor Bergmann; István Ráth; Tamás Szabó; Paolo Torrini; Dániel Varró (ICGT, 2012)

Reusable components of semantic specifications. - Martin Churchill; Peter D. Mosses; Paolo Torrini (MODULARITY, 2014)

Linear Types and Locality. - Paolo Torrini (J. Log. Comput., 2014)

Domain-specific discrete event modelling and simulation using graph transformation. - Juan de Lara; Esther Guerra; Artur Boronat; Reiko Heckel; Paolo Torrini (Softw. Syst. Model., 2014)

Imperative Polymorphism by Store-Based Types as Abstract Interpretations. - Casper Bach Poulsen; Peter D. Mosses; Paolo Torrini (PEPM, 2015)

A Modular Structural Operational Semantics for Delimited Continuations. - Neil Sculthorpe; Paolo Torrini; Peter D. Mosses (WoC, 2015)

Reasoning about modular datatypes with Mendler induction. - Paolo Torrini; Tom Schrijvers (FICS, 2015)

Reusable Components of Semantic Specifications. - Martin Churchill; Peter D. Mosses; Neil Sculthorpe; Paolo Torrini (LNCS Trans. Aspect Oriented Softw. Dev., 2015)

Modular Dependent Induction in Coq, Mendler-Style. - Paolo Torrini (ITP, 2016)

Formalising Executable Specifications of Low-Level Systems. - Paolo Torrini; David Nowak; Narjes Jomaa; Mohamed Sami Cherif (VSTTE, 2018)

Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base. - Narjes Jomaa; Paolo Torrini; David Nowak; Gilles Grimaud; Samuel Hym (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018)

A generic approach for the certified schedulability analysis of software systems. - Xiaojie Guo 003; Lionel Rieg; Paolo Torrini (RTCSA, 2021)