About Us
The Institute
Members
Facilities
Research
Research Areas
Groups
Projects
Publications
Innovation
Services
Software & Patents
Partners
Training
Courses and MOOCs
PhD
Master
Career
News
Contact
✕
Main Projects
Filter by
Categories
Tags
Authors
Show all
All
alfa
elirf
elp
gti-ia
job-offer
Main Projects
mist
mllp
Natural Language Processing
News
Projects
pros
Research-Groups
Services
Software & Patents
Uncategorized
Uncategorized
Uncategorized
vertexlit
All
All
Enrique Domínguez Samper
jferrus
14/06/2022
Published by
jferrus
on
14/06/2022
Categories
Main Projects
Projects
FAVPQC
Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
24/03/2022
Published by
jferrus
on
24/03/2022
Categories
Main Projects
Projects
TAILOR
European TAILOR project
23/03/2022
Published by
jferrus
on
23/03/2022
Categories
Main Projects
Projects
OGMIOS
Intelligent system for clinical decision support in precision medicine.
22/03/2022
Published by
jferrus
on
22/03/2022
Categories
Main Projects
Projects
iv4XR
Intelligent Verification/Validation for Extended Reality Based Systems
21/03/2022
Published by
jferrus
on
21/03/2022
Categories
Main Projects
Projects
DECODER
DEveloper COmpanion for Documented and annotated code Reference
20/03/2022
Published by
jferrus
on
20/03/2022
Categories
Main Projects
Projects
GISPRO
Genomic Information Systems Production – Deciphering the Life Language using the Information Systems Engineering