Cited By
View all- Ziwen CGuo ZWeinman J(2021)Improved Point Transformation Methods For Self-Supervised Depth Prediction2021 18th Conference on Robots and Vision (CRV)10.1109/CRV52889.2021.00023(111-118)Online publication date: May-2021
- Tubella AGuglielmi A(2018)Subatomic Proof SystemsACM Transactions on Computational Logic10.1145/317354419:1(1-33)Online publication date: 27-Jan-2018
- Geraldes AGeretti LBresolin DMuradore RFiorini PMattos LVilla T(2018)Formal Verification of Medical CPSACM Transactions on Cyber-Physical Systems10.1145/31402372:4(1-29)Online publication date: 5-Jul-2018
- Show More Cited By