Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Thornborrow, C.
Koh Aoki
Yan-Han Chew
Motoharu Sonogashira
Bhupendra Singh
Bianca Truthe
Naji Habra
David J. Westover
Sebastian Magda
David MacDonald
Home
/
Author
/
MAREK S. BARANOWSKI
Author Info
Open Visualization
Name
Papers
Collaborators
MAREK S. BARANOWSKI
2
9
Citations
PageRank
Referers
0
0.68
0
Referees
References
0
0
Publications (2 rows)
Collaborators (9 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
An SMT Theory of Fixed-Point Arithmetic.
0
0.34
2020
Moving the Needle on Rigorous Floating-Point Precision Tuning.
0
0.34
2017
1