Silvia Ghilezan

32 papers and 124 indexed citations i.

Silvia Ghilezan has authored 32 papers that have received a total of 124 indexed citations. This includes 25 papers in Artificial Intelligence, 16 papers in Computational Theory and Mathematics and 7 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (19 papers), Logic, Reasoning, and Knowledge (14 papers) and Advanced Algebra and Logic (8 papers). Silvia Ghilezan is often cited by papers focused on Logic, programming, and type systems (19 papers), Logic, Reasoning, and Knowledge (14 papers) and Advanced Algebra and Logic (8 papers) and collaborates with scholars based in Serbia, Italy and France. Silvia Ghilezan's co-authors include Mariangiola Dezani-Ciancaglini, Jorge A. Pérez, Hugo Torres Vieira, Nobuko Yoshida and Pierre Lescanne and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Journal of Logic and Computation