@article{smartcollectiveservices-ieeeiotj9,
author = {Casadei, Roberto and Giancarlo Fortino and Pianini, Danilo and Placuzzi, Andrea and Claudio Savaglio and Viroli, Mirko},
dblp = {journals/iotj/CasadeiFPPSV22},
doi = {10.1109/JIOT.2022.3172470},
ieee = {9768117},
journal = {IEEE Internet of Things Journal},
keywords = {cloud services, collective services, cyber–physical systems, deployment methodology, edge intelligence, mobile and ubiquitous systems, pulverizable architectures, service middleware and platform, simulation},
number = 20,
pages = {20136--20148},
title = {A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge},
url = {http://ieeexplore.ieee.org/document/9768117},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9768117},
volume = 9,
year = 2022
} @article{selforgcoord-fgcs114,
author = {Pianini, Danilo and Casadei, Roberto and Viroli, Mirko and Natali, Antonio},
doi = {10.1016/j.future.2020.07.032},
issn = {0167-739X},
journal = {Future Generation Computer Systems},
keywords = {Coordination, Distributed systems, Design patterns, Self-organisation, Self-improving integration, Edge computing, Aggregate programming},
pages = {44--68},
title = {Partitioned integration and coordination via the self-organising coordination regions pattern},
url = {https://www.sciencedirect.com/science/article/pii/S0167739X20304775},
volume = 114,
year = 2021} @article{VBDACP-JLAMP2019,
title = {From distributed coordination to field calculus and aggregate computing},
journal = {Journal of Logical and Algebraic Methods in Programming},
volume = {109},
year = {2019},
issn = {2352-2208},
doi = {10.1016/j.jlamp.2019.100486},
url = "http://www.sciencedirect.com/science/article/pii/S235222081930032X",
author = {Viroli, Mirko and Beal, Jacob and Damiani, Ferruccio and Audrito, Giorgio and Casadei, Roberto and Pianini, Danilo},
keywords = "Distributed systems, Aggregate computing, Field calculus, Spatial computing",
publisher = {Elsevier},
} @article{fieldcalculusTocl20,
author = {Audrito, Giorgio and Viroli, Mirko and Damiani, Ferruccio and Pianini, Danilo and Beal, Jacob},
doi = {10.1145/3285956},
journal = {{ACM} Transactions on Computational Logic},
month = jan,
number = 1,
pages = {1--55},
publisher = {ACM},
title = {A Higher-Order Calculus of Computational Fields},
url = {https://doi.org/10.1145/3285956},
volume = 20,
year = 2019} @article{CFPRSV-INFSCI2019,
title = {A development approach for collective opportunistic {Edge-of-Things} services},
journal = {Information Sciences},
publisher = {Elsevier},
volume = {498},
pages = {154--169},
year = {2019},
issn = {0020-0255},
doi = {10.1016/j.ins.2019.05.058},
url = {http://www.sciencedirect.com/science/article/pii/S002002551930461X},
author = {Casadei, Roberto and Fortino, Giancarlo and Pianini, Danilo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko},
keywords = {Internet of Things, Edge computing, Smart city, Opportunistic services, Aggregate computing},
abstract = {Technological advances have recently fostered the Internet of Things vision, in which systems of situated entities perceive and act upon the world, and interact with one another to provide novel kinds of services, which are inherently cyber-physical, increasingly contextual and opportunistic in nature, and possibly span different scales and domains. The requirements of such IoT applications, however, pose significant non/functional challenges to engineering efforts, mitigated by emerging computing paradigms. On the infrastructure side, Cloud, Fog, and Edge Computing provide virtualised, on-demand, elastic resource provisioning – at the distant data centres, Network core and Edge – supporting the abstraction and scalability needs of IoT settings while also altogether giving options for QoS-driven trade-offs. However, despite intense research in these fields, there is still a gap of approaches supporting the engineering of dynamic, heterogeneous smart environments, such as those involving “collectives” of devices coordinating in a complex fashion to provide “global” services. In this paper, we integrate the Aggregate Computing and Opportunistic IoT Service models and propose a full-fledged approach for the engineering – from analysis to simulation – of complex “Edge of Things” applications. We compare by simulation two deployment targets for the same collective application: one centralised/Cloud-based, and the other decentralised/Edge-based. We discuss the trade-offs each one introduces, and we draw recommendations on application-driven choices of the appropriate deployment.}
} @article{opportunisticaggregate-fgcs91,
author = {Casadei, Roberto and Fortino, Giancarlo and Pianini, Danilo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko},
doi = {10.1016/j.future.2018.09.005},
issn = {0167-739X},
journal = {Future Generation Computer Systems},
pages = {252--262},
publisher = {Elsevier B.V.},
title = {Modelling and Simulation of Opportunistic {IoT} Services with Aggregate Computing},
url = {https://www.sciencedirect.com/science/article/pii/S0167739X18307246},
volume = 91,
year = 2019} @article{VABDP-TOMACS2018,
author = {Viroli, Mirko and Audrito, Giorgio and Beal, Jacob and Damiani, Ferruccio and Pianini, Danilo},
title = {Engineering Resilient Collective Adaptive Systems by Self-Stabilisation},
journal = {ACM Transaction on Modelling and Computer Simulation},
issue_date = {March 2018},
volume = {28},
number = {2},
month = mar,
year = {2018},
issn = {1049-3301},
pages = {16:1--16:28},
articleno = {16},
numpages = {28},
url = {http://doi.acm.org/10.1145/3177774},
doi = {10.1145/3177774},
acm = {3177774},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Aggregate computing, collective adaptive systems, distributed algorithms, field calculus, self-stabilisation, simulation and modeling},
}
@article{spatialtuples-exsys35,
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea and Mariani, Stefano and Croatti, Angelo and Pianini, Danilo},
dblp = {journals/es/RicciVOMCP18},
doi = {10.1111/exsy.12273},
editor = {Camacho, David and Novais, Paulo},
iris = {11585/646034},
issn = {0266-4720},
journal = {Expert Systems},
keywords = {Artificial intelligence, coordination, pervasive computing, spatial computing, software engineering},
month = oct,
note = {{S}pecial Issue: New trends and innovations in intelligent distributed computing},
number = 5,
publisher = {Wiley},
scholar = {15432439871249761138},
scopus = {2-s2.0-85045836760},
title = {Spatial Tuples: Augmenting Reality with Tuples},
url = {http://onlinelibrary.wiley.com/doi/10.1111/exsy.12273},
volume = 35,
wos = {000446560700003},
year = 2018
} @article{CAV-SCP2018,
Author = {Casadei, Roberto and Aldini, Alessandro and Viroli, Mirko},
Doi = {10.1016/j.scico.2018.07.006},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Aggregate programming, Gradient, Information speed, Reliability, Spatial computing},
Pages = {114--137},
Title = {Towards attack-resistant Aggregate Computing using trust mechanisms},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642318303046},
Volume = 167,
Year = 2018}
@article{gradients-scp166,
Author = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko},
Doi = {10.1016/j.scico.2018.06.002},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Aggregate programming, Gradient, Information speed, Reliability, Spatial computing},
Pages = {146--166},
Title = {Optimal single-path information propagation in gradient-based algorithms},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642318302387},
Volume = 166,
Year = 2018} @article{VPRC-IJAOSE2017,
Author = {Viroli, Mirko and Pianini, Danilo and Ricci, Alessandro and Croatti, Angelo},
Issn = {1746-1375},
eissn = {1746-1383},
Journal = {International Journal of Agent-Oriented Software Engineering},
Number = 5,
Volume = 4,
Pages = {336--365},
Publisher = {Inderscience Publishers},
Title = {Aggregate plans for multiagent systems},
Year = 2017}
@article{BVPD-TAAS2017,
author = {Beal, Jacob and Viroli, Mirko and Pianini, Danilo and Damiani, Ferruccio},
title = {Self-Adaptation to Device Distribution in the {Internet of Things}},
journal = {ACM Transaction on Autonomous and Adaptive Systems},
issue_date = {September 2017},
volume = {12},
number = {3},
month = sep,
year = {2017},
issn = {1556-4665},
pages = {12:1--12:29},
articleno = {12},
numpages = {29},
url = {http://doi.acm.org/10.1145/3105758},
doi = {10.1145/3105758},
acm = {3105758},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Field calculus, large-scale coordination, self-organisation, self-stabilization, spatial computing},
} @article{safe-ijdst17,
acm = {10.4018/IJDST.2017010104},
author = {Croatti, Angelo and Ricci, Alessandro and Viroli, Mirko},
dblp = {journals/ijdst/CroattiRV17},
doi = {10.4018/IJDST.2017010104},
iris = {11585/582002},
journal = {International Journal of Distributed Systems and Technologies (IJDST)},
number = 1,
pages = {46--58},
publisher = {IGI Global},
scopus = {2-s2.0-84998910333},
title = {Towards a Mobile Augmented Reality System for Emergency Management: The Case of {SAFE}},
url = {http://www.igi-global.com/article/towards-a-mobile-augmented-reality-system-for-emergency-management/171982},
volume = 8,
wos = {000390173100004},
year = 2017
} @article{compfields-scp117,
Author = {Damiani, Ferruccio and Viroli, Mirko and Beal, Jacob},
Doi = {10.1016/j.scico.2015.11.005},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Computational field, Core calculus, Operational semantics, Spatial computing, Type soundness},
Pages = {17--44},
Title = {A type-sound calculus of computational fields},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642315003573},
Volume = 117,
Year = 2016} @article{sapere-ker31,
author = {Dobson, Simon and Viroli, Mirko and Fernandez-Marquez, Jose Luis and Zambonelli, Franco and Stevenson, Graeme and Di Marzo Serugendo, Giovanna and Montagna, Sara and Pianini, Danilo and Ye, Juan and Castelli, Gabriella and Rosi, Alberto},
doi = {10.1017/S0269888916000199},
iris = {11585/587618},
journal = {The Knowledge Engineering Review},
month = sep,
number = 4,
numpages = 24,
pages = {343-366},
scopus = {2-s2.0-85002973358},
title = {Spatial awareness in pervasive ecosystems},
url = {http://journals.cambridge.org/abstract_ S0269888916000199},
volume = 31,
year = 2016
} @article{DV-LMCS2015,
author = {Damiani, Ferruccio and Viroli, Mirko},
doi = {10.2168/LMCS-11(4:21)2015},
issn = {1860-5974},
journal = {Logical Methods in Computer Science},
number = 4,
numpages = 53,
pages = {1--53},
publisher = {EPI Sciences},
title = {Type-based Self-stabilisation for Computational Fields},
url = {http://lmcs.episciences.org/1622},
volume = 11,
year = 2015
} @article{sapere-pmc10years,
author = {Zambonelli, Franco and Omicini, Andrea and Anzengruber, Bernhard and Castelli, Gabriella and DeAngelis, Francesco L. and Di Marzo Serugendo, Giovanna and Dobson, Simon and Fernandez-Marquez, José Luis and Ferscha, Alois and Mamei, Marco and Mariani, Stefano and Molesini, Ambra and Montagna, Sara and Nieminen, Jussi and Pianini, Danilo and Risoldi, Matteo and Rosi, Alberto and Stevenson, Graeme and Viroli, Mirko and Ye, Juan},
dblp = {journals/percom/ZambonelliOACAS15},
doi = {10.1016/j.pmcj.2014.12.002},
editor = {Kumar, Mohan and Becker, Christian},
iris = {11585/480586},
issn = {1574-1192},
journal = {Pervasive and Mobile Computing},
keywords = {Pervasive computing; Multi-agent systems; Coordination models; Self-organization},
month = feb,
note = {Special Issue ``10 years of Pervasive Computing'' In Honor of Chatschik Bisdikian},
pages = {236–252},
part = {B},
scholar = {15583593111038826907},
scopus = {2-s2.0-84924155453},
semanticscholar = {16555450},
title = {Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination},
url = {http://www.sciencedirect.com/science/article/pii/S1574119214001904},
volume = 17,
wos = {000350826800007},
year = 2015
} @article{spacetime-rsta373,
address = {London, UK},
author = {Beal, Jacob and Viroli, Mirko},
doi = {10.1098/rsta.2014.0220},
isbn = {1471-2962},
issn = {1364-503X},
journal = {Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences},
keywords = {Spatial Computing; Aggregate Programming; Computational Fields},
number = 2046,
publisher = {The Royal Society},
title = {Space--Time Programming},
url = {http://rsta.royalsocietypublishing.org/content/373/2046/20140220},
urlpdf = {http://rsta.royalsocietypublishing.org/content/373/2046/20140220.full-text.pdf},
volume = 373,
year = 2015
} @ARTICLE{7274429,
author={Beal, Jacob and Pianini, Danilo and Viroli, Mirko},
journal={Computer},
title={Aggregate Programming for the Internet of Things},
year={2015},
volume={48},
number={9},
pages={22-30},
keywords={Aggregate programmin;Embedded systems;Internet of things;Pervasive computing;Programming;DSLs;Internet of Things;IoT;aggregate programming;distributed systems;domain-specific languages;embedded systems;field calculus;pervasive computing},
doi={10.1109/MC.2015.261},
ISSN={0018-9162},
month={Sept},} @article{BV-SPATIAL2015,
author = {Beal, Jacob and Viroli, Mirko},
title = {Formal Foundations of Sensor Network Applications},
journal = {SIGSPATIAL Special},
issue_date = {July 2015},
volume = {7},
number = {2},
month = sep,
year = {2015},
issn = {1946-7729},
pages = {36--42},
numpages = {7},
url = {http://doi.acm.org/10.1145/2826686.2826693},
doi = {10.1145/2826686.2826693},
acm = {2826693},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{msbionet-simulation91,
author = {Montagna, Sara and Viroli, Mirko and Roli, Andrea},
doi = {10.1177/0037549715585569},
eissn = {1741-3133},
issn = {0037-5497},
journal = {SIMULATION: Transactions of the Society for Modeling and Simulation International},
keywords = {Multicellular systems biology, developmental biology, spatial stochastic multiscale model, Drosophila melanogaster, parameter estimation, metaheuristics},
month = jun,
number = 7,
pages = {666--685},
publisher = {SAGE},
title = {A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development},
volume = 91,
year = 2015
} @article{VPMSZ-SCP2015,
title = "A coordination model of pervasive service ecosystems",
journal = "Science of Computer Programming",
volume = "110",
number = "",
pages = "3 - 22",
year = "2015",
issn = "0167-6423",
doi = "http://dx.doi.org/10.1016/j.scico.2015.06.003",
url = "http://www.sciencedirect.com/science/article/pii/S0167642315001264",
author = "Viroli, Mirko and Pianini, Danilo and Montagna, Sara and Stevenson, Graeme and Zambonelli, Franco",
keywords = "Coordination models and languages",
keywords = "Pervasive computing",
keywords = "Service ecosystems",
keywords = "Process algebras",
keywords = "Self-organisation "
}
@article{Naco2013,
author = {Jose Luis Fernandez-Marquez and
Giovanna Di Marzo Serugendo and
Sara Montagna and
Mirko Viroli and
Josep Llu\'{\i}s Arcos},
title = {Description and composition of bio-inspired design patterns:
a complete overview},
journal = {Natural Computing},
volume = {12},
number = {1},
year = {2013},
pages = {43-67},
ee = {http://dx.doi.org/10.1007/s11047-012-9324-y}
} @article{chemicalts-scp78,
author = {Viroli, Mirko},
doi = {10.1016/j.scico.2012.10.002},
issn = {0167-6423},
journal = {Science of Computer Programming},
keywords = {Coordination models and languages, Self-Organisation, Self-Composition, Chemical-Inspired Computing},
month = may,
number = 5,
pages = {556--568},
publisher = {Elsevier Science B.V.},
title = {On Competitive Self-composition in Pervasive Services},
url = {http://www.sciencedirect.com/science/article/pii/S0167642312001852},
volume = 78,
year = 2013
} @article{alchemist-jos2013,
Author = {Pianini, Danilo and Montagna, Sara and Viroli, Mirko},
Doi = {10.1057/jos.2012.27},
Issn = {1747-7778},
eissn = {1747-7786},
Journal = {Journal of Simulation},
Keywords = {Stochastic simulation, chemical-oriented computing, pervasive service ecosystems},
Publisher = {Palgrave McMillan},
Title = {Chemical-oriented Simulation of Computational Systems with {ALCHEMIST}},
Url = {http://link.springer.com/10.1057/jos.2012.27},
Year = 2013} @article{spatialcomputing-scp78,
Author = {Viroli, Mirko and Beal, Jacob and Usbeck, Kyle},
Doi = {10.1016/j.scico.2012.12.003},
Editor = {Mernik, Marjan},
Journal = {Science of Computer Programming},
Month = jun,
Number = 6,
Pages = {633--656},
Pdf-Local = {1-s2.0-S0167642312002146-main.pdf},
Publisher = {Elsevier Science B.V.},
Title = {Operational Semantics of {P}roto},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642312002146},
Volume = 78,
Year = 2013} @article{Montagna-MONET2012,
iissn = {1383-469X},
publisher = {Springer Netherlands},
journal = {Mobile Networks and Applications},
author = {Montagna, Sara and Viroli, Mirko and Fernandez-Marquez, Jose Luis and Di Marzo Serugendo, Giovanna and Zambonelli, Franco},
title = {Injecting Self-organisation into Pervasive Service Ecosystems},
volume = {18},
number = {3},
year = {2013},
keywords = {Pervasive Computing, Self-organisation, Chemical-inspired computing},
issn = {1572-8153},
status = {Published},
pages = {398-412},
url = {http://www.springerlink.com/content/x3j4776323717w7h/},
doi = {10.1007/s11036-012-0411-1}} @article{aosesimulation-scp78,
acm = {10.1016/j.scico.2011.09.007},
author = {Molesini, Ambra and Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
doi = {10.1016/j.scico.2011.09.007},
editor = {Cabri, Giacomo and Ganzha, Maria},
issn = {0167-6423},
journal = {Science of Computer Programming},
keywords = {Agent-Oriented Software Engineering, Methodologies, Simulation, MAS Environment, SODA},
month = jun,
note = {Special Section on Agent-oriented Design methods and Programming Techniques for Distributed Computing in Dynamic and Complex Environments},
number = 6,
pages = {705–-714},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-84875701894},
title = {Simulation in {A}gent-{O}riented {S}oftware {E}ngineering: The {{\sf SODA}} Case Study},
url = {http://www.sciencedirect.com/science/article/pii/S0167642311001778},
volume = 78,
wos = {000318134400008},
year = 2013
} @article{semcoord-scp78,
acm = {10.1016/j.scico.2012.10.004},
author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko},
doi = {10.1016/j.scico.2012.10.004},
editor = {Casadei, Matteo and Mamei, Marco and Menezes, Ronaldo},
iris = {11585/134307},
issn = {0167-6423},
journal = {Science of Computer Programming},
keywords = {Coordination models, Tuple spaces, Description logics, OWL, Semantic tuple centres, TuCSoN, Pellet},
month = may,
note = {Special section: Self-Organizing Coordination},
number = 5,
pages = {569--582},
scopus = {2-s2.0-84875230312},
title = {Semantic Tuple Centres},
url = {http://www.sciencedirect.com/science/article/pii/S0167642312001876},
volume = 78,
wos = {000317544500011},
year = 2013
} @article{DGRV-SACS2012,
title={Standard Type Soundness for Agents and Artifacts},
author={Damiani, Ferruccio and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
journal={Scientific Annals of Computer Science},
volume={22},
number={2},
organization={``A.I. Cuza'' University, Iacsi, Romania},
year={2012},
pages={267--326},
doi={10.7561/SACS.2012.2.267},
publisher={``A.I. Cuza'' University Press, Iacsi}
}
@article{cartago-jaamas23,
Author = {Ricci, Alessandro and Piunti, Michele and Viroli, Mirko},
Doi = {10.1007/s10458-010-9140-7},
Editor = {Bordini, Rafael H. and Dastani, Mehdi and Dix, J{\"u}rgen and El Fallah Seghrouchni, Amal},
Issn = {1387-2532},
eissn = {1573-7454},
Journal = {Autonomous Agents and Multi-Agent Systems},
Month = sep,
Note = {Special Issue: Multi-Agent Programming},
Number = 2,
Pages = {158--192},
Title = {Environment Programming in Multi-Agent Systems -- An Artifact-Based Perspective},
Url = {http://www.springerlink.com/content/b323338888286147/},
Volume = 23,
Year = 2011} @article{selforgcoord-ker25years,
acm = {10.1017/S026988891000041X},
author = {Omicini, Andrea and Viroli, Mirko},
doi = {10.1017/S026988891000041X},
editor = {McBurney, Peter and Parsons, Simon and Viroli, Mirko},
iris = {11585/97437},
issn = {0269-8889},
journal = {The Knowledge Engineering Review},
month = mar,
note = {Special Issue 01 (25th Anniversary Issue)},
number = 1,
pages = {53--59},
publisher = {Cambridge University Press},
scopus = {2-s2.0-79953142564},
title = {Coordination Models and Languages: From Parallel Computing To Self-Organisation},
url = {http://journals.cambridge.org/abstract_S026988891000041X},
urlpdf = {http://journals.cambridge.org/repo_A80tRwy1},
volume = 26,
wos = {000288060200009},
year = 2011
} @article{intro-ker25years,
Author = {McBurney, Peter and Parsons, Simon and Viroli, Mirko},
Doi = {10.1017/S0269888910000330},
Editor = {Viroli, Mirko and Parsons, Simon and McBurney, Peter},
Issn = {0269-8889},
Journal = {The Knowledge Engineering Review},
Month = mar,
Note = {Special Issue 01 (25th Anniversary Issue)},
Number = 1,
Pages = {1--3},
Title = {A Quarter-century of {T}he {K}nowledge {E}ngineering {R}eview: Introduction to the {S}pecial {I}ssue},
Url = {http://journals.cambridge.org/action/displayAbstract?aid=8038620},
Volume = 26,
Year = 2011} @article{ecosystems-jpcc7,
Author = {Zambonelli, Franco and Viroli, Mirko},
Doi = {10.1108/17427371111172997},
Issn = {1742-7371},
Journal = {International Journal of Pervasive Computing and Communications},
Keywords = {Context-aware computing, Ecosystems, Metaphors, Middleware, Nature-inspired approaches, Pervasive computing, Self-organization},
Number = 3,
Pages = {186--204},
Publisher = {Emerald},
Title = {A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems},
Url = {http://www.emeraldinsight.com/journals.htm?issn=1742-7371&volume=7&issue=3},
urlpdf = {http://www.emeraldinsight.com/journals.htm?issn=1742-7371&volume=7&issue=3&articleid=1949170&show=pdf},
Volume = 7,
Year = 2011} @article{simpa-scp76,
Author = {Ricci, Alessandro and Viroli, Mirko and Piancastelli, Giulio},
Doi = {10.1016/j.scico.2010.06.012},
Editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Month = jan,
Number = 1,
Pages = {37--62},
Publisher = {Elsevier Science B.V.},
Title = {{simpA}: An Agent-oriented Approach for Programming Concurrent Applications on top of {J}ava},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642310001346},
Volume = 76,
Year = 2011} @incollection{ArtifactsCalculusSDT2011,
series = {Communications in Computer and Information Science},
location = {Sofia, Bulgaria},
booktitle = {Software and Data Technologies. 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers},
publisher = {Springer-Verlag},
journal = {Communications in Computer and Information Science},
author = {Damiani, Ferruccio and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
title = {A Calculus of Agents and Artifacts},
isbn = {978-3-642-20115-8},
year = 2011,
abstract = {A library-based extension of Java, the simpA framework, introduced a new abstraction based on agent-oriented concepts. Agents are autonomous entities that cooperate by exploiting artifacts, representing resources that are dynamically created and shared by agents. In this paper we present a core calculus integrating techniques coming from the area of concurrency and from OO programming. The syntax of the calculus with its static and dynamic semantics are introduced through an example. The calculus aims to foster the formalization (and proof) of type soundness of simpA programs and the development of techniques for analyzing the computational behaviour of agents and artifacts.},
keywords = {Artifacts; Core Calculus; Operational Semantics; Type System},
eissn = {1865-0929},
status = {Published},
pages = {124--136},
venue_list = {--},
url = {http://link.springer.com/chapter/10.1007%2F978-3-642-20116-5_10},
editor = {Cordeiro, Jos{\'e} and Ranchordas, AlpeshKumar and Shishkov, Boris},
address = {Berlin, Germany},
volume = 50,
doi = {10.1007/978-3-642-20116-5_10}} @article{spatial-taas11,
urlpdf = {http://portal.acm.org/ft_gateway.cfm?id=1968517&ftid=991523&dwn=1&CFID=31487229&CFTOKEN=42827646},
issn = {1556-4665},
publisher = {ACM},
journal = {ACM Transactions on Autonomous and Adaptive Systems},
author = {Viroli, Mirko and Casadei, Matteo and Montagna, Sara and Zambonelli, Franco},
title = {Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces},
year = 2011,
keywords = {Chemical-inspired computation, tuple spaces},
status = {Published},
pages = {14:1--14:24},
number = 2,
venue = {TAAS},
url = {http://doi.acm.org/10.1145/1968513.1968517},
address = {New York, NY, USA},
volume = 6,
month = {June},
doi = {10.1145/1968513.1968517}} @article{ehealth-acr11,
acm = {10.1145/1964144.1964150},
author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko and Schumacher, Michael I.},
doi = {10.1145/1964144.1964150},
eissn = {1931-0161},
iris = {11585/101810},
issn = {1559-6915},
journal = {Applied Computing Review},
keywords = {e-Health, coordination middleware, TuCSoN, semantic tuple centres},
month = {Spring},
number = 2,
numpages = 10,
organization = {ACM SIGAPP},
pages = {43--52},
publisher = {ACM},
title = {Coordinating e-Health Systems with {{\sf TuCSoN}} Semantic Tuple Centres},
url = {http://portal.acm.org/citation.cfm?id=1964150},
urlpdf = {http://www.sigapp.org/acr/Issues/V11.2/ACR-11-2.pdf},
volume = 11,
wos = {WOS:000217426300004},
year = 2011
} @article{preface-scp76,
Author = {Canal, Carlos and Viroli, Mirko},
Doi = {doi:10.1016/j.scico.2010.06.002},
Editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Month = may,
Note = {Special Issue on the 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA '07)},
Number = 1,
Pages = {1--2},
Publisher = {Elsevier Science B.V.},
Title = {Preface},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642310001000},
Volume = 76,
Year = 2011} @article{argumentation-ijaiS10,
author = {Oliva, Enrico and McBurney, Peter and Omicini, Andrea and Viroli, Mirko},
editor = {Lopes, Fernando and Coelho, Helder},
iris = {11585/90748},
issn = {0974-0635},
journal = {International Journal of Artificial Intelligence},
keywords = {Agents, Argumentation, Artifacts, Dialogues, Multiagent systems, Negotiation, Logic Programming.},
month = {Spring},
note = {Special Issue on Negotiation and Argumentation in Artificial Intelligence},
number = {S10},
pages = {90--117},
publisher = {CESER},
scopus = {2-s2.0-77954767173},
title = {Argumentation and Artifacts for Negotiation Support},
url = {http://www.ceser.in/ceserp/index.php/ijai/article/view/2215},
urlpdf = {http://www.ceser.in/ceserp/index.php/ijai/article/view/2215/718},
volume = 4,
year = 2010
} @article{ecoservices-ins180,
Author = {Viroli, Mirko and Zambonelli, Franco},
Doi = {10.1016/j.ins.2009.11.021},
Issn = {0020-0255},
Journal = {Information Sciences},
Keywords = {Pervasive Computing, Self-organisation, Biochemical computing},
Number = 10,
Pages = {1876--1892},
Publisher = {Elsevier},
Title = {A Biochemical Approach to Adaptive Service Ecosystems},
Volume = 180,
Year = 2010} @article{aose-mags5,
acm = {10.5555/1544150.1544153},
author = {Molesini, Ambra and Omicini, Andrea and Viroli, Mirko},
doi = {10.3233/MGS-2009-0118},
editor = {Weyns, Danny and Omicini, Andrea},
eissn = {1875-9076},
iris = {11585/82467},
issn = {1574-1702},
journal = {Multiagent and Grid Systems},
note = {Special Issue ``Engineering Environments in Multi-Agent Systems''},
number = 1,
pages = {37--57},
publisher = {IOS Press},
scopus = {2-s2.0-85006305758},
title = {Environment in {A}gent-{O}riented {S}oftware {E}ngineering Methodologies},
url = {http://content.iospress.com/articles/multiagent-and-grid-systems/mgs00118},
volume = 5,
wos = {WOS:000212584100003},
year = 2009
} @article{collectivesort-scp74,
Author = {Casadei, Matteo and Viroli, Mirko and Gardelli, Luca},
Booktitle = {Special Issue on the 5th International Workshop on Foundations of Coordination Languages and Architectures (FOCLASA '06)},
Doi = {10.1016/j.scico.2008.09.018},
Editor = {Pimentel, Ernesto and Jacquet, Jean-Marie},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Self-Organising Systems, Tuple Spaces, Stochastic Simulations, Collective Sort},
Number = 9,
Pages = {702--722},
Publisher = {Elsevier Science B. V.},
Title = {On the Collective Sort Problem for Distributed Tuple Spaces},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642309000318},
Volume = 74,
Year = 2009} @article{artifacts-jaamas17,
acm = {10.1007/s10458-008-9053-x},
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
doi = {10.1007/s10458-008-9053-x},
editor = {Omicini, Andrea and McBurney, Peter},
eissn = {1573-7454},
iris = {11585/62574},
issn = {1387-2532},
journal = {Autonomous Agents and Multi-Agent Systems},
keywords = {Artifact, A&A meta-model, MAS environment, Activity theory, Distributed cognition, Coordination, Agent intelligence, Agent-oriented software engineering (AOSE), MAS infrastructure},
month = dec,
note = {Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-Agent Systems},
number = 3,
pages = {432--456},
publisher = {Springer},
publonsid = {13197269},
scopus = {2-s2.0-52949149709},
title = {Artifacts in the {A\&A} Meta-Model for Multi-Agent Systems},
url = {http://link.springer.com/10.1007/s10458-008-9053-x},
volume = 17,
wos = {000259411800004},
year = 2008
} @article{OlivaAdaptationJucs14,
journal = {Journal of Universal Computer Science},
author = {Oliva, Enrico and Natali, Antonio and Ricci, Alessandro and Viroli, Mirko},
title = {An Adaptation Logic Framework for {J}ava-based Component Systems},
year = 2008,
abstract = {This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as a first-class aspect.
On the one side, the framework makes it possible to specify the logic of interaction at the component-level, in terms of input and output interfaces, the events generated and observed by a component, and related information about the management of the control flow. On the other side, it is possible to specify the logic of interaction at the inter-component level, providing a modelling and linguistic support for designing and (dynamically) programming the glue among the components, enabling general forms of adaptation, observation and construction of the interaction space.
As a result, the framework supports the adaptation of components at different levels: from interoperability among heterogeneous and unknown components, to the support for dynamic introduction, removal and update of components, to general coordination patterns, such as workflow.
The framework uses first-order logic as the reference computational model for describing and defining the logic of interaction: the modalities adopted by components to interact, the adaptation laws gluing the components and the interaction events occurring in the system are expressed as facts and rules. They compose the (evolving) logic theories describing and defining the interaction at the system level, and can be observed and controlled at runtime to allow dynamic re-configurability.},
status = {Published},
pages = {2158-2181},
number = 13,
venue = {JUCS},
url = {http://www.jucs.org/jucs_14_13/an_adaptation_logic_framework},
volume = 14} @article{PolymorphismJfp18,
issn = {0956-7968},
volume = 18,
title = {Lightweight Family Polymorphism},
publisher = {Cambridge University Press},
url = {http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1827916},
number = 3,
month = may,
doi = {10.1017/S0956796807006405},
keywords = {inheritance, family polymorphism, Featherweight Java},
note = {A preliminary summary appeared in the proceedings of the third Asian Symposium on Programming Languages and Systems (APLAS2005), volume 3780 of Lecture Notes in Computer Science, Tsukuba, Japan, November 2005, Springer-Verlag, pp. 161-177},
eissn = {1469-7653},
year = 2008,
pages = {285-331},
journal = {Journal of Functional Programming},
author = {Saito, Chieri and Igarashi, Atsushi and Viroli, Mirko}} @article{generics-scp73,
Author = {Cimadamore, Maurizio and Viroli, Mirko},
Doi = {doi:10.1016/j.scico.2008.06.005},
Editor = {Mernik, Marjan},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Generic types, Wildcards, Java, Reification},
Month = oct,
Note = {Selected Papers from the 22th ACM Symposium on Applied Computing (SAC 2007)},
Number = {2--3},
Pages = {59--75},
Publisher = {Elsevier Science B.V.},
Title = {On the reification of {J}ava wildcards},
Url = {http://www.sciencedirect.com/science/article/pii/S016764230800066X},
Volume = 73,
Year = 2008} @article{selforg-ijaose2,
acm = {10.1504/IJAOSE.2008.017314},
author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
doi = {10.1504/IJAOSE.2008.017314},
editor = {Cossentino, Massimo and Fortino, Giancarlo and Russo, Wilma},
eissn = {1746-1383},
iris = {11585/62551},
issn = {1746-1375},
journal = {International Journal of Agent-Oriented Software Engineering},
keywords = {collective sorting; self-organisation; emergence; simulation; tuning; patterns; multi-agent systems; MAS design; artefacts; agent-based systems; metamodelling; environmental agents; tuple spaces; social insects},
note = {Special Issue on Multi-Agent Systems and Simulation},
number = 2,
pages = {171--195},
publisher = {Inderscience Publishers},
scopus = {2-s2.0-77954568138},
title = {Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach},
url = {http://www.inderscience.com/info/inarticle.php?artid=17314},
urlpdf = {http://inderscience.metapress.com/content/t062gp2g6j688pvl/fulltext.pdf},
volume = 2,
year = 2008
} @article{envinfra-jaamas14,
Author = {Viroli, Mirko and Holvoet, Tom and Ricci, Alessandro and Schelfthout, Kurt and Zambonelli, Franco},
Doi = {10.1007/s10458-006-9001-6},
Editor = {Weyns, Danny and Parunak, H. Van Dyke},
Issn = {1387-2532},
Journal = {Autonomous Agents and Multi-Agent Systems},
Month = jul,
Note = {Special Issue: Environment for Multi-Agent Systems},
Publisher = {Springer Netherlands},
Title = {Infrastructures for the Environment of Multiagent Systems},
Volume = 14,
Number = 1,
Pages = {49--60},
Year = 2007} @article{timed-wias5,
acm = {1377768},
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
editor = {Menezes, Ronaldo and Ossowski, Sascha},
iris = {11585/46111},
issn = {1570-1263},
journal = {Web Intelligence and Agent Systems},
keywords = {Coordination artifacts, tuple cntres, TuCSoN, ReSpecT, timed coordination},
month = aug,
number = 2,
pages = {161--175},
publisher = {IOS Press},
scopus = {2-s2.0-34547812085},
title = {Timed Environment for {W}eb Agents},
url = {http://content.iospress.com/articles/web-intelligence-and-agent-systems-an-international-journal/wia00111},
volume = 5,
year = 2007
} @article{rbacmas-aai21,
acm = {10.1080/08839510701253674},
author = {Viroli, Mirko and Omicini, Andrea and Ricci, Alessandro},
doi = {10.1080/08839510701253674},
editor = {Bandini, Stefania and Manzoni, Sara},
eissn = {1087-6545},
iris = {11585/45413},
issn = {0883-9514},
journal = {Applied Artificial Intelligence},
month = apr,
note = {Special Issue: State of Applications in AI Research from AI*IA 2005},
number = 4--5,
pages = {443--467},
publisher = {Taylor \& Francis},
scopus = {2-s2.0-34248579034},
title = {Infrastructure for {RBAC-MAS}: An Approach Based on {A}gent {C}oordination {C}ontexts},
url = {http://www.tandfonline.com/doi/10.1080/08839510701253674},
volume = 21,
wos = {000246536600011},
year = 2007
} @article{orchestration-scp66,
Author = {Viroli, Mirko and Denti, Enrico and Ricci, Alessandro},
Doi = {doi:10.1016/j.scico.2007.01.008},
Editor = {Canal, Carlos and Viroli, Mirko},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Multiagent systems; Orchestration languages; Coordination models; Languages process algebra},
Month = may,
Note = {Special Issue on Foundations of Coordination Languages and Software Architectures 2005},
Number = 3,
Pages = {226--245},
Publisher = {Elsevier Science B.V.},
Title = {Engineering a {BPEL} Orchestration Engine as a Multi-agent System},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642307000378},
Volume = 66,
Year = 2007}
@article{OrchestrationJLAP70,
Author = {Viroli, Mirko},
Doi = {doi:10.1016/j.jlap.2006.05.006},
Editor = {Bravetti, Mario and Zavattaro, Gianluigi},
Issn = {1567-8326},
Journal = {Journal of Logic and Algebraic Programming},
Keywords = {Web Services, Orchestration, Process Algebra},
Month = jan,
Note = {Special Issue on Web Services and Formal Methods},
Number = 1,
Pages = {74--95},
Publisher = {Elsevier Science B.V.},
Title = {A core calculus for correlation in orchestration languages},
Volume = 70,
Year = 2007} @article{preface-scp66,
Author = {Canal, Carlos and Viroli, Mirko},
Doi = {doi:10.1016/j.scico.2007.02.001},
Editor = {Canal, Carlos and Viroli, Mirko},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Month = may,
Note = {Special Issue on the 4th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA '05)},
Number = 3,
Pages = {181--183},
Publisher = {Elsevier Science B.V.},
Title = {Preface},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642307000342},
Volume = 66,
Year = 2007} @article{PolymorphismOoplsa2007,
issn = {0362-1340},
volume = 42,
title = {Variant path types for scalable extensibility},
address = {New York, NY, USA},
publisher = {ACM},
number = 10,
doi = {10.1145/1297027.1297037},
keywords = {Generics, parametric polymorphism, variant types, Featherweight Java},
isbn = {978-1-59593-786-5},
note = {Proceedings of the 22nd annual ACM SIGPLAN Conference on Object Oriented Programming Systems, Languages and Applications (OOPSLA '07), Montreal, Quebec, Canada},
editor = {Gabriel, Richard P. and Bacon, David F. and Videira Lopes, Cristina and Steele, Jr., Guy L.},
year = 2007,
pages = {113--132},
journal = {ACM SIGPLAN Notices},
author = {Igarashi, Atsushi and Viroli, Mirko}} @article{IntroJOT6,
issn = {1660-1769},
publisher = {ETH Swiss Federal Institute of Technology},
journal = {Journal of Object Technology},
author = {Ancona, Davide and Viroli, Mirko},
title = {Guest Editorial},
year = 2007,
note = {Special Issue: OOPS Track at SAC 2006 / France},
number = 2,
url = {http://www.jot.fm/contents/issue_2007_02/editorial.html},
editor = {Ancona, Davide and Viroli, Mirko},
volume = 6,
doi = {10.5381/jot.2007.6.2.e1}} @article{generics-toplas28,
Address = {New York, NY, USA},
Author = {Igarashi, Atsushi and Viroli, Mirko},
Doi = {10.1145/1152649.1152650},
Issn = {0164-0925},
Journal = {ACM Transactions on Programming Languages and Systems},
Month = sep,
Number = 5,
Pages = {795--847},
Publisher = {ACM Press},
Title = {Variant Parametric Types: A Flexible Subtyping Scheme for Generics},
Volume = 28,
Year = 2006} @article{acc-scp63,
acm = {10.1016/j.scico.2005.07.014},
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
doi = {10.1016/j.scico.2005.07.014},
editor = {Zavattaro, Gianluigi and Focardi, Riccardo},
iris = {11585/29647},
issn = {0167-6423},
journal = {Science of Computer Programming},
keywords = {Coordination; Security; Agent Coordination Context; Formal Specification},
month = nov,
note = {Special Issue on Security Issues in Coordination Models, Languages, and Systems},
number = 1,
pages = {88--107},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-33748754195},
title = {{A}gent {C}oordination {C}ontexts for the Formal Specification and Enactment of Coordination and Security Policies},
url = {http://www.sciencedirect.com/science/article/pii/S016764230600102X},
volume = 63,
wos = {000241356300006},
year = 2006
} @article{artifacts-ker21,
acm = {10.1017/S0269888906000774},
author = {Viroli, Mirko and Ricci, Alessandro and Omicini, Andrea},
doi = {10.1017/S0269888906000774},
eissn = {1469-8005},
iris = {11585/28316},
issn = {0269-8889},
journal = {The Knowledge Engineering Review},
month = mar,
number = 1,
pages = {49--69},
publisher = {Cambridge University Press},
scopus = {2-s2.0-33745864838},
title = {Operating Instructions for Intelligent Agent Coordination},
url = {http://journals.cambridge.org/action/displayAbstract?aid=451122},
volume = 21,
wos = {000239352500003},
year = 2006
} @article{acc-aai20,
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
doi = {10.1080/08839510500484207},
editor = {Petta, Paolo and Müller, Jörg P.},
eissn = {1087-6545},
iris = {11585/27302},
issn = {0883-9514},
journal = {Applied Artificial Intelligence},
month = feb # {--} # apr,
note = {Special Issue: Best of ``From Agent Theory to Agent Implementation (AT2AI) -- 4''},
number = 2--4,
pages = {179--202},
publisher = {Taylor \& Francis},
scopus = {2-s2.0-33645779466},
title = {Agent Coordination Contexts in a {MAS} Coordination Infrastructure},
url = {http://www.tandfonline.com/doi/full/10.1080/08839510500484207},
volume = 20,
wos = {000236388900005},
year = 2006
} @article{coord-fundinfo73,
acm = {1231195},
author = {Viroli, Mirko and Omicini, Andrea},
dblp = {journals/fuin/ViroliO06},
editor = {Brogi, Antonio and Jacquet, Jean-Marie and Kok, Joost},
eissn = {1875-8681},
iris = {11585/28226},
issn = {0169-2968},
journal = {Fundamenta Informaticae},
note = {Special Issue: Best papers of FOCLASA 2002},
number = 4,
pages = {507--534},
publisher = {IOS Press},
scopus = {2-s2.0-33746222313},
title = {Coordination as a Service},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi73-4-04},
volume = 73,
wos = {000242909600004},
year = 2006
} @article{artifacts-informatica29,
Author = {Ricci, Alessandro and Viroli, Mirko},
Editor = {Omicini, Andrea and Petta, Paolo and Gams, Matjaz},
Issn = {0350-5596},
eissn = {1854-3871},
Journal = {Informatica},
Keywords = {Multi-Agent System Coordination, Multi-Agent System Environment, Multi-Agent System Engineering, Coordination Artifacts},
Month = nov,
Number = 4,
Pages = {433--443},
urlpdf = {http://www.informatica.si/index.php/informatica/article/view/59/52},
Publisher = {Slovene Society Informatika},
Title = {Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in {MAS}},
Url = {http://www.informatica.si/index.php/informatica/article/view/59},
Volume = 29,
Year = 2005} @article{env-ker20,
author = {Weyns, Danny and Schumacher, Michael I. and Ricci, Alessandro and Viroli, Mirko and Holvoet, Tom},
doi = {10.1017/S0269888905000457},
editor = {Omicini, Andrea and McBurney, Peter},
eissn = {1469-8005},
issn = {0269-8889},
journal = {The Knowledge Engineering Review},
month = jun,
note = {Special Issue ``{R}evised Reports from Selected {T}echnical {F}orum {G}roups at the 1st \& 2nd {A}gent{L}ink {III} {T}echnical {F}orums''},
number = 2,
pages = {127--141},
publisher = {Cambridge University Press},
title = {Environments in Multiagent Systems},
url = {http://journals.cambridge.org/abstract_S0269888905000457},
volume = 20,
year = 2005
} @article{rbacmas-aaecc16,
acm = {10.1007/s00200-005-0174-z},
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
doi = {10.1007/s00200-005-0174-z},
editor = {Viroli, Mirko and Omicini, Andrea},
eissn = {1432-0622},
iris = {11585/4115},
issn = {0938-1279},
journal = {Applicable Algebra in Engineering, Communication and Computing},
month = aug,
note = {Special Issue: Process Algebras and Multi-Agent Systems},
number = {2-3},
pages = {151--178},
publisher = {Springer},
scopus = {2-s2.0-23844445300},
title = {An Algebraic Approach for Modelling Organisation, Roles and Contexts in {MAS}},
url = {http://link.springer.com/10.1007/s00200-005-0174-z},
volume = 16,
wos = {000231164800004},
year = 2005
} @article{GenericsJOT10,
author = {Viroli, Mirko and Rimassa, Giovanni},
title = {On Access Restriction with {Java} Wildcards},
journal = {Journal of Object Technology},
volume = 4,
number = 10,
year = 2005,
publisher = "ETH Swiss Federal Institute of Technology",
editor = {Ancona, Davide},
issn = {1660-1769},
url = {http://www.jot.fm/issues/issue_2005_12/article6},
note = "Special Issue: OOPS Track at ACM SAC 2005",
}
@article{IntroJOT3,
author = {Ancona, Davide AND Viroli, Mirko},
title = {Guest Editorial},
journal = jot,
volume = 3,
number = 11,
year = 2004,
publisher = "ETH Swiss Federal Institute of Technology",
editor = {Ancona, Davide AND Viroli, Mirko},
issn = {1660-1769},
url = {http://www.jot.fm/issues/issue_2004_12/editorial},
note = "Special Issue: OOPS Track at SAC 2004 Nicosia/Cyprus",
} @article{coord-aai18,
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko and Cioffi, Marco and Rimassa, Giovanni},
doi = {10.1080/08839510490509036},
editor = {D'Inverno, Mark and Sierra, Carles and Zambonelli, Franco and Luck, Michael and Willmott, Steven},
eissn = {1087-6545},
iris = {11585/1797},
issn = {0883-9514},
journal = {Applied Artificial Intelligence},
month = oct # {--} # dec,
note = {Special Issue: Best papers from EUMAS 2003: The 1st European Workshop on Multi-agent Systems},
number = 9--10,
pages = {815--831},
publisher = {Taylor \& Francis},
scopus = {2-s2.0-9244231130},
title = {Multi-agent Infrastructures for Objective and Subjective Coordination},
url = {http://www.tandfonline.com/doi/10.1080/08839510490509036},
volume = 18,
wos = {000224818800004},
year = 2004
} @article{GenericsCompJ46,
venue = {--},
volume = 46,
title = {A Type-Passing Approach for the Implementation of Parametric Methods in {Java}},
publisher = {Oxford University Press},
url = {http://comjnl.oxfordjournals.org/cgi/content/abstract/46/3/263},
number = 3,
doi = {doi:10.1093/comjnl/46.3.263},
status = {Published},
year = 2003,
pages = {263--294},
journal = {The Computer Journal},
author = {Viroli, Mirko}} @article{observation-aai16,
author = {Viroli, Mirko and Omicini, Andrea},
doi = {10.1080/08839510290030480},
eissn = {1087-6545},
issn = {0883-9514},
journal = {Applied Artificial Intelligence},
keywords = {Multiagent Systems, Observation, Operational Semantics},
month = oct # {--} # dec,
note = {Special Issue: Engineering Agent Systems -- Best of ``From Agent Theory to Agent Implementation (AT2AI-3)''},
number = 9-10,
pages = {775--793},
publisher = {Taylor \& Francis},
scholar = {11585/950374},
scopus = {2-s2.0-0036819454},
title = {An Observation Approach to Semantics of Agents Communication Languages},
url = {http://www.tandfonline.com/doi/abs/10.1080/08839510290030480},
urlopenaccess = {https://www.tandfonline.com/doi/epdf/10.1080/08839510290030480},
urlpdf = {http://www.tandfonline.com/doi/pdf/10.1080/08839510290030480},
volume = 16,
wos = {000179222400006},
year = 2002
} @article{observation-jucs8,
author = {Viroli, Mirko and Omicini, Andrea},
doi = {10.3217/jucs-008-04-0423},
eissn = {0948-6968},
iris = {11585/950202},
issn = {0948-695x},
journal = {Journal of Universal Computer Science},
keywords = {coordination patterns, formal models, multi-agent systems},
month = apr,
number = 4,
pages = {423--451},
publisher = {J.UCS consortium},
scopus = {2-s2.0-0010220748},
title = {Modelling Agents as Observable Sources},
url = {http://www.jucs.org/jucs_8_4/modelling_agents_as_observable},
urlpdf = {http://www.jucs.org/jucs_8_4/modelling_agents_as_observable/Viroli_M.pdf},
volume = 8,
wos = {000177112700003},
year = 2002
} @article{obs-aiia2001,
author = {Viroli, Mirko and Omicini, Andrea},
journal = {AI*IA Notizie},
month = dec,
number = 4,
pages = {38--39},
title = {Multi-Agent Systems as Composition of Observable Systems},
volume = {XIV},
year = 2001
} @article{GenericsOopsla2000,
volume = 35,
title = {Parametric polymorphism in {Java}: an approach to translation based on reflective features},
address = {New York, NY, USA},
doi = {10.1145/354222.353182},
publisher = {ACM},
number = 10,
keywords = {Generics, parametric polymorphism, Java},
journal = {ACM SIGPLAN Notices},
issn = {0362-1340},
status = {Published},
note = {Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2000), Minneapolis, MA, USA, 15-19
, Oct 2000},
year = 2000,
pages = {146--165},
author = {Viroli, Mirko and Natali, Antonio}} 
0000-0003-2702-5702