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.

3236 Publications


2014 | Journal Article | IST-REx-ID: 8023 | OA
Tomm, C., Avermann, M., Petersen, C., Gerstner, W., & Vogels, T. P. (2014). Connection-type-specific biases make uniform random network models consistent with cortical recordings. Journal of Neurophysiology. American Physiological Society. https://doi.org/10.1152/jn.00629.2013
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 8044 | OA
Seiringer, R. (2014). Structure of the excitation spectrum for many-body quantum systems. In Proceeding of the International Congress of Mathematicans (Vol. 3, pp. 1175–1194). Seoul, South Korea: Kyung Moon SA.
View | Download Published Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1702 | OA
Gupta, A., Popeea, C., & Rybalchenko, A. (2014). Generalised interpolation by solving recursion free-horn clauses. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 169, pp. 31–38). Vienna, Austria: Open Publishing. https://doi.org/10.4204/EPTCS.169.5
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1733 | OA
Cerny, P., Chmelik, M., Henzinger, T. A., & Radhakrishna, A. (2014). Interface simulation distances. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2014.08.019
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1761 | OA
Mongillo, M., Spathis, P., Katsaros, G., De Franceschi, S., Gentile, P., Rurali, R., & Cartoixà, X. (2014). PtSi clustering in silicon probed by transport spectroscopy. Physical Review X. American Physical Society. https://doi.org/10.1103/PhysRevX.3.041025
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1816 | OA
Huber, S., Held, M., Meerwald, P., & Kwitt, R. (2014). Topology-preserving watermarking of vector graphics. International Journal of Computational Geometry and Applications. World Scientific Publishing. https://doi.org/10.1142/S0218195914500034
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1821 | OA
Seiringer, R. (2014). Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.4881536
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1842 | OA
Cibulka, J., Gao, P., Krcál, M., Valla, T., & Valtr, P. (2014). On the geometric ramsey number of outerplanar graphs. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-014-9646-x
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1844 | OA
Risso, V., Manssour Triedo, F., Delgado Delgado, A., Arco, R., Barroso Deljesús, A., Inglés Prieto, Á., … Sánchez Ruiz, J. (2014). Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msu312
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1852 | OA
Sassi, M., Ali, O., Boudon, F., Cloarec, G., Abad, U., Cellier, C., … Traas, J. (2014). An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2014.08.036
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1854 | OA
Guerrero, P., Auzinger, T., Wimmer, M., & Jeschke, S. (2014). Partial shape matching using transformation parameter similarity. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.12509
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1862 | OA
Chen, X., Grandont, L., Li, H., Hauschild, R., Paque, S., Abuzeineh, A., … Friml, J. (2014). Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules. Nature. Nature Publishing Group. https://doi.org/10.1038/nature13889
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1870 | OA
Henzinger, T. A., Otop, J., & Samanta, R. (2014). Lipschitz robustness of finite-state transducers. In Leibniz International Proceedings in Informatics, LIPIcs (Vol. 29, pp. 431–443). Delhi, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1872 | OA
Gupta, A., Kovács, L., Kragl, B., & Voronkov, A. (2014). Extensional crisis and proving identity. In F. Cassez & J.-F. Raskin (Eds.), ATVA 2014 (Vol. 8837, pp. 185–200). Sydney, Australia: Springer. https://doi.org/10.1007/978-3-319-11936-6_14
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1875 | OA
Samanta, R., Olivo, O., & Allen, E. (2014). Cost-aware automatic program repair. In M. Müller-Olm & H. Seidl (Eds.) (Vol. 8723, pp. 268–284). Presented at the SAS: Static Analysis Symposium, Munich, Germany: Springer. https://doi.org/10.1007/978-3-319-10936-7_17
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1876 | OA
Dolbilin, N., Edelsbrunner, H., Glazyrin, A., & Musin, O. (2014). Functionals on triangulations of delaunay sets. Moscow Mathematical Journal. Independent University of Moscow.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1886 | OA
Hermundstad, A., Briguglio, J., Conte, M., Victor, J., Balasubramanian, V., & Tkačik, G. (2014). Variance predicts salience in central sensory processing. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.03722
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1889 | OA
Bräunlich, G., Hainzl, C., & Seiringer, R. (2014). Translation-invariant quasi-free states for fermionic systems and the BCS approximation. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/S0129055X14500123
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1890 | OA
Körner, C., Braunstein, V., Stangl, M., Schlögl, A., Neuper, C., & Ischebeck, A. (2014). Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection. Psychophysiology. Wiley-Blackwell. https://doi.org/10.1111/psyp.12062
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1892 | OA
Ocana, S., Meidl, P., Bonfils, D., & Taborsky, M. (2014). Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2014.0253
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications