Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2886 Publications
2013 | Journal Article | IST-REx-ID: 2289 | 
Henzinger TA. 2013. Quantitative reactive modeling and verification. Computer Science Research and Development. 28(4), 331–344.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2290 |
Boutté Y, Jonsson K, Mcfarlane H, Johnson E, Gendre D, Swarup R, Friml J, Samuels L, Robert S, Bhalerao R. 2013. ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation. PNAS. 110(40), 16259–16264.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2291 |
Ferrara A, Fuchsbauer G, Warinschi B. 2013. Cryptographically enforced RBAC. CSF: Computer Security Foundations 115–129.
View
| DOI
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2293 |
Sharmanska V, Quadrianto N, Lampert C. 2013. Learning to rank using privileged information. ICCV: International Conference on Computer Vision 825–832.
View
| DOI
| Download Submitted Version (ext.)