Post-operative glioblastoma multiforme segmentation with uncertainty estimation
Holtzman Gazit, Michal, Faran, Rachel, Stepovoy, Kirill, Peles, Oren, Shamir, Reuben Ruby
Published in Frontiers in human neuroscience (03.11.2022)
Published in Frontiers in human neuroscience (03.11.2022)
Get full text
Journal Article
On Synthesis of Specifications with Arithmetic
Faran, Rachel, Kupferman, Orna
Published in SOFSEM 2020: Theory and Practice of Computer Science (2020)
Published in SOFSEM 2020: Theory and Practice of Computer Science (2020)
Get full text
Book Chapter
Spanning the Spectrum from Safety to Liveness
Faran, Rachel, Kupferman, Orna
Published in Automated Technology for Verification and Analysis (2015)
Published in Automated Technology for Verification and Analysis (2015)
Get full text
Book Chapter