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 fields papers by Zachary Walker are about Top fields papers by Yosuke Hirasawa are about Top fields papers by Ching‐Hsien Hsu are about Top authors papers by E. M. Bogorodskaya are co-authored with Top journals papers by Cristiane Milito are published in Top authors papers by Michael Bowe are co-authored with Top countries impacted by papers by Philip J. Hart Top authors papers by Barbara Maria Paraná da Silva Souza are co-authored with