PUBLICACIÓN

Towards Trustworthy Digital Twins: Verifiable Simulation via Recursive Zero-Knowledge Proofs

ACCEDER A LA PUBLICACIÓN: Orcid Catalogo Bibliotecas UEx

Mohammadhossein Homaei; Fatemeh Moradi; Mehran Tarif; Ruben Molano; Pablo García Rodríguez; Mar Avila

2026 2026 Fourth International Conference on Distributed Computing and High Performance Computing (DCHPC)

DOI

10.1109/dchpc69296.2026.11517255

AUTORES DE LA UEX

Rubén Molano Gómez

OTRAS PUBLICACIONES DE INTERÉS

Sensory Traits Prediction In Dry-Cured Hams From Fresh Product Via Mri And Lipid Composition
Towards Trustworthy Digital Twins: Verifiable Simulation Via Recursive Zero-Knowledge Proofs
Videocignium: Desktop Application For Automated Analysis Of Surveillance Videos Using Ai
Towards Trustworthy Digital Twins: Verifiable Simulation Via Recursive Zero-Knowledge Proofs
Videocignium: Desktop Application For Automated Analysis Of Surveillance Videos Using Ai
Cyber-Resilient Digital Twins: Discriminating Attacks For Safe Critical Infrastructure Control
Videocignium: Desktop Application For Automated Analysis Of Surveillance Videos Using Ai
Cyber-Resilient Digital Twins: Discriminating Attacks For Safe Critical Infrastructure Control
Feature-Aware Adaptive Differential Privacy For Privacy-Preserving Federated Digital Twins
Cyber-Resilient Digital Twins: Discriminating Attacks For Safe Critical Infrastructure Control
Feature-Aware Adaptive Differential Privacy For Privacy-Preserving Federated Digital Twins
Graph Attention Networks With Physical Constraints For Anomaly Detection
Feature-Aware Adaptive Differential Privacy For Privacy-Preserving Federated Digital Twins
Graph Attention Networks With Physical Constraints For Anomaly Detection
Enabling Rpl On The Internet Of Underwater Things
Graph Attention Networks With Physical Constraints For Anomaly Detection
Enabling Rpl On The Internet Of Underwater Things
Kgonsolver: Maximum Or Minimum K-Gon In Lattice Polygons With Arbitrary Obstacles
Enabling Rpl On The Internet Of Underwater Things
Kgonsolver: Maximum Or Minimum K-Gon In Lattice Polygons With Arbitrary Obstacles
Bichromaticsolver: A Classroom Resource For Computational Geometry
Kgonsolver: Maximum Or Minimum K-Gon In Lattice Polygons With Arbitrary Obstacles
Bichromaticsolver: A Classroom Resource For Computational Geometry
Conformal Prediction-Driven Adaptive Sampling For Digital Twins Of Water Distribution Networks
Bichromaticsolver: A Classroom Resource For Computational Geometry
Conformal Prediction-Driven Adaptive Sampling For Digital Twins Of Water Distribution Networks
Seasonal-Adaptive Feature Engineering For Water Consumption Prediction: A Cross-Regional Stability Analysis
Conformal Prediction-Driven Adaptive Sampling For Digital Twins Of Water Distribution Networks
Seasonal-Adaptive Feature Engineering For Water Consumption Prediction: A Cross-Regional Stability Analysis
Picksolver: An Educational Tool For Exploring Pick's Theorem
Seasonal-Adaptive Feature Engineering For Water Consumption Prediction: A Cross-Regional Stability Analysis
Picksolver: An Educational Tool For Exploring Pick's Theorem
An Efficient Method For Obtaining The Maximum K-Gon In A Closed Contour With Obstacles
Picksolver: An Educational Tool For Exploring Pick's Theorem
An Efficient Method For Obtaining The Maximum K-Gon In A Closed Contour With Obstacles
Smart Water Security With Ai And Blockchain-Enhanced Digital Twins
An Efficient Method For Obtaining The Maximum K-Gon In A Closed Contour With Obstacles
Smart Water Security With Ai And Blockchain-Enhanced Digital Twins
Exploring Pick’s Theorem In The Classroom: A Comparison Between Traditional And Digital Methodologies Using Picksolver Software
Smart Water Security With Ai And Blockchain-Enhanced Digital Twins
Exploring Pick’s Theorem In The Classroom: A Comparison Between Traditional And Digital Methodologies Using Picksolver Software
Obtaining The User-Defined Polygons Inside A Closed Contour With Holes
Exploring Pick’s Theorem In The Classroom: A Comparison Between Traditional And Digital Methodologies Using Picksolver Software
Obtaining The User-Defined Polygons Inside A Closed Contour With Holes
Post-Processing Of Closed Contours To Obtain Inscribed K-Sided Polygons
Obtaining The User-Defined Polygons Inside A Closed Contour With Holes
Post-Processing Of Closed Contours To Obtain Inscribed K-Sided Polygons
An Algorithm To Compute Any Simple K-Gon Of A Maximum Area Or Perimeter Inscribed In A Region Of Interest
Post-Processing Of Closed Contours To Obtain Inscribed K-Sided Polygons
An Algorithm To Compute Any Simple K-Gon Of A Maximum Area Or Perimeter Inscribed In A Region Of Interest
Finding The Largest Volume Parallelepipedon Of Arbitrary Orientation In A Solid
An Algorithm To Compute Any Simple K-Gon Of A Maximum Area Or Perimeter Inscribed In A Region Of Interest
Finding The Largest Volume Parallelepipedon Of Arbitrary Orientation In A Solid
Finding The Largest Area Rectangle Of Arbitrary Orientation In A Closed Contour
Finding The Largest Volume Parallelepipedon Of Arbitrary Orientation In A Solid
Finding The Largest Area Rectangle Of Arbitrary Orientation In A Closed Contour
Análisis Computacional De Imágenes De Resonancia Magnética Para Diferenciar Jamones Ibéricos En Función De La Alimentación De Los Cerdos
Finding The Largest Area Rectangle Of Arbitrary Orientation In A Closed Contour
Análisis Computacional De Imágenes De Resonancia Magnética Para Diferenciar Jamones Ibéricos En Función De La Alimentación De Los Cerdos
Sensory Traits Prediction In Dry-Cured Hams From Fresh Product Via Mri And Lipid Composition
Análisis Computacional De Imágenes De Resonancia Magnética Para Diferenciar Jamones Ibéricos En Función De La Alimentación De Los Cerdos
Sensory Traits Prediction In Dry-Cured Hams From Fresh Product Via Mri And Lipid Composition
Towards Trustworthy Digital Twins: Verifiable Simulation Via Recursive Zero-Knowledge Proofs
WEB ACCESIBLE