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.

5695 Publications


2016 | Journal Article | IST-REx-ID: 1440
H. L. Janovjak, “Light at the end of the protein: Crystal structure of a C-terminal light-sensing domain,” Structure, vol. 24, no. 2, pp. 213–215, 2016.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1421
S. Bak, S. Bogomolov, T. A. Henzinger, T. Johnson, and P. Prakash, “Scalable static hybridization methods for analysis of nonlinear systems,” presented at the HSCC 2016: International Conference on Hybrid Systems: Computation and Control, Vienna, Austria, 2016, pp. 155–164.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1705   OA
S. Bogomolov et al., “Guided search for hybrid systems based on coarse-grained space abstractions,” International Journal on Software Tools for Technology Transfer, vol. 18, no. 4, pp. 449–467, 2016.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1130
T. Tarrach, Automatic synthesis of synchronisation primitives for concurrent programs. IST Austria, 2016.
View | Files available | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 7296
T. Volck et al., “Method for determination of the internal short resistance and heat evolution at different mechanical loads of a Lithium ion battery cell based on dummy pouch cells,” Batteries, vol. 2, no. 2, p. 8, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1096
C. Schwayer, M. K. Sikora, J. Slovakova, R. Kardos, and C.-P. J. Heisenberg, “Actin rings of power,” Developmental Cell, vol. 37, no. 6, pp. 493–506, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1616   OA
J. Kowalski, J. Gan, P. M. Jonas, and A. Pernia-Andrade, “Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats,” Hippocampus, vol. 26, no. 5, pp. 668–682, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1438
K. Chatterjee, H. Fu, P. Novotny, and R. Hasheminezhad, “Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 327–342.
View | Files available | DOI | Download (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 7599   OA
Y. Tang, C.-Y. Zhao, S. Tan, and H.-W. Xue, “Arabidopsis type II phosphatidylinositol 4-kinase PI4Kγ5 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor ANAC078,” PLOS Genetics, vol. 12, no. 8, p. e1006252, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7734
W. J. Peyrot, M. R. Robinson, B. W. J. H. Penninx, and N. R. Wray, “Exploring boundaries for the genetic consequences of assortative mating for psychiatric traits,” JAMA Psychiatry, vol. 73, no. 11, pp. 1189–1195, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7760
C. P. Goodrich, A. J. Liu, and J. P. Sethna, “Scaling ansatz for the jamming transition,” Proceedings of the National Academy of Sciences, vol. 113, no. 35, pp. 9745–9750, 2016.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 592
N. Engelsen, O. Hosten, R. Krishnakumar, and M. Kasevich, “Engineering spin squeezed states for quantum-enhanced atom interferometry,” presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, United States, 2016.
View | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 101   OA
S. M. Albrecht et al., “Exponential protection of zero modes in Majorana islands,” Nature, vol. 531, no. 7593, pp. 206–209, 2016.
View | DOI | Download (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1059
A. Butkevich et al., “Fluorescent rhodamines and fluorogenic carbopyronines for super-resolution STED microscopy in living cells,” Angewandte Chemie - International Edition, vol. 55, no. 10, pp. 3290–3294, 2016.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1105
C. Savin and G. Tkacik, “Estimating nonlinear neural response functions using GP priors and Kronecker methods,” presented at the NIPS: Neural Information Processing Systems, Barcelona; Spain, 2016, vol. 29, pp. 3610–3618.
View | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1097   OA
T. Du, A. Schulz, B. Zhu, B. Bickel, and W. Matusik, “Computational multicopter design,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1179   OA
K. Z. Pietrzak and S. Maciej, “Pseudoentropy: Lower-bounds for chain rules and transformations,” presented at the TCC: Theory of Cryptography Conference, Beijing, China, 2016, vol. 9985, pp. 183–203.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1181
N. Dwyer, B. Chen, S. Chou, S. Hippenmeyer, L. Nguyen, and T. Ghashghaei, “Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and productivity,” Journal of Neuroscience, vol. 36, no. 45, pp. 11394–11401, 2016.
View | DOI
 

2016 | Thesis | IST-REx-ID: 1129
J. Schwarz, Quantitative analysis of haptotactic cell migration. IST Austria, 2016.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1136   OA
P. Manteaux, U. Vimont, C. J. Wojtan, D. Rohmer, and M. Cani, “Space time sculpting of liquid animation,” in Proceedings of the 9th International Conference on Motion in Games , San Francisco, CA, USA, 2016.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed