Search dblp for Publications

• > Home > Search

@proceedings{DBLP:journals/corr/abs-1802-00976,
  editor       = {Danilo Pianini and
                  Guido Salvaneschi},
  title        = {Proceedings First Workshop on Architectures, Languages and Paradigms
                  for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017},
  series       = {{EPTCS}},
  volume       = {264},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.00976},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-00976.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1802-01788,
  author       = {Giorgio Audrito and
                  Ferruccio Damiani and
                  Mirko Viroli},
  editor       = {Danilo Pianini and
                  Guido Salvaneschi},
  title        = {Aggregate Graph Statistics},
  booktitle    = {Proceedings First Workshop on Architectures, Languages and Paradigms
                  for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017},
  series       = {{EPTCS}},
  volume       = {264},
  pages        = {18--22},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.264.2},
  doi          = {10.4204/EPTCS.264.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-01788.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1802-01789,
  author       = {Giorgio Audrito and
                  Sergio Bergamini},
  editor       = {Danilo Pianini and
                  Guido Salvaneschi},
  title        = {Resilient Blocks for Summarising Distributed Data},
  booktitle    = {Proceedings First Workshop on Architectures, Languages and Paradigms
                  for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017},
  series       = {{EPTCS}},
  volume       = {264},
  pages        = {23--26},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.264.3},
  doi          = {10.4204/EPTCS.264.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-01789.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1802-01790,
  author       = {Davide Ancona and
                  Luca Franceschini and
                  Giorgio Delzanno and
                  Maurizio Leotta and
                  Marina Ribaudo and
                  Filippo Ricca},
  editor       = {Danilo Pianini and
                  Guido Salvaneschi},
  title        = {Towards Runtime Monitoring of Node.js and Its Application to the Internet
                  of Things},
  booktitle    = {Proceedings First Workshop on Architectures, Languages and Paradigms
                  for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017},
  series       = {{EPTCS}},
  volume       = {264},
  pages        = {27--42},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.264.4},
  doi          = {10.4204/EPTCS.264.4},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-01790.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1802-01791,
  author       = {Sven Linker and
                  Michele Sevegnani},
  editor       = {Danilo Pianini and
                  Guido Salvaneschi},
  title        = {Formalising Sensor Topologies for Target Counting},
  booktitle    = {Proceedings First Workshop on Architectures, Languages and Paradigms
                  for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017},
  series       = {{EPTCS}},
  volume       = {264},
  pages        = {43--57},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.264.5},
  doi          = {10.4204/EPTCS.264.5},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-01791.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1803-04780,
  author       = {Onoriode Uviase and
                  Gerald Kotonya},
  editor       = {Danilo Pianini and
                  Guido Salvaneschi},
  title        = {IoT Architectural Framework: Connection and Integration Framework
                  for IoT Systems},
  booktitle    = {Proceedings First Workshop on Architectures, Languages and Paradigms
                  for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017},
  series       = {{EPTCS}},
  volume       = {264},
  pages        = {1--17},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.264.1},
  doi          = {10.4204/EPTCS.264.1},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-04780.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}