BibSLEIGH — Mirko

Travelled to:

1 × Brazil
1 × Canada
1 × Cyprus
1 × Italy
1 × Korea
1 × Portugal
1 × Switzerland
1 × Taiwan
2 × Spain
5 × USA

Collaborated with:

M.Casadei A.Omicini G.Rimassa D.Pianini J.Beal S.Montagna M.Cimadamore A.Igarashi ∅ A.Ricci E.Nardini A.Natali G.Stevenson R.Menezes M.Sbaraglia K.Usbeck E.Panzavolta L.Gardelli G.Moro F.Zambonelli J.Ye S.Dobson

Talks about:

coordin (9) semant (6) java (6) parametr (5) self (5) model (4) type (4) framework (3) wildcard (3) organis (3)

Person: Mirko Viroli

DBLP: Viroli:Mirko

Contributed to:

2015

2013

2012

2011

2013

2010

2009

2008

2007

2005

2004

2003

2002

2001

2000

Wrote 27 papers:

SAC-2015-PianiniVB #named #programming: Protelis: practical aggregate programming (DP, MV, JB), pp. 1846–1853.
SAC-2013-StevensonYDPMV #network #reasoning #resource management #self #semantics: Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (GS, JY, SD, DP, SM, MV), pp. 1369–1376.
SAC-2012-MenezesOV #abstraction #composition #coordination #pervasive: Dynamic composition of coordination abstractions for pervasive systems: the case of LogOp (RM, AO, MV), pp. 1557–1559.
SAC-2012-MontagnaPV #development: A model for drosophila melanogaster development from a single cell to stripe pattern formation (SM, DP, MV), pp. 1406–1412.
SAC-2012-ViroliPMS #coordination #ecosystem #modelling #pervasive #semantics: Pervasive ecosystems: a coordination model based on semantic chemistry (MV, DP, SM, GS), pp. 295–302.
SAC-2011-NardiniOV: Description spaces with fuzziness (EN, AO, MV), pp. 869–876.
SAC-2011-SbaragliaCV #coordination #programming: Programming coordination laws of artifacts in CArtAgO (MS, MC, MV), pp. 885–886.
SAC-2011-ViroliBC #semantics: Core operational semantics of Proto (MV, JB, MC), pp. 1325–1332.
SAC-PL-J-2011-ViroliBU13 #semantics: Operational semantics of proto (MV, JB, KU), pp. 633–656.
SAC-2010-NardiniVP #coordination #semantics #tuple: Coordination in open and dynamic environments with TuCSoN semantic tuple centres (EN, MV, EP), pp. 2037–2044.
SAC-2010-ViroliC #composition #self: Chemical-inspired self-composition of competing services (MV, MC), pp. 2029–2036.
SAC-2009-CasadeiV #design #model checking #probability #self #simulation #using: Using probabilistic model checking and simulation for designing self-organizing systems (MC, MV), pp. 2103–2104.
SAC-2009-ViroliCMZ #adaptation #ecosystem: A biochemical metaphor for developing eternally adaptive service ecosystems (MV, MC, SM, FZ), pp. 1221–1222.
SAC-2009-ViroliCO #coordination #framework #implementation #modelling #self: A framework for modelling and implementing self-organising coordination (MV, MC, AO), pp. 1353–1360.
SAC-2008-CimadamoreV #java #prolog #type inference: Integrating Java and Prolog through generic methods and type inference (MC, MV), pp. 198–205.
OOPSLA-2007-IgarashiV #scalability: Variant path types for scalable extensibility (AI, MV), pp. 113–132.
SAC-2007-CimadamoreV #approach #java #using: Reifying wildcards in Java using the EGO approach (MC, MV), pp. 1315–1322.
SAC-2007-ViroliCG #distributed #problem #self #tuple: A self-organising solution to the collective sort problem in distributed tuple spaces (MV, MC, LG), pp. 354–359.
SAC-2005-RicciV: A timed extension of ReSpecT (AR, MV), pp. 420–427.
SAC-2005-RimassaV #comprehension #java #parametricity #strict: Understanding access restriction of variant parametric types and Java wildcards (GR, MV), pp. 1390–1397.
SAC-OOPS-J-2005-ViroliR #java #on the #strict: On Access Restriction with Java Wildcards (MV, GR), pp. 117–139.
SAC-2004-OmiciniRVR #coordination #multi: Integrating objective & subjective coordination in multi-agent systems (AO, AR, MV, GR), pp. 449–455.
SAC-2003-Viroli #consistency #coordination #framework #semantics: Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media (MV), pp. 394–401.
ECOOP-2002-IgarashiV #on the #parametricity #type system: On Variance-Based Subtyping for Parametric Types (AI, MV), pp. 441–469.
SAC-2001-Viroli #implementation #java #morphism #parametricity #performance #polymorphism: Parametric polymorphism in Java: an efficient implementation for parametric methods (MV), pp. 610–619.
SAC-2001-ViroliMO #coordination #framework #on the #ontology #paradigm: On observation as a coordination paradigm: an ontology and a formal framework (MV, GM, AO), pp. 166–175.
OOPSLA-2000-ViroliN #approach #java #morphism #parametricity #polymorphism: Parametric polymorphism in Java: an approach to translation based on reflective features (MV, AN), pp. 146–165.