Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Arun Prakash
Tidjani Négadi
Manian, N.S.
Daniel P. Kennedy
Barbara Aquilani
d eastlake rd
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
PALMSKOG KARL
Author Info
Open Visualization
Name
Affiliation
Papers
PALMSKOG KARL
KTH ROYAL INSTITUTE OF TECHNOLOGY
1
Collaborators
Citations
PageRank
6
0
0.34
Referers
Referees
References
0
0
0
Publications (1 rows)
Collaborators (6 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Towards a Verified Model of the Algorand Consensus Protocol in Coq.
0
0.34
2019
1