A
Alberto Casagrande
Researcher at University of Trieste
Publications - 46
Citations - 3765
Alberto Casagrande is an academic researcher from University of Trieste. The author has contributed to research in topics: Reachability problem & Automata theory. The author has an hindex of 9, co-authored 42 publications receiving 3375 citations. Previous affiliations of Alberto Casagrande include University of Udine.
Papers
More filters
Journal ArticleDOI
The grapevine genome sequence suggests ancestral hexaploidization in major angiosperm phyla.
Olivier Jaillon,Jean-Marc Aury,Benjamin Noel,Alberto Policriti,Christian Clepet,Alberto Casagrande,Nathalie Choisne,Sébastien Aubourg,Nicola Vitulo,Claire Jubin,Alessandro Vezzi,Fabrice Legeai,Philippe Hugueney,Corinne Dasilva,David S. Horner,Erica Mica,Delphine Jublot,Julie Poulain,Clémence Bruyère,Alain Billault,Béatrice Segurens,Michel Gouyvenoux,Edgardo Ugarte,Federica Cattonaro,Véronique Anthouard,Virginie Vico,Cristian Del Fabbro,Michael Alaux,Gabriele Di Gaspero,Vincent Dumas,Nicoletta Felice,Sophie Paillard,Irena Juman,Marco Moroldo,Simone Scalabrin,Aurélie Canaguier,Isabelle Le Clainche,G Malacrida,Eléonore Durand,Graziano Pesole,Valérie Laucou,Philippe Chatelet,Didier Merdinoglu,Massimo Delledonne,Mario Pezzotti,Alain Lecharny,Claude Scarpelli,François Artiguenave,M. Enrico Pè,Giorgio Valle,Michele Morgante,Michel Caboche,Anne-Françoise Adam-Blondon,Jean Weissenbach,Francis Quetier,Patrick Wincker +55 more
TL;DR: A high-quality draft of the genome sequence of grapevine is obtained from a highly homozygous genotype, revealing the contribution of three ancestral genomes to the grapevine haploid content and explaining the chronology of previously described whole-genome duplication events in the evolution of flowering plants.
Journal ArticleDOI
A consensus list of microsatellite markers for olive genotyping
Luciana Baldoni,Nicolò G. M. Cultrera,Roberto Mariotti,Claudia Ricciolini,Sergio Arcioni,Giovanni G. Vendramin,A. Buonamici,Andrea Porceddu,V. Sarri,Maria A. Ojeda,Isabel Trujillo,Luis Rallo,Angjelina Belaj,Enzo Perri,A. Salimonti,Innocenzo Muzzalupo,Alberto Casagrande,O. Lain,R. Messina,Raffaele Testolin +19 more
TL;DR: Results of this study provide a list of recommended markers and protocols for olive genotyping as well as the allelic profile of a set of reference cultivars that would be useful for the establishment of a universal database of olive accessions.
Ariadne: a Framework for Reachability Analysis of Hybrid Automata
A. Balluchi,Alberto Casagrande,Pieter Collins,Alberto Ferrari,Tiziano Villa,Alberto Sangiovanni-Vincentelli +5 more
TL;DR: ARIADNE is described, an in-progress open environment to design algorithms for computing with hybrid automata that relies on a rigorous computable analysis theory to represent geometric objects, in order to achieve provable approximation bounds along the computations.
Journal ArticleDOI
Reachability computation for hybrid systems with Ariadne
Luca Benvenuti,Davide Bresolin,Alberto Casagrande,Pieter Collins,Alberto Ferrari,Emanuele Mazzi,Alberto Sangiovanni-Vincentelli,Tiziano Villa +7 more
TL;DR: The problem of reachability analysis of hybrid automata to decide safety properties is discussed, and the algorithm used in A riadne to compute over-approximations of reachable sets is described.
Proceedings ArticleDOI
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe
TL;DR: Even though SACoRe automata do not have the finite bisimulation property, they do admit decision procedures for reachability and model checking for a limited fragment of CTL, by combining Tarski's decidability result over the reals and Michael's selection theorem.