Arkadeb Ghosal
About
Arkadeb Ghosal has authored 17 papers that have received a total of 194 indexed citations.
This includes 14 papers in Hardware and Architecture, 6 papers in Computational Theory and Mathematics and 4 papers in Artificial Intelligence. The topics of these papers are Real-Time Systems Scheduling (13 papers), Embedded Systems Design Techniques (11 papers) and Formal Methods in Verification (6 papers). Arkadeb Ghosal is often cited by papers focused on Real-Time Systems Scheduling (13 papers), Embedded Systems Design Techniques (11 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in United States, Austria and Poland. Arkadeb Ghosal's co-authors include Alberto Sangiovanni‐Vincentelli, Christoph Kirsch, Thomas A. Henzinger, Marco Di Natale and Paolo Giusto and has published in prestigious journals such as IEEE Transactions on Industrial Informatics, SAE technical papers on CD-ROM/SAE technical paper series and Science of Computer Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Samir K. Barua are co-authored with Top fields papers by Jiaxu Chen are about Top countries impacted by papers by N.M. Filatov Top fields papers by Jerzy Witold Wiśniewski are about Top journals papers by Jan Vermeer are published in Top journals papers by Kailin Yu are published in Top countries impacted by papers by Don Schauder Top authors papers by Trevor van Eeuwen are co-authored with