David Tarditi
About
David Tarditi has authored 13 papers that have received a total of 389 indexed citations.
This includes 12 papers in Hardware and Architecture, 9 papers in Computer Networks and Communications and 6 papers in Artificial Intelligence. The topics of these papers are Parallel Computing and Optimization Techniques (12 papers), Formal Methods in Verification (5 papers) and Distributed systems and fault tolerance (5 papers). David Tarditi is often cited by papers focused on Parallel Computing and Optimization Techniques (12 papers), Formal Methods in Verification (5 papers) and Distributed systems and fault tolerance (5 papers) and collaborates with scholars based in United States, United Kingdom and Canada. David Tarditi's co-authors include Bjarne Steensgaard, Robert Fitzgerald, Orion Hodson, Greg Morrisett and Manuel Fähndrich and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Computer Systems and Software Practice and Experience
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Yves Dumond Top authors papers by Ronald Queck are co-authored with Top fields papers by Laura de Dominicis are about Top fields papers by Simon Heine are about Top authors papers by Peng-Xiang Pei are co-authored with Top authors papers by Karine Devilliers are co-authored with Top authors papers by Andrea Bryndum‐Buchholz are co-authored with Top journals papers by Sean Pearson are published in