1. Potential Role of Metrology in Digital Transformation for Quality Infrastructure;MAPAN;2024-02-06
2. Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14
3. Acknowledging Implementation Trade-Offs When Developing with Units of Measurement;Communications in Computer and Information Science;2023
4. Considerations about quantities, units, and dimensions for interoperability;2021 IEEE International Workshop on Metrology for Industry 4.0 & IoT (MetroInd4.0&IoT);2021-06-07
5. From Quantities in Software Models to Implementation;Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development;2021