BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Torrini:Paolo

Contributed to:

PEPM 20152015
ICGT 20122012
FASE 20102010
GT-VMT 20102010
ICGT 20102010

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.