Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nicola Vitacolonna
@article{DBLP:journals/tcbb/RossiGVP24,
author = {Nicol{\`{o}} Rossi and
Nicola Gigante and
Nicola Vitacolonna and
Carla Piazza},
title = {Inferring Markov Chains to Describe Convergent Tumor Evolution With
{CIMICE}},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {21},
number = {1},
pages = {106--119},
year = {2024},
url = {https://doi.org/10.1109/TCBB.2023.3337258},
doi = {10.1109/TCBB.2023.3337258},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcbb/RossiGVP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/MiculanV23,
author = {Marino Miculan and
Nicola Vitacolonna},
title = {Automated verification of Telegram's MTProto 2.0 in the symbolic model},
journal = {Comput. Secur.},
volume = {126},
pages = {103072},
year = {2023},
url = {https://doi.org/10.1016/j.cose.2022.103072},
doi = {10.1016/J.COSE.2022.103072},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/compsec/MiculanV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/MiculanV21,
author = {Marino Miculan and
Nicola Vitacolonna},
editor = {Sabrina De Capitani di Vimercati and
Pierangela Samarati},
title = {Automated Symbolic Verification of Telegram's MTProto 2.0},
booktitle = {Proceedings of the 18th International Conference on Security and Cryptography,
{SECRYPT} 2021, July 6-8, 2021},
pages = {185--197},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010549601850197},
doi = {10.5220/0010549601850197},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/secrypt/MiculanV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-03141,
author = {Marino Miculan and
Nicola Vitacolonna},
title = {Automated Symbolic Verification of Telegram's MTProto 2.0},
journal = {CoRR},
volume = {abs/2012.03141},
year = {2020},
url = {https://arxiv.org/abs/2012.03141},
eprinttype = {arXiv},
eprint = {2012.03141},
timestamp = {Wed, 09 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-03141.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcit-igi/BrunelloGMMV19,
author = {Andrea Brunello and
Paolo Gallo and
Enrico Marzano and
Angelo Montanari and
Nicola Vitacolonna},
title = {An Event-Based Data Warehouse to Support Decisions in Multi-Channel,
Multi-Service Contact Centers},
journal = {J. Cases Inf. Technol.},
volume = {21},
number = {1},
pages = {33--51},
year = {2019},
url = {https://doi.org/10.4018/JCIT.2019010103},
doi = {10.4018/JCIT.2019010103},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcit-igi/BrunelloGMMV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ircdl/MarlazziPSV18,
author = {Petra Marlazzi and
Lisa Parolo and
Cosetta Saba and
Nicola Vitacolonna},
editor = {Giuseppe Serra and
Carlo Tasso},
title = {User Requirements and Relational Modelling for a Non-theatrical Cinema
and Video-Art Cataloguing System},
booktitle = {Digital Libraries and Multimedia Archives - 14th Italian Research
Conference on Digital Libraries, {IRCDL} 2018, Udine, Italy, January
25-26, 2018, Proceedings},
series = {Communications in Computer and Information Science},
volume = {806},
pages = {225--239},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73165-0\_23},
doi = {10.1007/978-3-319-73165-0\_23},
timestamp = {Sun, 02 Oct 2022 16:08:54 +0200},
biburl = {https://dblp.org/rec/conf/ircdl/MarlazziPSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssci/JimenezMSSV15,
author = {Fernando Jim{\'{e}}nez and
Enrico Marzano and
Gracia S{\'{a}}nchez and
Guido Sciavicco and
Nicola Vitacolonna},
title = {Attribute Selection Via Multi-Objective Evolutionary Computation Applied
to Multi-Skill Contact Center Data Classification},
booktitle = {{IEEE} Symposium Series on Computational Intelligence, {SSCI} 2015,
Cape Town, South Africa, December 7-10, 2015},
pages = {488--495},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SSCI.2015.78},
doi = {10.1109/SSCI.2015.78},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/ssci/JimenezMSSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biocomp/FabbroMPV09,
author = {Cristian Del Fabbro and
Michele Morgante and
Alberto Policriti and
Nicola Vitacolonna},
editor = {Hamid R. Arabnia and
Mary Qu Yang},
title = {{TEA:} a Transposable Elements Annotator},
booktitle = {International Conference on Bioinformatics {\&} Computational
Biology, {BIOCOMP} 2009, July 13-16, 2009, Las Vegas Nevada, USA,
2 Volumes},
pages = {528--525},
publisher = {{CSREA} Press},
year = {2009},
timestamp = {Wed, 28 Oct 2009 10:44:56 +0100},
biburl = {https://dblp.org/rec/conf/biocomp/FabbroMPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MariaMV09,
author = {Elisabetta De Maria and
Angelo Montanari and
Nicola Vitacolonna},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Games on Strings with a Limited Order Relation},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {164--179},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_12},
doi = {10.1007/978-3-540-92687-0\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MariaMV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Vitacolonna05,
author = {Nicola Vitacolonna},
title = {Intervals},
school = {University of Udine, Italy},
year = {2005},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0020338},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Vitacolonna05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcb/MorgantePVZ05,
author = {Michele Morgante and
Alberto Policriti and
Nicola Vitacolonna and
Andrea Zuccolo},
title = {Structured Motifs Search},
journal = {J. Comput. Biol.},
volume = {12},
number = {8},
pages = {1065--1082},
year = {2005},
url = {https://doi.org/10.1089/cmb.2005.12.1065},
doi = {10.1089/CMB.2005.12.1065},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcb/MorgantePVZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MontanariPV05,
author = {Angelo Montanari and
Alberto Policriti and
Nicola Vitacolonna},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {139--153},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_11},
doi = {10.1007/11591191\_11},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MontanariPV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recomb/PolicritiVMZ04,
author = {Alberto Policriti and
Nicola Vitacolonna and
Michele Morgante and
Andrea Zuccolo},
editor = {Philip E. Bourne and
Dan Gusfield},
title = {Structured motifs search},
booktitle = {Proceedings of the Eighth Annual International Conference on Computational
Molecular Biology, 2004, San Diego, California, USA, March 27-31,
2004},
pages = {133--139},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/974614.974632},
doi = {10.1145/974614.974632},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/recomb/PolicritiVMZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MontanariSV02,
author = {Angelo Montanari and
Guido Sciavicco and
Nicola Vitacolonna},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Decidability of Interval Temporal Logics over Split-Frames via Granularity},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {259--270},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_22},
doi = {10.1007/3-540-45757-7\_22},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MontanariSV02.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.
last updated on 2024-04-25 02:42 CEST 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:
