D.J. Holding
About
D.J. Holding has authored 24 papers that have received a total of 173 indexed citations.
This includes 12 papers in Computational Theory and Mathematics, 9 papers in Computer Networks and Communications and 5 papers in Hardware and Architecture. The topics of these papers are Petri Nets in System Modeling (10 papers), Formal Methods in Verification (9 papers) and Energy Efficient Wireless Sensor Networks (5 papers). D.J. Holding is often cited by papers focused on Petri Nets in System Modeling (10 papers), Formal Methods in Verification (9 papers) and Energy Efficient Wireless Sensor Networks (5 papers) and collaborates with scholars based in United Kingdom. D.J. Holding's co-authors include K. J. Blow, L. Giacomini, Xianghong Ma and P.N. Brett and has published in prestigious journals such as IEEE Transactions on Software Engineering, Electronics Letters and Control Engineering Practice
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Quentin Fischer are about Top fields papers by Nooreiny Maarof are about Top countries impacted by papers by Wei Zeng Top countries impacted by papers by Barbara Nasiłowska‐Adamska Top countries impacted by papers by Gizat M. Kassie Top journals papers by George J. Wischner are published in Top authors papers by Mei Peng Low are co-authored with Top fields papers by Niraj Thurairajah are about