Javier Díaz

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 34

Top Topics

Practical Experience

Contextual Factors

Scientific Data

Top Venues

Arch. Formal Proofs

Publications

Roberto Rodríguez-Rodríguez, Javier Díaz, Fernando Castro, Pablo Ibáñez, Daniel Chaver, Víctor Viñals, Juan Carlos Saez, Manuel Prieto-Matias, Luis Pinuel, Teresa Monreal, José María Llabería
Reuse Detector: Improving the Management of STT-RAM SLLCs. CoRR (2024)
María-Inés Acosta-Urigüen, Juan Pablo Holguin, Mateo Sebastián Zea-Paredes, Juan-Fernando Lima, Alexandra Bermeo, Javier Díaz, Ivana Harari
Conceptualizing the Active Ageing Index (AAI): A Systematic Literature Review of Frameworks and Supporting Digital Tools. ICT4AWE (2024)
Wolfgang Jeltsch, Javier Díaz
Proofs about Network Communication: For Humans and Machines. CoRR (2023)
Javier Díaz
Metatheory of Q0. Arch. Formal Proofs 2023 (2023)
Joachim Zahnentferner, Dmytro Kaidalov, Jean-Frédéric Étienne, Javier Díaz
Djed: A Formally Verified Crypto-Backed Autonomous Stablecoin Protocol. ICBC (2023)
Monica R. Romero, Ivana Harari, Javier Díaz, Estela M. Macas, Nancy Armijos
Augmented Reality to Reinforce Working Memory in Children with ASD. A Case Studies. CACIC (2022)
Wolfgang Jeltsch, Javier Díaz
Your Blockchain Needn't Care How the Message is Spread. CoRR (2022)
Daisy Imbaquingo, Lorena San Pedro, Javier Díaz, Silvia Arciniega, Tatyana Saltos, Cosme Ortega
Computer Auditing Quality Assessment Based on Human, Technical and Contextual Factors. ARTIIS (2) (2022)
Daisy Imbaquingo-Esparza, Javier Díaz, Silvia Arciniega, José Jácome, MacArthur Ortega-Bustamante
Metric Identification Evaluating Security Information: A Systematic Literature Review. CITI (2022)
Monica. R. Romero, Ivana Harari, Javier Díaz, Estela Macas
Hoope Project: User-Centered Design Process Applied in the Implementation of Augmented Reality for Children with ASD. HCI (8) (2022)
Geovanni Ninahualpa, Teresa Guarda, Javier Díaz, Darío Piccirilli
Data Recovery Protocol Proposal for SSD Disks. ARTIIS (2) (2022)
Joaquin Bogado, Mario Lassnig, Fernando Monticelli, Javier Díaz
Modelling Large-Scale Scientific Data Transfers. Comput. Softw. Big Sci. 6 (1) (2022)
Wolfgang Jeltsch, Javier Díaz
Correctness of Broadcast via Multicast: Graphically and Formally. FROM (2022)
Javier Díaz, Pablo Ibáñez, Teresa Monreal, Víctor Viñals, José M. Llabería
Near-optimal replacement policies for shared caches in multicore processors. J. Supercomput. 77 (10) (2021)
Geovanni Ninahualpa, Michael Yugcha, Cristhian Gálvez, Teresa Guarda, Javier Díaz, Darío Piccirilli
Carvers Suite - Smart Application for Data Recovery in SSD. WorldCIST (3) (2021)
Javier Díaz, Ivana Harari, Ana Paola Amadeo, Alejandra Schiavoni, Soledad Gómez, Alejandra Osorio
Higher Education and Virtuality from an Inclusion Approach. CACIC (2021)
Joaquin Bogado, Mario Lassnig, Fernando Monticelli, Javier Díaz
Modelling Network Throughput of Large-Scale Scientific Data Transfers. JCC-BD&ET (2021)
Joachim Zahnentferner, Dmytro Kaidalov, Jean-Frédéric Etienne, Javier Díaz
Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin. IACR Cryptol. ePrint Arch. 2021 (2021)
Javier Díaz, Mónica D. Tugnarelli, Mauro F. Fornaroli, Lucas Barboza, Facundo Miño, Juan I. Carubia Grieco
Introduction of Metrics for Blockchain. CACIC (2021)
Mario Ron, Geovanni Ninahualpa, David Molina, Javier Díaz
How to Develop a National Cybersecurity Strategy for Developing Countries. Ecuador Case. ICITS (2020)
Javier Díaz
Finite Map Extras. Arch. Formal Proofs 2020 (2020)
Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova
Flexible Formality Practical Experience with Agile Formal Methods. TFP (2020)
Agustín Candia, Federico Lo Grasso, Laura Fava, Soledad Natacha Represa, Javier Díaz, Diego Vilches
LoRaWAN IoT Solutions for SmartCities. IoTSMS (2019)
Mario Ron, Oswaldo Rivera, Walter Fuertes, Theofilos Toulkeridis, Javier Díaz
Cybersecurity Baseline, An Exploration, Which Permits to Delineate National Cybersecurity Strategy in Ecuador. ICITS (2019)
Javier Díaz, Teresa Monreal, Pablo Ibáñez, José M. Llabería, Víctor Viñals
ReD: A reuse detector for content selection in exclusive shared last-level caches. J. Parallel Distributed Comput. 125 (2019)
Joaquin Bogado, Fernando Monticelli, Javier Díaz, Mario Lassnig, Ilija Vukotic
Modelling High-Energy Physics Data Transfers. eScience (2018)
Christian Urcuqui, Yor Castaño, Jhoan Delgado, Andrés Navarro, Javier Díaz, Beatriz Muñoz, Jorge Luis Orozco
Exploring Machine Learning to Analyze Parkinson's Disease Patients. SKG (2018)
Roberto Rodríguez-Rodríguez, Javier Díaz, Fernando Castro, Pablo Ibáñez, Daniel Chaver, Víctor Viñals, Juan Carlos Saez, Manuel Prieto-Matías, Luis Piñuel, Teresa Monreal Arnal, José María Llabería
Reuse Detector: Improving the Management of STT-RAM SLLCs. Comput. J. 61 (6) (2018)
Ricardo Piriz, Pedro Roldan, Francisco Domingo, Esteban Garbin, Pascale Defraigne, Javier Díaz
Practical Traceability to UTC(k) from a GNSS Timing Receiver. ISPCS (2018)
Mónica D. Tugnarelli, Mauro F. Fornaroli, Sonia R. Santana, Eduardo Jacobo, Javier Díaz
Analysis of Methodologies of Digital Data Collection in Web Servers. CACIC (2017)
María Emilia Charnelli, Laura Lanzarini, Javier Díaz
Recommender System Based on Latent Topics. CACIC (2017)
Ying hao Xu, Miquel Vidal, Beñat Arejita, Javier Díaz, Carlos Álvarez, Daniel Jiménez-González, Xavier Martorell, Filippo Mantovani
Implementation of the K-Means Algorithm on Heterogeneous Devices: A Use Case Based on an Industrial Dataset. PARCO (2017)
David Atienza, Concha Bielza, Javier Díaz, Pedro Larrañaga
Anomaly Detection with a Spatio-Temporal Tracking of the Laser Spot. STAIRS (2016)
Javier Díaz, Ivana Harari
Are Google Office Applications Easy for Seniors?: Usability Studies with 120 Elderly Users. HCI (26) (2016)
Laura Lanzarini, María Emilia Charnelli, Javier Díaz
Academic performance of university students and its relation with employment. CLEI (2015)
Javier Díaz, Concha Bielza, Jose L. Ocaña, Pedro Larrañaga
Development of a Cyber-Physical System based on selective Gaussian naïve Bayes model for a self-predict laser surface heat treatment process control. ML4CPS (2015)
Patricia Bazan, Jose Martinez Garro, Roxana S. Giandini, Javier Díaz
Mejora de la monitorización y ejecución de procesos de negocio con integración y socialización. CLEI (2015)
Iker Mesa, Eider Sanchez, Carlos Toro, Javier Díaz, Arkaitz Artetxe, Manuel Graña, Frank Guijarro, Cesar Martinez, José Manuel Jiménez, Shabs Rajasekharan, Jose Antonio Alarcon, Alessandro De Mauro
Design and Development of a Mobile Cardiac Rehabilitation System. Cybern. Syst. 45 (2) (2014)
Martin Martinez, Federico Villagra, Francis R. Loayza, Marta Vidorreta, Gonzalo Arrondo, Elkin Luis, Javier Díaz, Mikel Echeverria, María A. Fernández-Seara, María A. Pastor
MRI-Compatible Device for Examining Brain Activation Related to Stepping. IEEE Trans. Medical Imaging 33 (5) (2014)
Iker Mesa, Angel Rubio, Imanol Tubia, Joaquín de No, Javier Díaz
Channel and feature selection for a surface electromyographic pattern recognition task. Expert Syst. Appl. 41 (11) (2014)
Andres S. Troya, Jaime J. Astudillo, Carlos G. Romero, Fabian G. Saenz, Javier Díaz
Vulnerability detection in 802.11i wireless networks through link layer analysis. LATINCOM (2014)
Javier Díaz, Gregor von Laszewski, Fugang Wang, Geoffrey C. Fox
Abstract Image Management and Universal Image Registration for Cloud and HPC Infrastructures. IEEE CLOUD (2012)
Javier Díaz, Camelia Muñoz-Caro, Alfonso Niño
A Survey of Parallel Programming Models and Tools in the Multi and Many-Core Era. IEEE Trans. Parallel Distributed Syst. 23 (8) (2012)
Patricia Bazan, Gabriela Pérez, Roxana S. Giandini, Elsa Estevez, Javier Díaz
Services conceptualization within SOA/BPM methodology. CLEI (2012)
Gregor von Laszewski, Javier Díaz, Fugang Wang, Geoffrey C. Fox
Comparison of Multiple Cloud Frameworks. IEEE CLOUD (2012)
Iker Mesa, Angel Rubio, Javier Díaz, Jon Legarda, Beatriz Sedano
Reducing the Number of Channels and Signal-features for an Accurate Classification in an EMG Pattern Recognition Task. BIOSIGNALS (2012)
Javier Díaz, Laura Fava, Pablo Iuliano, Diego Vilches, Maria Alicia Terzaghi, Jorge Rosso
A Patient Referral and Counter-Referral Management System for Hospitals. CENTERIS (3) (2011)
Gregor von Laszewski, Javier Díaz, Fugang Wang, Andrew J. Younge, Archit Kulshrestha, Geoffrey C. Fox
Towards generic FutureGrid image management. TG (2011)
Javier Díaz, Gregor von Laszewski, Fugang Wang, Andrew J. Younge, Geoffrey C. Fox
FutureGrid Image Repository: A Generic Catalog and Storage System for Heterogeneous Virtual Machine Images. CloudCom (2011)
Patricia Bazan, Gabriela Pérez, Roxana S. Giandini, Javier Díaz
Process-Service Interactions Using a SOA-BPM-Based Methodology. SCCC (2011)
Mihaela M. Albu, Mihai Calin, Dumitru Federenciuc, Javier Díaz
The measurement layer of the Virtual Synchronous Generator operation in the field test. AMPS (2011)
María Eugenia Castro, Javier Díaz, Camelia Muñoz-Caro, Alfonso Niño
A uniform object-oriented solution to the eigenvalue problem for real symmetric and Hermitian matrices. Comput. Phys. Commun. 182 (9) (2011)
Mihaela M. Albu, Javier Díaz, Thong Vu Van, Ralf Neurohr, Dumitru Federenciuc, Mihail Popa, Mihai Calin
Measurement and remote monitoring for virtual synchronous generator design. AMPS (2010)
Thong Vu Van, Klaas Visscher, Javier Díaz, Vasileios Karapanos, Achim Woyte, Mihaela M. Albu, Jan Bozelie, Tom Loix, Dumitru Federenciuc
Virtual synchronous generator: An element of future grids. ISGT Europe (2010)
Audun Jøsang, Javier Díaz, Maria Rifqi
Cumulative and averaging fusion of beliefs. Inf. Fusion 11 (2) (2010)
Sandra Jhean-Larose, Vincent Leclercq, Javier Díaz, Guy Denhière, Bernadette Bouchon-Meunier
Knowledge evaluation based on LSA: MCQs and free answer questions. Stud. Inform. Univ. 8 (1) (2010)
Javier Díaz, Sebastián Reyes, Rosa M. Badia, Alfonso Niño, Camelia Muñoz-Caro
A general model for the generation and scheduling of parameter sweep experiments in computational grid environments. ICCS (1) (2010)
Javier Díaz, Sebastián Reyes, Alfonso Niño, Camelia Muñoz-Caro
Derivation of self-scheduling algorithms for heterogeneous distributed computer systems: Application to internet-based grids of computers. Future Gener. Comput. Syst. 25 (6) (2009)
Javier Díaz, Keyun Hu, Melanie Tory
An exploratory study of tag-based visual interfaces for searching folksonomies. BCS HCI (2009)
Javier Díaz, Camelia Muñoz-Caro, Alfonso Niño
An Adaptive Approach to Task Scheduling Optimization in Dynamic Grid Environments. GCA (2009)
Javier Díaz, Sandra A. Sandri, Maria Rifqi, Bernadette Bouchon-Meunier
Hypotheses Management for Disorder Diagnosis in a Hierarchical Framework. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 16 (Supplement-2) (2008)
Javier Díaz, Maria Rifqi, Bernadette Bouchon-Meunier, Sandra Jhean-Larose, Guy Denhière
Imperfect Answers in Multiple Choice Questionnaires. EC-TEL (2008)
Javier Díaz, Sebastián Reyes, Camelia Muñoz-Caro, Alfonso Niño
MSSML: A Molecular Spectroscopic Simulations Markup Language for Rovibrational Studies. ICCSA (1) (2008)
Javier Díaz, Ivana Harari, Paola Amadeo
WW3C mobile web best practices evaluation of an educational website. ITI (2008)
Sandra A. Sandri, Javier Díaz, Maria Rifqi, Bernadette Bouchon-Meunier
Fuzzy Hypothesis Management for Disorder Diagnosis. FUZZ-IEEE (2007)
Dorothy Bollman, Javier Díaz, Francisco Rodríguez-Henríquez
High performance reconfigurable computing. Scalable Comput. Pract. Exp. 8 (4) (2007)
Javier Díaz, Sebastián Reyes, Alfonso Niño, Camelia Muñoz-Caro
A Quadratic Self-Scheduling Algorithm for Heterogeneous Distributed Computing Systems. CLUSTER (2006)
Javier Díaz, Maria Rifqi, Bernadette Bouchon-Meunier
A Similarity Measure between Basic Belief Assignments. FUSION (2006)
Javier Díaz, Claudia Queiruga, Claudia Mariela Villar, Laura Fava
A Virtual Java Simulation Lab for Computer Science Students CoRR (2000)