Brendan Mahony
About
Brendan Mahony has authored 13 papers that have received a total of 114 indexed citations.
This includes 10 papers in Computational Theory and Mathematics, 6 papers in Hardware and Architecture and 4 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (10 papers), Real-Time Systems Scheduling (5 papers) and Embedded Systems Design Techniques (3 papers). Brendan Mahony is often cited by papers focused on Formal Methods in Verification (10 papers), Real-Time Systems Scheduling (5 papers) and Embedded Systems Design Techniques (3 papers) and collaborates with scholars based in Australia, Singapore and New Zealand. Brendan Mahony's co-authors include Jin Song Dong, Ian J. Hayes, Zhé Hóu, Ben Long and Jing Sun and has published in prestigious journals such as IEEE Transactions on Software Engineering, Engineering Applications of Artificial Intelligence and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by H. Alla are co-authored with Top journals papers by Vikas Yadav are published in Top journals papers by Huimin Song are published in Top journals papers by Dharamveer Basude are published in Top authors papers by Kai Kuikkaniemi are co-authored with Top fields papers by Ralph O’Connor are about Top journals papers by E. Scott are published in