Decidability of Interval Temporal Logics over Split-Frames via Granularity. - Angelo Montanari; Guido Sciavicco; Nicola Vitacolonna (JELIA, 2002)

An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. - Angelo Montanari; Alberto Policriti; Nicola Vitacolonna (LPAR, 2005)

Structured Motifs Search. - Michele Morgante; Alberto Policriti; Nicola Vitacolonna; Andrea Zuccolo (J. Comput. Biol., 2005)

Intervals. - Nicola Vitacolonna (2005)

TEA: a Transposable Elements Annotator. - Cristian Del Fabbro; Michele Morgante; Alberto Policriti; Nicola Vitacolonna (BIOCOMP, 2009)

Games on Strings with a Limited Order Relation. - Elisabetta De Maria; Angelo Montanari; Nicola Vitacolonna (LFCS, 2009)

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 (SSCI, 2015)

User Requirements and Relational Modelling for a Non-theatrical Cinema and Video-Art Cataloguing System. - Petra Marlazzi; Lisa Parolo; Cosetta Saba; Nicola Vitacolonna (IRCDL, 2018)

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)

Automated Symbolic Verification of Telegram's MTProto 2.0. - Marino Miculan; Nicola Vitacolonna (SECRYPT, 2021)

Automated verification of Telegram's MTProto 2.0 in the symbolic model. - Marino Miculan; Nicola Vitacolonna (Comput. Secur., 2023)

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)