Search the dblp DataBase

Publications of Author

1. Brandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika
   Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions. [Citation Graph (0, 0)][DBLP]
   AAAI/IAAI, 2000, pp:503-509 [Conf]
   
2. Brandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika
   A Foundation for Region-based Qualitative Geometry. [Citation Graph (0, 0)][DBLP]
   ECAI, 2000, pp:204-208 [Conf]
   
3. Michael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr
   A First Step Towards Formal Verification of Security Policy Properties for RBAC. [Citation Graph (0, 0)][DBLP]
   QSIC, 2004, pp:60-67 [Conf]
   
4. Paolo Torrini, John G. Stell, Brandon Bennett
   Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 2002, v:12, n:3-4, pp:495-526 [Journal]
   
5. 
   Stochastic Simulation of Graph Transformation Systems. [Citation Graph (, )][DBLP]
   
   
6. 
   Graph Transformation for Domain-Specific Discrete Event Time Simulation. [Citation Graph (, )][DBLP]
   
   
7. 
   Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System. [Citation Graph (, )][DBLP]
   
   
8. 
   Towards an embedding of Graph Transformation in Intuitionistic Linear Logic [Citation Graph (, )][DBLP]
   
   
9. 
   Resource-Bound Quantification for Graph Transformation [Citation Graph (, )][DBLP]