Alicia Villanueva

Evaluation of reverse transcription and polymerase chain reaction (RT/PCR) for the detection of rota viruses: applications of the assay

Javier Buesa, Javier Colomina, Juan Antonio Raga et al. · Research in Virology · 1996 · 46 citations · Full text

Polymerase Chain Reaction, Viral Diagnostics, Pathogenesis +6

Automatic verification of timed concurrent constraint programs

Moreno Falaschi, Alicia Villanueva · Theory and Practice of Logic Programming · 2006 · 26 citations

Engineering, Tccp Structure, Verification +18

Identification of the Sensorimotor Cortex with Functional MRI: Frequency and Actual Contribution in a Neurosurgical Context

Jesús Pujol, Joan Deus, J.J. Acebes et al. · Journal of Neuroimaging · 2007 · 22 citations · Full text

A semantic framework for the abstract model checking of tccp programs

Marı́a Alpuente, María del Mar Gallardo, Ernesto Pimentel et al. · Theoretical Computer Science · 2005 · 18 citations

Engineering, Verification, Computer-aided Verification +18

Abstract diagnosis for timed concurrent constraint programs

Marco Comini, Laura Titolo, Alicia Villanueva · Theory and Practice of Logic Programming · 2011 · 16 citations · Full text

Tccp Program, Engineering, Verification +18