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.

3013 Publications


2017 | Journal Article | IST-REx-ID: 1104 | OA
Deny, S., Ferrari, U., Mace, E., Yger, P., Caplette, R., Picaud, S., … Marre, O. (2017). Multiplexed computations in retinal ganglion cells of a single type. Nature Communications, 8(1). https://doi.org/10.1038/s41467-017-02159-y
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1107 | OA
Breuss, M., Hansen, A. H., Landler, L., & Keays, D. (2017). Brain specific knockin of the pathogenic Tubb5 E401K allele causes defects in motor coordination and prepulse inhibition. Behavioural Brain Research, 323, 47–55. https://doi.org/10.1016/j.bbr.2017.01.029
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1108 | OA
Zimin, A., & Lampert, C. (2017). Learning theory for conditional risk minimization (Vol. 54, pp. 213–222). Presented at the AISTATS: Artificial Intelligence and Statistics, Fort Lauderdale, FL, United States: JMLR, Inc. and Microtome Publishing.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1109 | OA
Shepperson, B., Søndergaard, A., Christiansen, L., Kaczmarczyk, J., Zillich, R., Lemeshko, M., & Stapelfeldt, H. (2017). Laser-induced rotation of iodine molecules in helium nanodroplets: Revivals and breaking-free. Physical Review Letters, 118(20). https://doi.org/10.1103/PhysRevLett.118.203203
View | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 1110 | OA
Kuhn, B., Nodzyński, T., Errafi, S., Bucher, R., Gupta, S., Aryal, B., … Ringli, C. (2017). Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. Scientific Reports, 7. https://doi.org/10.1038/srep41906
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1111 | OA
Heredia, J., Trubenova, B., Sudholt, D., & Paixao, T. (2017). Selection limits to adaptive walks on correlated landscapes. Genetics, 205(2), 803–825. https://doi.org/10.1534/genetics.116.189340
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1113 | OA
Fulek, R., Pelsmajer, M., & Schaefer, M. (2017). Hanani-Tutte for radial planarity. Journal of Graph Algorithms and Applications, 21(1), 135–154. https://doi.org/10.7155/jgaa.00408
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 1114 | OA
Fink, J. M., Dombi, A., Vukics, A., Wallraff, A., & Domokos, P. (2017). Observation of the photon blockade breakdown phase transition. Physical Review X, 7(1). https://doi.org/10.1103/PhysRevX.7.011012
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1116 | OA
Avni, G., Goel, S., Henzinger, T. A., & Rodríguez Navas, G. (2017). Computing scores of forwarding schemes in switched networks with probabilistic faults (Vol. 10206, pp. 169–187). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden: Springer. https://doi.org/10.1007/978-3-662-54580-5_10
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1117 | OA
Chen, C., Arai, I., Satterield, R., Young, S., & Jonas, P. M. (2017). Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse. Cell Reports, 18(3), 723–736. https://doi.org/10.1016/j.celrep.2016.12.067
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1118 | OA
Gan, J., Weng, S.-M., Pernia-Andrade, A., Csicsvari, J. L., & Jonas, P. M. (2017). Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo. Neuron, 93(2), 308–314. https://doi.org/10.1016/j.neuron.2016.12.018
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1119 | OA
Lemeshko, M. (2017). Quasiparticle approach to molecules interacting with quantum solvents. Physical Review Letters, 118(9). https://doi.org/10.1103/PhysRevLett.118.095301
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1120 | OA
Li, X., Seiringer, R., & Lemeshko, M. (2017). Angular self-localization of impurities rotating in a bosonic bath. Physical Review A, 95(3). https://doi.org/10.1103/PhysRevA.95.033608
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1132 | OA
O’Neill, J., Boccara, C., Stella, F., Schönenberger, P., & Csicsvari, J. L. (2017). Superficial layers of the medial entorhinal cortex replay independently of the hippocampus. Science, 355(6321), 184–188. https://doi.org/10.1126/science.aag2787
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1133 | OA
Yakaboylu, E., & Lemeshko, M. (2017). Anomalous screening of quantum impurities by a neutral environment. Physical Review Letters, 118(8). https://doi.org/10.1103/PhysRevLett.118.085302
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1144 | OA
Erdös, L., & Schröder, D. J. (2017). Fluctuations of functions of Wigner matrices. Electronic Communications in Probability, 21. https://doi.org/10.1214/16-ECP38
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1152 | OA
Gajda-Zagorska, E. P., Schaefer, R., Smołka, M., Pardo, D., & Alvarez Aramberri, J. (2017). A multi objective memetic inverse solver reinforced by local optimization methods. Journal of Computational Science, 18, 85–94. https://doi.org/10.1016/j.jocs.2016.06.007
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155 | OA
Daca, P. (2017). Statistical and logical methods for property checking. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_730
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1159 | OA
Steenackers, W., Klíma, P., Quareshy, M., Cesarino, I., Kumpf, R., Corneillie, S., … Vanholme, B. (2017). Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation. Plant Physiology, 173(1), 552–565. https://doi.org/10.1104/pp.16.00943
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1160 | OA
Altmeyer, S., Do, Y., & Lai, Y. (2017). Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio. Scientific Reports, 7. https://doi.org/10.1038/srep40012
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1162 | OA
Spałek, J., Zegrodnik, M., & Kaczmarczyk, J. (2017). Universal properties of high temperature superconductors from real space pairing t-J-U model and its quantitative comparison with experiment. Physical Review B - Condensed Matter and Materials Physics, 95(2). https://doi.org/10.1103/PhysRevB.95.024506
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1168 | OA
Perrone, E., Rappold, A., & Müller, W. (2017). D inf s optimality in copula models. Statistical Methods and Applications, 26(3), 403–418. https://doi.org/10.1007/s10260-016-0375-6
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1169 | OA
Novak, S., & Kollár, R. (2017). Spatial gene frequency waves under genotype dependent dispersal. Genetics, 205(1), 367–374. https://doi.org/10.1534/genetics.116.193946
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1173 | OA
Edelsbrunner, H., Glazyrin, A., Musin, O., & Nikitenko, A. (2017). The Voronoi functional is maximized by the Delaunay triangulation in the plane. Combinatorica, 37(5), 887–910. https://doi.org/10.1007/s00493-016-3308-y
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1174 | OA
Skórski, M. (2017). Lower bounds on key derivation for square-friendly applications (Vol. 66). Presented at the STACS: Symposium on Theoretical Aspects of Computer Science, Hannover, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.STACS.2017.57
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1175 | OA
Alwen, J. F., De Rezende, S., Nordstrom, J., & Vinyals, M. (2017). Cumulative space in black-white pebbling and resolution. In C. Papadimitriou (Ed.) (Vol. 67, p. 38:1-38-21). Presented at the ITCS: Innovations in Theoretical Computer Science, Berkeley, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITCS.2017.38
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1176 | OA
Alwen, J. F., & Blocki, J. (2017). Towards practical attacks on Argon2i and balloon hashing. Presented at the EuroS&P: European Symposium on Security and Privacy, Paris, France: IEEE. https://doi.org/10.1109/EuroSP.2017.47
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1178 | OA
Skórski, M. (2017). Simulating auxiliary inputs, revisited (Vol. 9985, pp. 159–179). Presented at the TCC: Theory of Cryptography Conference, Springer. https://doi.org/10.1007/978-3-662-53641-4_7
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 911 | OA
Royer, A., Kolesnikov, A., & Lampert, C. (2017). Probabilistic image colorization (p. 85.1-85.12). Presented at the BMVC: British Machine Vision Conference, London, United Kingdom: BMVA Press. https://doi.org/10.5244/c.31.85
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 8427 | OA
De Simoi, J., Kaloshin, V., & Wei, Q. (2017). Dynamical spectral rigidity among Z2-symmetric strictly convex domains close to a circle. Annals of Mathematics, 186(1), 277–314. https://doi.org/10.4007/annals.2017.186.1.7
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 8423 | OA
Huang, G., Kaloshin, V., & Sorrentino, A. (2017). On the marked length spectrum of generic strictly convex billiard tables. Duke Mathematical Journal, 167(1), 175–209. https://doi.org/10.1215/00127094-2017-0038
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 639 | OA
Chatterjee, K., Fu, H., & Goharshady, A. (2017). Non-polynomial worst case analysis of recursive programs. In R. Majumdar & V. Kunčak (Eds.) (Vol. 10427, pp. 41–63). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer. https://doi.org/10.1007/978-3-319-63390-9_3
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1001 | OA
Guseinov, R., Miguel, E., & Bickel, B. (2017). CurveUps: Shaping objects from flat plates with tension-actuated curvature (Vol. 36). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/3072959.3073709
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 486 | OA
Elek, O., Sumin, D., Zhang, R., Weyrich, T., Myszkowski, K., Bickel, B., … Krivanek, J. (2017). Scattering-aware texture reproduction for 3D printing. ACM Transactions on Graphics, 36(6). https://doi.org/10.1145/3130800.3130890
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1002 | OA
Zhang, R., Auzinger, T., Ceylan, D., Li, W., & Bickel, B. (2017). Functionality-aware retargeting of mechanisms to 3D shapes (Vol. 36). Presented at the SIGGRAPH: Computer Graphics and Interactive Techniques, Los Angeles, CA, United States : ACM. https://doi.org/10.1145/3072959.3073710
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 837 | OA
Xu, H. (2017). Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. IST Austria. https://doi.org/10.15479/AT:ISTA:th_858
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 453 | OA
Fallesen, T., Roostalu, J., Düllberg, C. F., Pruessner, G., & Surrey, T. (2017). Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement. Biophysical Journal, 113(9), 2055–2067. https://doi.org/10.1016/j.bpj.2017.09.006
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7279 | OA
Mourad, E., Coustan, L., Lannelongue, P., Zigah, D., Mehdi, A., Vioux, A., … Fontaine, O. (2016). Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors. Nature Materials, 16(4), 446–453. https://doi.org/10.1038/nmat4808
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 7297 | OA
Freunberger, S. A. (2016). Batteries: Charging ahead rationally. Nature Energy, 1(6). https://doi.org/10.1038/nenergy.2016.74
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7599 | OA
Tang, Y., Zhao, C.-Y., Tan, S., & Xue, H.-W. (2016). 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, 12(8). https://doi.org/10.1371/journal.pgen.1006252
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7737 | OA
Zhu, Z., Zhang, F., Hu, H., Bakshi, A., Robinson, M. R., Powell, J. E., … Yang, J. (2016). Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets. Nature Genetics, 48(5), 481–487. https://doi.org/10.1038/ng.3538
View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 786 | OA
Alistarh, D.-A., Censor Hillel, K., & Shavit, N. (2016). Are lock free concurrent algorithms practically wait free . Journal of the ACM, 63(4). https://doi.org/10.1145/2903136
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 460 | OA
Willmann, K., Sacco, R., Martins, R., Garncarz, W., Krolo, A., Knapp, S., … Boztug, K. (2016). Expanding the interactome of the noncanonical NF-κB signaling pathway. Journal of Proteome Research, 15(9), 2900–2909. https://doi.org/10.1021/acs.jproteome.5b01004
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2016). The complexity of deciding legality of a single step of magic: The gathering (Vol. 285, pp. 1432–1439). Presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands: IOS Press. https://doi.org/10.3233/978-1-61499-672-9-1432
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee, K., & Doyen, L. (2016). Perfect-information stochastic games with generalized mean-payoff objectives (Vol. 05-08-July-2016, pp. 247–256). Presented at the LICS: Logic in Computer Science, New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2934513
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 510 | OA
Liu, Z., Yang, N., Lv, Y., Pan, L., Lv, S., Han, H., & Wang, G. (2016). The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior, 11(6). https://doi.org/10.1080/15592324.2016.1191734
View | DOI | Download Submitted Version (ext.)
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee, K., Pavlogiannis, A., & Velner, Y. (2016). Quantitative interprocedural analysis. IST Austria. https://doi.org/10.15479/AT:IST-2016-523-v1-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446 | OA
Anonymous, 1, Anonymous, 2, & Anonymous, 3. (2016). Termination and worst-case analysis of recursive programs. IST Austria.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5447 | OA
Anonymous, 1, Anonymous, 2, & Anonymous, 3. (2016). Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds. IST Austria.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5448 | OA
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2016). Data-centric dynamic partial order reduction. IST Austria.
View | Files available | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications