Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Rocco De Rosa"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-08-30 03:42 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
