Nicola Vitacolonna

According to our database, Nicola Vitacolonna authored at least 12 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE.

Nicolò Rossi, Nicola Gigante, Nicola Vitacolonna, Carla Piazza

IEEE ACM Trans. Comput. Biol. Bioinform., 2024

2023

Automated verification of Telegram's MTProto 2.0 in the symbolic model.

Marino Miculan, Nicola Vitacolonna

Comput. Secur., March, 2023

2021

Automated Symbolic Verification of Telegram's MTProto 2.0.

Marino Miculan, Nicola Vitacolonna

Proceedings of the 18th International Conference on Security and Cryptography, 2021

2019

An Event-Based Data Warehouse to Support Decisions in Multi-Channel, Multi-Service Contact Centers.

Andrea Brunello, Paolo Gallo, Enrico Marzano, Angelo Montanari, Nicola Vitacolonna

J. Cases Inf. Technol., 2019

2018

User Requirements and Relational Modelling for a Non-theatrical Cinema and Video-Art Cataloguing System.

Petra Marlazzi, Lisa Parolo, Cosetta Saba, Nicola Vitacolonna

Proceedings of the Digital Libraries and Multimedia Archives, 2018

2015

Attribute Selection Via Multi-Objective Evolutionary Computation Applied to Multi-Skill Contact Center Data Classification.

Fernando Jiménez, Enrico Marzano, Gracia Sánchez, Guido Sciavicco, Nicola Vitacolonna

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

2009

Games on Strings with a Limited Order Relation.

Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

TEA: a Transposable Elements Annotator.

Cristian Del Fabbro, Michele Morgante, Alberto Policriti, Nicola Vitacolonna

Proceedings of the International Conference on Bioinformatics & Computational Biology, 2009

2005

Intervals.

Nicola Vitacolonna

PhD thesis, 2005

Structured Motifs Search.

Michele Morgante, Alberto Policriti, Nicola Vitacolonna, Andrea Zuccolo

J. Comput. Biol., 2005

An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures.

Angelo Montanari, Alberto Policriti, Nicola Vitacolonna

Proceedings of the Logic for Programming, 2005

2002

Decidability of Interval Temporal Logics over Split-Frames via Granularity.

Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002