Quantity of items: 1135
DONNELLY-KEHOE, PATRICIO; PASCARIELLO, GUIDO; GARCÍA, ADOLFO M.; HODGES, JOHN; MILLER, BRUCE; ROSEN, HOWIE; MANES, FACUNDO; LANDIN-ROMERO, RAMÓN; MATALLANA, DIANA; SERRANO, CECILIA; HERRERA, EDUAR; REYES, PABLO; SANTAMARÍA-GARCÍA, HERNANDO; KUMFOR, DIANA; PIGUET, OLIVER; IBÁÑEZ, AGUSTÍN; SEDEÑO, LUCAS. Robust automated computational approach for classifying frontotemporal neurodegeneration: Multimodal/multicenter neuroimaging. Article. 2019
MARTÍNEZ, GUIDO; AHMAN, DANEL; DUMITRESCU, VICTOR; GIANNARAKIS, NICK; HAWBLITZEL, CHRIS; HRITCU, CATALIN; NARASIMHAMURTHY, MONAL; PARASKEVOPOULOU, ZOE; PIT-CLAUDEL, CLÉMENT; PROTZENKO, JONATHAN; RAMANANANDRO, TAHINA; RASTOGI, ASEEM; SWAMY, NIKHIL. Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms. Article. 2019