Cristina Sernadas
About
Cristina Sernadas has authored 49 papers that have received a total of 305 indexed citations.
This includes 46 papers in Artificial Intelligence, 37 papers in Computational Theory and Mathematics and 8 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (37 papers), Logic, programming, and type systems (27 papers) and Advanced Algebra and Logic (24 papers). Cristina Sernadas is often cited by papers focused on Logic, Reasoning, and Knowledge (37 papers), Logic, programming, and type systems (27 papers) and Advanced Algebra and Logic (24 papers) and collaborates with scholars based in Portugal, Brazil and United Kingdom. Cristina Sernadas's co-authors include Amı́lcar Sernadas, Marcelo E. Coniglio, Paulo Mateus, Walter Carnielli and José Félix Costa and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Journal of Symbolic Logic
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Jae Guk Kim are published in Top journals papers by Kevin Cassel are published in Top journals papers by Pablo Viveros are published in Top authors papers by Antonella Riva are co-authored with Top journals papers by Fabien Ndagijimana are published in Top authors papers by Parvaneh Vasli are co-authored with Top journals papers by Masatsugu YOSHIZAWA are published in Top countries impacted by papers by Andrea Masini