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.




5046 Publications

2016 | Journal Article | IST-REx-ID: 1328 | OA
Heavy-hole states in germanium hut wires
H. Watzinger, C. Kloeffel, L. Vukušić, M. Rossell, V. Sessi, J. Kukucka, R. Kirchschlager, E. Lausecker, A. Truhlar, M. Glaser, A. Rastelli, A. Fuhrer, D. Loss, G. Katsaros, Nano Letters 16 (2016) 6879–6885.
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1205 | OA
Safety assured formal model driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.
[Submitted Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1193 | OA
Commutativity in the algorithmic Lovasz local lemma
V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2016.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Conference Paper | IST-REx-ID: 1438 | OA
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, in:, ACM, 2016, pp. 327–342.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Research Data Reference | IST-REx-ID: 9710 | OA
Data from: How does epistasis influence the response to selection?
N.H. Barton, (2016).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

Search

Filter Publications