Tod Courtney

8 papers and 182 indexed citations i.

Tod Courtney has authored 8 papers that have received a total of 182 indexed citations. This includes 3 papers in Hardware and Architecture, 2 papers in Molecular Biology and 2 papers in Computer Networks and Communications. The topics of these papers are Real-Time Systems Scheduling (3 papers), Formal Methods in Verification (2 papers) and Petri Nets in System Modeling (2 papers). Tod Courtney is often cited by papers focused on Real-Time Systems Scheduling (3 papers), Formal Methods in Verification (2 papers) and Petri Nets in System Modeling (2 papers) and collaborates with scholars based in United States, France and Australia. Tod Courtney's co-authors include William H. Sanders, Salem Derisavi, Michel Cukier, P. Rubel and William H. Sanders and has published in prestigious journals such as Bioinformatics, IEEE Transactions on Software Engineering and IEEE Transactions on Computers