| 2004 |
|---|
| 4 | EE | Michael Drouineaud,
Maksym Bortin,
Paolo Torrini,
Karsten Sohr:
A First Step Towards Formal Verification of Security Policy Properties for RBAC.
QSIC 2004: 60-67 |
| 2002 |
|---|
| 3 | | Paolo Torrini,
John G. Stell,
Brandon Bennett:
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.
Journal of Applied Non-Classical Logics 12(3-4): 495-526 (2002) |
| 2000 |
|---|
| 2 | | Brandon Bennett,
Anthony G. Cohn,
Paolo Torrini,
Shyamanta M. Hazarika:
Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions.
AAAI/IAAI 2000: 503-509 |
| 1 | | Brandon Bennett,
Anthony G. Cohn,
Paolo Torrini,
Shyamanta M. Hazarika:
A Foundation for Region-based Qualitative Geometry.
ECAI 2000: 204-208 |
