Cesare Tinelli
About
Cesare Tinelli is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software.
According to data from OpenAlex, Cesare Tinelli has authored 53 papers receiving a total of 682 indexed citations (citations by other indexed papers that have themselves been cited), including 40 papers in Artificial Intelligence, 38 papers in Computational Theory and Mathematics and 15 papers in Software. Recurrent topics in Cesare Tinelli’s work include Formal Methods in Verification (32 papers), Logic, programming, and type systems (31 papers) and Logic, Reasoning, and Knowledge (13 papers). Cesare Tinelli is often cited by papers focused on Formal Methods in Verification (32 papers), Logic, programming, and type systems (31 papers) and Logic, Reasoning, and Knowledge (13 papers). Cesare Tinelli collaborates with scholars based in United States, Germany and United Kingdom. Cesare Tinelli's co-authors include Robert Nieuwenhuis, Albert Oliveras, Peter Baumgartner, Andrew Reynolds, Christel Baier, Calogero G. Zarba, Clark Barrett, Alexander Fuchs, George Hagen and Christophe Ringeissen and has published in prestigious journals such as Communications of the ACM, Artificial Intelligence and Journal of the ACM.
In The Last Decade
Co-authorship network of co-authors of Cesare Tinelli i
Fields of papers citing papers by Cesare Tinelli
Since SpecializationEngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics
This network shows the specialization of papers citing the papers produced by Cesare Tinelli. Nodes represent fields, and links connect fields that are likely to share authors. The network helps show where Cesare Tinelli may publish in the future.
Countries citing papers authored by Cesare Tinelli
Since SpecializationCitations
This map shows the geographic impact of Cesare Tinelli's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Cesare Tinelli with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Cesare Tinelli more than expected).
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Hyeryeong Jeong Breakdown of academic impact, for papers by Dongliang Tao Breakdown of academic impact, for papers by Hanna Mierzewska Breakdown of academic impact, for papers by D. L. Fehl Breakdown of academic impact, for papers by Christopher Marshall Breakdown of academic impact, for papers by P Rambotti Breakdown of academic impact, for papers by J. Pudles Breakdown of academic impact, for papers by Carla Vitola Gonçalves