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.
6224 Publications
2016 | Journal Article | IST-REx-ID: 369
Ibáñez, M., Luo, Z., Genç, A., Piveteau, L., Ortega, S., Cadavid, D., … Cabot, A. (2016). High performance thermoelectric nanocomposites from nanocrystal building blocks. Nature Communications. Nature Publishing Group. https://doi.org/doi:10.1038/ncomms10766
View
| DOI
2016 | Journal Article | IST-REx-ID: 370
Liu, Y., García, G., Ortega, S., Cadavid, D., Palacios, P., Lu, J., … Cabot, A. (2016). Solution based synthesis and processing of Sn and Bi doped Cu inf 3 inf SbSe inf 4 inf nanocrystals nanomaterials and ring shaped thermoelectric generators. Journal of Materials Chemistry A. Royal Society of Chemistry. https://doi.org/10.1039/C6TA08467B
View
| DOI
2016 | Journal Article | IST-REx-ID: 371
Luo, Z., Márti Sánchez, S., Nafria, R., Joshua, G., De La Mata, M., Guardia, P., … Cabot, A. (2016). Fe3O4@NiFexOy nanoparticles with enhanced electrocatalytic properties for oxygen evolution in carbonate electrolyte. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.6b09888
View
| DOI
2016 | Thesis | IST-REx-ID: 1130 | 
Tarrach, T. (2016). Automatic synthesis of synchronisation primitives for concurrent programs. IST Austria.
View
| Files available
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1432 |
Mishra, R. K., Kim, S., Guzmán, J., & Jonas, P. M. (2016). Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms11552
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1396 |
Mishra, R. K. (2016). Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1129 |
Schwarz, J. (2016). Quantitative analysis of haptotactic cell migration. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1123 |
Mabillard, I. (2016). Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1121 |
Acar, H. (2016). Selective barriers to horizontal gene transfer. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1131 |
Tugrul, M. (2016). Evolution of transcriptional regulatory sequences. IST Austria.
View
| Files available
2016 | Thesis | IST-REx-ID: 1125 |
Novak, S. (2016). Evolutionary proccesses in variable emvironments. IST Austria.
View
| Files available
2016 | Research Data | IST-REx-ID: 5554 |
Tugrul, M. (2016). Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase. IST Austria. https://doi.org/10.15479/AT:ISTA:43
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1124 |
Morri, M. (2016). Optical functionalization of human class A orphan G-protein coupled receptors. IST Austria.
View
| Files available
2016 | Conference Paper | IST-REx-ID: 1437 |
Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Algorithms for algebraic path properties in concurrent systems of constant treewidth components (Vol. 20–22, pp. 733–747). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837624
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 1386 |
Chatterjee, K., Fu, H., & Goharshady, A. K. (2016). Termination analysis of probabilistic programs through Positivstellensatz’s (Vol. 9779, pp. 3–22). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41528-4_1
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1321 |
Leithner, A. F., Eichner, A., Müller, J., REVERSAT, A., Brown, M., Schwarz, J., … Sixt, M. K. (2016). Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb3426
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1183 |
Tarlungeanu, D.-C., Deliu, E., Dotter, C., Kara, M., Janiesch, P., Scalise, M., … Novarino, G. (2016). Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. Cell Press. https://doi.org/10.1016/j.cell.2016.11.013
View
| Files available
| DOI
2016 | 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
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 2271 |
Kolmogorov, V., Thapper, J., & Živný, S. (2015). The power of linear programming for general-valued CSPs. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/130945648
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Journal Article | IST-REx-ID: 256 |
Browning, T. D., & Prendiville, S. (2015). Improvements in Birch’s theorem on forms in many variables. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter. https://doi.org/10.1515/crelle-2014-0122
View
| DOI
| Download (ext.)