Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
Xu Li
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Shipeng Dou
Chen Ma
Didier Theilliol
Home
/
Author
/
PAOLO TORRINI
Author Info
Open Visualization
Name
Affiliation
Papers
PAOLO TORRINI
Univ Leicester, Dept Comp Sci, Leicester, Leics, England
16
Collaborators
Citations
PageRank
23
118
9.95
Referers
Referees
References
181
384
260
Search Limit
100
384
Publications (16 rows)
Collaborators (23 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Reusable components of semantic specifications
2
0.39
2014
Domain-specific discrete event modelling and simulation using graph transformation
4
0.45
2014
Linear Types and Locality.
0
0.34
2014
Incremental pattern matching for the efficient computation of transitive closure
10
0.52
2012
Stochastic modelling and simulation of mobile systems
1
0.35
2010
Model-based stochastic simulation of P2P VoIP using graph transformation system
4
0.45
2010
Stochastic simulation of graph transformation systems
14
0.74
2010
Stochastic Graph Transformation with Regions
6
0.54
2010
Graph transformation for domain-specific discrete event time simulation
3
0.37
2010
Towards An Embedding Of Graph Transformation In Intuitionistic Linear Logic
2
0.38
2009
Resource-Bound Quantification For Graph Transformation
1
0.36
2009
Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems
7
0.56
2008
A First Step Towards Formal Verification of Security Policy Properties for RBAC
16
0.96
2004
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic
0
0.34
2002
Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions
20
1.42
2000
A Foundation for Region-based Qualitative Geometry
28
1.78
2000
1
