User profiles for "author:Alicia Villanueva"

Alicia Villanueva

- Verified email at dsic.upv.es - Cited by 373

Alicia Castillo Villanueva

- Verified email at dcu.ie - Cited by 37

Identifying patients with chronic conditions in need of palliative care in the general population: development of the NECPAL tool and preliminary prevalence rates in …

X Gómez-Batiste, M Martínez-Muñoz… - BMJ supportive & …, 2013 - spcare.bmj.com
Palliative care (PC) has focused on patients with cancer within specialist services. However,
around 75% of the population in middle-income and high-income countries die of one or …

Utility of the NECPAL CCOMS-ICO© tool and the Surprise Question as screening tools for early palliative care and to predict mortality in patients with advanced …

X Gomez-Batiste, M Martinez-Munoz… - Palliative …, 2017 - journals.sagepub.com
Background: The Surprise Question (SQ) identifies patients with palliative care needs. The
NECPAL CCOMS-ICO©(NECPAL) tool combines the Surprise Question with additional …

Automatic verification of timed concurrent constraint programs

M Falaschi, A Villanueva - Theory and Practice of Logic …, 2006 - cambridge.org
The language Timed Concurrent Constraint (tccp) is the extension over time of the
Concurrent Constraint Programming (cc) paradigm that allows us to specify concurrent …

Stereoselective Synthesis of the Naturally Occurring Lactones (−)‐Osmundalactone and (−)‐Muricatacine Using Ring‐Closing Metathesis

M Carda, S Rodríguez, F González… - European Journal of …, 2002 - Wiley Online Library
The stereoselective synthesis of the naturally occurring lactones osmundalactone (−)‐1 and
muricatacin (−)‐2 is described. The key steps in each synthesis are the stereoselective …

Identification of the sensorimotor cortex with functional MRI: frequency and actual contribution in a neurosurgical context

J Pujol, J Deus, JJ Acebes, A Villanueva… - Journal of …, 2008 - Wiley Online Library
ABSTRACT BACKGROUND AND PURPOSE We assessed the actual frequency of motor
functional MRI (fMRI) in a neurosurgical environment and estimated the extent to which it …

A semantic framework for the abstract model checking of tccp programs

M Alpuente, M del Mar Gallardo, E Pimentel… - Theoretical Computer …, 2005 - Elsevier
The Timed Concurrent Constraint programming language (tccp) introduces time aspects into
the Concurrent Constraint paradigm. This makes tccp especially appropriate for analyzing …

Abstract diagnosis for timed concurrent constraint programs

M Comini, L Titolo, A Villanueva - Theory and Practice of Logic …, 2011 - cambridge.org
The timed concurrent constraint language (tccp in short) is a concurrent logic language
based on the simple but powerful concurrent constraint paradigm of Saraswat. In this …

[HTML][HTML] A qualitative analysis of the impact of COVID-19 restrictions on gender biases in an Irish University

M Hosseini, AC Villanueva - Plos one, 2023 - journals.plos.org
This paper explores the impact of COVID-19 restrictions on gender biases in a STEM Faculty
in an Irish University. For the purposes of this research, gender bias was understood as …

Datalog-based program analysis with BES and RWL

M Alpuente, MA Feliú, C Joubert… - International Datalog 2.0 …, 2010 - Springer
This paper describes two techniques for Datalog query evaluation and their application to
object-oriented program analysis. The first technique transforms Datalog programs into an …

Automatic synthesis of specifications for first order Curry programs

G Bacci, M Comini, MA Feliú, A Villanueva - Proceedings of the 14th …, 2012 - dl.acm.org
This paper presents a technique to automatically infer algebraic property-oriented
specifications from first-order Curry programs. Curry is a lazy functional logic language and …