Kristina Sojakova
About
Kristina Sojakova has authored 8 papers that have received a total of 55 indexed citations.
This includes 8 papers in Artificial Intelligence, 4 papers in Mathematical Physics and 2 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (7 papers), Homotopy and Cohomology in Algebraic Topology (4 papers) and Logic, Reasoning, and Knowledge (3 papers). Kristina Sojakova is often cited by papers focused on Logic, programming, and type systems (7 papers), Homotopy and Cohomology in Algebraic Topology (4 papers) and Logic, Reasoning, and Knowledge (3 papers) and collaborates with scholars based in United States, Germany and United Kingdom. Kristina Sojakova's co-authors include Nicola Gambino, Steve Awodey, Elaine Shi, Florian Rabe and Greg Morrisett and has published in prestigious journals such as Journal of the ACM, ACM SIGPLAN Notices and ACM Transactions on Computational Logic.
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Lisa Ingerman are about Top fields papers by Marie‐Pierre Moles‐Moreau are about Top countries impacted by papers by Jesse Fang Top authors papers by Edward Otieno are co-authored with Top countries impacted by papers by Christian Queinnec Top fields papers by Alloys are about Top countries impacted by papers by T. Arakawa Top journals papers by João Rocha da Silva are published in