Verifying concurrent systems by approximation by Antonino, P

Multiple Populations in Star Clusters by Antonino P. Milone, Anna F. Marino

Get full text

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving by Antonino, P, Gibson-Robinaon, T, Roscoe, A

The automatic detection of token structures and invariants using SAT checking by Antonino, P, Gibson-Robinson, T, Roscoe, A

Efficient verification of comcurrent systems using local analysis based approximations and SAT solving by Antonino, P, Gibson-Robinson, T, Roscoe, A

Rigorous development of component-based systems using component metadata and patterns by Oliveira, M, Antonino, P, Ramos, R, Sampaio, A, Mota, A, Roscoe, A

Multiple Stellar Populations at Less Evolved Stages. III. A Possible Helium Spread in NGC 2210 by Chengyuan Li, Xin Ji, Long Wang, Yue Wang, Baitian Tang, Antonino P. Milone, Yujiao Yang, Holger Baumgardt, Dengkai Jiang

Get full text

PORTRAIT OF A DARK HORSE: A PHOTOMETRIC AND SPECTROSCOPIC STUDY OF THE ULTRA-FAINT MILKY WAY SATELLITE PEGASUS III by Kim, Dongwon, Jerjen, Helmut, Geha, Marla, Milone, Antonino P., Costa, Gary Da, Mackey, Dougal, Conn, Blair, Chiti, Anirudh, Frebel, Anna L.

Get full text
Get full text
Get full text

NGC1818 unveils the origin of the extended main-sequence turn-off in young Magellanic Clouds clusters by Giacomo Cordoni, Antonino P. Milone, Anna F. Marino, Michele Cignoni, Edoardo P. Lagioia, Marco Tailo, Marília Carlos, Emanuele Dondoglio, Sohee Jang, Anjana Mohandasan, Maria V. Legnardi

Get full text

The Hubble Space Telescope UV Legacy Survey of Galactic Globular Clusters. XXIV. Differences in Internal Kinematics of Multiple Stellar Populations by Mattia Libralato, Enrico Vesperini, Andrea Bellini, Antonino P. Milone, Roeland P. van der Marel, Giampaolo Piotto, Jay Anderson, Antonio Aparicio, Beatriz Barbuy, Luigi R. Bedin, Thomas M. Brown, Santi Cassisi, Domenico Nardiello, Ata Sarajedini, Michele Scalco

Get full text