Per Sort

11 book chapters  /  Mirko Viroli
 @inproceedings{FRVZ-ROCCO2019,
  author    = {Fortino, Giancarlo and Re, Barbara and Viroli, Mirko and Zambonelli, Franco},
  title     = {Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT},
  booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
               - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
               Birthday},
  pages     = {411--427},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-21485-2\_22},
  doi       = {10.1007/978-3-030-21485-2\_22},
  editor    = {Boreale, Michele and Corradini, Flavio and Loreti, Michele and Pugliese, Rosario},
  volume    = {11665},
  publisher = {Springer},
  isbn      = {978-3-030-21484-5}
}
 
 @incollection{ActorsAggregate2018,
	booktitle = {Programming with Actors: State-of-the-Art and Research Perspectives},
	year = 2018,
	url = {https://doi.org/10.1007/978-3-030-00302-9_4},
	editor = {Ricci, Alessandro and Haller, Philipp},
	series = {Lecture Notes in Computer Science},
	publisher = {Springer International Publishing},
	author = {Casadei, Roberto and Viroli, Mirko},
	title = {Programming Actor-Based Collective Adaptive Systems},
	pages = {94--122},
	volume = 10789,
	doi = {10.1007/978-3-030-00302-9_4}} 
 @incollection{argumentation-argbook2014,
    address = {Bussum, Netherlands},
    author = {Oliva, Enrico and McBurney, Peter and Omicini, Andrea and Viroli, Mirko},
    booktitle = {Negotiation and Argumentation in Multi-Agent Systems. Fundamentals, Theories, Systems and Applications},
    chapter = 8,
    doi = {10.2174/9781608058242114010009},
    editor = {Lopes, Fernando and Coelho, Helder},
    eisbn = {978-1-60805-824-2},
    iris = {11585/480573},
    isbn = {978-1-60805-825-9},
    keywords = {Agents, Argumentation, Artifacts, Dialogues, Multiagent systems, Negotiation, Logic Programming},
    pages = {191--232},
    part = {II -- Theories and Systems},
    publisher = {Bentham Science Publishers},
    title = {Argumentation and Artifacts for Negotiation Support},
    url = {http://ebooks.benthamscience.com/book/9781608058242/chapter/121481/},
    year = 2014
} 
 @incollection{SpatialIGI2013,
	booktitle = {Formal and Practical Aspects of Domain-Specific Languages: Recent Developments},
	publisher = {IGI Global },
	author = {Beal, Jacob and Dulman, Stefan and Usbeck, Kyle and Viroli, Mirko and Correll, Nikolaus},
	title = {Organizing the Aggregate: Languages for Spatial Computing},
	chapter = 16,
	year = 2013,
	note = {A longer version available at: {\tt http://arxiv.org/abs/1202.5509}},
	abstract = {As the number of computing devices embedded into engineered systems continues to rise, there is a
widening gap between the needs of the user to control aggregates of devices and the complex technology of individual devices. Spatial computing attempts to bridge this gap for systems with local communication by exploiting the connection between physical locality and device connectivity. A large number of spatial computing domain specific languages (DSLs) have emerged across diverse domains, from biology and reconfigurable computing, to sensor networks and agent-based systems. In this chapter, we develop a framework for analyzing and comparing spatial computing DSLs, survey the current state of the art, and provide a roadmap for future spatial computing DSL investigation.
},
	keywords = {Spatial Computing, Sensor Networks, Agent-Based Systems},
	eissn = {978-1-4666-2092-6},
	status = {Published},
	pages = {436--501},
	venue_list = {--},
	url = {http://www.igi-global.com/chapter/organizing-aggregate-languages-spatial-computing/71829},
	editor = {Mernik, Marjan},
	doi = {10.4018/978-1-4666-2092-6.ch016}} 
 @incollection{semanticsapere-igi2012,
	Author = {Viroli, Mirko and Zambonelli, Franco and Stevenson, Graeme and Dobson, Simon},
	Booktitle = {Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solution},
	Chapter = 8,
	Doi = {10.4018/978-1-4666-2089-6.ch008},
	Editor = {Cubo, Javier and Ortiz, Guadalupe},
	Isbn = {978-1-4666-2091-9},
	Isbn-10 = {9781466620896},
	Isbn-13 = 1466620897,
	Keywords = {Pervasive Computing, Service Oriented Architectures, RDF, Pervasive Ecosystems},
	Pages = {207--237},
	Pdf-Local = {chapter.pdf},
	Publisher = {IGI Global},
	Title = {From {SOA} to Pervasive Service Ecosystems: An Approach based on {S}emantic {W}eb technologies},
	Url = {http://www.igi-global.com/chapter/soa-pervasive-service-ecosystems/69475},
	Year = 2012} 
 @incollection{montagna-morphoeng,
      year={2012},
      isbn={978-3-642-33901-1}, 
      booktitle={Morphogenetic Engineering},
      series={Understanding Complex Systems}, 
      editor={Doursat, Ren\'e and Sayama, Hiroki and Michel, Olivier},
      doi={10.1007/978-3-642-33902-8_15},
      title={A Computational Framework for Multilevel Morphologies},
      url={http://dx.doi.org/10.1007/978-3-642-33902-8_15},
      publisher={Springer Berlin Heidelberg},
      author={Montagna, Sara and Viroli, Mirko},
      pages={383--405},
      language={English}
}
 
 @incollection {springerlink:10.1007/978-3-642-17348-6_13,
   author = {Casadei, Matteo and Mamei, Marco and Villalba, Cynthia and Viroli, Mirko and Zambonelli, Franco},
   affiliation = {Università di Bologna, 47023 Cesena, Italy},
   title = {Middleware Infrastructures for Self-organising Pervasive Computing Systems},
   booktitle = {Self-organising Software},
   series = {Natural Computing Series},
   editor = {Di Marzo Serugendo, Giovanna and Gleizes, Marie-Pierre and Karageorgos, Anthony},
   publisher = {Springer Berlin Heidelberg},
   isbn = {978-3-642-17348-6},
   keyword = {Computer Science},
   pages = {313-344},
   url = {http://dx.doi.org/10.1007/978-3-642-17348-6_13},
   note = {10.1007/978-3-642-17348-6_13},
   year = {2011}
} 
 @incollection{ai-ifipbook2009,
    acm = {10.5555/1793943.1793952},
    author = {Omicini, Andrea and Piunti, Michele and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Artificial Intelligence: An International Perspective},
    chapter = 9,
    doi = {10.1007/978-3-642-03226-4_9},
    editor = {Bramer, Max},
    eissn = {1611-3349},
    iris = {11585/82470},
    isbn10 = {3-642-03225-7},
    isbn13 = {978-3-642-03225-7},
    issn = {0302-9743},
    pages = {157--173},
    publisher = {Springer},
    scopus = {2-s2.0-70350627497},
    series = {Lecture Notes in Computer Science},
    subseries = {LNAI: State-of-the-Art Survey},
    title = {Agents, Intelligence, and Tools},
    url = {http://link.springer.com/10.1007/978-3-642-03226-4_9},
    volume = 5640,
    wos = {000268976000009},
    year = 2009
} 
 @incollection{simulation-massimulationbook09,
    author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Multi-Agent Systems: Simulation and Applications},
    chapter = 5,
    doi = {10.1201/9781420070248-15},
    editor = {Uhrmacher, Adelinde M. and Weyns, Danny},
    eisbn = {978-1-3152-1878-6},
    iris = {11585/82469},
    isbn = {978-1-4200-7023-1},
    isbn10 = {1-4200-7023-1},
    isbn13 = {978-1-4200-7023-1},
    month = jun,
    pages = {133--165},
    publisher = {CRC Press},
    scopus = {2-s2.0-85068357847},
    series = {Computational Analysis, Synthesis, and Design of Dynamic Systems},
    title = {Combining Simulation and Formal Tools for Developing Self-Organizing {MAS}},
    url = {http://crcpress.com/product/isbn/9781420070231},
    year = 2009
} 
@incollection{cartago-promasbookII, author = {Ricci, Alessandro and Piunti, Michele and Viroli, Mirko and Omicini, Andrea}, booktitle = {Multi-Agent Programming II: Languages, Platforms and Applications}, chapter = 8, doi = {10.1007/978-0-387-89299-3_8}, editor = {Bordini, Rafael P. and Dastani, Mehdi and Dix, Jurgen and El Fallah Seghrouchni, Amal}, eisbn = {978-0-387-89299-3}, iris = {11585/82468}, isbn = {978-0-387-89298-6}, month = jun, pages = {259--288}, part = {II}, publisher = {Springer}, series = {Multiagent Systems, Artificial Societies, and Simulated Organizations}, title = {Environment Programming in {{\sf CArtAgO, url = {http://link.springer.com/chapter/10.1007/978-0-387-89299-3_8}, year = 2009 } }}}
 @incollection{interaction-interbook,
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Interactive Computation: The New Paradigm},
    chapter = 15,
    doi = {10.1007/3-540-34874-3_15},
    editor = {Goldin, Dina Q. and Smolka, Scott A. and Wegner, Peter},
    eisbn = {978-3-540-34874-0},
    iris = {11585/31257},
    isbn = {978-3-540-34666-1},
    isbn10 = {3-540-34666-X},
    month = sep,
    pages = {395--414},
    part = {IV},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-34249978147},
    title = {The Multidisciplinary Patterns of Interaction from Sciences to {C}omputer {S}cience},
    url = {http://link.springer.com/10.1007/3-540-34874-3_15},
    year = 2006
} 
11 book chapters • topindexbottom