José Machado

120 papers and 575 indexed citations i.

About

José Machado has authored 120 papers that have received a total of 575 indexed citations. This includes 31 papers in Industrial and Manufacturing Engineering, 23 papers in Computational Theory and Mathematics and 14 papers in Mechanical Engineering. The topics of these papers are Formal Methods in Verification (17 papers), Digital Transformation in Industry (13 papers) and Flexible and Reconfigurable Manufacturing Systems (10 papers). José Machado is often cited by papers focused on Formal Methods in Verification (17 papers), Digital Transformation in Industry (13 papers) and Flexible and Reconfigurable Manufacturing Systems (10 papers) and collaborates with scholars based in Portugal, Poland and India. José Machado's co-authors include Leonilde Varela, Vijaya Kumar Manupati, Vı́tor Carvalho, Justyna Trojanowska and Goran D. Putnik and has published in prestigious journals such as Scientific Reports, IEEE Transactions on Industrial Electronics and Construction and Building Materials

In The Last Decade

Rankless by CCL
2025