Earth Science Informatics
Frost forecasting through machine learning algorithms
Pérez Tárraga, Javier; Castillo Cara, Manuel; Enrique Arias Antúnez; Dujovne , Diego;
2025
Applied Science-Basel
DICAUVACOOP: A Software Tool to Calculate and Visualize Differentiated Payment According to Grape Quality
Javier Ruiz Serrano; Berenguer García, José Carlos; José Antonio Mateo Cortés; Enrique Arias Antúnez;
2025
Applied Sciences
DeepST-Net: Leveraging Spatiotemporal Data Refinement for Enhanced Travel Time Prediction
Gregorio Díaz Descalzo
2025
Blockchain Applications for the Energy and Utilities Industry
Blockchain Oraculus for Meteorological Data in Energy and Utilities With Immutability and Security
Enrique Arias Antúnez; José Antonio Mateo Cortés; Maqousi , Ali; Alauthman , Mohammad;
2025
SoftwareX
U-TRAFMAN: Unmanned traffic management simulator
Jesús Jover Alfaro; Rafael Casado González; Aurelio Bermúdez Marín;
2025
World Electric Vehicle Journal
Formal Modelling and Verification of Multi-Parameter Context and Agent Transition Systems: Application to Urban Delivery Zone and Autonomous Electric Vehicle
Gregorio Díaz Descalzo
2025
Future Generation Computer Systems
Speeding up the communications on a cluster using MPI by means of Software Defined Networks
Pablo Gomariz Martínez; Francisco Manuel Delicado Martínez; Enrique Arias Antúnez;
2024
Quantum Machine Learning
Polynomial quantum computing algorithms for solving the dualization problem for positive Boolean functions
Fernando López Pelayo
2024
PeerJ Computer Science
Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies
MARIA EMILIA CAMBRONERO PIQUERAS
2024
Journal of Computational Science - SCIE
ITS4Tsunamis: An Intelligent Transportation System for tsunami emergencies
Gregorio Díaz Descalzo; Hermenegilda Macia Soler; Boubeta-Puig , Juan; María Carmen Ruiz Delgado; Valentín Valero Ruiz;
2024
Mathematics
A Finite Representation of Durational Action Timed Automata Semantics
Gregorio Díaz Descalzo
2024
IT Professional
Harnessing Blockchain Technology to Enhance Trust and Traceability in Wine Trading Among Wineries
Rubén Hortelano Haro; José Antonio Mateo Cortés; María Blanca Caminero Herráez; Enrique Arias Antúnez; Hernández-Bravo , Angel; Dujovne , Diego;
2024
IT Professional
Harnessing Blockchain Technology to Enhance Trust and Traceability in Wine Trading Among Wineries
HORTELANO-HARO , RUBEN; MATEO-CORTES , JOSE A.; MARIA BLANCA CAMINERO HERRAEZ; ENRIQUE ARIAS ANTUNEZ; HERNANDEZ-BRAVO , ANGEL; DUJOVNE , DIEGO;
2024
Journal of Computational Science
ITS4Tsunamis: An Intelligent Transportation System for tsunami emergencies
Gregorio Díaz Descalzo
2024
Computer Methods and Programs in Biomedicine - SCIE
Increasing the security and traceability of biological samples in biobanks by blockchain technology
ORTIZ LIZCANO, MARIA ISABEL; ENRIQUE ARIAS ANTUNEZ; HERNANDEZ BRAVO, ANGEL; MARIA BLANCA CAMINERO HERRAEZ; TOMAS ROJO GUILLEN; SYONG HYUM NAM CHA;
2023
Applied Sciences
Impact of Blockchain Technology for Business and Information Systems: Automation of Inter-Company Debt Compensation Case Study
JOSE ANTONIO MATEO CORTES; ENRIQUE ARIAS ANTUNEZ; DIEGO C CAZORLA LOPEZ;
2023
Mathematics
Functional Matrices on Quantum Computing Simulation
FERNANDO LOPEZ PELAYO
2023
Mathematics
Heuristics for Quantum Computing Dealing with 3-SAT
FERNANDO LOPEZ PELAYO
2023
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions
VALENTIN VALERO RUIZ; GREGORIO DIAZ DESCALZO; BOUBETA PUIG, JUAN; HERMENEGILDA MACIA SOLER; ENRIQUE BRAZALEZ SEGOVIA;
2022
Applied Soft Computing
FUME: An air quality decision support system for cities based on CEP technology and fuzzy logic
ENRIQUE BRAZALEZ SEGOVIA; HERMENEGILDA MACIA SOLER; GREGORIO DIAZ DESCALZO; MARIA TERESA BAEZA ROMERO; EDELMIRA VALERO RUIZ; VALENTIN VALERO RUIZ;
2022
Engineering Applications of Artificial Intelligence
PITS: An Intelligent Transportation System in pandemic times
ENRIQUE BRAZALEZ SEGOVIA; HERMENEGILDA MACIA SOLER; GREGORIO DIAZ DESCALZO; VALENTIN VALERO RUIZ; BOUBETA PUIG, JUAN;
2022
Journal of King Saud University - Computer and Information Sciences
Reducing the number of migrated instances during business process change: A graph rewriting approach
GREGORIO DIAZ DESCALZO
2022
PeerJ Computer Science
GDPRValidator: A Tool to Enable Companies Using Cloud Services to be GDPR Compliant
MARIA EMILIA CAMBRONERO PIQUERAS; MARTINEZ , MIGUEL A.; JOSE LUIS DE LA VARA GONZALEZ; CEBRIAN , DAVID; VALENTIN VALERO RUIZ;
2022
Journal of Supercomputing
Evaluating cloud interactions with costs and SLAs
MARIA EMILIA CAMBRONERO PIQUERAS; BERNAL BERMEJO, ADRIAN; VALERO , VALENTIN; NUÑEZ , ALBERTO; C. CAÑIZARES , PABLO;
2022
Electronics
Priority-Aware Conflict Resolution for U-Space
JESUS JOVER ALFARO; AURELIO BERMUDEZ MARIN; RAFAEL CASADO GONZALEZ;
2022
Engineering Applications of Artificial Intelligence
PITS: An Intelligent Transportation System in pandemic times
Gregorio Díaz Descalzo
2022
Mathematics
Preface to the Special Issue on “Quantum Computing Algorithms and Computational Complexity”
FERNANDO LOPEZ PELAYO
2022
Computer Networks
Reducing the energy consumption of the friendship mechanism in Bluetooth mesh
DIEGO HORTELANO HARO; TERESA OLIVARES MONTES; MARIA CARMEN RUIZ DELGADO;
2021
Frontiers in Psychology
On the Impact of Information Technologies Secondary-School Capacity in Business Development: Evidence From Smart Cities Around the World
VIRGINIA BARBA SANCHEZ; LUIS OROZCO BARBOSA; ENRIQUE ARIAS ANTUNEZ;
2021
SENSORS
A Tactical Conflict Resolution Proposal for U-Space Zu Airspace Volumes
JESUS JOVER ALFARO; AURELIO BERMUDEZ MARIN; RAFAEL CASADO GONZALEZ;
2021
Applied Sciences
Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods
Bouhamed , Mohammed Mounir; Gregorio Díaz Descalzo; Chaoui , Allaoua; Nouara , Redouane;
2021
COMPUTER STANDARDS & INTERFACES
SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach.
KAMEL , OUSSAMA; CHAOUI , ALAOUA; GREGORIO DIAZ DESCALZO; GHARZOULI , MOHAMED;
2021
WIRELESS NETWORKS
Providing interoperability in Bluetooth mesh with an improved provisioning protocol
DIEGO HORTELANO HARO; TERESA OLIVARES MONTES; MARIA CARMEN RUIZ DELGADO;
2021
APPLIED SCIENCES-BASEL
A Dynamic Model for the Study and Simulation of the Pantograph–Rigid Catenary Interaction with an Overlapping Span
JESUS BENET MANCHO; FERNANDO CUARTERO GOMEZ; TOMAS ROJO GUILLEN; PEDRO TENDERO LOZANO; ENRIQUE ARIAS ANTUNEZ;
2021
Journal of Supercomputing
Evaluating Cloud Interactions with Costs and SLAs
ADRIAN BERNAL BERMEJO; MARIA EMILIA CAMBRONERO PIQUERAS; NUÑEZ , ALBERTO; CAÑIZARES , PABLO C.; VALENTIN VALERO RUIZ;
2021
PeerJ Computer Science
Profiling SLAs for Cloud System Infrastructures and User Interactions
MARIA EMILIA CAMBRONERO PIQUERAS; ADRIAN BERNAL BERMEJO; VALENTIN VALERO RUIZ; CAÑIZARES , PABLO C.; NUÑEZ , ALBERTO;
2021
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
Analyzing the Cloud Performance Using Different User Subscription Times
BERNAL , ADRIAN; MARIA EMILIA CAMBRONERO PIQUERAS; VALERO , VALENTIN; NUÑEZ , ALBERTO; C. CAÑIZARES , PABLO; DE LA CRUZ , HERNAN INDIBIL;
2021
International Journal of Software Engineering and Knowledge Engineering (IJSEKE)
Analyzing the Cloud Performance Using Different User Subscription Times
ADRIAN BERNAL BERMEJO; MARIA EMILIA CAMBRONERO PIQUERAS; CAÑIZARES , PABLO C.; NUÑEZ , ALBERTO; VALENTIN VALERO RUIZ; HERNAN INDIBIL DE LA CRUZ CALVO;
2021
Applied Sciences
A Dynamic Model for the Study and Simulation of the Pantograph–Rigid Catenary Interaction with an Overlapping Span
TOMAS ROJO GUILLEN
2021
Computer Standards and Interfaces
SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach
Gregorio Díaz Descalzo
2021
Mathematics
On the Amplitude Amplification of Quantum States Corresponding to the Solutions of the Partition Problem
FERNANDO LOPEZ PELAYO
2021
Neural Computing and Applications
An Intelligent Transportation System to Control Air Pollution and Road Traffic in Cities Integrating CEP and Colored Petri Nets
GREGORIO DIAZ DESCALZO; HERMENEGILDA MACIA SOLER; VALENTIN VALERO RUIZ; BOUBETA PUIG, JUAN; FERNANDO CUARTERO GOMEZ;
2020
Neural Computing and Applications
An Intelligent Transportation System to Control Air Pollution and Road Traffic in Cities Integrating CEP and Colored Petri Nets
GREGORIO DIAZ DESCALZO; HERMENEGILDA MACIA SOLER; VALENTIN VALERO RUIZ; JUAN BOUBETA PUIG; FERNANDO CUARTERO GOMEZ
2020
The Journal of Supercomputing
Seeking the best Weather Research and Forecasting model performance: an empirical score approach
RAUL MORENO GALDON; ENRIQUE ARIAS ANTUNEZ; DIEGO C CAZORLA LOPEZ; JUAN JOSE PARDO MATEO; FRANCISCO JAVIER TAPIADOR FUENTES
2020
Software and Systems Modeling
Modeling and Simulation of the IEEE 802.11e Wireless Protocol with Hidden Nodes Using Colored Petri Nets
ESTEFANIA CORONADO CALERO; VALENTIN VALERO RUIZ; LUIS OROZCO BARBOSA; MARIA EMILIA CAMBRONERO PIQUERAS; FERNANDO LOPEZ PELAYO;
2020
Scientific Programming
Analysis of a New MPI Process Distribution for the Weather Research and Forecasting (WRF) Model
RAUL MORENO GALDON; ENRIQUE ARIAS ANTUNEZ; DIEGO C CAZORLA LOPEZ; JUAN JOSE PARDO MATEO; ANDRES NAVARRO MARTINEZ DE LA CASA; FRANCISCO JAVIER TAPIADOR FUENTES
2020
Mathematics
An algorithm for counting the fixed point orbits of an AND-OR dynamical system with symmetric positive dependency graph
FERNANDO LOPEZ PELAYO
2020
Oncotarget
Pedf derived peptides affect colorectal cancer cell lines resistance and tumour re-growth capacity
PALOMA HONRUBIA GOMEZ; M PILAR LOPEZ-GARRIDO; MARIA CARMEN GIL GAS; JOSE LUIS SANCHEZ-SANCHEZ; CARMEN ALVAREZ-SIMON; J CUENCA-ESCALONA; AF PEREZ AF; ENRIQUE ARIAS ANTUNEZ; R MORENO; FRANCISCO SANCHEZ SANCHEZ; M CARMEN RAMIREZ-CASTILLEJO
2019
Technological Forecasting and Social Change
Smart cities as a source for entrepreneurial opportunities: Evidence for Spain
VIRGINIA BARBA SANCHEZ; ENRIQUE ARIAS ANTUNEZ; LUIS OROZCO BARBOSA
2019
INFORMATICA
New Proposals to Improve a MAC Layer Protocol in Wireless Sensor Networks
MARIA CARMEN RUIZ DELGADO; HERMENEGILDA MACIA SOLER; FRANCISCO JAVIER LOPEZ CALLEJA
2019
Computers and Geosciences
Science for everyone (ScifE): A proposed framework for science as a serviceusing interactive web technologies
RAUL MORENO GALDON; FRANCISCO JAVIER PEREZ GIL; JUAN JOSE PARDO MATEO; ANDRES NAVARRO MARTINEZ DE LA CASA; FRANCISCO JAVIER TAPIADOR FUENTES
2019
Information Systems
MEdit4CEP-CPN: An Approach for Complex Event Processing Modeling by Prioritized Colored Petri Nets
JUAN BOUBETA PUIG; GREGORIO DIAZ DESCALZO; HERMENEGILDA MACIA SOLER; VALENTIN VALERO RUIZ; GUADALUPE ORTIZ BELLOT
2019
JOURNAL OF SUPERCOMPUTING
Improving Cloud Architectures using UML Profiles and M2T Transformation Techniques
ADRIAN BERNAL BERMEJO; MARIA EMILIA CAMBRONERO PIQUERAS; ALBERTO NUÑEZ; PABLO C CAÑIZARES; VALENTIN VALERO RUIZ
2019
IEEE Latin America Transactions
SAVIA: Smart City Citizen Security Application based on Fog Computing Architecture
MANUEL CASTILLO CARA; GIOVANNY MONDRAGON RUIZ; EDGAR HUARANGA JUNCO; ENRIQUE ARIAS ANTUNEZ; LUIS OROZCO BARBOSA
2019
IEEE Access
A Framework for Modeling Cloud Infrastructures and User Interactions
ADRIAN BERNAL BERMEJO; MARIA EMILIA CAMBRONERO PIQUERAS; VALENTIN VALERO RUIZ; ALBERTO NUÑEZ; PABLO C CAÑIZARES
2019
Information Systems
MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored petri nets
Gregorio Díaz Descalzo
2019
Scientific Programming
Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool
GREGORIO DIAZ DESCALZO; HERMENEGILDA MACIA SOLER; VALENTIN VALERO RUIZ; JUAN BOUBETA PUIG; GUADALUPE ORTIZ BELLOT
2019
Software and Systems Modeling
Profiling the Publish/Subscribe Paradigm for Automated Analysis Using Colored Petri Nets
ABEL GOMEZ; RICARDO J RODRIGUEZ; MARIA EMILIA CAMBRONERO PIQUERAS; VALENTIN VALERO RUIZ
2019
The Journal of Supercomputing
How good is the OpenPOWER architecture for high-performance CPU-oriented weather forecasting applications?
RAUL MORENO GALDON; ENRIQUE ARIAS ANTUNEZ; ANDRES NAVARRO MARTINEZ DE LA CASA; FRANCISCO JAVIER TAPIADOR FUENTES;
2019
Remote Sensing
Variability of Microwave Scattering in a Stochastic Ensemble of Measured Rain Drops
FRANCISCO JAVIER TAPIADOR FUENTES; RAUL MORENO GALDON; ANDRES NAVARRO MARTINEZ DE LA CASA; ALFONSO JIMENEZ ALCAZAR; ENRIQUE ARIAS ANTUNEZ; DIEGO C CAZORLA LOPEZ;
2018
IEEE Access - SCIE
IoT Heterogeneous Mesh Network Deployment for Human-in-the-Loop Challenges towards a Social and Sustainable Industry 4.0
CELIA GARRIDO HIDALGO; DIEGO HORTELANO HARO; LUIS RODA SANCHEZ; TERESA OLIVARES MONTES; MARIA CARMEN RUIZ DELGADO; VICENTE LOPEZ CAMACHO
2018
Journal of Sensors - SCIE
OperaBLE: an IoT-based Wearable to Improve Efficiency and Smart Worker-Care Services in Industry 4.0
LUIS RODA SANCHEZ; CELIA GARRIDO HIDALGO; DIEGO HORTELANO HARO; TERESA OLIVARES MONTES; MARIA CARMEN RUIZ DELGADO;
2018
Journal of Sensors
FROG: A Robust and Green Wireless Sensor Node for Fog Computing Platforms
CASTILLO CARA, MANUEL; HUARANGA JUNCO, EDGAR; QUISPE MONTESINOS, MILNER; LUIS OROZCO BARBOSA; ENRIQUE ARIAS ANTUNEZ;
2018
Administrative Sciences
Enhancing the Entrepreneurship Education on Master’s degree in Computer Engineering: A Project-Based Learning
ENRIQUE ARIAS ANTUNEZ; VIRGINIA BARBA SANCHEZ; MARIA DEL CARMEN CARRION ESPINOSA; RAFAEL CASADO GONZALEZ
2018
Computers in Biology and Medicine
BAMOS: A recording application for BAsso MOuse scale of locomotion in experimental models of spinal cord injury
ALBERTO GOMEZ GONZALEZ; MANUEL NIETO DIAZ; ANGELA DEL AGUILA; ENRIQUE ARIAS ANTUNEZ
2018
IEEE Access
Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets
MARIA EMILIA CAMBRONERO PIQUERAS; HERMENEGILDA MACIA SOLER; VALENTIN VALERO RUIZ; LUIS OROZCO BARBOSA
2018
Journal of Sensors
Frog: A Robust and Green Wireless Sensor Node for Fog Computing Platforms
MANUEL CASTILLO CARA; EDGAR HUARANGA JUNCO; MILNER QUISPE MONTESINOS; LUIS OROZCO BARBOSA; ENRIQUE ARIAS ANTUNEZ
2018
Remote Sensing
Variability of Microwave Scattering in a Stochastic Ensemble of Mesasured Rain Drops
ENRIQUE ARIAS ANTUNEZ
2018
Revista de la Facultad de Ciencias de la Universidad Nacional de Ingeniería
When performance met energy comsuption. Broydens method case study
JESUS LOVON MELGAREJO; ENRIQUE ARIAS ANTUNEZ; JOSE MANUEL CASTILLO CARA
2018
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources
VALENTIN VALERO RUIZ; GREGORIO DIAZ DESCALZO; MARIA EMILIA CAMBRONERO PIQUERAS
2017
Sensors
From Sensor Networks to Internet of Things. Bluetooth Low Energy, a Standard for This Evolution.
DIEGO HORTELANO HARO; TERESA OLIVARES MONTES; MARIA CARMEN RUIZ DELGADO; CELIA GARRIDO HIDALGO; VICENTE LOPEZ CAMACHO
2017
Computer Standard & Interfaces
Data-aware automatic derivation of choreography-conforming systems of services
PABLO RABANAL; JOSE ANTONIO MATEO; ISMAEL RODRIGUEZ; GREGORIO DIAZ DESCALZO
2017
Computer Standards & Interfaces
Data-aware automatic derivation of choreography-conforming systems of services
Rabanal Basalo, Pablo; José Antonio Mateo Cortés; Rodríguez Laguna, Ismael; Gregorio Díaz Descalzo;
2017
JOURNAL OF SUPERCOMPUTING
An efficiency study of a pivot-based algorithm for similarity search on a heterogeneous platform
ROBERTO URIBE PAREDES; ENRIQUE ARIAS ANTUNEZ; DIEGO C CAZORLA LOPEZ; JOSE LUIS SANCHEZ GARCIA
2017
MATHEMATICAL AND COMPUTER MODELLING OF DYNAMICAL SYSTEMS
USING UNIFIED MODELLING LANGUAGE TO MODEL THE PUBLISH/SUBSCRIBE PARADIGM IN THE CONTEXT OF TIMED WEB SERVICES WITH DISTRIBUTED RESOURCES
VALENTIN VALERO RUIZ; MARIA EMILIA CAMBRONERO PIQUERAS
2017
Scalable Computing
Introduction to the special issue on high performance computing solutions for complex problems
FERNANDO LOPEZ PELAYO
2017
The Journal of Supercomputing
GPU-based exhaustive algorithms processing kNN queries
RICARDO BARRIENTOS; FABRICIO MIGALLIR; JOSE LUIS SANCHEZ GARCIA; ENRIQUE ARIAS ANTUNEZ
2017
IEEE Access
Complex Event Processing Modeling by Prioritized Colored Petri Nets
HERMENEGILDA MACIA SOLER; VALENTIN VALERO RUIZ; GREGORIO DIAZ DESCALZO; JUAN BOUBETA PUIG; GUADALUPE ORTIZ BELLOT
2016
JOURNAL OF SUPERCOMPUTING
Formal performance evaluation of the Map/Reduce framework within cloud computing
MARIA CARMEN RUIZ DELGADO; DIEGO C CAZORLA LOPEZ; DIEGO PEREZ LEANDREZ; FRANCISCO JAVIER CONEJERO BAÑON
2016
Applied Mathematics & Information Sciences
Modelling a Videconference System with sPBC
HERMENEGILDA MACIA SOLER; VALENTIN VALERO RUIZ; FERNANDO CUARTERO GOMEZ; MARIA CARMEN RUIZ DELGADO; IGOR TARASYUK
2016
INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE
Formal analysis of an energy-aware collision resolution protocol for wireless sensor networks
MARIA CARMEN RUIZ DELGADO; HERMENEGILDA MACIA SOLER; JOSE ANTONIO MATEO CORTES; JAVIER LOPEZ CALLEJA
2016
Scalable Computing
Many-task computing on many-core architectures
FERNANDO LOPEZ PELAYO
2016
Scalable Computing
Introduction to the special issue on high performance computing solutions for complex problems
FERNANDO LOPEZ PELAYO
2016
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE
Petri nets-based model for the analysis of NORIA protocol
HERMENEGILDA MACIA SOLER; MARIA CARMEN RUIZ DELGADO; JOSE ANTONIO MATEO CORTES; JAVIER LOPEZ CALLEJA
2015
International Journal of Distributed Sensor Networks
Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation
JOSE ANTONIO MATEO CORTES; HERMENEGILDA MACIA SOLER; MARIA CARMEN RUIZ DELGADO; JAVIER LOPEZ CALLEJA; FERNANDO ROYO
2015
Fundamenta Informaticae
Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics
JOSE ANTONIO MATEO CORTES; JIRI SRBA; MATHIAS GRUND SORENSEN
2015
MATHEMATICAL PROBLEMS IN ENGINEERING
Parallel kd-Tree Based Approach for Computing the Prediction Horizon Using Wolf´s Method
JULIO AGUILA; ENRIQUE ARIAS ANTUNEZ; MARIA DEL MAR ARTIGAO CASTILLO; JUAN JOSE MIRALLES CANALS
2015
MATHEMATICAL PROBLEMS IN ENGINEERING
Numerical Algorithms for the Analysis of Initial Configuration in a Railway Catenary Structure and Its Code Implementation: A Software Tool CALPE
JESUS BENET MANCHO; FERNANDO CUARTERO GOMEZ; TOMAS ROJO GUILLEN; PEDRO TENDERO LOZANO; ENRIQUE ARIAS ANTUNEZ
2015
Proceedings of the 13th IEEE International Symposium on Parallel and Distributed Processing with Applications. IEEE Trustcom/BigDataSE/ISPA
Petri Nets formalization of Map/Reduce paradigm to optimise the performance?cost tradeoff
MARIA CARMEN RUIZ DELGADO; JAVIER CALLEJA; DIEGO C CAZORLA LOPEZ
2015
Proceedings og the 10th International Andrei Ershov Memorial Conference (PSI 2015)
BTC Formal Model of MAP/REDUCE
MARIA CARMEN RUIZ DELGADO; DIEGO PEREZ LEANDREZ; FRANCISCO JAVIER CONEJERO BAÑON; DIEGO C CAZORLA LOPEZ
2015