Charles Lakos

4 papers and 4 indexed citations i.

Charles Lakos has authored 4 papers that have received a total of 4 indexed citations. This includes 3 papers in Information Systems, 2 papers in Artificial Intelligence and 2 papers in Computational Theory and Mathematics. The topics of these papers are QoS-Aware Web Services Composition and Semantic Matching (2 papers), Logic, programming, and type systems (2 papers) and Formal Methods in Verification (1 paper). Charles Lakos is often cited by papers focused on QoS-Aware Web Services Composition and Semantic Matching (2 papers), Logic, programming, and type systems (2 papers) and Formal Methods in Verification (1 paper) and collaborates with scholars based in Australia. Charles Lakos's co-authors include Michael Johnson, Yan Jin, Ahj Sale and Javier Esparza and has published in prestigious journals such as Electronic Notes in Theoretical Computer Science