Joshua Miller

Orcid: 0000-0003-1990-4029

According to our database¹, Joshua Miller authored at least 5 papers between 2020 and 2025.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

A data quality assurance process to improve the precision of analysis of routinely collected administrative data for the NHS (National Health Service) UK.

[BibT_eX]

[DOI]

Health Informatics J., 2025

2024

Formalization of Asymptotic Convergence for Stationary Iterative Methods.

[BibT_eX]

[DOI]

Mohit Tekriwal

Joshua Miller

Jean-Baptiste Jeannin

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2022

Formal verification of iterative convergence of numerical algorithms.

[BibT_eX]

[DOI]

Mohit Tekriwal

Joshua Miller

Jean-Baptiste Jeannin

CoRR, 2022

Attention Is Not Enough.

[BibT_eX]

[DOI]

Proceedings of the 44th Annual Meeting of the Cognitive Science Society, 2022

2020

Inpatient Point of Care Glucose Performance Analysis Using Paired Timestamps.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2020, 2020

Joshua Miller

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...