Ha sapore di brina
la mela che mi diverte

Andrea Zanzotto, 1921–2011

Papers

Conceptual Design Patterns for Relational Databases
N. Vitacolonna
Proceedings of the 17th International Conference on Information and Software Technologies (IT 2011) | 2011
Bud set in poplar – genetic dissection of a complex trait in natural and hybrid populations
A. Rohde, V. Storme, V. Jorge, M. Gaudet, N. Vitacolonna, F. Fabbrini, T. Ruttink, G. Zaina, N. Marron, S. Dillen, M. Steenackers, M. Sabatti, M. Morgante, W. Boerjan, C. Bastien
New Phytologist | Issue 189(1) | p. 106–121 | 2011
Analysis of transposons and repeat composition of the sunflower (Helianthus annuus L.) genome
A. Cavallini, L. Natali, A. Zuccolo, T. Giordani, I. Jurman, V. Ferrillo, N. Vitacolonna, V. Sarri, F. Cattonaro, M. Ceccarelli, et al.
Theor Appl Genet. | Issue 120(3) | p. 491–508 | 2010
Ehrenfeucht Games on Labelled Successor Structures: Remoteness and Optimal Strategies
A. Montanari, A. Policriti, N. Vitacolonna
Tech. Report UDMI/2009/02, Department of Mathematics and Computer Science, University of Udine, Italy | 2009
Games on Strings with a Limited Order Relation
E. De Maria, A. Montanari, N. Vitacolonna
Proceedings of the Symposium on Logical Foundations of Computer Science (LFCS09) | Issue 5407 | p. 164–179 | 2009
TEA: a Transposable Elements Annotator
C. Del Fabbro, A. Policriti, M. Morgante, N. Vitacolonna
Proceedings of the 2009 International Conference on Bioinformatics and Computational Biology (BIOCOMP'09) | Issue 2 | p. 528–535 | 2009
Games on strings with a limited ordering
E. De Maria, A. Montanari, N. Vitacolonna
Annual Workshop of the ESF Networking Programme on Games for Design and Verification (GAMES '08) | 2008
On Devising Algorithms for Ehrenfeucht-Fraïssé Games
A. Montanari, A. Policriti, N. Vitacolonna
Annual Workshop of the ESF Networking Programme on Games for Design and Verification (GAMES '07) | 2007
An Algorithmic Account of Winning Strategies in Ehrenfeucht Games on Labeled Successor Structures
A. Montanari, A. Policriti, N. Vitacolonna
Logic for Programming, Artificial Intelligence and Reasoning: 12th International Conference (LPAR 2005) | Issue 3835 | p. 139–153 | 2005
Intervals: logics, algorithms and games
N. Vitacolonna
University of Udine | 2005
Structured Motifs Search
M. Morgante, A. Policriti, N. Vitacolonna, A. Zuccolo
Journal of Computational Biology | Issue 12 | p. 1063–1080 | 2005
Structured Motifs Search
M. Morgante, A. Policriti, N. Vitacolonna, A. Zuccolo
Proc. of the Eighth Annual International Conference on Research in Computational Molecular Biology (RECOMB 2004) | p. 133–139 | 2004
Automated Search for LTR Retrotransposons
M. Morgante, A. Policriti, N. Vitacolonna, A. Zuccolo
AI*IA Notizie | Issue 4 | p. 50–52 | 2002
Decidability of Interval Temporal Logics over Split-Frames via Granularity
A. Montanari, G. Sciavicco, N. Vitacolonna
Logics in Artificial Intelligence: 8th European Conference (JELIA 2002) | Issue 2424 | p. 259–270 | 2002