Travelled to:1 × Cyprus
1 × Germany
1 × India
1 × The Netherlands
Collaborated with:I.Ráth R.Heckel G.Bergmann C.B.Poulsen P.D.Mosses T.Szabó D.Varró J.d.Lara E.Guerra A.Boronat
Talks about:transform (3) graph (3) stochast (2) simul (2) polymorph (1) interpret (1) increment (1) abstract (1) transit (1) pattern (1)
Person: Paolo Torrini
DBLP: Torrini:Paolo
Contributed to:
2015
2012
2010
20102010Wrote 5 papers:
- PEPM-2015-PoulsenMT #abstract interpretation #imperative #morphism #polymorphism
- Imperative Polymorphism by Store-Based Types as Abstract Interpretations (CBP, PDM, PT), pp. 3–8.
- ICGT-2012-BergmannRSTV #incremental #pattern matching #performance #transitive
- Incremental Pattern Matching for the Efficient Computation of Transitive Closure (GB, IR, TS, PT, DV), pp. 386–400.
- FASE-2010-TorriniHR #graph transformation #probability #simulation
- Stochastic Simulation of Graph Transformation Systems (PT, RH, IR), pp. 154–157.
- GT-VMT-2010-TorriniHRB #graph transformation #probability
- Stochastic Graph Transformation with Regions (PT, RH, IR, GB).
- ICGT-2010-LaraGBHT #graph transformation #simulation
- Graph Transformation for Domain-Specific Discrete Event Time Simulation (JdL, EG, AB, RH, PT), pp. 266–281.