( en | de | ru )

 

Disambiguation of "Vitacolonna, Nicola"

Author of the publication

copydeleteadd this publication to your clipboard
Automated verification of Telegram's MTProto 2.0 in the symbolic model.

, and . Comput. Secur., (March 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mario Vitacolonna

Nicola Galabaroff

Rudolf Nicola

Nicola Damianoff

Nicola Degen

 

Other publications of authors with the same name

User Requirements and Relational Modelling for a Non-theatrical Cinema and Video-Art Cataloguing System., , , and . IRCDL, volume 806 of Communications in Computer and Information Science, page 225-239. Springer, (2018)Games on Strings with a Limited Order Relation., , and . LFCS, volume 5407 of Lecture Notes in Computer Science, page 164-179. Springer, (2009)An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures., , and . LPAR, volume 3835 of Lecture Notes in Computer Science, page 139-153. Springer, (2005)Intervals.. University of Udine, Italy, (2005)Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE., , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 21 (1): 106-119 (January 2024)Automated Symbolic Verification of Telegram's MTProto 2.0., and . SECRYPT, page 185-197. SCITEPRESS, (2021)Attribute Selection Via Multi-Objective Evolutionary Computation Applied to Multi-Skill Contact Center Data Classification., , , , and . SSCI, page 488-495. IEEE, (2015)Automated Symbolic Verification of Telegram's MTProto 2.0., and . CoRR, (2020)An Event-Based Data Warehouse to Support Decisions in Multi-Channel, Multi-Service Contact Centers., , , , and . J. Cases Inf. Technol., 21 (1): 33-51 (2019)Structured motifs search., , , and . RECOMB, page 133-139. ACM, (2004)