Timothy Bourke
About
Timothy Bourke has authored 14 papers that have received a total of 183 indexed citations.
This includes 11 papers in Computational Theory and Mathematics, 10 papers in Hardware and Architecture and 3 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (10 papers), Embedded Systems Design Techniques (10 papers) and Real-Time Systems Scheduling (5 papers). Timothy Bourke is often cited by papers focused on Formal Methods in Verification (10 papers), Embedded Systems Design Techniques (10 papers) and Real-Time Systems Scheduling (5 papers) and collaborates with scholars based in France, Australia and United States. Timothy Bourke's co-authors include Marc Pouzet, Benoı̂t Caillaud, Albert Benveniste, Bruno Pagano and Jean-Louis Colaço and has published in prestigious journals such as Journal of Neurophysiology, Proceedings of the IEEE and Journal of Computer and System Sciences
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Gerardo A. Pérez-Valdés are published in Top fields papers by Rebecca Winthrop are about Top journals papers by E. Hansen are published in Top fields papers by Sixiang Wen are about Top fields papers by NATALIIA MOSKALENKO are about Top authors papers by Christopher McCullough are co-authored with Top countries impacted by papers by Hari Mohan Mathur Top countries impacted by papers by Alex Gofman