Delia Kesner
About
Delia Kesner has authored 31 papers that have received a total of 133 indexed citations.
This includes 30 papers in Artificial Intelligence, 24 papers in Computational Theory and Mathematics and 3 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (29 papers), Logic, Reasoning, and Knowledge (25 papers) and Formal Methods in Verification (18 papers). Delia Kesner is often cited by papers focused on Logic, programming, and type systems (29 papers), Logic, Reasoning, and Knowledge (25 papers) and Formal Methods in Verification (18 papers) and collaborates with scholars based in France, Argentina and United States. Delia Kesner's co-authors include Roberto Di Cosmo, Beniamino Accattoli, Eduardo Bonelli, Val Tannen and Pierre Vial and has published in prestigious journals such as Theoretical Computer Science, ACM SIGPLAN Notices and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Fucheng Li are published in Top countries impacted by papers by J. Bremer Top journals papers by Paul Meyer are published in Top countries impacted by papers by Jianquan Liu Top authors papers by Humphrey Tonkin are co-authored with Top authors papers by Landon Rabern are co-authored with Top authors papers by P. Mariño are co-authored with Top fields papers by Raymond Suttner are about