Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2016 | Conference Paper | IST-REx-ID: 1103 |
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, and R. Ray, “Parallel reachability analysis for hybrid systems,” presented at the MEMOCODE: International Conference on Formal Methods and Models for System Design, Kanpur, India , 2016.View | DOI | Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1115 |
A. Rueda et al., “Efficient single sideband microwave to optical conversion using a LiNbO inf 3 inf WGM-resonator,” presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, USA, 2016.View | Files available | DOI | Download Preprint (ext.)