Travelled to:
1 × Canada
1 × China
1 × The Netherlands
1 × USA
Collaborated with:
∅ S.Kasangian P.Boldi F.Bonchi C.Castillo P.Degano R.Gorrieri D.Donato A.Gionis
Talks about:
model (2) implement (1) distribut (1) introduc (1) calculus (1) specifi (1) program (1) network (1) generat (1) content (1)
Person: Sebastiano Vigna
DBLP: Vigna:Sebastiano
Contributed to:
Wrote 7 papers:
- CIKM-2009-BoldiBCV #network #social
- Voting in social networks (PB, FB, CC, SV), pp. 777–786.
- CIKM-2008-BoldiBCDGV #graph
- The query-flow graph: model and applications (PB, FB, CC, DD, AG, SV), pp. 609–618.
- ASE-2003-Vigna #automation #content management #generative #specification
- Automatic Generation of Content Management Systems from EER-Based Specifications (SV), pp. 259–262.
- ASF+SDF-1997-Vigna #implementation #performance #source code #towards
- Towards an efficient implementation of distributive programs (SV), p. 13.
- ASF+SDF-1995-Vigna #asf+sdf #case study #specification #using
- Specifying Imp(G) Using ASF+SDF: A Case Study (SV), pp. 65–88.
- CAAP-1991-KasangianV #calculus
- Introducing a Calculus of Trees (SK, SV), pp. 215–240.
- TAPSOFT-1993-DeganoGV #concurrent #modelling #on the
- On Relating Some Models for Concurrency (PD, RG, SV), pp. 15–30.