Leire Villarroya

Abstrac Automatic planning is responsible for calculating a plan or sequence of actions that must be carried out.apply to one state of a problem to reach […]

Abstrac We use our own machine learning techniques to design and implement classifiersand prediction systems that act on textual and structural information. Our approachIt is based […]

Abstrac Biologists currently have an increase in genetic information availablebut without quality software tools to process that information productively. InIn this sense, the VRAIN PROS research […]

Abstrac We design digital simulators oriented to life sciences. Our simulatorsThey act at a biochemical, biocellular and large-scale biological level. The simulators integrate allbiological information relevant […]

Abstrac Cryptography offers tools to guarantee confidentiality, authenticity, integrityof information, the impossibility of repudiation of actions or decisions, as well as the availabilityof the services. Although […]

Abstrac Cyber ​​attacks have increased significantly in recent years, both against companiesas organizations. VRAIN of the UPV is working on the use of intelligence techniquesartificial intelligence […]

Abstrac Currently there are many cyber-physical systems such as cars, planes or vehicles.aerial, with the capacity to make vital decisions. In this sense it is essential […]

Abstrac We develop tools for the analysis and verification of security properties(safety) and protection (security) in mobile code (for example Java or Python), in protocolscryptographic communications […]

Abstrac TESTAR is a software test automation tool that uses APIs fromaccessibility to connect and test systems through graphical user interface (GUI).TESTAR’s flexible architecture allows you […]