BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Viroli:Mirko

Contributed to:

SAC 20152015
SAC 20132013
SAC 20122012
SAC 20112011
SAC 20112013
SAC 20102010
SAC 20092009
SAC 20082008
OOPSLA 20072007
SAC 20072007
SAC 20052005
SAC 20052005
SAC 20042004
SAC 20032003
ECOOP 20022002
SAC 20012001
OOPSLA 20002000

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.

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.