Kristina Sojakova

8 papers and 53 indexed citations i.

About

Kristina Sojakova has authored 8 papers that have received a total of 53 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

Rankless by CCL
2025