SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents

by Javier Albors, Marisa Navarro
Published 2015-01-01

Long-term trends in mortality and AIDS-defining events after combination ART initiation among children and adolescents with perinatal HIV infection in 17 middle- and high-income co...

by European Pregnancy and Paediatric HIV Cohort Collaboration (EPPICC) study group in EuroCoord, Ali Judd, Elizabeth Chappell, Anna Turkova, Sophie Le Coeur, Antoni Noguera-Julian, Tessa Goetghebuer, Katja Doerholt, Luisa Galli, Dasja Pajkrt, Laura Marques, Intira J Collins, Diana M Gibb, Maria Isabel González Tome, Marisa Navarro, Josiane Warszawski, Christoph Königs, Vana Spoulou, Filipa Prata, Elena Chiappini, Lars Naver, Carlo Giaquinto, Claire Thorne, Magdalena Marczynska, Liubov Okhonskaia, Klara Posfay-Barbe, Pradthana Ounchanum, Pornchai Techakunakorn, Galina Kiseleva, Ruslan Malyuta, Alla Volokha, Luminita Ene, Ruth Goodall
Published 2018-01-01