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 countries impacted by papers by Heidi Similä Top fields papers by Stéphanie Salmon are about Top fields papers by James A. Wise are about Top countries impacted by papers by V.A. Sawant Top countries impacted by papers by María Cristina Ciappini Top authors papers by Alina Gomide Vasconcelos are co-authored with Top fields papers by Mats B. Küssner are about Top authors papers by Monaj Karar are co-authored with