D.C. Schmidt

9 papers and 29 indexed citations i.

D.C. Schmidt has authored 9 papers that have received a total of 29 indexed citations. This includes 6 papers in Computer Networks and Communications, 4 papers in Hardware and Architecture and 2 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (2 papers), Interconnection Networks and Systems (2 papers) and Distributed systems and fault tolerance (2 papers). D.C. Schmidt is often cited by papers focused on Formal Methods in Verification (2 papers), Interconnection Networks and Systems (2 papers) and Distributed systems and fault tolerance (2 papers) and collaborates with scholars based in United States, Brazil and Italy. D.C. Schmidt's co-authors include Maria Angela Butturi, Miguel Afonso Sellitto, John S. Kiely, Conor Deasy and Stephen Heisig and has published in prestigious journals such as IEEE Communications Magazine, Sustainability and IEEE Transactions on Computers