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
Breakdown of academic impact, for papers by John W. Schell Breakdown of academic impact, for papers by L. C. Newell Breakdown of academic impact, for papers by George A. Wolf Breakdown of academic impact, for papers by Olivier Spanjaard Breakdown of academic impact, for papers by Y. Kurihara Breakdown of academic impact, for papers by A. Romano Breakdown of academic impact, for papers by Alexey Tselykh Breakdown of academic impact, for papers by Robert T. Buckley