Steve Zdancewic
About
Steve Zdancewic has authored 75 papers that have received a total of 1.1k indexed citations.
This includes 69 papers in Artificial Intelligence, 28 papers in Computer Networks and Communications and 21 papers in Computational Theory and Mathematics. The topics of these papers are Security and Verification in Computing (40 papers), Logic, programming, and type systems (37 papers) and Distributed systems and fault tolerance (20 papers). Steve Zdancewic is often cited by papers focused on Security and Verification in Computing (40 papers), Logic, programming, and type systems (37 papers) and Distributed systems and fault tolerance (20 papers) and collaborates with scholars based in United States, France and South Korea. Steve Zdancewic's co-authors include Santosh Nagarakatte, Milo M. K. Martin, Yun Zhao, David Walker and Benjamin C. Pierce and has published in prestigious journals such as Communications of the ACM, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Xiaodong Cui are published in Top countries impacted by papers by Lizhang Wang Top fields papers by Manuel Álvarez‐Ortí are about Top journals papers by Saikat Chakraborty are published in Top fields papers by Walter Rapp are about Top journals papers by Oktay İrkörücü are published in Top authors papers by Mustafa Mırık are co-authored with Top fields papers by Adriana Visonà are about