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 authors papers by Mehmet Mustafa Tabakçı are co-authored with Top authors papers by Thijs Swinnen are co-authored with Top fields papers by Solomon Praveen Samuel are about Top journals papers by Tad Gonsalves are published in Top authors papers by Cassandra L. Swett are co-authored with Top fields papers by Barbara Maria Paraná da Silva Souza are about Top countries impacted by papers by Xiaowen Yu Top authors papers by W. Specking are co-authored with