Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Yen-Ju Chiu
Hao Mao
Peter Malec
Vittorio Astarita
Sebastian Strughold
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
KRISTINA SOJAKOVA
Author Info
Open Visualization
Name
Papers
Collaborators
KRISTINA SOJAKOVA
3
7
Citations
PageRank
Referers
0
1.01
0
Referees
References
0
0
Publications (3 rows)
Collaborators (7 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Syllepsis in Homotopy Type Theory
0
0.34
2022
Money Grows on (Proof-)Trees - The Formal FA1.2 Ledger Standard.
0
0.34
2021
IPDL: A Probabilistic Dataflow Logic for Cryptography.
0
0.34
2019
1