Palina Tolmach
Scholar

Palina Tolmach

Google Scholar ID: KmjceS0AAAAJ
Nanyang Technological University
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
414
 
H-index
6
 
i10-index
5
 
Publications
10
 
Co-authors
3
list available
Contact
No contact links provided.
Publications
2 items
The Future of Safety for SaMD
2026
Cited
0
A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
2026
Cited
0
Resume (English only)
Co-authors
3 total
Yang Liu
Yang Liu
Nanyang Technological University
Yi Li
Yi Li
Nanyang Technological University
Shang-Wei LIN
Shang-Wei LIN
Associate Professor, Singapore Institute of Technology (SIT)