Search dblp for Publications

export results for "Luca Martini"

 download as .bib file

@inproceedings{DBLP:conf/debs/MartiniM24,
  author       = {Luca De Martini and
                  Alessandro Margara},
  title        = {Safe Shared State in Dataflow Systems},
  booktitle    = {Proceedings of the 18th {ACM} International Conference on Distributed
                  and Event-based Systems, {DEBS} 2024, Villeurbanne, France, June 24-28,
                  2024},
  pages        = {30--41},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3629104.3666029},
  doi          = {10.1145/3629104.3666029},
  timestamp    = {Thu, 25 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/debs/MartiniM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/debs/MartiniTDFM24,
  author       = {Luca De Martini and
                  Jawad Tahir and
                  Christoph Doblander and
                  Sebastian Frischbier and
                  Alessandro Margara},
  title        = {The {DEBS} 2024 Grand Challenge: Telemetry Data for Hard Drive Failure
                  Prediction},
  booktitle    = {Proceedings of the 18th {ACM} International Conference on Distributed
                  and Event-based Systems, {DEBS} 2024, Villeurbanne, France, June 24-28,
                  2024},
  pages        = {223--228},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3629104.3672538},
  doi          = {10.1145/3629104.3672538},
  timestamp    = {Thu, 25 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/debs/MartiniTDFM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-09827,
  author       = {Alexander Lappe and
                  Anna Bogn{\'{a}}r and
                  Ghazaleh Ghamkhari Nejad and
                  Albert Mukovskiy and
                  Lucas Martini and
                  Martin A. Giese and
                  Rufin Vogels},
  title        = {Parallel Backpropagation for Shared-Feature Visualization},
  journal      = {CoRR},
  volume       = {abs/2405.09827},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2405.09827},
  doi          = {10.48550/ARXIV.2405.09827},
  eprinttype    = {arXiv},
  eprint       = {2405.09827},
  timestamp    = {Wed, 12 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2405-09827.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/brain/CarliCMBMPMSP23,
  author       = {Giulia Carli and
                  Marco Cavicchioli and
                  Anna Lisa Martini and
                  Matteo Bruscoli and
                  Antonella Manfredi and
                  Luca Presotto and
                  Christian Mazzeo and
                  Stelvio Sestini and
                  Daniela Perani},
  title        = {Neurobiological Dysfunctional Substrates for the Self-Medication Hypothesis
                  in Adult Individuals with Attention-Deficit Hyperactivity Disorder
                  and Cocaine Use Disorder: {A} Fluorine-18-Fluorodeoxyglucose Positron
                  Emission Tomography Study},
  journal      = {Brain Connect.},
  volume       = {13},
  number       = {7},
  pages        = {370--382},
  year         = {2023},
  url          = {https://doi.org/10.1089/brain.2022.0076},
  doi          = {10.1089/BRAIN.2022.0076},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/brain/CarliCMBMPMSP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijtm/ChiarelloGM23,
  author       = {Filippo Chiarello and
                  Luca Gastaldi and
                  Antonella Martini},
  title        = {Design and implementation of a text mining-based tool to support scoping
                  reviews},
  journal      = {Int. J. Technol. Manag.},
  volume       = {91},
  number       = {3/4},
  pages        = {147--161},
  year         = {2023},
  url          = {https://doi.org/10.1504/IJTM.2022.10049970},
  doi          = {10.1504/IJTM.2022.10049970},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijtm/ChiarelloGM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcisd/HilpertBSVNMML23,
  author       = {C{\'{e}}cile Hilpert and
                  Louis Beranger and
                  Paulo Cesar Telles de Souza and
                  Petteri A. Vainikka and
                  Vincent Nieto and
                  Siewert J. Marrink and
                  Luca Monticelli and
                  Guillaume Launay},
  title        = {Facilitating {CG} Simulations with {MAD:} The MArtini Database Server},
  journal      = {J. Chem. Inf. Model.},
  volume       = {63},
  number       = {3},
  pages        = {702--710},
  year         = {2023},
  url          = {https://doi.org/10.1021/acs.jcim.2c01375},
  doi          = {10.1021/ACS.JCIM.2C01375},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcisd/HilpertBSVNMML23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/MarchionnaPMASC23,
  author       = {Luca Marchionna and
                  Giulio Pugliese and
                  Mauro Martini and
                  Simone Angarano and
                  Francesco Salvetti and
                  Marcello Chiaberge},
  title        = {Deep Instance Segmentation and Visual Servoing to Play Jenga with
                  a Cost-Effective Robotic System},
  journal      = {Sensors},
  volume       = {23},
  number       = {2},
  pages        = {752},
  year         = {2023},
  url          = {https://doi.org/10.3390/s23020752},
  doi          = {10.3390/S23020752},
  timestamp    = {Sat, 11 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sensors/MarchionnaPMASC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/MartimortDHRSABBBBCCWDFGGGHJLLLLLMMM23,
  author       = {Philippe Martimort and
                  Bernardo Carnicero Dom{\'{\i}}nguez and
                  Arnaud H{\'{e}}li{\`{e}}re and
                  Josep Rosello and
                  Martin S{\"{u}}ss and
                  Jean{-}Christophe Angevain and
                  Adrien Bardou and
                  Frederik Br{\"{a}}uer and
                  Christophe Buisset and
                  Thomas Burger and
                  Simone Rafano Carn{\`{a}} and
                  Olivier Carraz and
                  Erik De Witte and
                  Valerie Dutto and
                  Mauro Federici and
                  Steven George and
                  Wilfried Glastre and
                  Valeria Gracheva and
                  Kevin Hall and
                  Fl{\'{a}}vio Jorge and
                  Dulce Lajas and
                  Arnaud Lecuyot and
                  Nicole Liu and
                  Juliette Lambin and
                  Armin L{\"{o}}scher and
                  Aliz{\'{e}}e Malavart and
                  Valentina Marchese and
                  Flavio Mariani and
                  Petronilo Martin{-}Iglesias and
                  Luca Massotti and
                  Nicola Melega and
                  Kyle Palmer and
                  Agne Paskeviciute and
                  Luca Schifano and
                  Pierluigi Silvestrin and
                  Yan Soldo and
                  Aaron Strangfeld and
                  Michel Tossaint and
                  Katia Nagamine Urata and
                  Pierre Vignaud and
                  Roman Windpassinger},
  title        = {On-Going and Planned Mission Concept Studies for the Preparation of
                  Future {ESA} Earth Observation Satellites},
  booktitle    = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
                  2023, Pasadena, CA, USA, July 16-21, 2023},
  pages        = {4582--4585},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/IGARSS52108.2023.10283393},
  doi          = {10.1109/IGARSS52108.2023.10283393},
  timestamp    = {Wed, 08 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/igarss/MartimortDHRSABBBBCCWDFGGGHJLLLLLMMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosc/MarekMM23,
  author       = {Kinga Anna Marek and
                  Luca De Martini and
                  Alessandro Margara},
  title        = {Nubes: Object-Oriented Programming for Stateful Serverless Functions},
  booktitle    = {Proceedings of the 9th International Workshop on Serverless Computing,
                  WoSC 2023, Bologna, Italy, December 11-15, 2023},
  pages        = {30--35},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3631295.3631398},
  doi          = {10.1145/3631295.3631398},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wosc/MarekMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-04421,
  author       = {Luca De Martini and
                  Alessandro Margara and
                  Gianpaolo Cugola and
                  Marco Donadoni and
                  Edoardo Morassutto},
  title        = {The Noir Dataflow Platform: Efficient Data Processing without Complexity},
  journal      = {CoRR},
  volume       = {abs/2306.04421},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2306.04421},
  doi          = {10.48550/ARXIV.2306.04421},
  eprinttype    = {arXiv},
  eprint       = {2306.04421},
  timestamp    = {Tue, 13 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2306-04421.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/GentiliMSB22,
  author       = {Michele Gentili and
                  Leonardo Martini and
                  Marialuisa Sponziello and
                  Luca Becchetti},
  title        = {Biological Random Walks: multi-omics integration for disease gene
                  prioritization},
  journal      = {Bioinform.},
  volume       = {38},
  number       = {17},
  pages        = {4145--4152},
  year         = {2022},
  url          = {https://doi.org/10.1093/bioinformatics/btac446},
  doi          = {10.1093/BIOINFORMATICS/BTAC446},
  timestamp    = {Thu, 22 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/GentiliMSB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/osn/AndriolliGCCCSS22,
  author       = {Nicola Andriolli and
                  Alessio Giorgetti and
                  Piero Castoldi and
                  Gabriele Cecchetti and
                  Isabella Cerutti and
                  Nicola Sambo and
                  Andrea Sgambelluri and
                  Luca Valcarenghi and
                  Filippo Cugini and
                  Barbara Martini and
                  Francesco Paolucci},
  title        = {Optical networks management and control: {A} review and recent challenges},
  journal      = {Opt. Switch. Netw.},
  volume       = {44},
  pages        = {100652},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.osn.2021.100652},
  doi          = {10.1016/J.OSN.2021.100652},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/osn/AndriolliGCCCSS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/GiudicepietroCD22,
  author       = {Flora Giudicepietro and
                  Sonia Calvari and
                  Luca D'Auria and
                  Federico Di Traglia and
                  Lukas Layer and
                  Giovanni Macedonio and
                  Teresa Caputo and
                  Walter De Cesare and
                  Gaetana Ganci and
                  Marcello Martini and
                  Massimo Orazi and
                  Rosario Peluso and
                  Giovanni Scarpato and
                  Laura Spina and
                  Teresa Nolesini and
                  Nicola Casagli and
                  Anna Tramelli and
                  Antonietta Maria Esposito},
  title        = {Changes in the Eruptive Style of Stromboli Volcano before the 2019
                  Paroxysmal Phase Discovered through {SOM} Clustering of Seismo-Acoustic
                  Features Compared with Camera Images and GBInSAR Data},
  journal      = {Remote. Sens.},
  volume       = {14},
  number       = {5},
  pages        = {1287},
  year         = {2022},
  url          = {https://doi.org/10.3390/rs14051287},
  doi          = {10.3390/RS14051287},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/remotesensing/GiudicepietroCD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/MainoAACCCCGLMM22,
  author       = {Andrea Maino and
                  Matteo Alb{\'{e}}ri and
                  Emiliano Anceschi and
                  Enrico Chiarelli and
                  Luca Cicala and
                  Tommaso Colonna and
                  Mario De Cesare and
                  Enrico Guastaldi and
                  Nicola Lopane and
                  Fabio Mantovani and
                  Maurizio Marcialis and
                  Nicola Martini and
                  Michele Montuschi and
                  Silvia Piccioli and
                  Kassandra Giulia Cristina Raptis and
                  Antonio Russo and
                  Filippo Semenza and
                  Virginia Strati},
  title        = {Airborne Radiometric Surveys and Machine Learning Algorithms for Revealing
                  Soil Texture},
  journal      = {Remote. Sens.},
  volume       = {14},
  number       = {15},
  pages        = {3814},
  year         = {2022},
  url          = {https://doi.org/10.3390/rs14153814},
  doi          = {10.3390/RS14153814},
  timestamp    = {Mon, 26 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/remotesensing/MainoAACCCCGLMM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/debs/MartiniMC22,
  author       = {Luca De Martini and
                  Alessandro Margara and
                  Gianpaolo Cugola},
  editor       = {Yongluan Zhou and
                  Panos K. Chrysanthis and
                  Vincenzo Gulisano and
                  Eleni Tzirita Zacharatou},
  title        = {Analysis of market data with Noir: {DEBS} grand challenge},
  booktitle    = {16th {ACM} International Conference on Distributed and Event-based
                  Systems, {DEBS} 2022, Copenhagen, Denmark, June 27 - 30, 2022},
  pages        = {139--144},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3524860.3539646},
  doi          = {10.1145/3524860.3539646},
  timestamp    = {Sun, 02 Oct 2022 15:59:00 +0200},
  biburl       = {https://dblp.org/rec/conf/debs/MartiniMC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/GerettiCBMBQV22,
  author       = {Luca Geretti and
                  Stefano Centomo and
                  Michele Boldo and
                  Enrico Martini and
                  Nicola Bombieri and
                  Davide Quaglia and
                  Tiziano Villa},
  title        = {Process-driven Collision Prediction in Human-Robot Work Environments},
  booktitle    = {27th {IEEE} International Conference on Emerging Technologies and
                  Factory Automation, {ETFA} 2022, Stuttgart, Germany, September 6-9,
                  2022},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ETFA52439.2022.9921732},
  doi          = {10.1109/ETFA52439.2022.9921732},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/etfa/GerettiCBMBQV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-07977,
  author       = {Luca Marchionna and
                  Giulio Pugliese and
                  Mauro Martini and
                  Simone Angarano and
                  Francesco Salvetti and
                  Marcello Chiaberge},
  title        = {Deep Instance Segmentation and Visual Servoing to Play Jenga with
                  a Cost-Effective Robotic System},
  journal      = {CoRR},
  volume       = {abs/2211.07977},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2211.07977},
  doi          = {10.48550/ARXIV.2211.07977},
  eprinttype    = {arXiv},
  eprint       = {2211.07977},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-07977.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ChangRPJSPUSGGV21,
  author       = {Chia{-}Yu Chang and
                  Teresa Giner Ruiz and
                  Francesco Paolucci and
                  Manuel A. Jim{\'{e}}nez and
                  Javier Sacido and
                  Chrysa Papagianni and
                  Fabio Ubaldi and
                  Davide Scano and
                  Molka Gharbaoui and
                  Alessio Giorgetti and
                  Luca Valcarenghi and
                  Konstantin Tomakh and
                  Andrea Boddi and
                  Agust{\'{\i}}n Caparr{\'{o}}s and
                  Matteo Pergolesi and
                  Barbara Martini},
  title        = {Performance Isolation for Network Slices in Industry 4.0: The 5Growth
                  Approach},
  journal      = {{IEEE} Access},
  volume       = {9},
  pages        = {166990--167003},
  year         = {2021},
  url          = {https://doi.org/10.1109/ACCESS.2021.3135827},
  doi          = {10.1109/ACCESS.2021.3135827},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/ChangRPJSPUSGGV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnsm/LiCMBLMCPV21,
  author       = {Xi Li and
                  Carla{-}Fabiana Chiasserini and
                  Josep Mangues{-}Bafalluy and
                  Jorge Baranda and
                  Giada Landi and
                  Barbara Martini and
                  Xavier Costa{-}P{\'{e}}rez and
                  Corrado Puligheddu and
                  Luca Valcarenghi},
  title        = {Automated Service Provisioning and Hierarchical {SLA} Management in
                  5G Systems},
  journal      = {{IEEE} Trans. Netw. Serv. Manag.},
  volume       = {18},
  number       = {4},
  pages        = {4669--4684},
  year         = {2021},
  url          = {https://doi.org/10.1109/TNSM.2021.3102890},
  doi          = {10.1109/TNSM.2021.3102890},
  timestamp    = {Sat, 25 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tnsm/LiCMBLMCPV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/SalamonMRCB0MCB21,
  author       = {Peter Salamon and
                  Niall Mctlormick and
                  Christopher Reimer and
                  Tom Clarke and
                  Bernhard Bauer{-}Marschallinger and
                  Wolfgang Wagner and
                  Sandro Martinis and
                  Candace Chow and
                  Christian B{\"{o}}hnke and
                  Patrick Matgen and
                  Marco Chini and
                  Renaud Hostache and
                  Luca Molini and
                  Elisabetta Fiori and
                  Andreas Walli},
  title        = {The New, Systematic Global Flood Monitoring Product of the Copernicus
                  Emergency Management Service},
  booktitle    = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
                  2021, Brussels, Belgium, July 11-16, 2021},
  pages        = {1053--1056},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/IGARSS47720.2021.9554214},
  doi          = {10.1109/IGARSS47720.2021.9554214},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/igarss/SalamonMRCB0MCB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-03694,
  author       = {Luca Becchetti and
                  Adriano Fazzone and
                  Leonardo Martini},
  title        = {Network and Sequence-Based Prediction of Protein-Protein Interactions},
  journal      = {CoRR},
  volume       = {abs/2107.03694},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.03694},
  eprinttype    = {arXiv},
  eprint       = {2107.03694},
  timestamp    = {Thu, 22 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-03694.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/uais/PetryBRDB20,
  author       = {Milene Martini Petry and
                  Jorge Luis Vict{\'{o}}ria Barbosa and
                  Sandro Jos{\'{e}} Rigo and
                  Lucas Pfeiffer Salom{\~{a}}o Dias and
                  Paulo C{\'{e}}sar B{\"{u}}ttenbender},
  title        = {Toward a ubiquitous model to assist the treatment of people with depression},
  journal      = {Univers. Access Inf. Soc.},
  volume       = {19},
  number       = {4},
  pages        = {841--854},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10209-019-00697-4},
  doi          = {10.1007/S10209-019-00697-4},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/uais/PetryBRDB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpr/PazzagliaMRRF20,
  author       = {Giulia Pazzaglia and
                  Massimo Martini and
                  Riccardo Rosati and
                  Luca Romeo and
                  Emanuele Frontoni},
  editor       = {Alberto Del Bimbo and
                  Rita Cucchiara and
                  Stan Sclaroff and
                  Giovanni Maria Farinella and
                  Tao Mei and
                  Marco Bertini and
                  Hugo Jair Escalante and
                  Roberto Vezzani},
  title        = {A Deep Learning-Based Approach for Automatic Leather Classification
                  in Industry 4.0},
  booktitle    = {Pattern Recognition. {ICPR} International Workshops and Challenges
                  - Virtual Event, January 10-15, 2021, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12664},
  pages        = {662--674},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-68799-1\_48},
  doi          = {10.1007/978-3-030-68799-1\_48},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpr/PazzagliaMRRF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wisee/GiovannelliBMGM20,
  author       = {Luca Giovannelli and
                  Francesco Berrilli and
                  Dario Del Moro and
                  Daniele Gallieni and
                  Gaetano Martiniello and
                  Pierluigi Fumi},
  title        = {Digital Controller for Capacitance Stabilized Etalons},
  booktitle    = {8th {IEEE} International Conference on Wireless for Space and Extreme
                  Environments, WiSEE 2020, Venice, Italy, October 12-14, 2020},
  pages        = {66--71},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/WiSEE44079.2020.9262662},
  doi          = {10.1109/WISEE44079.2020.9262662},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wisee/GiovannelliBMGM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-07064,
  author       = {Michele Gentili and
                  Leonardo Martini and
                  Manuela Petti and
                  Lorenzo Farina and
                  Luca Becchetti},
  title        = {Biological Random Walks: integrating heterogeneous data in disease
                  gene prioritization},
  journal      = {CoRR},
  volume       = {abs/2002.07064},
  year         = {2020},
  url          = {https://arxiv.org/abs/2002.07064},
  eprinttype    = {arXiv},
  eprint       = {2002.07064},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-07064.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgi/GrecoPBBCMR19,
  author       = {Annalisa Greco and
                  Alessandro Pluchino and
                  Luca Barbarossa and
                  Giovanni Barreca and
                  Ivo Cali{\`{o}} and
                  Francesco Martinico and
                  Andrea Rapisarda},
  title        = {A New Agent-Based Methodology for the Seismic Vulnerability Assessment
                  of Urban Areas},
  journal      = {{ISPRS} Int. J. Geo Inf.},
  volume       = {8},
  number       = {6},
  pages        = {274},
  year         = {2019},
  url          = {https://doi.org/10.3390/ijgi8060274},
  doi          = {10.3390/IJGI8060274},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgi/GrecoPBBCMR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ras/PaolantiRMMFZ19,
  author       = {Marina Paolanti and
                  Luca Romeo and
                  Massimo Martini and
                  Adriano Mancini and
                  Emanuele Frontoni and
                  Primo Zingaretti},
  title        = {Robotic retail surveying by deep learning visual and textual data},
  journal      = {Robotics Auton. Syst.},
  volume       = {118},
  pages        = {179--188},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.robot.2019.01.021},
  doi          = {10.1016/J.ROBOT.2019.01.021},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ras/PaolantiRMMFZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/GiudicepietroCA19,
  author       = {Flora Giudicepietro and
                  Sonia Calvari and
                  Salvatore Alparone and
                  Francesca Bianco and
                  Alessandro Bonaccorso and
                  Valentina Bruno and
                  Teresa Caputo and
                  Antonio Cristaldi and
                  Luca D'Auria and
                  Walter De Cesare and
                  Bellina Di Lieto and
                  Antonietta Maria Esposito and
                  Salvatore Gambino and
                  Salvatore Inguaggiato and
                  Giovanni Macedonio and
                  Marcello Martini and
                  Mario Mattia and
                  Massimo Orazi and
                  Antonio Paonita and
                  Rosario Peluso and
                  Eugenio Privitera and
                  Pierdomenico Romano and
                  Giovanni Scarpato and
                  Anna Tramelli and
                  Fabio Vita},
  title        = {Integration of Ground-Based Remote-Sensing and In Situ Multidisciplinary
                  Monitoring Data to Analyze the Eruptive Activity of Stromboli Volcano
                  in 2017-2018},
  journal      = {Remote. Sens.},
  volume       = {11},
  number       = {15},
  pages        = {1813},
  year         = {2019},
  url          = {https://doi.org/10.3390/rs11151813},
  doi          = {10.3390/RS11151813},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/remotesensing/GiudicepietroCA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibcb/GentiliMPFB19,
  author       = {Michele Gentili and
                  Leonardo Martini and
                  Manuela Petti and
                  Lorenzo Farina and
                  Luca Becchetti},
  editor       = {Giacomo Baruzzo and
                  Sebastian Daberdaku and
                  Barbara Di Camillo and
                  Simone Furini and
                  Emanuele Domenico Giordano and
                  Giuseppe Nicosia},
  title        = {Biological Random Walks: Integrating heterogeneous data in disease
                  gene prioritization},
  booktitle    = {{IEEE} Conference on Computational Intelligence in Bioinformatics
                  and Computational Biology, {CIBCB} 2019, Siena, Italy, July 9-11,
                  2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/CIBCB.2019.8791472},
  doi          = {10.1109/CIBCB.2019.8791472},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cibcb/GentiliMPFB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucnc/Mangues-Bafalluy19,
  author       = {Josep Mangues{-}Bafalluy and
                  Jorge Baranda and
                  I{\~{n}}aki Pascual and
                  Ricardo Mart{\'{\i}}nez and
                  Luca Vettori and
                  Giada Landi and
                  Arturo Zurita and
                  David Salama and
                  Kiril Antevski and
                  Jorge Mart{\'{\i}}n{-}P{\'{e}}rez and
                  Dmitriy Andrushko and
                  Konstantin Tomakh and
                  Barbara Martini and
                  Xi Li and
                  Josep X. Salvat},
  title        = {5G-TRANSFORMER Service Orchestrator: design, implementation, and evaluation},
  booktitle    = {European Conference on Networks and Communications, EuCNC 2019, Valencia,
                  Spain, June 18-21, 2019},
  pages        = {31--36},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/EuCNC.2019.8802038},
  doi          = {10.1109/EUCNC.2019.8802038},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eucnc/Mangues-Bafalluy19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lacci/AcunaMMLG19,
  author       = {Byron Acu{\~{n}}a and
                  Luiz C{\'{e}}sar Martini and
                  Lucas Lui Motta and
                  Julio C{\'{e}}sar Larco and
                  Felipe Grijalva},
  title        = {Table Detection for Improving Accessibility of Digital Documents using
                  a Deep Learning Approach},
  booktitle    = {{IEEE} Latin American Conference on Computational Intelligence, {LA-CCI}
                  2019, Guayaquil, Ecuador, November 11-15, 2019},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/LA-CCI47412.2019.9036767},
  doi          = {10.1109/LA-CCI47412.2019.9036767},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lacci/AcunaMMLG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latincom/LadeiraSFSSV19,
  author       = {Lucas Zanco Ladeira and
                  Allan Mariano de Souza and
                  Geraldo Pereira Rocha Filho and
                  Thiago Henrique Silva and
                  Matheus Ferraroni Sanches and
                  Leandro Aparecido Villas},
  editor       = {Carlos A. Guti{\'{e}}rrez},
  title        = {{MARTINI:} Towards a mobile and variable time window identification
                  for spatio-temporal data},
  booktitle    = {2019 {IEEE} Latin-American Conference on Communications, {LATINCOM}
                  2019, Salvador, Brazil, November 11-13, 2019},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/LATINCOM48065.2019.8937868},
  doi          = {10.1109/LATINCOM48065.2019.8937868},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/latincom/LadeiraSFSSV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ofc/SgambelluriCFKG19,
  author       = {Andrea Sgambelluri and
                  Marco Capitani and
                  Silvia Fichera and
                  Koteswararao Kondepu and
                  Alessio Giorgetti and
                  Francesco Giannone and
                  Barbara Martini and
                  Fabio Ubaldi and
                  Paola Iovanna and
                  Giada Landi and
                  Luca Valcarenghi},
  title        = {Experimental Demonstration of a 5G Network Slice Deployment Exploiting
                  Edge or Cloud Data-Centers},
  booktitle    = {Optical Fiber Communications Conference and Exhibition, {OFC} 2019,
                  San Diego, CA, USA, March 3-7, 2019},
  pages        = {1--3},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://ieeexplore.ieee.org/document/8696471},
  timestamp    = {Wed, 11 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ofc/SgambelluriCFKG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softcom/EnglischTHGTH19,
  author       = {Norbert Englisch and
                  Jonas Tonndorf{-}Martini and
                  Ariane Heller and
                  Lucas Gaitzsch and
                  Uranchimeg Tudevdagva and
                  Wolfram Hardt},
  editor       = {Dinko Begusic and
                  Nikola Rozic and
                  Josko Radic and
                  Matko Saric},
  title        = {Adaptive Learning System in Automotive Software Engineering},
  booktitle    = {2019 International Conference on Software, Telecommunications and
                  Computer Networks, SoftCOM 2019, Split, Croatia, September 19-21,
                  2019},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/SOFTCOM.2019.8903731},
  doi          = {10.23919/SOFTCOM.2019.8903731},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/softcom/EnglischTHGTH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-00553,
  author       = {Antonio L. Alfeo and
                  Francesco Paolo Appio and
                  Mario G. C. A. Cimino and
                  Alessandro Lazzeri and
                  Antonella Martini and
                  Gigliola Vaglini},
  title        = {An adaptive stigmergy-based system for evaluating technological indicator
                  dynamics in the context of smart specialization},
  journal      = {CoRR},
  volume       = {abs/1901.00553},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.00553},
  eprinttype    = {arXiv},
  eprint       = {1901.00553},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-00553.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/ValcarenghiMABL18,
  author       = {Luca Valcarenghi and
                  Barbara Martini and
                  Kiril Antevski and
                  Carlos J. Bernardos and
                  Giada Landi and
                  Marco Capitani and
                  Josep Mangues{-}Bafalluy and
                  Ricardo Mart{\'{\i}}nez and
                  Jorge Baranda and
                  I{\~{n}}aki Pascual and
                  Adlen Ksentini and
                  Carla{-}Fabiana Chiasserini and
                  Francesco Malandrino and
                  Xi Li and
                  Dmitriy Andrushko and
                  Konstantin Tomakh},
  title        = {A Framework for Orchestration and Federation of 5G Services in a Multi-Domain
                  Scenario},
  booktitle    = {EM-5G'18: Proceedings of the Workshop on Experimentation and Measurements
                  in 5G, EM-5G@CoNEXT 2018, Heraklion, Greece, December 4, 2018},
  pages        = {19--24},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3286680.3286684},
  doi          = {10.1145/3286680.3286684},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/conext/ValcarenghiMABL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoc/CapitaniGFSKKML18,
  author       = {Marco Capitani and
                  Francesco Giannone and
                  Silvia Fichera and
                  Andrea Sgambelluri and
                  Koteswararao Kondepu and
                  Elian Kraja and
                  Barbara Martini and
                  Giada Landi and
                  Luca Valcarenghi},
  title        = {Experimental Demonstration of a 5G Network Slice Deployment Through
                  the 5G-Transformer Architecture},
  booktitle    = {European Conference on Optical Communication, {ECOC} 2018, Rome, Italy,
                  September 23-27, 2018},
  pages        = {1--3},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ECOC.2018.8535163},
  doi          = {10.1109/ECOC.2018.8535163},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoc/CapitaniGFSKKML18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/BorchiaCCFLM18,
  author       = {Roberto Borchia and
                  Antonella Carbonaro and
                  Giorgio Casadei and
                  Luca Forlizzi and
                  Michael Lodi and
                  Simone Martini},
  editor       = {Sergei N. Pozdniakov and
                  Valentina Dagiene},
  title        = {Problem Solving Olympics: An Inclusive Education Model for Learning
                  Informatics},
  booktitle    = {Informatics in Schools. Fundamentals of Computer Science and Software
                  Engineering - 11th International Conference on Informatics in Schools:
                  Situation, Evolution, and Perspectives, {ISSEP} 2018, St. Petersburg,
                  Russia, October 10-12, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11169},
  pages        = {319--335},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02750-6\_25},
  doi          = {10.1007/978-3-030-02750-6\_25},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issep/BorchiaCCFLM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iv/LuigiFLMMOPV18,
  author       = {William Di Luigi and
                  Paolo Fantozzi and
                  Luigi Laura and
                  Gemma Martini and
                  Edoardo Morassutto and
                  Dario Ostuni and
                  Giorgio Piccardo and
                  Luca Versari},
  editor       = {Ebad Banissi and
                  Rita Francese and
                  Mark W. McK. Bannatyne and
                  Theodor G. Wyeld and
                  Muhammad Sarfraz and
                  Jo{\~{a}}o Moura Pires and
                  Anna Ursyn and
                  Fatma Bouali and
                  Nuno Datia and
                  Gilles Venturini and
                  Giuseppe Polese and
                  Vincenzo Deufemia and
                  Tania Di Mascio and
                  Marco Temperini and
                  Filippo Sciarrone and
                  Delfina Malandrino and
                  Rocco Zaccagnino and
                  Paloma D{\'{\i}}az and
                  Fragkiskos Papadopoulo and
                  Antonio Fern{\'{a}}ndez Anta and
                  Alfredo Cuzzocrea and
                  Michele Risi and
                  Ugo Erra and
                  Veronica Rossano},
  title        = {Learning Analytics in Competitive Programming Training Systems},
  booktitle    = {22nd International Conference Information Visualisation, {IV} 2018,
                  Fisciano, Italy, July 10-13, 2018},
  pages        = {321--325},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/iV.2018.00061},
  doi          = {10.1109/IV.2018.00061},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iv/LuigiFLMMOPV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/IovannaPGMKCCMV18,
  author       = {Paola Iovanna and
                  Teresa Pepe and
                  Carmen Guerrero and
                  Francesca Moscatelli and
                  Adlen Ksentini and
                  Carla{-}Fabiana Chiasserini and
                  Claudio Casetti and
                  Josep Mangues{-}Bafalluy and
                  Luca Valcarenghi and
                  Barbara Martini and
                  Xi Li and
                  Giuliana Zennaro},
  title        = {5G mobile transport and computing platform for verticals},
  booktitle    = {2018 {IEEE} Wireless Communications and Networking Conference Workshops,
                  {WCNC} 2018 Workshops, Barcelona, Spain, April 15-18, 2018},
  pages        = {266--271},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/WCNCW.2018.8368989},
  doi          = {10.1109/WCNCW.2018.8368989},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcnc/IovannaPGMKCCMV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/LiMPLMABVMCCASK18,
  author       = {Xi Li and
                  Josep Mangues{-}Bafalluy and
                  I{\~{n}}aki Pascual and
                  Giada Landi and
                  Francesca Moscatelli and
                  Kiril Antevski and
                  Carlos Jesus Bernardos and
                  Luca Valcarenghi and
                  Barbara Martini and
                  Carla{-}Fabiana Chiasserini and
                  Claudio Casetti and
                  Dmitriy Andrushko and
                  Nicolas A. Serrano and
                  Adlen Ksentini},
  title        = {Service orchestration and federation for verticals},
  booktitle    = {2018 {IEEE} Wireless Communications and Networking Conference Workshops,
                  {WCNC} 2018 Workshops, Barcelona, Spain, April 15-18, 2018},
  pages        = {260--265},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/WCNCW.2018.8369008},
  doi          = {10.1109/WCNCW.2018.8369008},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcnc/LiMPLMABVMCCASK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/MartinianoS17,
  author       = {Lucas Martiniano and
                  Carlos N. Silla},
  title        = {{BIRITS:} {A} Music Information Retrieval System Using Query-by-Playing
                  Techniques},
  booktitle    = {29th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2017, Boston, MA, USA, November 6-8, 2017},
  pages        = {535--542},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICTAI.2017.00087},
  doi          = {10.1109/ICTAI.2017.00087},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/MartinianoS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iir/PandolfiDMS17,
  author       = {Federico Maria Pandolfi and
                  Davide Desirello and
                  Luca Martini and
                  Rosario Di Stabile},
  editor       = {Fabio Crestani and
                  Tommaso Di Noia and
                  Raffaele Perego},
  title        = {A Framework for Visual Search in Broadcast archives},
  booktitle    = {Proceedings of the 8th Italian Information Retrieval Workshop, Lugano,
                  Switzerland, June 05-07, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1911},
  pages        = {28--39},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1911/6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:48 +0100},
  biburl       = {https://dblp.org/rec/conf/iir/PandolfiDMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc8077,
  author       = {Luca Martini and
                  Giles Heron},
  title        = {Pseudowire Setup and Maintenance Using the Label Distribution Protocol
                  {(LDP)}},
  journal      = {{RFC}},
  volume       = {8077},
  pages        = {1--35},
  year         = {2017},
  url          = {https://doi.org/10.17487/RFC8077},
  doi          = {10.17487/RFC8077},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc8077.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc8237,
  author       = {Luca Martini and
                  George Swallow and
                  Elisa Bellagamba},
  title        = {{MPLS} Label Switched Path {(LSP)} Pseudowire {(PW)} Status Refresh
                  Reduction for Static PWs},
  journal      = {{RFC}},
  volume       = {8237},
  pages        = {1--20},
  year         = {2017},
  url          = {https://doi.org/10.17487/RFC8237},
  doi          = {10.17487/RFC8237},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc8237.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijinfoman/GhezziGLMC16,
  author       = {Antonio Ghezzi and
                  Luca Gastaldi and
                  Emanuele Lettieri and
                  Antonella Martini and
                  Mariano Corso},
  title        = {A role for startups in unleashing the disruptive power of social media},
  journal      = {Int. J. Inf. Manag.},
  volume       = {36},
  number       = {6},
  pages        = {1152--1159},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ijinfomgt.2016.04.007},
  doi          = {10.1016/J.IJINFOMGT.2016.04.007},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijinfoman/GhezziGLMC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpram/AlfeoACLMV16,
  author       = {Antonio L. Alfeo and
                  Francesco Paolo Appio and
                  Mario G. C. A. Cimino and
                  Alessandro Lazzeri and
                  Antonella Martini and
                  Gigliola Vaglini},
  editor       = {Maria De Marsico and
                  Gabriella Sanniti di Baja and
                  Ana L. N. Fred},
  title        = {An Adaptive Stigmergy-based System for Evaluating Technological Indicator
                  Dynamics in the Context of Smart Specialization},
  booktitle    = {Proceedings of the 5th International Conference on Pattern Recognition
                  Applications and Methods, {ICPRAM} 2016, Rome, Italy, February 24-26,
                  2016},
  pages        = {497--502},
  publisher    = {SciTePress},
  year         = {2016},
  url          = {https://doi.org/10.5220/0005645204970502},
  doi          = {10.5220/0005645204970502},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icpram/AlfeoACLMV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtsr/ArcidiaconoML16,
  author       = {Gabriele Arcidiacono and
                  Isabella Martini and
                  Ernesto William De Luca},
  editor       = {Ernesto William De Luca and
                  Paolo Bianchini},
  title        = {Sharing knowledge engineering for digital humanities},
  booktitle    = {Proceedings of the First Workshop on Digital Humanities and Digital
                  Curation co-located with the 10th Conference on Metadata and Semantics
                  Research {(MTSR} 2016), Goettingen, Germany, November 22, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1764},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1764/3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/mtsr/ArcidiaconoML16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijtm/GastaldiAMC15,
  author       = {Luca Gastaldi and
                  Francesco Paolo Appio and
                  Antonella Martini and
                  Mariano Corso},
  title        = {Academics as orchestrators of continuous innovation ecosystems: towards
                  a fourth generation of {CI} initiatives},
  journal      = {Int. J. Technol. Manag.},
  volume       = {68},
  number       = {1/2},
  pages        = {1--20},
  year         = {2015},
  url          = {https://doi.org/10.1504/IJTM.2015.068784},
  doi          = {10.1504/IJTM.2015.068784},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijtm/GastaldiAMC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwasi/LovecchioPCACMP15,
  author       = {Nicola Lovecchio and
                  Giulia Petrucci and
                  Domenico Caputo and
                  Samia Alameddine and
                  Matteo Carpentiero and
                  Luca Martini and
                  Emanuele Parisi and
                  Giampiero de Cesare and
                  Augusto Nascetti},
  title        = {Thermal control system based on thin film heaters and amorphous silicon
                  diodes},
  booktitle    = {6th International Workshop on Advances in Sensors and Interfaces,
                  {IWASI} 2015, Gallipoli, Italy, June 18-19, 2015},
  pages        = {277--282},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/IWASI.2015.7184977},
  doi          = {10.1109/IWASI.2015.7184977},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwasi/LovecchioPCACMP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc7708,
  author       = {Thomas D. Nadeau and
                  Luca Martini and
                  Stewart Bryant},
  title        = {Using a Generic Associated Channel Label as a Virtual Circuit Connectivity
                  Verification Channel Indicator},
  journal      = {{RFC}},
  volume       = {7708},
  pages        = {1--9},
  year         = {2015},
  url          = {https://doi.org/10.17487/RFC7708},
  doi          = {10.17487/RFC7708},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc7708.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccve/GharbaouiBMVCC14,
  author       = {Molka Gharbaoui and
                  Raffaele Bruno and
                  Barbara Martini and
                  Luca Valcarenghi and
                  Marco Conti and
                  Piero Castoldi},
  title        = {Assessing the effect of introducing adaptive charging stations in
                  public {EV} charging infrastructures},
  booktitle    = {International Conference on Connected Vehicles and Expo, {ICCVE} 2014,
                  Vienna, Austria, November 3-7, 2014},
  pages        = {299--305},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICCVE.2014.7297560},
  doi          = {10.1109/ICCVE.2014.7297560},
  timestamp    = {Mon, 31 Oct 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccve/GharbaouiBMVCC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc7267,
  author       = {Luca Martini and
                  Matthew Bocci and
                  Florin Balus},
  title        = {Dynamic Placement of Multi-Segment Pseudowires},
  journal      = {{RFC}},
  volume       = {7267},
  pages        = {1--24},
  year         = {2014},
  url          = {https://doi.org/10.17487/RFC7267},
  doi          = {10.17487/RFC7267},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc7267.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc7275,
  author       = {Luca Martini and
                  Samer Salam and
                  Ali Sajassi and
                  Matthew Bocci and
                  Satoru Matsushima and
                  Thomas D. Nadeau},
  title        = {Inter-Chassis Communication Protocol for Layer 2 Virtual Private Network
                  {(L2VPN)} Provider Edge {(PE)} Redundancy},
  journal      = {{RFC}},
  volume       = {7275},
  pages        = {1--83},
  year         = {2014},
  url          = {https://doi.org/10.17487/RFC7275},
  doi          = {10.17487/RFC7275},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc7275.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc7358,
  author       = {Kamran Raza and
                  Sami Boutros and
                  Luca Martini and
                  Nicolai Leymann},
  title        = {Label Advertisement Discipline for {LDP} Forwarding Equivalence Classes
                  (FECs)},
  journal      = {{RFC}},
  volume       = {7358},
  pages        = {1--8},
  year         = {2014},
  url          = {https://doi.org/10.17487/RFC7358},
  doi          = {10.17487/RFC7358},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc7358.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc7392,
  author       = {Pranjal Kumar Dutta and
                  Matthew Bocci and
                  Luca Martini},
  title        = {Explicit Path Routing for Dynamic Multi-Segment Pseudowires},
  journal      = {{RFC}},
  volume       = {7392},
  pages        = {1--10},
  year         = {2014},
  url          = {https://doi.org/10.17487/RFC7392},
  doi          = {10.17487/RFC7392},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc7392.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijtm/MartiniLGC13,
  author       = {Antonella Martini and
                  Bj{\o}rge Timenes Laugen and
                  Luca Gastaldi and
                  Mariano Corso},
  title        = {Continuous innovation: towards a paradoxical, ambidextrous combination
                  of exploration and exploitation},
  journal      = {Int. J. Technol. Manag.},
  volume       = {61},
  number       = {1},
  pages        = {1--22},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJTM.2013.050246},
  doi          = {10.1504/IJTM.2013.050246},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijtm/MartiniLGC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itst/GharbaouiMBVCC13,
  author       = {Molka Gharbaoui and
                  Barbara Martini and
                  Raffaele Bruno and
                  Luca Valcarenghi and
                  Marco Conti and
                  Piero Castoldi},
  title        = {Policies for efficient usage of an {EV} charging infrastructure deployed
                  in city parking facilities},
  booktitle    = {13th International Conference on {ITS} Telecommunications, {ITST}
                  2013, Tampere, Finland, November 5-7, 2013},
  pages        = {384--389},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ITST.2013.6685577},
  doi          = {10.1109/ITST.2013.6685577},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itst/GharbaouiMBVCC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wirn/EspositoDAGM13,
  author       = {Antonietta Maria Esposito and
                  Luca D'Auria and
                  Andrea Angelillo and
                  Flora Giudicepietro and
                  Marcello Martini},
  editor       = {Simone Bassis and
                  Anna Esposito and
                  Francesco Carlo Morabito},
  title        = {Predictive Analysis of the Seismicity Level at Campi Flegrei Volcano
                  Using a Data-Driven Approach},
  booktitle    = {Recent Advances of Neural Network Models and Applications - Proceedings
                  of the 23rd Workshop of the Italian Neural Networks Society, {WIRN}
                  2013, Vietri sul Mare, Salerno, Italy, May 23-25, 2013},
  series       = {Smart Innovation, Systems and Technologies},
  volume       = {26},
  pages        = {133--145},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-04129-2\_14},
  doi          = {10.1007/978-3-319-04129-2\_14},
  timestamp    = {Thu, 17 Sep 2020 17:55:39 +0200},
  biburl       = {https://dblp.org/rec/conf/wirn/EspositoDAGM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BrunoVGM13,
  author       = {Raffaele Bruno and
                  Luca Valcarenghi and
                  Molka Gharbaoui and
                  Barbara Martini},
  title        = {Smart Management of Renewable Energy for Green Transport},
  journal      = {{ERCIM} News},
  volume       = {2013},
  number       = {92},
  year         = {2013},
  url          = {http://ercim-news.ercim.eu/en92/special/smart-management-of-renewable-energy-for-green-transport},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/BrunoVGM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc7032,
  author       = {Thomas Beckhaus and
                  Bruno Decraene and
                  Kishore Tiruveedhula and
                  Maciek Konstantynowicz and
                  Luca Martini},
  title        = {{LDP} Downstream-on-Demand in Seamless {MPLS}},
  journal      = {{RFC}},
  volume       = {7032},
  pages        = {1--35},
  year         = {2013},
  url          = {https://doi.org/10.17487/RFC7032},
  doi          = {10.17487/RFC7032},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc7032.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijtm/MartiniGCML12,
  author       = {Antonella Martini and
                  Luca Gastaldi and
                  Mariano Corso and
                  Mats Magnusson and
                  Bj{\o}rge Timenes Laugen},
  title        = {Continuously innovating the study of continuous innovation: from actionable
                  knowledge to universal theory in continuous innovation research},
  journal      = {Int. J. Technol. Manag.},
  volume       = {60},
  number       = {3/4},
  pages        = {157--178},
  year         = {2012},
  url          = {https://doi.org/10.1504/IJTM.2012.049439},
  doi          = {10.1504/IJTM.2012.049439},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijtm/MartiniGCML12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/FrancescoLM12,
  author       = {Nicoletta De Francesco and
                  Giuseppe Lettieri and
                  Luca Martini},
  title        = {Efficient Genotype Elimination via Adaptive Allele Consolidation},
  journal      = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
  volume       = {9},
  number       = {4},
  pages        = {1180--1189},
  year         = {2012},
  url          = {https://doi.org/10.1109/TCBB.2012.46},
  doi          = {10.1109/TCBB.2012.46},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcbb/FrancescoLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wirn/EspositoDGM12,
  author       = {Antonietta Maria Esposito and
                  Luca D'Auria and
                  Flora Giudicepietro and
                  Marcello Martini},
  editor       = {Bruno Apolloni and
                  Simone Bassis and
                  Anna Esposito and
                  Francesco Carlo Morabito},
  title        = {Waveform Variation of the Explosion-Quakes as a Function of the Eruptive
                  Activity at Stromboli Volcano},
  booktitle    = {Neural Nets and Surroundings - 22nd Italian Workshop on Neural Nets,
                  {WIRN} 2012, Vietri sul Mare, Salerno, Italy, May 17-19, 2012},
  series       = {Smart Innovation, Systems and Technologies},
  volume       = {19},
  pages        = {111--119},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35467-0\_12},
  doi          = {10.1007/978-3-642-35467-0\_12},
  timestamp    = {Thu, 17 Sep 2020 17:55:39 +0200},
  biburl       = {https://dblp.org/rec/conf/wirn/EspositoDGM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc6478,
  author       = {Luca Martini and
                  George Swallow and
                  Giles Heron and
                  Matthew Bocci},
  title        = {Pseudowire Status for Static Pseudowires},
  journal      = {{RFC}},
  volume       = {6478},
  pages        = {1--13},
  year         = {2012},
  url          = {https://doi.org/10.17487/RFC6478},
  doi          = {10.17487/RFC6478},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc6478.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc6658,
  author       = {Stewart Bryant and
                  Luca Martini and
                  George Swallow and
                  Andrew G. Malis},
  title        = {Packet Pseudowire Encapsulation over an {MPLS} {PSN}},
  journal      = {{RFC}},
  volume       = {6658},
  pages        = {1--15},
  year         = {2012},
  url          = {https://doi.org/10.17487/RFC6658},
  doi          = {10.17487/RFC6658},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc6658.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocnet/PaolucciGGCMVC11,
  author       = {Francesco Paolucci and
                  Molka Gharbaoui and
                  Alessio Giorgetti and
                  Filippo Cugini and
                  Barbara Martini and
                  Luca Valcarenghi and
                  Piero Castoldi},
  title        = {Preserving Confidentiality in PCE-based Multi-domain Networks},
  journal      = {{JOCN}},
  volume       = {3},
  number       = {5},
  pages        = {465--474},
  year         = {2011},
  url          = {https://doi.org/10.1364/jocn.3.000465},
  doi          = {10.1364/JOCN.3.000465},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jocnet/PaolucciGGCMVC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wirn/EspositoDGLM11,
  author       = {Antonietta Maria Esposito and
                  Luca D'Auria and
                  Flora Giudicepietro and
                  Mariantonietta Longobardi and
                  Marcello Martini},
  editor       = {Bruno Apolloni and
                  Simone Bassis and
                  Anna Esposito and
                  Francesco Carlo Morabito},
  title        = {Clustering of Hybrid Events at Stromboli Volcano (Italy)},
  booktitle    = {Neural Nets {WIRN11} - Proceedings of the 21st Italian Workshop on
                  Neural Nets, Vietri sul Mare, Salerno, Italy, June 3-5, 2011},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {234},
  pages        = {56--65},
  publisher    = {{IOS} Press},
  year         = {2011},
  url          = {https://doi.org/10.3233/978-1-60750-972-1-56},
  doi          = {10.3233/978-1-60750-972-1-56},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wirn/EspositoDGLM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsks/CorsoGM11,
  author       = {Mariano Corso and
                  Luca Gastaldi and
                  Antonella Martini},
  editor       = {Miltiadis D. Lytras and
                  Da Ruan and
                  Robert D. Tennyson and
                  Patricia Ord{\'{o}}{\~{n}}ez de Pablos and
                  Francisco Jos{\'{e}} Garc{\'{\i}}a{-}Pe{\~{n}}alvo and
                  Lazar Rusu},
  title        = {The Role of {ICT} in the New (Virtual) Working Space - An Empirical
                  Investigation on Enterprise 2.0},
  booktitle    = {Information Systems, E-learning, and Knowledge Management Research
                  - 4th World Summit on the Knowledge Society, {WSKS} 2011, Mykonos,
                  Greece, September 21-23, 2011. Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {278},
  pages        = {546--556},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-35879-1\_69},
  doi          = {10.1007/978-3-642-35879-1\_69},
  timestamp    = {Sun, 02 Jun 2019 21:28:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsks/CorsoGM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc6073,
  author       = {Luca Martini and
                  Chris Metz and
                  Thomas D. Nadeau and
                  Matthew Bocci and
                  Mustapha A{\"{\i}}ssaoui},
  title        = {Segmented Pseudowire},
  journal      = {{RFC}},
  volume       = {6073},
  pages        = {1--43},
  year         = {2011},
  url          = {https://doi.org/10.17487/RFC6073},
  doi          = {10.17487/RFC6073},
  timestamp    = {Mon, 11 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc6073.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc6310,
  author       = {Mustapha A{\"{\i}}ssaoui and
                  Peter Busschbach and
                  Luca Martini and
                  Monique Morrow and
                  Thomas D. Nadeau and
                  Yaakov Stein},
  title        = {Pseudowire {(PW)} Operations, Administration, and Maintenance {(OAM)}
                  Message Mapping},
  journal      = {{RFC}},
  volume       = {6310},
  pages        = {1--40},
  year         = {2011},
  url          = {https://doi.org/10.17487/RFC6310},
  doi          = {10.17487/RFC6310},
  timestamp    = {Tue, 06 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc6310.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc6423,
  author       = {Han Li and
                  Luca Martini and
                  Jia He and
                  Feng Huang},
  title        = {Using the Generic Associated Channel Label for Pseudowire in the {MPLS}
                  Transport Profile {(MPLS-TP)}},
  journal      = {{RFC}},
  volume       = {6423},
  pages        = {1--5},
  year         = {2011},
  url          = {https://doi.org/10.17487/RFC6423},
  doi          = {10.17487/RFC6423},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc6423.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Martini10,
  author       = {Luca Martini},
  title        = {Checking Secure Information Flow in Programs},
  school       = {University of Pisa, Italy},
  year         = {2010},
  url          = {https://etd.adm.unipi.it/theses/available/etd-04272010-110934/},
  timestamp    = {Tue, 02 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/it/Martini10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FrancescoLMV10,
  author       = {Nicoletta De Francesco and
                  Giuseppe Lettieri and
                  Luca Martini and
                  Gigliola Vaglini},
  title        = {Partial model checking via abstract interpretation},
  journal      = {Inf. Process. Lett.},
  volume       = {110},
  number       = {3},
  pages        = {99--103},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.ipl.2009.10.014},
  doi          = {10.1016/J.IPL.2009.10.014},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/FrancescoLMV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FrancescoLM10,
  author       = {Nicoletta De Francesco and
                  Giuseppe Lettieri and
                  Luca Martini},
  title        = {Using abstract interpretation to add type checking for interfaces
                  in Java bytecode verification},
  journal      = {Theor. Comput. Sci.},
  volume       = {411},
  number       = {22-24},
  pages        = {2174--2201},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.tcs.2010.01.026},
  doi          = {10.1016/J.TCS.2010.01.026},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FrancescoLM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wirn/EspositoGDPM10,
  author       = {Antonietta Maria Esposito and
                  Flora Giudicepietro and
                  Luca D'Auria and
                  Rosario Peluso and
                  Marcello Martini},
  editor       = {Bruno Apolloni and
                  Simone Bassis and
                  Anna Esposito and
                  Francesco Carlo Morabito},
  title        = {A Neural-based Algorithm for Landslide Detection at Stromboli Volcano:
                  Preliminary Results},
  booktitle    = {Neural Nets {WIRN10} - Proceedings of the 20th Italian Workshop on
                  Neural Nets, Vietri sul Mare, Salerno, Italy, May 27-29 2010},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {226},
  pages        = {188--197},
  publisher    = {{IOS} Press},
  year         = {2010},
  url          = {https://doi.org/10.3233/978-1-60750-692-8-188},
  doi          = {10.3233/978-1-60750-692-8-188},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wirn/EspositoGDPM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1008-3305,
  author       = {Nicoletta De Francesco and
                  Giuseppe Lettieri and
                  Luca Martini},
  editor       = {Paolo Milazzo and
                  Mario de J. P{\'{e}}rez{-}Jim{\'{e}}nez},
  title        = {Celer: an Efficient Program for Genotype Elimination},
  booktitle    = {Proceedings First Workshop on Applications of Membrane computing,
                  Concurrency and Agent-based modelling in POPulation biology, {AMCA-POP}
                  2010, Jena, Germany, 25th August 2010},
  series       = {{EPTCS}},
  volume       = {33},
  pages        = {56--70},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.33.4},
  doi          = {10.4204/EPTCS.33.4},
  timestamp    = {Wed, 12 Sep 2018 01:05:16 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1008-3305.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/MariottiniME09,
  author       = {Gian Luca Mariottini and
                  Simone Martini and
                  Magnus Egerstedt},
  title        = {A switching active sensing strategy to maintain observability for
                  vision-based formation control},
  booktitle    = {2009 {IEEE} International Conference on Robotics and Automation, {ICRA}
                  2009, Kobe, Japan, May 12-17, 2009},
  pages        = {2637--2642},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ROBOT.2009.5152479},
  doi          = {10.1109/ROBOT.2009.5152479},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/MariottiniME09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/complexity/DAuriaM09,
  author       = {Luca D'Auria and
                  Marcello Martini},
  editor       = {Robert A. Meyers},
  title        = {Slug Flow: Modeling in a Conduit and Associated Elastic Radiation},
  booktitle    = {Encyclopedia of Complexity and Systems Science},
  pages        = {8153--8168},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-0-387-30440-3\_483},
  doi          = {10.1007/978-0-387-30440-3\_483},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/complexity/DAuriaM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BernardeschiFLMM08,
  author       = {Cinzia Bernardeschi and
                  Nicoletta De Francesco and
                  Giuseppe Lettieri and
                  Luca Martini and
                  Paolo Masci},
  title        = {Decomposing bytecode verification by abstract interpretation},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {31},
  number       = {1},
  pages        = {3:1--3:63},
  year         = {2008},
  url          = {https://doi.org/10.1145/1452044.1452047},
  doi          = {10.1145/1452044.1452047},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/BernardeschiFLMM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc5143,
  author       = {Andrew G. Malis and
                  Jeremy Brayley and
                  John Shirron and
                  Luca Martini and
                  Steve Vogelsang},
  title        = {Synchronous Optical Network/Synchronous Digital Hierarchy {(SONET/SDH)}
                  Circuit Emulation Service over {MPLS} {(CEM)} Encapsulation},
  journal      = {{RFC}},
  volume       = {5143},
  pages        = {1--24},
  year         = {2008},
  url          = {https://doi.org/10.17487/RFC5143},
  doi          = {10.17487/RFC5143},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc5143.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc5254,
  author       = {Nabil Bitar and
                  Matthew Bocci and
                  Luca Martini},
  title        = {Requirements for Multi-Segment Pseudowire Emulation Edge-to-Edge {(PWE3)}},
  journal      = {{RFC}},
  volume       = {5254},
  pages        = {1--27},
  year         = {2008},
  url          = {https://doi.org/10.17487/RFC5254},
  doi          = {10.17487/RFC5254},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc5254.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FrancescoM07,
  author       = {Nicoletta De Francesco and
                  Luca Martini},
  title        = {Instruction-level security analysis for information flow in stack-based
                  assembly languages},
  journal      = {Inf. Comput.},
  volume       = {205},
  number       = {9},
  pages        = {1334--1370},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.ic.2007.04.002},
  doi          = {10.1016/J.IC.2007.04.002},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FrancescoM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/FrancescoM07,
  author       = {Nicoletta De Francesco and
                  Luca Martini},
  title        = {Instruction-level security typing by abstract interpretation},
  journal      = {Int. J. Inf. Sec.},
  volume       = {6},
  number       = {2-3},
  pages        = {85--106},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10207-007-0015-0},
  doi          = {10.1007/S10207-007-0015-0},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijisec/FrancescoM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc4816,
  author       = {Andrew G. Malis and
                  Luca Martini and
                  Jeremy Brayley and
                  Tom Walsh},
  title        = {Pseudowire Emulation Edge-to-Edge {(PWE3)} Asynchronous Transfer Mode
                  {(ATM)} Transparent Cell Transport Service},
  journal      = {{RFC}},
  volume       = {4816},
  pages        = {1--5},
  year         = {2007},
  url          = {https://doi.org/10.17487/RFC4816},
  doi          = {10.17487/RFC4816},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc4816.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc4863,
  author       = {Luca Martini and
                  George Swallow},
  title        = {Wildcard Pseudowire Type},
  journal      = {{RFC}},
  volume       = {4863},
  pages        = {1--6},
  year         = {2007},
  url          = {https://doi.org/10.17487/RFC4863},
  doi          = {10.17487/RFC4863},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc4863.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc4905,
  author       = {Luca Martini and
                  Eric C. Rosen and
                  Nasser El{-}Aawar},
  title        = {Encapsulation Methods for Transport of Layer 2 Frames over {MPLS}
                  Networks},
  journal      = {{RFC}},
  volume       = {4905},
  pages        = {1--20},
  year         = {2007},
  url          = {https://doi.org/10.17487/RFC4905},
  doi          = {10.17487/RFC4905},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc4905.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc4906,
  author       = {Luca Martini and
                  Eric C. Rosen and
                  Nasser El{-}Aawar},
  title        = {Transport of Layer 2 Frames Over {MPLS}},
  journal      = {{RFC}},
  volume       = {4906},
  pages        = {1--22},
  year         = {2007},
  url          = {https://doi.org/10.17487/RFC4906},
  doi          = {10.17487/RFC4906},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc4906.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc5003,
  author       = {Chris Metz and
                  Luca Martini and
                  Florin Balus and
                  Jeff Sugimoto},
  title        = {Attachment Individual Identifier {(AII)} Types for Aggregation},
  journal      = {{RFC}},
  volume       = {5003},
  pages        = {1--7},
  year         = {2007},
  url          = {https://doi.org/10.17487/RFC5003},
  doi          = {10.17487/RFC5003},
  timestamp    = {Mon, 11 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc5003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BernardeschiLMM06,
  author       = {Cinzia Bernardeschi and
                  Giuseppe Lettieri and
                  Luca Martini and
                  Paolo Masci},
  title        = {Using Control Dependencies for Space-Aware Bytecode Verification},
  journal      = {Comput. J.},
  volume       = {49},
  number       = {2},
  pages        = {234--248},
  year         = {2006},
  url          = {https://doi.org/10.1093/comjnl/bxh161},
  doi          = {10.1093/COMJNL/BXH161},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/BernardeschiLMM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BernardeschiLMM06,
  author       = {Cinzia Bernardeschi and
                  Giuseppe Lettieri and
                  Luca Martini and
                  Paolo Masci},
  title        = {Using postdomination to reduce space requirements of data flow analysis},
  journal      = {Inf. Process. Lett.},
  volume       = {98},
  number       = {1},
  pages        = {11--18},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.ipl.2005.11.017},
  doi          = {10.1016/J.IPL.2005.11.017},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/BernardeschiLMM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgrs/MartiniFFC06,
  author       = {Enrica Martini and
                  Angelo Freni and
                  Luca Facheris and
                  Fabrizio Cuccoli},
  title        = {Impact of tropospheric scintillation in the Ku/K bands on the communications
                  between two {LEO} satellites in a radio occultation geometry},
  journal      = {{IEEE} Trans. Geosci. Remote. Sens.},
  volume       = {44},
  number       = {8},
  pages        = {2063--2071},
  year         = {2006},
  url          = {https://doi.org/10.1109/TGRS.2006.872143},
  doi          = {10.1109/TGRS.2006.872143},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tgrs/MartiniFFC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/broadnets/CastoldiVPMBCM06,
  author       = {Piero Castoldi and
                  Luca Valcarenghi and
                  Francesco Paolucci and
                  Valerio Martini and
                  Fabio Baroncelli and
                  Filippo Cugini and
                  Barbara Martini},
  title        = {Network Resource Management in High-Quality Networks},
  booktitle    = {3rd International Conference on Broadband Communications, Networks,
                  and Systems {(BROADNETS} 2006), 1-5 October 2006, San Jos{\'{e}},
                  California, {USA}},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/BROADNETS.2006.4374345},
  doi          = {10.1109/BROADNETS.2006.4374345},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/broadnets/CastoldiVPMBCM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/SalsanoVMP06,
  author       = {Stefano Salsano and
                  Luca Veltri and
                  Gianluca Martiniello and
                  Andrea Polidoro},
  title        = {Seamless vertical handover of VoIP calls based on {SIP} Session Border
                  Controllers},
  booktitle    = {Proceedings of {IEEE} International Conference on Communications,
                  {ICC} 2006, Istanbul, Turkey, 11-15 June 2006},
  pages        = {2040--2047},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICC.2006.255070},
  doi          = {10.1109/ICC.2006.255070},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icc/SalsanoVMP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/VeltriSM06,
  author       = {Luca Veltri and
                  Stefano Salsano and
                  Gianluca Martiniello},
  title        = {Wireless {LAN-3G} Integration: Unified Mechanisms for Secure Authentication
                  based on {SIP}},
  booktitle    = {Proceedings of {IEEE} International Conference on Communications,
                  {ICC} 2006, Istanbul, Turkey, 11-15 June 2006},
  pages        = {2219--2224},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICC.2006.255100},
  doi          = {10.1109/ICC.2006.255100},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icc/VeltriSM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icns/BaroncelliMVC06,
  author       = {Fabio Baroncelli and
                  Barbara Martini and
                  Luca Valcarenghi and
                  Piero Castoldi},
  title        = {A Service Composition Model for Automatically Switched Transport Networks},
  booktitle    = {2006 International Conference on Networking and Services {(ICNS} 2006),
                  16-21 July 2006, Silicon Valley, California, {USA}},
  pages        = {61},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICNS.2006.16},
  doi          = {10.1109/ICNS.2006.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icns/BaroncelliMVC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc4385,
  author       = {Stewart Bryant and
                  George Swallow and
                  Luca Martini and
                  Danny McPherson},
  title        = {Pseudowire Emulation Edge-to-Edge {(PWE3)} Control Word for Use over
                  an {MPLS} {PSN}},
  journal      = {{RFC}},
  volume       = {4385},
  pages        = {1--12},
  year         = {2006},
  url          = {https://doi.org/10.17487/RFC4385},
  doi          = {10.17487/RFC4385},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc4385.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc4446,
  author       = {Luca Martini},
  title        = {{IANA} Allocations for Pseudowire Edge to Edge Emulation {(PWE3)}},
  journal      = {{RFC}},
  volume       = {4446},
  pages        = {1--9},
  year         = {2006},
  url          = {https://doi.org/10.17487/RFC4446},
  doi          = {10.17487/RFC4446},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc4446.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc4447,
  author       = {Luca Martini and
                  Eric C. Rosen and
                  Nasser El{-}Aawar and
                  Toby Smith and
                  Giles Heron},
  title        = {Pseudowire Setup and Maintenance Using the Label Distribution Protocol
                  {(LDP)}},
  journal      = {{RFC}},
  volume       = {4447},
  pages        = {1--33},
  year         = {2006},
  url          = {https://doi.org/10.17487/RFC4447},
  doi          = {10.17487/RFC4447},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc4447.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc4448,
  author       = {Luca Martini and
                  Eric C. Rosen and
                  Nasser El{-}Aawar and
                  Giles Heron},
  title        = {Encapsulation Methods for Transport of Ethernet over {MPLS} Networks},
  journal      = {{RFC}},
  volume       = {4448},
  pages        = {1--24},
  year         = {2006},
  url          = {https://doi.org/10.17487/RFC4448},
  doi          = {10.17487/RFC4448},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc4448.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc4618,
  author       = {Luca Martini and
                  Eric C. Rosen and
                  Giles Heron and
                  Andrew G. Malis},
  title        = {Encapsulation Methods for Transport of PPP/High-Level Data Link Control
                  {(HDLC)} over {MPLS} Networks},
  journal      = {{RFC}},
  volume       = {4618},
  pages        = {1--16},
  year         = {2006},
  url          = {https://doi.org/10.17487/RFC4618},
  doi          = {10.17487/RFC4618},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc4618.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc4619,
  author       = {Luca Martini and
                  Claude Kawa and
                  Andrew G. Malis},
  title        = {Encapsulation Methods for Transport of Frame Relay over Multiprotocol
                  Label Switching {(MPLS)} Networks},
  journal      = {{RFC}},
  volume       = {4619},
  pages        = {1--19},
  year         = {2006},
  url          = {https://doi.org/10.17487/RFC4619},
  doi          = {10.17487/RFC4619},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc4619.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc4684,
  author       = {Pedro R. Marques and
                  Ronald P. Bonica and
                  Luyuan Fang and
                  Luca Martini and
                  Robert Raszuk and
                  Keyur Patel and
                  Jim Guichard},
  title        = {Constrained Route Distribution for Border Gateway Protocol/MultiProtocol
                  Label Switching {(BGP/MPLS)} Internet Protocol {(IP)} Virtual Private
                  Networks (VPNs)},
  journal      = {{RFC}},
  volume       = {4684},
  pages        = {1--14},
  year         = {2006},
  url          = {https://doi.org/10.17487/RFC4684},
  doi          = {10.17487/RFC4684},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc4684.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc4717,
  author       = {Luca Martini and
                  J. Jayakumar and
                  Matthew Bocci and
                  Nasser El{-}Aawar and
                  Jeremy Brayley and
                  Ghassem Koleyni},
  title        = {Encapsulation Methods for Transport of Asynchronous Transfer Mode
                  {(ATM)} over {MPLS} Networks},
  journal      = {{RFC}},
  volume       = {4717},
  pages        = {1--40},
  year         = {2006},
  url          = {https://doi.org/10.17487/RFC4717},
  doi          = {10.17487/RFC4717},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc4717.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/FrancescoM05,
  author       = {Nicoletta De Francesco and
                  Luca Martini},
  editor       = {Theodosis Dimitrakos and
                  Fabio Martinelli and
                  Peter Y. A. Ryan and
                  Steve A. Schneider},
  title        = {Abstract Interpretation to Check Secure Information Flow in Programs
                  with Input-Output Security Annotations},
  booktitle    = {Formal Aspects in Security and Trust, Third International Workshop,
                  {FAST} 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3866},
  pages        = {63--80},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11679219\_6},
  doi          = {10.1007/11679219\_6},
  timestamp    = {Sun, 02 Oct 2022 16:07:30 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip1-7/FrancescoM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BernardeschiLMM05,
  author       = {Cinzia Bernardeschi and
                  Giuseppe Lettieri and
                  Luca Martini and
                  Paolo Masci},
  editor       = {Fausto Spoto},
  title        = {A Space-Aware Bytecode Verifier for Java Cards},
  booktitle    = {Proceedings of the First Workshop on Bytecode Semantics, Verification,
                  Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April
                  9, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {141},
  number       = {1},
  pages        = {237--254},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.02.027},
  doi          = {10.1016/J.ENTCS.2005.02.027},
  timestamp    = {Tue, 13 Dec 2022 11:21:43 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BernardeschiLMM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BernardeschiFLM04,
  author       = {Cinzia Bernardeschi and
                  Nicoletta De Francesco and
                  Giuseppe Lettieri and
                  Luca Martini},
  title        = {Checking secure information flow in Java bytecode by code transformation
                  and standard bytecode verification},
  journal      = {Softw. Pract. Exp.},
  volume       = {34},
  number       = {13},
  pages        = {1225--1255},
  year         = {2004},
  url          = {https://doi.org/10.1002/spe.611},
  doi          = {10.1002/SPE.611},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/BernardeschiFLM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSEA/BernardeschiM04,
  author       = {Cinzia Bernardeschi and
                  Luca Martini},
  editor       = {M. H. Hamza},
  title        = {Enforcement of applet boundaries in Java card systems},
  booktitle    = {Proceedings of the {IASTED} Conference on Software Engineering and
                  Applications, November 9-11, 2004, MIT, Cambridge, MA, {USA}},
  pages        = {96--101},
  publisher    = {{IASTED/ACTA} Press},
  year         = {2004},
  timestamp    = {Mon, 18 Jun 2007 14:30:27 +0200},
  biburl       = {https://dblp.org/rec/conf/iastedSEA/BernardeschiM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSEA/BernardeschiMM04,
  author       = {Cinzia Bernardeschi and
                  Luca Martini and
                  Paolo Masci},
  editor       = {M. H. Hamza},
  title        = {Java bytecode verification with dynamic structures},
  booktitle    = {Proceedings of the {IASTED} Conference on Software Engineering and
                  Applications, November 9-11, 2004, MIT, Cambridge, MA, {USA}},
  pages        = {559--564},
  publisher    = {{IASTED/ACTA} Press},
  year         = {2004},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iastedSEA/BernardeschiMM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/BernardeschiFM03,
  author       = {Cinzia Bernardeschi and
                  Nicoletta De Francesco and
                  Luca Martini},
  editor       = {Robert Meersman and
                  Zahir Tari},
  title        = {Efficient Bytecode Verification Using Immediate Postdominators in
                  Control Flow Graphs: Extended Abstract},
  booktitle    = {On The Move to Meaningful Internet Systems 2003: {OTM} 2003 Workshops,
                  {OTM} Confederated International Workshops, HCI-SWWA, IPW, JTRES,
                  WORM, WMS, and {WRSM} 2003, Catania, Sicily, Italy, November 3-7,
                  2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2889},
  pages        = {425--436},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39962-9\_49},
  doi          = {10.1007/978-3-540-39962-9\_49},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/BernardeschiFM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/LagoMR03,
  author       = {Ugo Dal Lago and
                  Simone Martini and
                  Luca Roversi},
  editor       = {Stefano Berardi and
                  Mario Coppo and
                  Ferruccio Damiani},
  title        = {Higher-Order Linear Ramified Recurrence},
  booktitle    = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
                  Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3085},
  pages        = {178--193},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24849-1\_12},
  doi          = {10.1007/978-3-540-24849-1\_12},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/types/LagoMR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanoms/GuedjMV99,
  author       = {Jean{-}Daniel Guedj and
                  Giovanni Martini and
                  Luca Valtriani},
  editor       = {Carlos Becker Westphall},
  title        = {Defining a Generic Information Model for Addresing New Service Offers
                  in a Competitive Scenario},
  booktitle    = {1st Latin American Network Operations and Management Symposium, {LANOMS}
                  1999, Rio de Janeiro, Brazil, December 3-5, 1999. Proceedings},
  year         = {1999},
  url          = {http://www.lanoms.org/2005/anaiscd/1999/6-1.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lanoms/GuedjMV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CardelliMMS94,
  author       = {Luca Cardelli and
                  Simone Martini and
                  John C. Mitchell and
                  Andre Scedrov},
  title        = {An Extension of System {F} with Subtyping},
  journal      = {Inf. Comput.},
  volume       = {109},
  number       = {1/2},
  pages        = {4--56},
  year         = {1994},
  url          = {https://doi.org/10.1006/inco.1994.1013},
  doi          = {10.1006/INCO.1994.1013},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CardelliMMS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/CardelliMMS91,
  author       = {Luca Cardelli and
                  Simone Martini and
                  John C. Mitchell and
                  Andre Scedrov},
  editor       = {Takayasu Ito and
                  Albert R. Meyer},
  title        = {An Extension of System {F} with Subtyping},
  booktitle    = {Theoretical Aspects of Computer Software, International Conference
                  {TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {526},
  pages        = {750--770},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54415-1\_73},
  doi          = {10.1007/3-540-54415-1\_73},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/tacs/CardelliMMS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics