Please note that ISTA 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.
500 Publications
2016 | Published | Conference Paper | IST-REx-ID: 1390
D’Antoni, L., Samanta, R., & Singh, R. (2016). QLOSE: Program repair with quantitative objectives (Vol. 9780, pp. 383–401). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41540-6_21
View
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1391 | 
Daca, P., Henzinger, T. A., & Kupriyanov, A. (2016). Array folds logic (Vol. 9780, pp. 230–248). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41540-6_13
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1394 |
De Martino, D., Capuani, F., & De Martino, A. (2016). Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli. Physical Biology. IOP Publishing Ltd. https://doi.org/10.1088/1478-3975/13/3/036005
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Thesis | IST-REx-ID: 1396 |
Mishra, R. K. (2016). Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1397
Chmelik, M. (2016). Algorithms for partially observable markov decision processes. Institute of Science and Technology Austria.
View
2016 | Published | Conference Paper | IST-REx-ID: 1097 |
Du, T., Schulz, A., Zhu, B., Bickel, B., & Matusik, W. (2016). Computational multicopter design (Vol. 35). Presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China: ACM. https://doi.org/10.1145/2980179.2982427
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1098 |
Pentina, A., & Urner, R. (2016). Lifelong learning with weighted majority votes (Vol. 29, pp. 3619–3627). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain: Neural Information Processing Systems.
[Published Version]
View
| Files available
2016 | Published | Conference Paper | IST-REx-ID: 1099 |
Malomo, L., Pietroni, N., Bickel, B., & Cignoni, P. (2016). FlexMolds: Automatic design of flexible shells for molding (Vol. 35). Presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China: ACM. https://doi.org/10.1145/2980179.2982397
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1100 |
Sako, K., Pradhan, S., Barone, V., Inglés Prieto, Á., Mueller, P., Ruprecht, V., … Heisenberg, C.-P. J. (2016). Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2016.06.036
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1101
Mitchell, J., Whitfield, J., Zhang, W., Henneberger, C., Janovjak, H. L., O’Mara, M., & Jackson, C. (2016). Rangefinder: A semisynthetic FRET sensor design algorithm. ACS SENSORS. American Chemical Society. https://doi.org/10.1021/acssensors.6b00576
View
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1102 |
Kolesnikov, A., & Lampert, C. (2016). Improving weakly-supervised object localization by micro-annotation. In Proceedings of the British Machine Vision Conference 2016 (Vol. 2016–September, p. 92.1-92.12). York, United Kingdom: BMVA Press. https://doi.org/10.5244/C.30.92
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1103 |
Gurung, A., Deka, A., Bartocci, E., Bogomolov, S., Grosu, R., & Ray, R. (2016). Parallel reachability analysis for hybrid systems. Presented at the MEMOCODE: International Conference on Formal Methods and Models for System Design, Kanpur, India : IEEE. https://doi.org/10.1109/MEMCOD.2016.7797741
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1105
Savin, C., & Tkačik, G. (2016). Estimating nonlinear neural response functions using GP priors and Kronecker methods (Vol. 29, pp. 3610–3618). Presented at the NIPS: Neural Information Processing Systems, Barcelona; Spain: Neural Information Processing Systems.
View
| Download None (ext.)
2016 | Published | Journal Article | IST-REx-ID: 11069 |
Hatch, E. M., & Hetzer, M. (2016). Nuclear envelope rupture is induced by actin-based nucleus confinement. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.201603053
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 11070 |
Ibarra, A., Benner, C., Tyagi, S., Cool, J., & Hetzer, M. (2016). Nucleoporin-mediated regulation of cell identity genes. Genes & Development. Cold Spring Harbor Laboratory. https://doi.org/10.1101/gad.287417.116
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 11071 |
Franks, T. M., Benner, C., Narvaiza, I., Marchetto, M. C. N., Young, J. M., Malik, H. S., … Hetzer, M. (2016). Evolution of a transcriptional regulator from a transmembrane nucleoporin. Genes & Development. Cold Spring Harbor Laboratory. https://doi.org/10.1101/gad.280941.116
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Published | Journal Article | IST-REx-ID: 11072 |
van de Ven, R. A. H., de Groot, J. S., Park, D., van Domselaar, R., de Jong, D., Szuhai, K., … Derksen, P. W. B. (2016). p120-catenin prevents multinucleation through control of MKLP1-dependent RhoA activity during cytokinesis. Nature Communications. Springer Nature. https://doi.org/10.1038/ncomms13874
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Published | Conference Paper | IST-REx-ID: 1115 |
Rueda, A., Sedlmeir, F., Collodo, M., Vogl, U., Stiller, B., Schunk, G., … Schwefel, H. (2016). Efficient single sideband microwave to optical conversion using a LiNbO₃ WGM-resonator. Presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, USA: IEEE. https://doi.org/10.1364/CLEO_SI.2016.SF2G.3
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Published | Thesis | IST-REx-ID: 1121 |
Acar, H. (2016). Selective barriers to horizontal gene transfer. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1122 |
Bojsen-Hansen, M. (2016). Tracking, correcting and absorbing water surface waves. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_640
[Published Version]
View
| Files available
| DOI