Per Year

18 publications without DBLP Key  /  2017
 @inproceedings{PianiniSASOTutorial2017,
  author    = {Pianini, Danilo and
               Beal, Jacob and
               Viroli, Mirko},
  title     = {Practical Aggregate Programming with Protelis},
  booktitle = {2nd IEEE International Workshops on Foundations and Applications
               of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September
               18-22, 2017},
  pages     = {391--392},
  year      = {2017},
  url       = {http://doi.ieeecomputersociety.org/10.1109/FAS-W.2017.186},
  doi       = {10.1109/FAS-W.2017.186},
  timestamp = {Mon, 23 Oct 2017 12:54:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/saso/PianiniBV17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
} 
 @incollection{abminmsb-mabsbioenvbook2017,
    author = {Montagna, Sara and Omicini, Andrea},
    booktitle = {Multi-Agent Based Simulations Applied to Biological and Environmental Systems},
    chapter = 7,
    doi = {10.4018/978-1-5225-1756-6.ch007},
    editor = {Adamatti, Diana Francisca},
    eisbn = {978-1-5225-1757-3},
    eissn = {2327-042X},
    iris = {11585/586460},
    isbn = {978-1-5225-1756-6},
    isbn10 = {1-5225-1756-1},
    issn = {2327-0411},
    month = feb,
    pages = {159--178},
    publisher = {IGI Global},
    scopus = {2-s2.0-85018569036},
    series = {Advances in Computational Intelligence and Robotics (ACIR)},
    title = {Agent-based Modelling in Multicellular Systems Biology},
    url = {http://www.igi-global.com/chapter/agent-based-modelling-in-multicellular-systems-biology/173217},
    year = 2017
} 
 @inproceedings{DobsonSASO2017,
  author    = {Pianini, Danilo and
               Dobson, Simon  and
               Viroli, Mirko},
  title     = {Self-Stabilising Target Counting in Wireless Sensor Networks Using
               Euler Integration},
  booktitle = {11th {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems, {SASO} 2017, Tucson, AZ, USA, September 18-22, 2017},
  pages     = {11--20},
  year      = {2017},
  url       = {http://doi.ieeecomputersociety.org/10.1109/SASO.2017.10},
  doi       = {10.1109/SASO.2017.10},
  publisher = {{IEEE} Computer Society},
  isbn      = {978-1-5090-6555-4}
}
 
 @inproceedings{transformer-nips2017,
    author = {Vaswani, Ashish and Shazeer, Noam and Parmar, Niki and Uszkoreit, Jakob and Jones, Llion and Gomez, Aidan N. and Kaiser, Łukasz and Polosukhin, Illia},
    booktitle = {Advances in Neural Information Processing Systems (NIPS 2017)},
    editor = {Guyon, Isabelle and von Luxburg, Ulrike and Bengio, Samy and Wallach, Hanna M. and Fergus, Rob and Vishwanathan, S.V.N. and Garnett, Roman},
    publisher = {Curran Associates, Inc.},
    title = {Attention Is All You Need},
    url = {https://papers.nips.cc/paper/2017/hash/3f5ee243547dee91fbd053c1c4a845aa-Abstract.html},
    urlpdf = {https://proceedings.neurips.cc/paper/2017/file/3f5ee243547dee91fbd053c1c4a845aa-Paper.pdf},
    volume = 30,
    year = 2017
} 
 @misc{transformer-googleblog2017,
    author = {Uszkoreit, Jakob},
    month = aug,
    organization = {Google Research},
    title = {Transformer: A Novel Neural Network Architecture for Language Understanding},
    url = {https://ai.googleblog.com/2017/08/transformer-novel-neural-network.html},
    year = 2017
} 
 @inproceedings{iot-woa2017,
    author = {Fortino, Giancarlo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko and Zhou, MengChu},
    booktitle = {WOA 2017 -- 18th Workshop ``From Objects to Agents''},
    chapter = 16,
    editor = {De Meo, Pasquale and Postorino, Maria Nadia and Rosaci, Domenico and Sarnè, Giuseppe M.L.},
    issn = {1613-0073},
    keywords = {Internet of Things; Cyberphysical Services; Modelling},
    month = jun,
    numpages = 4,
    pages = {90--95},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Modeling Opportunistic IoT Services in Open IoT Ecosystems},
    url = {http://ceur-ws.org/Vol-1867/w16.pdf},
    urlopenaccess = {http://ceur-ws.org/Vol-1867/w16.pdf},
    urlpdf = {http://ceur-ws.org/Vol-1867/w16.pdf},
    volume = 1867,
    year = 2017
} 
 @INPROCEEDINGS{7980136, 
author = {Lippi, Marco and Mamei, Marco and Mariani, Stefano and Zambonelli, Franco},
booktitle={2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS)}, 
title={Coordinating Distributed Speaking Objects}, 
year={2017}, 
pages={1949-1960}, 
abstract={In this paper we sketch a vision of future environments densely populated by smart sensors and actuators - possibly embedded in everyday objects - that, rather than simply producing streams of data, are capable of understanding and reporting, via factual assertions and arguments, about what is happening (for sensors) and about what they can make possibly happen (for actuators). These "speaking objects" form the nodes of a dense distributed computing infrastructure that can be exploited to monitor and control activities in our everyday environment. However, the nature of speaking objects will dramatically change the approaches to implementing and coordinating the activities of distributed processes. In fact, distributed coordination is likely to become associated with the capability of argumenting about situations and about the current "state of the affairs", with the aim of triggering and directing proper distributed "conversations" to collectively reach a future desirable state. Accordingly, we discuss how such a novel vision can build upon some readily available technologies, and the research challenges that it poses. Two case studies are used as exemplary scenarios.}, 
keywords={Actuators;Auditory system;Automobiles;Distributed computing;Intelligent sensors;Monitoring;IoT;argumentation;conversational coordination;hearing objects;smart objects;speaking objects}, 
doi={10.1109/ICDCS.2017.282}, 
ISSN={1063-6927}, 
month={June},} 
 @inproceedings{ADV-COORD2017-LNCS10319,
  author    = {Audrito, Giorgio and
               Damiani, Ferruccio  and
               Viroli, Mirko },
  title     = {Optimally-Self-Healing Distributed Gradient Structures Through Bounded
               Information Speed},
  booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2017, Held as Part of the 12th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},
  pages     = {59--77},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-59746-1_4},
  editor    = {Jacquet, Jean{-}Marie  and
               Massink, Mieke },
  series    = {Lecture Notes in Computer Science},
  volume    = {10319},
  publisher = {Springer},
  isbn      = {978-3-319-59745-4},
  note      = {Best paper at Coordination 2017}
}
 
 @incollection{rbn-wivace2017,
    author = {Montagna, Sara and Braccini, Michele and Roli, Andrea},
    booktitle = {WIVACE 2017 -- Book of Abstracts},
    editor = {Roli, Andrea and Slanzi, Debora and Villani, Marco},
    isbn = {978-88-903581-3-5},
    location = {Venice, Italy},
    month = {19--21}}},
    title = {The impact of self-loops in random boolean network dynamics},
    year = 2017
} 
 @article{Ricci2017,
	Author = {Ricci, Alessandro and Tummolini, Luca and Castelfranchi, Cristiano},
	Day = {28},
	Doi = {10.1007/s00146-017-0788-2},
	Issn = {1435-5655},
	Journal = {AI {\&} SOCIETY},
	Month = dec,
	Title = {Augmented societies with mirror worlds},
	Url = {https://doi.org/10.1007/s00146-017-0788-2},
	Year = 2017} 
 @article{,
	year = 2017,
	keywords = {Speaking Objects, Argumentation, Internet of Things, Social IoT, Coordination},
	pdf-local = {manuscript.pdf},
	status = {Accepted with revision},
	venue_list = {--},
	editor = {Fortino, Giancarlo and Mehedi Hassan, Mohammad and Zhou, Mengchu and Alam Bhuiyan, Zakirual and Li, Jianqiang and Goscinski, A.M. and Bhattacharya, Sourav},
	publisher = {IEEE},
	journal = {Journal of Internet of Things},
	author = {Lippi, Marco and Mamei, Marco and Mariani, Stefano and Zambonelli, Franco},
	title = {An Argumentation-based Perspective over the Social IoT},
	abstract = {The crucial role played by social interactions be- tween smart objects in the Internet of Things is being rapidly recognized by initiatives such as the Social Internet of Things (SIoT). In this work, we build upon the recently introduced framework of Speaking Objects – “things” interacting through argumentation – to show how different forms of human dialogue naturally fit cooperation and coordination requirements of the SIoT. There in fact, speaking objects exchange arguments in order to seek for information, negotiate over an issue, persuade others, deliberate actions, and so on, namely, striving to reach consensus about the state of affairs and their (shared) goals. Thus, we illustrate how argumentation naturally enables such a form of conversational coordination through practical examples.
}} 
 @Inbook{Calegari2018,
author="Calegari, Roberta
and Denti, Enrico",
editor="De Pietro, Giuseppe
and Gallo, Luigi
and Howlett, Robert J.
and Jain, Lakhmi C.",
title="Context Reasoning and Prediction in Smart Environments: The Home Manager Case",
bookTitle="Intelligent Interactive Multimedia Systems and Services 2017",
year="2018",
publisher="Springer International Publishing",
address="Cham",
pages="451--460",
isbn="978-3-319-59480-4",
doi="10.1007/978-3-319-59480-4_45",
url="http://dx.doi.org/10.1007/978-3-319-59480-4_45",
note="Proceedings of IIMSS 2017, Vilamoura, Portugal, 21-23 June 2017"
} 
 @book{ah2c2017-lnai10685,
	Doi = {10.1007/978-3-319-70887-4},
	Editor = {Montagna, Sara and Abreu, Pedro Henriques and Giroux, Sylvain and Schumacher, Michael},
	Publisher = {Springer},
	Series = {Lecture Notes in Artificial Intelligence},
	Title = {Agents and Multi-Agent Systems for Health Care: 10th International Workshop, A2HC 2017, S{\~a}o Paulo, Brazil, May 8, 2017, and International Workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017, Revised and Extended Selected Papers},
	Url = {http://link.springer.com/10.1007/978-3-319-70887-4},
	Volume = 10685,
	Year = 2017} 
 @incollection{preface-lncs10685,
	Author = {Montagna, Sara and Abreu, Pedro H. and Giroux, Sylvain and Schumacher, Michael I.},
	Booktitle = {Agents and Multi-Agent Systems for Health Care. 10th International Workshop, A2HC 2017, S{\~a}o Paulo, Brazil, May 8, 2017, and International Workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017, Revised and Extended Selected Papers},
	Editor = {Montagna, Sara and Abreu, Pedro H. and Giroux, Sylvain and Schumacher, Michael I.},
	Isbn = {978-3-319-70886-7},
	eisbn = {978-3-319-70887-4},
	Issn = {0302-9743},
	eissn = {1611-3349},
	Note = {10th International Workshop, A2HC 2017, São Paulo, Brazil, May 8, 2017, and International Workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017, Revised and Extended Selected Papers},
	Pages = {V-ViII},
	Publisher = {Springer},
	scopus = {2-s2.0-85036609180},
	Series = {Lecture Notes in Computer Science},
	Subseries = {Lecture Notes in Artificial Intelligence},
	Title = {Preface},
	urlpdf = {http://link.springer.com/content/pdf/bfm:978-3-319-70887-4/1.pdf},
	Volume = 10685,
	Year = 2017} 
 @inproceedings{snnta-assb17,
author = {Ciatto, Giovanni and {De Maria}, Elisabetta and {Di Giusto}, Cinzia},
booktitle = {Proc. of the Thematic Research School on Advances in Systems and Synthetic Biology (ASSB)},
pages = {55--69},
publisher = {EDP Sciences},
title = {{Spiking Neural Networks as Timed Automata}},
url = {http://epigenomique.free.fr/en/index.php},
year = 2017
} 
 @inproceedings{DeMaria:2017:FVN:3156346.3156350,
 author = {De Maria, Elisabetta and Di Giusto, Cinzia and Ciatto, Giovanni},
 title = {Formal Validation of Neural Networks As Timed Automata},
 booktitle = {Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics},
 series = {CSBio '17},
 year = {2017},
 isbn = {978-1-4503-5350-2},
 location = {Nha Trang City, Viet Nam},
 pages = {15--22},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/3156346.3156350},
 doi = {10.1145/3156346.3156350},
 acm = {3156350},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Leaky Integrate and Fire Model, Model Checking, Neural networks, Temporal Logic, Timed Automata},
} 
 
 @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},
}  
 @inproceedings{ACDV-SASO2017,
  author    = {Audrito, Giorgio and Casadei, Roberto and Damiani, Ferruccio and Viroli, Mirko},
  title     = {Compositional Blocks for Optimal Self-Healing Gradients},
  booktitle = {11th {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems, {SASO} 2017, Tucson, AZ, USA, September 18-22, 2017},
  pages     = {91--100},
  year      = {2017},
  url       = {http://doi.ieeecomputersociety.org/10.1109/SASO.2017.18},
  doi       = {10.1109/SASO.2017.18},
  publisher = {{IEEE} Computer Society},
  isbn      = {978-1-5090-6555-4}
} 
18 publications in 2017 without DBLP Key • topindexbottom

publications without DBLP Key  /  2017  /  personal
Andrea Agiollo  •  Roberta Calegari  •  Giovanni Ciatto  •  Angelo Croatti  •  Enrico Denti  •  Matteo Magnini  •  Sara Montagna  •  Andrea Omicini  •  Giuseppe Pisano  •  Andrea Rafanelli  •  Federico Sabbatini