Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Paolo Torrini
2010 – today
- 2012
[c10]Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró: Incremental Pattern Matching for the Efficient Computation of Transitive Closure. ICGT 2012: 386-400- 2011
- [p1]Gábor Bergmann, Artur Boronat, Reiko Heckel, Paolo Torrini, István Ráth, Dániel Varró: Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis. Results of the SENSORIA Project 2011: 561-584
- 2010
- [j3]Paolo Torrini, Reiko Heckel, István Ráth, Gábor Bergmann: Stochastic Graph Transformation with Regions. ECEASST 29 (2010)
- [c9]Ajab Khan, Reiko Heckel, Paolo Torrini, István Ráth: Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System. ASMTA 2010: 204-217
- [c8]Reiko Heckel, Paolo Torrini: Stochastic Modelling and Simulation of Mobile Systems. Graph Transformations and Model-Driven Engineering 2010: 87-101
- [c7]Paolo Torrini, Reiko Heckel, István Ráth: Stochastic Simulation of Graph Transformation Systems. FASE 2010: 154-157
- [c6]Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini: Graph Transformation for Domain-Specific Discrete Event Time Simulation. ICGT 2010: 266-281
2000 – 2009
- 2009
- [c5]Paolo Torrini, Reiko Heckel: Resource-Bound Quantification for Graph Transformation. LINEARITY 2009: 14-25
- [c4]Paolo Torrini, Reiko Heckel: Towards an embedding of Graph Transformation in Intuitionistic Linear Logic. ICE 2009: 99-115
- 2008
- [j2]Ajab Khan, Paolo Torrini, Reiko Heckel: Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems. ECEASST 16 (2008)
- 2004
- [c3]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
- [j1]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
- [c2]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
- [c1]Brandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika: A Foundation for Region-based Qualitative Geometry. ECAI 2000: 204-208
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-12 17:01 CET by the dblp team