Jakob Nordström
About
Jakob Nordström has authored 46 papers that have received a total of 228 indexed citations.
This includes 43 papers in Computational Theory and Mathematics, 29 papers in Artificial Intelligence and 7 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (20 papers), Combinatorial Optimization and Complexity Theory (19 papers) and Logic, programming, and type systems (18 papers). Jakob Nordström is often cited by papers focused on Formal Methods in Verification (20 papers), Combinatorial Optimization and Complexity Theory (19 papers) and Logic, programming, and type systems (18 papers) and collaborates with scholars based in Sweden, Denmark and United States. Jakob Nordström's co-authors include Eli Ben‐Sasson, Massimo Lauria, Yuval Filmus, Albert Atserias and Or Meir and has published in prestigious journals such as American Journal of Roentgenology, Journal of the ACM and SIAM Journal on Computing
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Qinghua Huang are published in Top journals papers by Chen Liang are published in Top authors papers by И. Р. Барабанов are co-authored with Top countries impacted by papers by Ali Janati Top journals papers by Yutian Li are published in Top journals papers by Alexandra G. Poydasheva are published in Top authors papers by Chaowei Yuan are co-authored with Top fields papers by Ana Cláudia Puggina are about