Nathan Segerlind
About
Nathan Segerlind has authored 12 papers that have received a total of 238 indexed citations.
This includes 12 papers in Computational Theory and Mathematics, 8 papers in Artificial Intelligence and 1 paper in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (9 papers), Combinatorial Optimization and Complexity Theory (6 papers) and Logic, Reasoning, and Knowledge (5 papers). Nathan Segerlind is often cited by papers focused on Formal Methods in Verification (9 papers), Combinatorial Optimization and Complexity Theory (6 papers) and Logic, Reasoning, and Knowledge (5 papers) and collaborates with scholars based in United States, Canada and France. Nathan Segerlind's co-authors include Toniann Pitassi, Paul Beame, Russell Impagliazzo, Sam Buss and Avi Wigderson and has published in prestigious journals such as SIAM Journal on Computing, Information Processing Letters and ACM Transactions on Computational Logic.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by D.H. Kennedy Breakdown of academic impact, for papers by Jonathan R. Wedell Breakdown of academic impact, for papers by Georgios Christou Breakdown of academic impact, for papers by Loris Landriani Breakdown of academic impact, for papers by Seema Panchal Breakdown of academic impact, for papers by Camelia Algora Breakdown of academic impact, for papers by Lily Blair Breakdown of academic impact, for papers by Katja Rönkä