![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "Rocco De Rosa"
@inproceedings{DBLP:conf/biostec/ZaccagninoFRZ24, author = {Rocco Zaccagnino and Clelia De Felice and Marco Russo and Rosalba Zizza}, editor = {Maria Pedro Guarino and Kazuhiro Hotta and Malik Yousef and Hui Liu and Giovanni Saggio and Ana Fred and Hugo Gamboa}, title = {Visual Insights in Human Cancer Mutational Patterns: Similarity-Based Cancer Classification Using Siamese Networks}, booktitle = {Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies, {BIOSTEC} 2024, Volume 1, Rome, Italy, February 21-23, 2024}, pages = {462--470}, publisher = {{SCITEPRESS}}, year = {2024}, url = {https://doi.org/10.5220/0012399600003657}, doi = {10.5220/0012399600003657}, timestamp = {Tue, 13 Aug 2024 14:18:08 +0200}, biburl = {https://dblp.org/rec/conf/biostec/ZaccagninoFRZ24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hci/ColaceSGLP24, author = {Francesco Colace and Massimo De Santo and Rosario Gaeta and Rocco Loffredo and Luigi Petti}, editor = {Helmut Degen and Stavroula Ntoa}, title = {{FAUNO:} {A} Machine Learning-Based Methodology for Monitoring and Predictive Maintenance of Structures in Archaeological Parks Through Image Analysis}, booktitle = {Artificial Intelligence in {HCI} - 5th International Conference, {AI-HCI} 2024, Held as Part of the 26th {HCI} International Conference, {HCII} 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {14735}, pages = {342--359}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-60611-3\_24}, doi = {10.1007/978-3-031-60611-3\_24}, timestamp = {Wed, 12 Jun 2024 15:08:29 +0200}, biburl = {https://dblp.org/rec/conf/hci/ColaceSGLP24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/BonizzoniFRZZ24, author = {Paola Bonizzoni and Clelia De Felice and Brian Riccardi and Rocco Zaccagnino and Rosalba Zizza}, editor = {Rastislav Kr{\'{a}}lovic and Anton{\'{\i}}n Kucera}, title = {Unveiling the Connection Between the Lyndon Factorization and the Canonical Inverse Lyndon Factorization via a Border Property}, booktitle = {49th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2024, August 26-30, 2024, Bratislava, Slovakia}, series = {LIPIcs}, volume = {306}, pages = {31:1--31:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2024}, url = {https://doi.org/10.4230/LIPIcs.MFCS.2024.31}, doi = {10.4230/LIPICS.MFCS.2024.31}, timestamp = {Mon, 26 Aug 2024 16:40:52 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/BonizzoniFRZZ24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2404-17969, author = {Paola Bonizzoni and Clelia De Felice and Rocco Zaccagnino and Rosalba Zizza}, title = {From the Lyndon factorization to the Canonical Inverse Lyndon factorization: back and forth}, journal = {CoRR}, volume = {abs/2404.17969}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2404.17969}, doi = {10.48550/ARXIV.2404.17969}, eprinttype = {arXiv}, eprint = {2404.17969}, timestamp = {Wed, 29 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2404-17969.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2406-18473, author = {Paola Bonizzoni and Clelia De Felice and Brian Riccardi and Rocco Zaccagnino and Rosalba Zizza}, title = {Unveiling the connection between the Lyndon factorization and the Canonical Inverse Lyndon factorization via a border property}, journal = {CoRR}, volume = {abs/2406.18473}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2406.18473}, doi = {10.48550/ARXIV.2406.18473}, eprinttype = {arXiv}, eprint = {2406.18473}, timestamp = {Mon, 22 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2406-18473.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/BonizzoniCFPPPR22, author = {Paola Bonizzoni and Matteo Costantini and Clelia de Felice and Alessia Petescia and Yuri Pirola and Marco Previtali and Raffaella Rizzi and Jens Stoye and Rocco Zaccagnino and Rosalba Zizza}, title = {Numeric Lyndon-based feature embedding of sequencing reads for machine learning approaches}, journal = {Inf. Sci.}, volume = {607}, pages = {458--476}, year = {2022}, url = {https://doi.org/10.1016/j.ins.2022.06.005}, doi = {10.1016/J.INS.2022.06.005}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isci/BonizzoniCFPPPR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jms/MaffongelliBVBC22, author = {Gaetano Maffongelli and Nazario Bevilacqua and Serena Vita and Tommaso Ascoli Bartoli and Angela Corpolongo and Domenico Benvenuto and Tiziana Chiriaco and Giuseppe Spiga and Sergio Ribaldi and Valentina Zirretta and Giuseppe Ippolito and Francesco Nicola Lauria and Francesco Vaia and Emanuele Nicastri and Andreoni Massimo and Angelini Daniele and Bertazzoni Giuliano and Betti Antonio and Bonfini Rita and Casinelli Katia and Caterini Luciano and Cedrone Claudia and Cipollone Lorena and Cristofari Fabrizio and Curti Simona and Dal Piaz Rita and Daniele Paolo and Donati Ugo and Fantoni Massimo and Ferri Enrico and Franceschi Francesco and Gugliemelli Emanuele and Iorio Monica and Lapiccirella Paola and Lazzaro Marco and Lichtner Miriam and Magnanti Massimo and Mancini Flavio and Manetti Luca Luigi and Marchili Mauro and Masella Alessandro and Claudio Maria Mastroianni and Mellacina Mario and Miconi Roberto and Mirante Enrico and Nucera Paolo and Paganelli Carla and Pagnanelli Adolfo and Petrolino Maria and Piccolo Carlo Gaetano and Pomes Michele and Pugliese Francesco Rocco and Ricciuto Giulio Maria and Romanelli Antonio Filippo and Ruggieri Maria Pia and Saggese Maria Paola and Sambuco Federica and Sighieri Cinzia and Soleo Flavio and Susi Beniamino and Timpone Sergio and Travaglino Francesco and Urbano Ettore and Andrea Antinori and Amina Abdeddaim and Francesco Baldini and Rita Bellagamba and Evangelo Boumis and Marta Camici and Alessandro Capone and Emanuela Caraffa and Adriana Cataldo and Stefano Cerilli and Carlotta Cerva and Pierangelo Chinello and Stefania Cicalini and Alessandra D'Abramo and Maria Grazia De Palo and Federico De Zottis and Virginia Di Bari and Francesco Di Gennaro and Gianpiero D'Offizi and Davide Donno and Francesca Faraglia and Vincenzo Galati and Roberta Gagliardini and Saba Gebremeskel Tekle and Maria Letizia Giancola and Guido Granata and Elisabetta Grilli and Fabio Iacomi and Luciana Lepore and Raffaella Libertone and Laura Loiacono and Andrea Mariano and Ilaria Mastrorosa and Valentina Mazzotta and Paola Mencarini and Annalisa Mondi and Silvia Mosti and Maria Musso and Pasquale Noto and Sandrine Ottou and Claudia Palazzolo and Fabrizio Palmieri and Carlo Pareo and Nicola Petrosillo and Carmela Pinnetti and Paolo Migliorisi Ramazzini and Alessia Rianda and Silvia Rosati and Laura Scorzolini and Fabrizio Taglietti and Chiara Taibi and Roberto Tonnarini and Simone Topino and Alessandra Vergori and Laura Vincenzi and Ubaldo Visco{-}Comandini and Pietro Vittozzi and Mauro Zaccarelli}, title = {Telemedicine During {COVID-19} Pandemic: Lesson Learned from the Lazio Region Infectious Diseases and Emergency Department Network}, journal = {J. Medical Syst.}, volume = {46}, number = {12}, pages = {105}, year = {2022}, url = {https://doi.org/10.1007/s10916-022-01887-z}, doi = {10.1007/S10916-022-01887-Z}, timestamp = {Thu, 31 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jms/MaffongelliBVBC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/remotesensing/AlbericoCPTCDR22, author = {Ines Alberico and Daniele Casalbore and Nicola Pelosi and Renato Tonielli and Claudia Roberta Calidonna and Rocco Dominici and Rosanna De Rosa}, title = {Remote Sensing and Field Survey Data Integration to Investigate on the Evolution of the Coastal Area: The Case Study of Bagnara Calabra (Southern Italy)}, journal = {Remote. Sens.}, volume = {14}, number = {10}, pages = {2459}, year = {2022}, url = {https://doi.org/10.3390/rs14102459}, doi = {10.3390/RS14102459}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/remotesensing/AlbericoCPTCDR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sensors/DevannaMMGVPGR22, author = {Rosa Pia Devanna and Annalisa Milella and Roberto Marani and Simone Pietro Garofalo and Gaetano Alessandro Vivaldi and Simone Pascuzzi and Rocco Galati and Giulio Reina}, title = {In-Field Automatic Identification of Pomegranates Using a Farmer Robot}, journal = {Sensors}, volume = {22}, number = {15}, pages = {5821}, year = {2022}, url = {https://doi.org/10.3390/s22155821}, doi = {10.3390/S22155821}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sensors/DevannaMMGVPGR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/biostec/RosaRLCVPSTO22, author = {Giovanni Rosa and Marco Russodivito and Gennaro Laudato and Angela Rita Colavita and Luca De Vito and Francesco Picariello and Simone Scalabrino and Ioan Tudosa and Rocco Oliveto}, editor = {Ana Cec{\'{\i}}lia Roque and Denis Gracanin and Ronny Lorenz and Athanasios Tsanas and Nathalie Bier and Ana Fred and Hugo Gamboa}, title = {ST-Segment Anomalies Detection from Compressed Sensing Based {ECG} Data by Means of Machine Learning}, booktitle = {Biomedical Engineering Systems and Technologies - 15th International Joint Conference, {BIOSTEC} 2022, Virtual Event, February 9-11, 2022, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {1814}, pages = {237--255}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-38854-5\_13}, doi = {10.1007/978-3-031-38854-5\_13}, timestamp = {Tue, 13 Aug 2024 14:18:08 +0200}, biburl = {https://dblp.org/rec/conf/biostec/RosaRLCVPSTO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlt/BonizzoniFPRZZ22, author = {Paola Bonizzoni and Clelia De Felice and Yuri Pirola and Raffaella Rizzi and Rocco Zaccagnino and Rosalba Zizza}, editor = {Volker Diekert and Mikhail V. Volkov}, title = {Can Formal Languages Help Pangenomics to Represent and Analyze Multiple Genomes?}, booktitle = {Developments in Language Theory - 26th International Conference, {DLT} 2022, Tampa, FL, USA, May 9-13, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13257}, pages = {3--12}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-05578-2\_1}, doi = {10.1007/978-3-031-05578-2\_1}, timestamp = {Thu, 09 Nov 2023 20:20:35 +0100}, biburl = {https://dblp.org/rec/conf/dlt/BonizzoniFPRZZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2202-13884, author = {Paola Bonizzoni and Matteo Costantini and Clelia De Felice and Alessia Petescia and Yuri Pirola and Marco Previtali and Raffaella Rizzi and Jens Stoye and Rocco Zaccagnino and Rosalba Zizza}, title = {Numeric Lyndon-based feature embedding of sequencing reads for machine learning approaches}, journal = {CoRR}, volume = {abs/2202.13884}, year = {2022}, url = {https://arxiv.org/abs/2202.13884}, eprinttype = {arXiv}, eprint = {2202.13884}, timestamp = {Thu, 03 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2202-13884.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ram/SciuttiBFCCANDG21, author = {Alessandra Sciutti and Fiorella Battaglia and Maria Rosanna Fossati and Valentina Calderai and Manuel Giuseppe Catalano and Gianluca Antonelli and Giorgio Maria Di Nunzio and Nevio Dubbini and Laura Giarr{\'{e}} and Emanuele Menegatti and Francesca Negrello and Federica Pascucci and Monica Pivetti and Andrea Maria Zanchettin and Arturo Baroncelli and Salvatore Majorana and Carlo Marchisio and Bruno Siciliano and Paolo Rocco and Giorgio Metta and Claudio Melchiorri and Cecilia Laschi and Eugenio Guglielmelli and Alessandro De Luca and Paolo Dario and Antonio Bicchi}, title = {Making an Opportunity Out of a Crisis: The Inclusive Approach of the Italian Robotics Community}, journal = {{IEEE} Robotics Autom. Mag.}, volume = {28}, number = {4}, pages = {79--91}, year = {2021}, url = {https://doi.org/10.1109/MRA.2021.3105639}, doi = {10.1109/MRA.2021.3105639}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ram/SciuttiBFCCANDG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BonizzoniFZZ21, author = {Paola Bonizzoni and Clelia De Felice and Rocco Zaccagnino and Rosalba Zizza}, title = {On the longest common prefix of suffixes in an inverse Lyndon factorization and other properties}, journal = {Theor. Comput. Sci.}, volume = {862}, pages = {24--41}, year = {2021}, url = {https://doi.org/10.1016/j.tcs.2020.10.034}, doi = {10.1016/J.TCS.2020.10.034}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BonizzoniFZZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FeliceZZ21, author = {Clelia De Felice and Rocco Zaccagnino and Rosalba Zizza}, title = {Hybrid and generalized marked systems}, journal = {Theor. Comput. Sci.}, volume = {894}, pages = {79--90}, year = {2021}, url = {https://doi.org/10.1016/j.tcs.2021.08.037}, doi = {10.1016/J.TCS.2021.08.037}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/FeliceZZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alcob/BonizzoniFPPRSZ21, author = {Paola Bonizzoni and Clelia De Felice and Alessia Petescia and Yuri Pirola and Raffaella Rizzi and Jens Stoye and Rocco Zaccagnino and Rosalba Zizza}, editor = {Carlos Mart{\'{\i}}n{-}Vide and Miguel A. Vega{-}Rodr{\'{\i}}guez and Travis J. Wheeler}, title = {Can We Replace Reads by Numeric Signatures? Lyndon Fingerprints as Representations of Sequencing Reads for Machine Learning}, booktitle = {Algorithms for Computational Biology - 8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7-11, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12715}, pages = {16--28}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-74432-8\_2}, doi = {10.1007/978-3-030-74432-8\_2}, timestamp = {Tue, 15 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alcob/BonizzoniFPPRSZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/biostec/RosaRLCVPSTO21, author = {Giovanni Rosa and Marco Russodivito and Gennaro Laudato and Angela Rita Colavita and Luca De Vito and Francesco Picariello and Simone Scalabrino and Ioan Tudosa and Rocco Oliveto}, editor = {Claudine G{\'{e}}hin and Bruno Wacogne and Alexandre Douplik and Ronny Lorenz and Bethany K. Bracken and Catia Pesquita and Ana Fred and Hugo Gamboa}, title = {Multi-class Detection of Arrhythmia Conditions Through the Combination of Compressed Sensing and Machine Learning}, booktitle = {Biomedical Engineering Systems and Technologies - 14th International Joint Conference, {BIOSTEC} 2021, Virtual Event, February 11-13, 2021, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {1710}, pages = {213--235}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-031-20664-1\_12}, doi = {10.1007/978-3-031-20664-1\_12}, timestamp = {Tue, 13 Aug 2024 14:18:08 +0200}, biburl = {https://dblp.org/rec/conf/biostec/RosaRLCVPSTO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BonizzoniFZZ20, author = {Paola Bonizzoni and Clelia De Felice and Rocco Zaccagnino and Rosalba Zizza}, title = {Unavoidable Sets, Prefix Graphs and Regularity of Circular Splicing Languages}, journal = {Fundam. Informaticae}, volume = {171}, number = {1-4}, pages = {81--95}, year = {2020}, url = {https://doi.org/10.3233/FI-2020-1873}, doi = {10.3233/FI-2020-1873}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BonizzoniFZZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlap/NicolaFPT20, author = {Rocco De Nicola and Gian{-}Luigi Ferrari and Rosario Pugliese and Francesco Tiezzi}, title = {A formal approach to the engineering of domain-specific distributed systems}, journal = {J. Log. Algebraic Methods Program.}, volume = {111}, pages = {100511}, year = {2020}, url = {https://doi.org/10.1016/j.jlamp.2019.100511}, doi = {10.1016/J.JLAMP.2019.100511}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlap/NicolaFPT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/biostec/LaudatoRSSPTVBT20, author = {Gennaro Laudato and Giovanni Rosa and Simone Scalabrino and Jonathan Simeone and Francesco Picariello and Ioan Tudosa and Luca De Vito and Franco Boldi and Paolo Torchitti and Riccardo Ceccarelli and Fabrizio Picariello and Luca Torricelli and Aldo Lazich and Rocco Oliveto}, editor = {Federico Cabitza and Ana Fred and Hugo Gamboa}, title = {{MIPHAS:} Military Performances and Health Analysis System}, booktitle = {Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies {(BIOSTEC} 2020) - Volume 5: HEALTHINF, Valletta, Malta, February 24-26, 2020}, pages = {198--207}, publisher = {{SCITEPRESS}}, year = {2020}, url = {https://doi.org/10.5220/0008989401980207}, doi = {10.5220/0008989401980207}, timestamp = {Tue, 13 Aug 2024 14:18:07 +0200}, biburl = {https://dblp.org/rec/conf/biostec/LaudatoRSSPTVBT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/BonizzoniFZZ20, author = {Paola Bonizzoni and Clelia De Felice and Rocco Zaccagnino and Rosalba Zizza}, editor = {Alberto Leporati and Carlos Mart{\'{\i}}n{-}Vide and Dana Shapira and Claudio Zandron}, title = {Lyndon Words versus Inverse Lyndon Words: Queries on Suffixes and Bordered Words}, booktitle = {Language and Automata Theory and Applications - 14th International Conference, {LATA} 2020, Milan, Italy, March 4-6, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12038}, pages = {385--396}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-40608-0\_27}, doi = {10.1007/978-3-030-40608-0\_27}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lata/BonizzoniFZZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/numta/LupianoCALCVRDA19, author = {Valeria Lupiano and Claudia Roberta Calidonna and Elenio Avolio and Salvatore Larosa and Giuseppe Cianflone and Antonio Viscomi and Rosanna De Rosa and Rocco Dominici and Ines Alberico and Nicola Pelosi and Fabrizio Lirer and Salvatore Di Gregorio}, editor = {Yaroslav D. Sergeyev and Dmitri E. Kvasov}, title = {Final Sediment Outcome from Meteorological Flood Events: {A} Multi-modelling Approach}, booktitle = {Numerical Computations: Theory and Algorithms - Third International Conference, {NUMTA} 2019, Crotone, Italy, June 15-21, 2019, Revised Selected Papers, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11973}, pages = {291--306}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-39081-5\_26}, doi = {10.1007/978-3-030-39081-5\_26}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/numta/LupianoCALCVRDA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2019denicola, editor = {Michele Boreale and Flavio Corradini and Michele Loreti and Rosario Pugliese}, title = {Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {11665}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-21485-2}, doi = {10.1007/978-3-030-21485-2}, isbn = {978-3-030-21484-5}, timestamp = {Thu, 04 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2019denicola.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1911-01851, author = {Paola Bonizzoni and Clelia De Felice and Rocco Zaccagnino and Rosalba Zizza}, title = {Lyndon words versus inverse Lyndon words: queries on suffixes and bordered words}, journal = {CoRR}, volume = {abs/1911.01851}, year = {2019}, url = {http://arxiv.org/abs/1911.01851}, eprinttype = {arXiv}, eprint = {1911.01851}, timestamp = {Mon, 11 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-01851.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1912-01289, author = {Rocco De Nicola and Gianluigi Ferrari and Rosario Pugliese and Francesco Tiezzi}, title = {A Formal Approach to the Engineering of Domain-Specific Distributed Systems}, journal = {CoRR}, volume = {abs/1912.01289}, year = {2019}, url = {http://arxiv.org/abs/1912.01289}, eprinttype = {arXiv}, eprint = {1912.01289}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1912-01289.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aam/BonizzoniFZZ18, author = {Paola Bonizzoni and Clelia De Felice and Rocco Zaccagnino and Rosalba Zizza}, title = {Inverse Lyndon words and inverse Lyndon factorizations of words}, journal = {Adv. Appl. Math.}, volume = {101}, pages = {281--319}, year = {2018}, url = {https://doi.org/10.1016/j.aam.2018.08.005}, doi = {10.1016/J.AAM.2018.08.005}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aam/BonizzoniFZZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fi/LettieriAGGMPVZ18, author = {Nicola Lettieri and Antonio Altamura and Rosalba Giugno and Alfonso Guarino and Delfina Malandrino and Alfredo Pulvirenti and Francesco Vicidomini and Rocco Zaccagnino}, title = {\emph{Ex Machina}: Analytical platforms, Law and the Challenges of Computational Legal Science}, journal = {Future Internet}, volume = {10}, number = {5}, pages = {37}, year = {2018}, url = {https://doi.org/10.3390/fi10050037}, doi = {10.3390/FI10050037}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fi/LettieriAGGMPVZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/NucciPRBOL18, author = {Dario Di Nucci and Fabio Palomba and Giuseppe De Rosa and Gabriele Bavota and Rocco Oliveto and Andrea De Lucia}, title = {A Developer Centered Bug Prediction Model}, journal = {{IEEE} Trans. Software Eng.}, volume = {44}, number = {1}, pages = {5--24}, year = {2018}, url = {https://doi.org/10.1109/TSE.2017.2659747}, doi = {10.1109/TSE.2017.2659747}, timestamp = {Thu, 25 Jan 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/NucciPRBOL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/NicolaFPT18, author = {Rocco De Nicola and Gian{-}Luigi Ferrari and Rosario Pugliese and Francesco Tiezzi}, editor = {Giovanna Di Marzo Serugendo and Michele Loreti}, title = {A Formal Approach to the Engineering of Domain-Specific Distributed Systems}, booktitle = {Coordination Models and Languages - 20th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10852}, pages = {110--141}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-92408-3\_5}, doi = {10.1007/978-3-319-92408-3\_5}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/NicolaFPT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csai/MalandrinoZZ18, author = {Delfina Malandrino and Rocco Zaccagnino and Rosalba Zizza}, title = {A Multi-objective Optimization Model for Music Styles}, booktitle = {Proceedings of the 2018 2nd International Conference on Computer Science and Artificial Intelligence, {CSAI} 2018, the 10th International Conference on Information and Multimedia Technology, {ICIMT} 2018, Shenzhen, China, December 08-10, 2018}, pages = {247--251}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3297156.3297205}, doi = {10.1145/3297156.3297205}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csai/MalandrinoZZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/FelicePMZZZ17, author = {Clelia De Felice and Roberto De Prisco and Delfina Malandrino and Gianluca Zaccagnino and Rocco Zaccagnino and Rosalba Zizza}, title = {Splicing music composition}, journal = {Inf. Sci.}, volume = {385}, pages = {196--212}, year = {2017}, url = {https://doi.org/10.1016/j.ins.2017.01.004}, doi = {10.1016/J.INS.2017.01.004}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isci/FelicePMZZZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/RosaC17, author = {Rocco De Rosa and Nicol{\`{o}} Cesa{-}Bianchi}, title = {Confidence Decision Trees via Online and Active Learning for Streaming Data}, journal = {J. Artif. Intell. Res.}, volume = {60}, pages = {1031--1055}, year = {2017}, url = {https://doi.org/10.1613/jair.5440}, doi = {10.1613/JAIR.5440}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jair/RosaC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/prl/RosaGCC17, author = {Rocco De Rosa and Ilaria Gori and Fabio Cuzzolin and Nicol{\`{o}} Cesa{-}Bianchi}, title = {Active Incremental Recognition of Human Activities in a Streaming Context}, journal = {Pattern Recognit. Lett.}, volume = {99}, pages = {48--56}, year = {2017}, url = {https://doi.org/10.1016/j.patrec.2017.03.005}, doi = {10.1016/J.PATREC.2017.03.005}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/prl/RosaGCC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FeliceZZ17, author = {Clelia De Felice and Rocco Zaccagnino and Rosalba Zizza}, title = {Unavoidable sets and circular splicing languages}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {148--158}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.09.008}, doi = {10.1016/J.TCS.2016.09.008}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/FeliceZZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/evoW/PriscoMZZZ17, author = {Roberto De Prisco and Delfina Malandrino and Gianluca Zaccagnino and Rocco Zaccagnino and Rosalba Zizza}, editor = {Jo{\~{a}}o Correia and Vic Ciesielski and Antonios Liapis}, title = {A Kind of Bio-inspired Learning of mUsic stylE}, booktitle = {Computational Intelligence in Music, Sound, Art and Design - 6th International Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10198}, pages = {97--113}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-55750-2\_7}, doi = {10.1007/978-3-319-55750-2\_7}, timestamp = {Wed, 30 Aug 2023 09:17:22 +0200}, biburl = {https://dblp.org/rec/conf/evoW/PriscoMZZZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpnc/PriscoMZZZ17, author = {Roberto De Prisco and Delfina Malandrino and Gianluca Zaccagnino and Rocco Zaccagnino and Rosalba Zizza}, editor = {Carlos Mart{\'{\i}}n{-}Vide and Roman Neruda and Miguel A. Vega{-}Rodr{\'{\i}}guez}, title = {Splicing-Inspired Recognition and Composition of Musical Collectives Styles}, booktitle = {Theory and Practice of Natural Computing - 6th International Conference, {TPNC} 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10687}, pages = {219--231}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-71069-3\_17}, doi = {10.1007/978-3-319-71069-3\_17}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpnc/PriscoMZZZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BonizzoniFZZ17, author = {Paola Bonizzoni and Clelia De Felice and Rocco Zaccagnino and Rosalba Zizza}, title = {Inverse Lyndon words and Inverse Lyndon factorizations of words}, journal = {CoRR}, volume = {abs/1705.10277}, year = {2017}, url = {http://arxiv.org/abs/1705.10277}, eprinttype = {arXiv}, eprint = {1705.10277}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BonizzoniFZZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/js/PunzoLTBCRFCDIL16, author = {Michele Punzo and Chiara Lanciano and Daniela Tarallo and Francesco Bianco and Giuseppe Cavuoto and Rosanna De Rosa and Vincenzo Di Fiore and Giuseppe Cianflone and Rocco Dominici and Michele Iavarone and Fabrizio Lirer and Nicola Pelosi and Laura Giordano and Giovanni Ludeno and Antonio Natale and Ennio Marsella}, title = {Application of X-Band Wave Radar for Coastal Dynamic Analysis: Case Test of Bagnara Calabra (South Tyrrhenian Sea, Italy)}, journal = {J. Sensors}, volume = {2016}, pages = {6236925:1--6236925:9}, year = {2016}, url = {https://doi.org/10.1155/2016/6236925}, doi = {10.1155/2016/6236925}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/js/PunzoLTBCRFCDIL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Rosa16, author = {Rocco De Rosa}, title = {Confidence Decision Trees via Online and Active Learning for Streaming {(BIG)} Data}, journal = {CoRR}, volume = {abs/1604.03278}, year = {2016}, url = {http://arxiv.org/abs/1604.03278}, eprinttype = {arXiv}, eprint = {1604.03278}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Rosa16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/RosaGCCC16, author = {Rocco De Rosa and Ilaria Gori and Fabio Cuzzolin and Barbara Caputo and Nicol{\`{o}} Cesa{-}Bianchi}, title = {Active Learning for Online Recognition of Human Activities from Streaming Videos}, journal = {CoRR}, volume = {abs/1604.02855}, year = {2016}, url = {http://arxiv.org/abs/1604.02855}, eprinttype = {arXiv}, eprint = {1604.02855}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/RosaGCCC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/RosaMC16, author = {Rocco De Rosa and Thomas Mensink and Barbara Caputo}, title = {Online Open World Recognition}, journal = {CoRR}, volume = {abs/1604.02275}, year = {2016}, url = {http://arxiv.org/abs/1604.02275}, eprinttype = {arXiv}, eprint = {1604.02275}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/RosaMC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijar/AntonucciRGC15, author = {Alessandro Antonucci and Rocco De Rosa and Alessandro Giusti and Fabio Cuzzolin}, title = {Robust classification of multivariate time series by imprecise hidden Markov models}, journal = {Int. J. Approx. Reason.}, volume = {56}, pages = {249--263}, year = {2015}, url = {https://doi.org/10.1016/j.ijar.2014.07.005}, doi = {10.1016/J.IJAR.2014.07.005}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijar/AntonucciRGC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/evoW/FelicePMZZZ15, author = {Clelia De Felice and Roberto De Prisco and Delfina Malandrino and Gianluca Zaccagnino and Rocco Zaccagnino and Rosalba Zizza}, editor = {Colin G. Johnson and Adri{\'{a}}n Carballal and Jo{\~{a}}o Correia}, title = {Chorale Music Splicing System: An Algorithmic Music Composer Inspired by Molecular Splicing}, booktitle = {Evolutionary and Biologically Inspired Music, Sound, Art and Design - 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9027}, pages = {50--61}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-16498-4\_5}, doi = {10.1007/978-3-319-16498-4\_5}, timestamp = {Tue, 29 Aug 2023 15:18:02 +0200}, biburl = {https://dblp.org/rec/conf/evoW/FelicePMZZZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdm/RosaOC15, author = {Rocco De Rosa and Francesco Orabona and Nicol{\`{o}} Cesa{-}Bianchi}, editor = {Charu C. Aggarwal and Zhi{-}Hua Zhou and Alexander Tuzhilin and Hui Xiong and Xindong Wu}, title = {The {ABACOC} Algorithm: {A} Novel Approach for Nonparametric Classification of Data Streams}, booktitle = {2015 {IEEE} International Conference on Data Mining, {ICDM} 2015, Atlantic City, NJ, USA, November 14-17, 2015}, pages = {733--738}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICDM.2015.43}, doi = {10.1109/ICDM.2015.43}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icdm/RosaOC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcnn/RosaC15, author = {Rocco De Rosa and Nicol{\`{o}} Cesa{-}Bianchi}, title = {Splitting with confidence in decision trees with application to stream mining}, booktitle = {2015 International Joint Conference on Neural Networks, {IJCNN} 2015, Killarney, Ireland, July 12-17, 2015}, pages = {1--8}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/IJCNN.2015.7280392}, doi = {10.1109/IJCNN.2015.7280392}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/ijcnn/RosaC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/NicolaLLLMMMPTV15, author = {Rocco De Nicola and Diego Latella and Alberto Lluch{-}Lafuente and Michele Loreti and Andrea Margheri and Mieke Massink and Andrea Morichetta and Rosario Pugliese and Francesco Tiezzi and Andrea Vandin}, editor = {Martin Wirsing and Matthias M. H{\"{o}}lzl and Nora Koch and Philip Mayer}, title = {The {SCEL} Language: Design, Implementation, Verification}, booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS} Approach}, series = {Lecture Notes in Computer Science}, volume = {8998}, pages = {3--71}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-16310-9\_1}, doi = {10.1007/978-3-319-16310-9\_1}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/NicolaLLLMMMPTV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BoassonBFFFZZ15, author = {Luc Boasson and Paola Bonizzoni and Clelia De Felice and Isabelle Fagnot and Gabriele Fici and Rocco Zaccagnino and Rosalba Zizza}, title = {Splicing Systems from Past to Future: Old and New Challenges}, journal = {CoRR}, volume = {abs/1510.01574}, year = {2015}, url = {http://arxiv.org/abs/1510.01574}, eprinttype = {arXiv}, eprint = {1510.01574}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BoassonBFFFZZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/RosaOC15, author = {Rocco De Rosa and Francesco Orabona and Nicol{\`{o}} Cesa{-}Bianchi}, title = {The {ABACOC} Algorithm: a Novel Approach for Nonparametric Classification of Data Streams}, journal = {CoRR}, volume = {abs/1508.04912}, year = {2015}, url = {http://arxiv.org/abs/1508.04912}, eprinttype = {arXiv}, eprint = {1508.04912}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/RosaOC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cce/VegaRRF14, author = {Pastora Vega and Rosalba Lamanna de Rocco and Silvana Revollar and Mario Francisco}, title = {Integrated design and control of chemical processes - Part {I:} Revision and classification}, journal = {Comput. Chem. Eng.}, volume = {71}, pages = {602--617}, year = {2014}, url = {https://doi.org/10.1016/j.compchemeng.2014.05.010}, doi = {10.1016/J.COMPCHEMENG.2014.05.010}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cce/VegaRRF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cce/VegaRRF14a, author = {Pastora Vega and Rosalba Lamanna de Rocco and Silvana Revollar and Mario Francisco}, title = {Integrated design and control of chemical processes - Part {II:} An illustrative example}, journal = {Comput. Chem. Eng.}, volume = {71}, pages = {618--635}, year = {2014}, url = {https://doi.org/10.1016/j.compchemeng.2014.09.019}, doi = {10.1016/J.COMPCHEMENG.2014.09.019}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cce/VegaRRF14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/taas/NicolaLPT14, author = {Rocco De Nicola and Michele Loreti and Rosario Pugliese and Francesco Tiezzi}, title = {A Formal Approach to Autonomic Systems Programming: The {SCEL} Language}, journal = {{ACM} Trans. Auton. Adapt. Syst.}, volume = {9}, number = {2}, pages = {7:1--7:29}, year = {2014}, url = {https://doi.org/10.1145/2619998}, doi = {10.1145/2619998}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/taas/NicolaLPT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BoassonBFFFZZ14, author = {Luc Boasson and Paola Bonizzoni and Clelia De Felice and Isabelle Fagnot and Gabriele Fici and Rocco Zaccagnino and Rosalba Zizza}, editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {Splicing Systems from Past to Future: Old and New Challenges}, booktitle = {Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu {(1952-2005)}}, pages = {51--76}, publisher = {The Publishing House of the Romanian Academy}, year = {2014}, timestamp = {Fri, 23 Jan 2015 14:35:08 +0100}, biburl = {https://dblp.org/rec/conf/birthday/BoassonBFFFZZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bmvc/RosaCGC14, author = {Rocco De Rosa and Nicol{\`{o}} Cesa{-}Bianchi and Ilaria Gori and Fabio Cuzzolin}, editor = {Michel Fran{\c{c}}ois Valstar and Andrew P. French and Tony P. Pridmore}, title = {Online Action Recognition via Nonparametric Incremental Learning}, booktitle = {British Machine Vision Conference, {BMVC} 2014, Nottingham, UK, September 1-5, 2014}, publisher = {{BMVA} Press}, year = {2014}, url = {http://www.bmva.org/bmvc/2014/papers/paper110/index.html}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bmvc/RosaCGC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/NicolaLLMPST14, author = {Rocco De Nicola and Alberto Lluch{-}Lafuente and Michele Loreti and Andrea Morichetta and Rosario Pugliese and Valerio Senni and Francesco Tiezzi}, editor = {Saddek Bensalem and Yassine Lakhnech and Axel Legay}, title = {Programming and Verifying Component Ensembles}, booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8415}, pages = {69--83}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54848-2\_5}, doi = {10.1007/978-3-642-54848-2\_5}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/etaps/NicolaLLMPST14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eucc/GoldarRLV14, author = {Alejandro Goldar and Silvana Revollar and Rosalba Lamanna and Pastora Vega}, title = {Neural-MPC for N-removal in activated-sludge plants}, booktitle = {13th European Control Conference, {ECC} 2014, Strasbourg, France, June 24-27, 2014}, pages = {808--813}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ECC.2014.6862361}, doi = {10.1109/ECC.2014.6862361}, timestamp = {Thu, 11 Feb 2021 14:14:57 +0100}, biburl = {https://dblp.org/rec/conf/eucc/GoldarRLV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/CabriCCNPTZ14, author = {Giacomo Cabri and Nicola Capodieci and Luca Cesari and Rocco De Nicola and Rosario Pugliese and Francesco Tiezzi and Franco Zambonelli}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Self-expression and Dynamic Attribute-Based Ensembles in {SCEL}}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {8802}, pages = {147--163}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-45234-9\_11}, doi = {10.1007/978-3-662-45234-9\_11}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isola/CabriCCNPTZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpnc/FeliceZZ14, author = {Clelia De Felice and Rocco Zaccagnino and Rosalba Zizza}, editor = {Adrian{-}Horia Dediu and Manuel Lozano and Carlos Mart{\'{\i}}n{-}Vide}, title = {Unavoidable Sets and Regularity of Languages Generated by (1, 3)-Circular Splicing Systems}, booktitle = {Theory and Practice of Natural Computing - Third International Conference, {TPNC} 2014, Granada, Spain, December 9-11, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8890}, pages = {169--180}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-13749-0\_15}, doi = {10.1007/978-3-319-13749-0\_15}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpnc/FeliceZZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/CesariNPPTZ13, author = {Luca Cesari and Rocco De Nicola and Rosario Pugliese and Mariachiara Puviani and Francesco Tiezzi and Franco Zambonelli}, editor = {Jos{\'{e}} Luiz Fiadeiro and Zhiming Liu and Jinyun Xue}, title = {Formalising Adaptation Patterns for Autonomic Ensembles}, booktitle = {Formal Aspects of Component Software - 10th International Symposium, {FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8348}, pages = {100--118}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-07602-7\_8}, doi = {10.1007/978-3-319-07602-7\_8}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/facs2/CesariNPPTZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/HaiducRBOLM04, author = {Sonia Haiduc and Giuseppe De Rosa and Gabriele Bavota and Rocco Oliveto and Andrea De Lucia and Andrian Marcus}, editor = {David Notkin and Betty H. C. Cheng and Klaus Pohl}, title = {Query quality prediction and reformulation for source code search: the refoqus tool}, booktitle = {35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013}, pages = {1307--1310}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ICSE.2013.6606704}, doi = {10.1109/ICSE.2013.6606704}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/HaiducRBOLM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/saso/BuresNGHKKMMPSWZ13, author = {Tom{\'{a}}s Bures and Rocco De Nicola and Ilias Gerostathopoulos and Nicklas Hoch and Michal Kit and Nora Koch and Giacoma Valentina Monreale and Ugo Montanari and Rosario Pugliese and Nikola B. Serbedzija and Martin Wirsing and Franco Zambonelli}, title = {A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase}, booktitle = {7th {IEEE} International Conference on Self-Adaptation and Self-Organizing Systems Workshops, SASOW, 2013, Philadelphia, PA, USA, September 9-13, 2013}, pages = {71--76}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/SASOW.2013.23}, doi = {10.1109/SASOW.2013.23}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/saso/BuresNGHKKMMPSWZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/CoraniAR12, author = {Giorgio Corani and Alessandro Antonucci and Rocco De Rosa}, editor = {Luc De Raedt and Christian Bessiere and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas}, title = {Compression-based {AODE} Classifiers}, booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)} System Demonstrations Track, Montpellier, France, August 27-31 , 2012}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {242}, pages = {264--269}, publisher = {{IOS} Press}, year = {2012}, url = {https://doi.org/10.3233/978-1-61499-098-7-264}, doi = {10.3233/978-1-61499-098-7-264}, timestamp = {Mon, 19 Jun 2023 16:36:09 +0200}, biburl = {https://dblp.org/rec/conf/ecai/CoraniAR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsea/FilhoLFMSOCR11, author = {Jo{\~{a}}o In{\'{a}}cio da Silva Filho and Germano Lambert{-}Torres and Lu{\'{\i}}s Fernando Pompeo Ferrara and Maur{\'{\i}}cio Concei{\c{c}}{\~{a}}o M{\'{a}}rio and Marcos Rosa dos Santos and Alexandre Shozo Onuki and Jos{\'{e}} de Melo Camargo and Alexandre Rocco}, title = {Paraconsistent Algorithm Extractor of Contradiction Effects - \emph{ParaExtr\({}_{\mbox{ctr}}\)}}, journal = {J. Softw. Eng. Appl.}, volume = {4}, number = {10}, pages = {579--584}, year = {2011}, url = {https://doi.org/10.4236/jsea.2011.410067}, doi = {10.4236/JSEA.2011.410067}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsea/FilhoLFMSOCR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmco/NicolaFLP11, author = {Rocco De Nicola and Gian{-}Luigi Ferrari and Michele Loreti and Rosario Pugliese}, editor = {Bernhard Beckert and Ferruccio Damiani and Frank S. de Boer and Marcello M. Bonsangue}, title = {A Language-Based Approach to Autonomic Computing}, booktitle = {Formal Methods for Components and Objects, 10th International Symposium, {FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7542}, pages = {25--48}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-35887-6\_2}, doi = {10.1007/978-3-642-35887-6\_2}, timestamp = {Mon, 26 Jun 2023 20:47:53 +0200}, biburl = {https://dblp.org/rec/conf/fmco/NicolaFLP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wirn/AntonucciR11, author = {Alessandro Antonucci and Rocco De Rosa}, editor = {Bruno Apolloni and Simone Bassis and Anna Esposito and Francesco Carlo Morabito}, title = {Time Series Classification by Imprecise Hidden Markov Models}, 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 = {195--202}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-972-1-195}, doi = {10.3233/978-1-60750-972-1-195}, timestamp = {Tue, 19 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wirn/AntonucciR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/sensoria2011/CairesNPVZ11, author = {Lu{\'{\i}}s Caires and Rocco De Nicola and Rosario Pugliese and Vasco Thudichum Vasconcelos and Gianluigi Zavattaro}, editor = {Martin Wirsing and Matthias M. H{\"{o}}lzl}, title = {Core Calculi for Service-Oriented Computing}, booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results of the {SENSORIA} Project on Software Engineering for Service-Oriented Computing}, series = {Lecture Notes in Computer Science}, volume = {6582}, pages = {153--188}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20401-2\_8}, doi = {10.1007/978-3-642-20401-2\_8}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/sensoria2011/CairesNPVZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/NicolaGHNNPP10, author = {Rocco De Nicola and Daniele Gorla and Ren{\'{e}} Rydhof Hansen and Flemming Nielson and Hanne Riis Nielson and Christian W. Probst and Rosario Pugliese}, title = {From Flow Logic to static type systems for coordination languages}, journal = {Sci. Comput. Program.}, volume = {75}, number = {6}, pages = {376--397}, year = {2010}, url = {https://doi.org/10.1016/j.scico.2009.07.009}, doi = {10.1016/J.SCICO.2009.07.009}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/NicolaGHNNPP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iadis/AversaMVR09, author = {Rocco Aversa and Beniamino Di Martino and Salvatore Venticinque and Luca De Rosa}, editor = {Hans Weghorn and Pedro T. Isa{\'{\i}}as}, title = {Parallel porting and performance evaluation of a column based {OLAP} system}, booktitle = {Proceedings of the {IADIS} International Conference Applied Computing 2009, 19-21 November, Rome, Italy, 2 Volumes}, pages = {67--75}, publisher = {{IADIS} Press}, year = {2009}, timestamp = {Tue, 17 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iadis/AversaMVR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/NicolaGHNNPP08, author = {Rocco De Nicola and Daniele Gorla and Ren{\'{e}} Rydhof Hansen and Flemming Nielson and Hanne Riis Nielson and Christian W. Probst and Rosario Pugliese}, editor = {Doug Lea and Gianluigi Zavattaro}, title = {From Flow Logic to Static Type Systems for Coordination Languages}, booktitle = {Coordination Models and Languages, 10th International Conference, {COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5052}, pages = {100--116}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68265-3\_7}, doi = {10.1007/978-3-540-68265-3\_7}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/NicolaGHNNPP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcai/RevollarFVL08, author = {Silvana Revollar and Mario Francisco and Pastora Vega and Rosalba Lamanna}, editor = {Juan M. Corchado and Sara Rodr{\'{\i}}guez and James Llinas and Jos{\'{e}} M. Molina}, title = {Genetic Algorithms for the Synthesis and Integrated Design of Processes Using Advanced Control Strategies}, booktitle = {International Symposium on Distributed Computing and Artificial Intelligence, {DCAI} 2008, University of Salamanca, Spain, 22th-24th October 2008}, series = {Advances in Soft Computing}, volume = {50}, pages = {205--214}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85863-8\_25}, doi = {10.1007/978-3-540-85863-8\_25}, timestamp = {Mon, 11 Mar 2024 20:43:17 +0100}, biburl = {https://dblp.org/rec/conf/dcai/RevollarFVL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/NicolaGP07, author = {Rocco De Nicola and Daniele Gorla and Rosario Pugliese}, title = {Basic observables for a calculus for global computing}, journal = {Inf. Comput.}, volume = {205}, number = {10}, pages = {1491--1525}, year = {2007}, url = {https://doi.org/10.1016/j.ic.2007.03.004}, doi = {10.1016/J.IC.2007.03.004}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/NicolaGP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jrtip/DellAquilaCNM07, author = {Rocco V. Dell'Aquila and Giampiero Campa and Marcello R. Napolitano and Marco Mammarella}, title = {Real-time machine-vision-based position sensing system for {UAV} aerial refueling}, journal = {J. Real Time Image Process.}, volume = {1}, number = {3}, pages = {213--224}, year = {2007}, url = {https://doi.org/10.1007/s11554-007-0023-3}, doi = {10.1007/S11554-007-0023-3}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jrtip/DellAquilaCNM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/NicolaGP07, author = {Rocco De Nicola and Daniele Gorla and Rosario Pugliese}, title = {Global computing in a dynamic network of tuple spaces}, journal = {Sci. Comput. Program.}, volume = {64}, number = {2}, pages = {187--204}, year = {2007}, url = {https://doi.org/10.1016/j.scico.2006.06.004}, doi = {10.1016/J.SCICO.2006.06.004}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/NicolaGP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/NicolaGP06, author = {Rocco De Nicola and Daniele Gorla and Rosario Pugliese}, title = {Confining data and processes in global computing applications}, journal = {Sci. Comput. Program.}, volume = {63}, number = {1}, pages = {57--87}, year = {2006}, url = {https://doi.org/10.1016/j.scico.2005.07.013}, doi = {10.1016/J.SCICO.2005.07.013}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/NicolaGP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/NicolaGP06, author = {Rocco De Nicola and Daniele Gorla and Rosario Pugliese}, title = {On the expressive power of KLAIM-based calculi}, journal = {Theor. Comput. Sci.}, volume = {356}, number = {3}, pages = {387--421}, year = {2006}, url = {https://doi.org/10.1016/j.tcs.2006.02.007}, doi = {10.1016/J.TCS.2006.02.007}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/NicolaGP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/NicolaFMPT05, author = {Rocco De Nicola and Gian{-}Luigi Ferrari and Ugo Montanari and Rosario Pugliese and Emilio Tuosto}, editor = {Jean{-}Marie Jacquet and Gian Pietro Picco}, title = {A Process Calculus for QoS-Aware Applications}, booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION} 2005, Namur, Belgium, April 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3454}, pages = {33--48}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11417019\_3}, doi = {10.1007/11417019\_3}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/NicolaFMPT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/NicolaGP05, author = {Rocco De Nicola and Daniele Gorla and Rosario Pugliese}, editor = {Jean{-}Marie Jacquet and Gian Pietro Picco}, title = {Global Computing in a Dynamic Network of Tuple Spaces}, booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION} 2005, Namur, Belgium, April 20-23, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3454}, pages = {157--172}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11417019\_11}, doi = {10.1007/11417019\_11}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/NicolaGP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmoods/NicolaGP05, author = {Rocco De Nicola and Daniele Gorla and Rosario Pugliese}, editor = {Martin Steffen and Gianluigi Zavattaro}, title = {Pattern Matching over a Dynamic Network of Tuple Spaces}, booktitle = {Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3535}, pages = {1--14}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11494881\_1}, doi = {10.1007/11494881\_1}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmoods/NicolaGP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/NicolaGP05, author = {Rocco De Nicola and Daniele Gorla and Rosario Pugliese}, editor = {Lu{\'{\i}}s Caires and Giuseppe F. Italiano and Lu{\'{\i}}s Monteiro and Catuscia Palamidessi and Moti Yung}, title = {Basic Observables for a Calculus for Global Computing}, booktitle = {Automata, Languages and Programming, 32nd International Colloquium, {ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3580}, pages = {1226--1238}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11523468\_99}, doi = {10.1007/11523468\_99}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/NicolaGP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/simpra/RocariesHRDLPPL04, author = {Fran{\c{c}}ois Rocaries and Yskandar Hamam and Rossany Roche and Marisol Delgado and Rosalba Lamanna and Fran{\c{c}}oise Pecker and Catherine Pavoine and Hubert Lorino}, title = {Calcium dynamics in cardiac myocytes: a model for drugs effect description}, journal = {Simul. Model. Pract. Theory}, volume = {12}, number = {2}, pages = {93--104}, year = {2004}, url = {https://doi.org/10.1016/j.simpat.2003.09.002}, doi = {10.1016/J.SIMPAT.2003.09.002}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/simpra/RocariesHRDLPPL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/NicolaGP05, author = {Rocco De Nicola and Daniele Gorla and Rosario Pugliese}, editor = {Jos C. M. Baeten and Flavio Corradini}, title = {On the Expressive Power of Klaim-based Calculi}, booktitle = {Proceedings of the 11th International Workshop on Expressiveness in Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {2}, pages = {117--130}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.11.032}, doi = {10.1016/J.ENTCS.2004.11.032}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/NicolaGP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/NicolaFMPT03, author = {Rocco De Nicola and Gian{-}Luigi Ferrari and Ugo Montanari and Rosario Pugliese and Emilio Tuosto}, editor = {Nachum Dershowitz}, title = {A Formal Basis for Reasoning on Programmable QoS}, booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday}, series = {Lecture Notes in Computer Science}, volume = {2772}, pages = {436--479}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39910-0\_21}, doi = {10.1007/978-3-540-39910-0\_21}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/NicolaFMPT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/global/BettiniBNFGLMPTV03, author = {Lorenzo Bettini and Viviana Bono and Rocco De Nicola and Gian{-}Luigi Ferrari and Daniele Gorla and Michele Loreti and Eugenio Moggi and Rosario Pugliese and Emilio Tuosto and Betti Venneri}, editor = {Corrado Priami}, title = {The Klaim Project: Theory and Practice}, booktitle = {Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, {IST/FET} International Workshop, {GC} 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2874}, pages = {88--150}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40042-4\_4}, doi = {10.1007/978-3-540-40042-4\_4}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/global/BettiniBNFGLMPTV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BorealeNP02, author = {Michele Boreale and Rocco De Nicola and Rosario Pugliese}, title = {Trace and Testing Equivalence on Asynchronous Processes}, journal = {Inf. Comput.}, volume = {172}, number = {2}, pages = {139--164}, year = {2002}, url = {https://doi.org/10.1006/inco.2001.3080}, doi = {10.1006/INCO.2001.3080}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/BorealeNP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/BettiniNP02, author = {Lorenzo Bettini and Rocco De Nicola and Rosario Pugliese}, title = {Klava: a Java package for distributed and mobile applications}, journal = {Softw. Pract. Exp.}, volume = {32}, number = {14}, pages = {1365--1394}, year = {2002}, url = {https://doi.org/10.1002/spe.486}, doi = {10.1002/SPE.486}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/spe/BettiniNP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02, author = {Lu{\'{\i}}s Andrade and Paolo Baldan and Hubert Baumeister and Roberto Bruni and Andrea Corradini and Rocco De Nicola and Jos{\'{e}} Luiz Fiadeiro and Fabio Gadducci and Stefania Gnesi and Piotr Hoffman and Nora Koch and Piotr Kosiuczenko and Alessandro Lapadula and Diego Latella and Ant{\'{o}}nia Lopes and Michele Loreti and Mieke Massink and Franco Mazzanti and Ugo Montanari and Crist{\'{o}}v{\~{a}}o Oliveira and Rosario Pugliese and Andrzej Tarlecki and Michel Wermelinger and Martin Wirsing and Artur Zawlocki}, editor = {Martin Wirsing and Dirk Pattinson and Rolf Hennicker}, title = {{AGILE:} Software Architecture for Mobility}, booktitle = {Recent Trends in Algebraic Development Techniques, 16th International Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2755}, pages = {1--33}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-40020-2\_1}, doi = {10.1007/978-3-540-40020-2\_1}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wadt/AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamcomp/BorealeNP01, author = {Michele Boreale and Rocco De Nicola and Rosario Pugliese}, title = {Proof Techniques for Cryptographic Processes}, journal = {{SIAM} J. Comput.}, volume = {31}, number = {3}, pages = {947--986}, year = {2001}, url = {https://doi.org/10.1137/S0097539700377864}, doi = {10.1137/S0097539700377864}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamcomp/BorealeNP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BorealeNP01, author = {Michele Boreale and Rocco De Nicola and Rosario Pugliese}, title = {Divergence in testing and readiness semantics}, journal = {Theor. Comput. Sci.}, volume = {266}, number = {1-2}, pages = {237--248}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00170-5}, doi = {10.1016/S0304-3975(00)00170-5}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BorealeNP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BettiniNP01, author = {Lorenzo Bettini and Rocco De Nicola and Rosario Pugliese}, editor = {Marina Lenisa and Marino Miculan}, title = {XKlaim and Klava: Programming Mobile Code}, booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001, Udine, Italy, November 19-21, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {62}, pages = {24--37}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00317-2}, doi = {10.1016/S1571-0661(04)00317-2}, timestamp = {Wed, 30 Nov 2022 12:15:34 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BettiniNP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/NicolaFPV00, author = {Rocco De Nicola and Gian{-}Luigi Ferrari and Rosario Pugliese and Betti Venneri}, title = {Types for access control}, journal = {Theor. Comput. Sci.}, volume = {240}, number = {1}, pages = {215--254}, year = {2000}, url = {https://doi.org/10.1016/S0304-3975(99)00232-7}, doi = {10.1016/S0304-3975(99)00232-7}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/NicolaFPV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/NicolaP00, author = {Rocco De Nicola and Rosario Pugliese}, title = {Linda-based applicative and imperative process algebras}, journal = {Theor. Comput. Sci.}, volume = {238}, number = {1-2}, pages = {389--437}, year = {2000}, url = {https://doi.org/10.1016/S0304-3975(99)00339-4}, doi = {10.1016/S0304-3975(99)00339-4}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/NicolaP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/NicolaFP00, author = {Rocco De Nicola and Gian{-}Luigi Ferrari and Rosario Pugliese}, editor = {Catuscia Palamidessi}, title = {Programming Access Control: The {KLAIM} Experience}, booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1877}, pages = {48--65}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44618-4\_5}, doi = {10.1007/3-540-44618-4\_5}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/NicolaFP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/NicolaPR00, author = {Rocco De Nicola and Rosario Pugliese and Antony I. T. Rowstron}, editor = {Ant{\'{o}}nio Porto and Gruia{-}Catalin Roman}, title = {Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces}, booktitle = {Coordination Languages and Models, 4th International Conference, {COORDINATION} 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1906}, pages = {66--80}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45263-X\_5}, doi = {10.1007/3-540-45263-X\_5}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/NicolaPR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/BorealeNP00, author = {Michele Boreale and Rocco De Nicola and Rosario Pugliese}, editor = {Tommaso Bolognesi and Diego Latella}, title = {Process Algebraic Analysis of Cryptographic Protocols}, booktitle = {Formal Techniques for Distributed System Development, {FORTE/PSTV} 2000, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XIII)} and Protocol Specification, Testing and Verification {(PSTV} XX), October 10-13, 2000, Pisa, Italy}, series = {{IFIP} Conference Proceedings}, volume = {183}, pages = {375--392}, publisher = {Kluwer}, year = {2000}, timestamp = {Tue, 19 Feb 2002 10:53:34 +0100}, biburl = {https://dblp.org/rec/conf/forte/BorealeNP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sbia/MargaglioLG00, author = {Elizabeth Margaglio and Rosalba Lamanna and Pierre{-}Yves Glorennec}, editor = {Maria Carolina Monard and Jaime Sim{\~{a}}o Sichman}, title = {Analysis and Comparison of Recurrent Neural Networks for the Identification of a Pilot Plant Distillation Column}, booktitle = {Advances in Artificial Intelligence, International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, {IBERAMIA-SBIA} 2000, Atibaia, SP, Brazil, November 19-22, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1952}, pages = {447--456}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44399-1\_46}, doi = {10.1007/3-540-44399-1\_46}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/sbia/MargaglioLG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/woa/BettiniNFP00, author = {Lorenzo Bettini and Rocco De Nicola and Gian{-}Luigi Ferrari and Rosario Pugliese}, editor = {Antonio Corradi and Andrea Omicini and Agostino Poggi}, title = {Mobile Applications in {X-KLAIM}}, booktitle = {{WOA} 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 29-30 May 2000, Parma, Italy}, pages = {1--6}, publisher = {Pitagora Editrice Bologna}, year = {2000}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/woa/BettiniNFP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BorealeNP99, author = {Michele Boreale and Rocco De Nicola and Rosario Pugliese}, title = {Basic Observables for Processes}, journal = {Inf. Comput.}, volume = {149}, number = {1}, pages = {77--98}, year = {1999}, url = {https://doi.org/10.1006/inco.1998.2755}, doi = {10.1006/INCO.1998.2755}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/BorealeNP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/NicolaFP99, author = {Rocco De Nicola and Gian{-}Luigi Ferrari and Rosario Pugliese}, editor = {Jan Vitek and Christian Damsgaard Jensen}, title = {Types as Specifications of Access Policies}, booktitle = {Secure Internet Programming, Security Issues for Mobile and Distributed Objects}, series = {Lecture Notes in Computer Science}, volume = {1603}, pages = {118--146}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48749-2\_6}, doi = {10.1007/3-540-48749-2\_6}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/NicolaFP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BorealeNP99, author = {Michele Boreale and Rocco De Nicola and Rosario Pugliese}, editor = {Wolfgang Thomas}, title = {A Theory of "May" Testing for Asynchronous Languages}, booktitle = {Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1578}, pages = {165--179}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-49019-1\_12}, doi = {10.1007/3-540-49019-1\_12}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BorealeNP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BorealeNP99, author = {Michele Boreale and Rocco De Nicola and Rosario Pugliese}, title = {Proof Techniques for Cryptographic Processes}, booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999}, pages = {157--166}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/LICS.1999.782608}, doi = {10.1109/LICS.1999.782608}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/BorealeNP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/NicolaFP98, author = {Rocco De Nicola and Gian{-}Luigi Ferrari and Rosario Pugliese}, title = {{KLAIM:} {A} Kernel Language for Agents Interaction and Mobility}, journal = {{IEEE} Trans. Software Eng.}, volume = {24}, number = {5}, pages = {315--330}, year = {1998}, url = {https://doi.org/10.1109/32.685256}, doi = {10.1109/32.685256}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/NicolaFP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BorealeNP98, author = {Michele Boreale and Rocco De Nicola and Rosario Pugliese}, editor = {Maurice Nivat}, title = {Asynchronous Observations of Processes}, booktitle = {Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1378}, pages = {95--109}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0053544}, doi = {10.1007/BFB0053544}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BorealeNP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wetice/BettiniNPF98, author = {Lorenzo Bettini and Rocco De Nicola and Rosario Pugliese and Gian{-}Luigi Ferrari}, title = {Interactive Mobile Agents in X-Klaim}, booktitle = {7th Workshop on Enabling Technologies {(WETICE} '98), Infrastructure for Collaborative Enterprises, June 17-19, 1998, Palo Alto, CAUSA, Proceedings}, pages = {110--117}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/ENABL.1998.725680}, doi = {10.1109/ENABL.1998.725680}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wetice/BettiniNPF98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/NicolaFP97, author = {Rocco De Nicola and Gian{-}Luigi Ferrari and Rosario Pugliese}, editor = {David Garlan and Daniel Le M{\'{e}}tayer}, title = {Coordinating Mobile Agents via Blackboards and Access Rights}, booktitle = {Coordination Languages and Models, Second International Conference, {COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1282}, pages = {220--237}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63383-9\_83}, doi = {10.1007/3-540-63383-9\_83}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coordination/NicolaFP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BorealeNP97, author = {Michele Boreale and Rocco De Nicola and Rosario Pugliese}, editor = {Pierpaolo Degano and Roberto Gorrieri and Alberto Marchetti{-}Spaccamela}, title = {Basic Observables for Processes}, booktitle = {Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {482--492}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63165-8\_204}, doi = {10.1007/3-540-63165-8\_204}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BorealeNP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tapsoft/NicolaFP97, author = {Rocco De Nicola and Gian{-}Luigi Ferrari and Rosario Pugliese}, editor = {Michel Bidoit and Max Dauchet}, title = {Locality Based Linda: Programming with Explicit Localities}, booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1214}, pages = {712--726}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0030636}, doi = {10.1007/BFB0030636}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tapsoft/NicolaFP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/NicolaP96, author = {Rocco De Nicola and Rosario Pugliese}, editor = {Paolo Ciancarini and Chris Hankin}, title = {A Process Algebra Based on {LINDA}}, booktitle = {Coordination Languages and Models, First International Conference, {COORDINATION} '96, Cesena, Italy, April 15-17, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1061}, pages = {160--178}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61052-9\_45}, doi = {10.1007/3-540-61052-9\_45}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/coordination/NicolaP96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lomaps/NicolaP96, author = {Rocco De Nicola and Rosario Pugliese}, editor = {Mads Dam}, title = {Testing Semantics of Asynchronous Distributed Programs}, booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS} Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1192}, pages = {320--344}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-62503-8\_15}, doi = {10.1007/3-540-62503-8\_15}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lomaps/NicolaP96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/strict/NicolaP95, author = {Rocco De Nicola and Rosario Pugliese}, editor = {J{\"{o}}rg Desel}, title = {An Observational Semantics for Linda}, booktitle = {Proceedings of the International Workshop on Structures in Concurrency Theory, {STRICT} 1995, Berlin, Germany, May 11-13, 1995}, series = {Workshops in Computing}, pages = {129--143}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/978-1-4471-3078-9\_9}, doi = {10.1007/978-1-4471-3078-9\_9}, timestamp = {Tue, 25 Jun 2019 18:06:54 +0200}, biburl = {https://dblp.org/rec/conf/strict/NicolaP95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/automatica/RoccoP85, author = {Rosalba Lamanna de Rocco and Rafael Padilla}, title = {On a realization method for discrete-time linear systems}, journal = {Autom.}, volume = {21}, number = {5}, pages = {611--613}, year = {1985}, url = {https://doi.org/10.1016/0005-1098(85)90011-1}, doi = {10.1016/0005-1098(85)90011-1}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/automatica/RoccoP85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.