Nicola Vitacolonna
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2002–2021
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | SECRYPT | Automated Symbolic Verification of Telegram's MTProto 2.0. | Marino Miculan, Nicola Vitacolonna |
| 2009 | LFCS | Games on Strings with a Limited Order Relation. | Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna |
| 2005 | LPAR | An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. | Angelo Montanari, Alberto Policriti, Nicola Vitacolonna |
| 2004 | RECOMB | Structured motifs search. | Alberto Policriti, Nicola Vitacolonna, Michele Morgante, Andrea Zuccolo |
| 2002 | JELIA | Decidability of Interval Temporal Logics over Split-Frames via Granularity. | Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna |