Ian Stark
About
Ian Stark has authored 25 papers that have received a total of 279 indexed citations.
This includes 17 papers in Artificial Intelligence, 11 papers in Computer Networks and Communications and 9 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (14 papers), Distributed systems and fault tolerance (8 papers) and Formal Methods in Verification (7 papers). Ian Stark is often cited by papers focused on Logic, programming, and type systems (14 papers), Distributed systems and fault tolerance (8 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in United Kingdom, United States and Denmark. Ian Stark's co-authors include B. K. Campbell, Dan R. Ghica, Tom Chothia, C.-H. Luke Ong and Andrzej S. Murawski and has published in prestigious journals such as Theoretical Computer Science, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Nicholas S.Y. Chao are published in Top journals papers by Luís Alonso-Ovalle are published in Top fields papers by Kojiro Hata are about Top authors papers by Koen Van Den Berge are co-authored with Top authors papers by Nicolas Dürrleman are co-authored with Top journals papers by Youji Kotsuka are published in Top countries impacted by papers by Ömer K. Örücü Top authors papers by S. Kan are co-authored with