Scholar
James Tobler
Google Scholar ID: -pZA34EAAAAJ
University of Queensland
Formal methods
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
0
H-index
0
i10-index
0
Publications
2
Co-authors
0
Publications
2 items
Generating Rely-Guarantee Conditions with the Conditional-Writes Domain
2026
Cited
0
A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
2025
Cited
0
