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.

2714 Publications


2016 | Journal Article | IST-REx-ID: 1487   OA
Grion, N., Akrami, A., Zuo, Y., Stella, F., & Diamond, M. (2016). Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination. PLoS Biology, 14(2). https://doi.org/10.1371/journal.pbio.1002384
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1552   OA
Qi, Q., Toll Riera, M., Heilbron, K., Preston, G., & Maclean, R. C. (2016). The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa. Proceedings of the Royal Society of London Series B Biological Sciences, 283(1822). https://doi.org/10.1098/rspb.2015.2452
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1521
Berrisford, J., Baradaran, R., & Sazanov, L. A. (2016). Structure of bacterial respiratory complex I. Biochimica et Biophysica Acta - Bioenergetics, 1857(7), 892–901. https://doi.org/10.1016/j.bbabio.2016.01.012
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1494
Lemoult, G. M., Shi, L., Avila, K., Jalikop, S. V., Avila, M., & Hof, B. (2016). Directed percolation phase transition to sustained turbulence in Couette flow. Nature Physics, 12(3), 254–258. https://doi.org/10.1038/nphys3675
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1608   OA
Sadel, C. (2016). Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare, 17(7), 1631–1675. https://doi.org/10.1007/s00023-015-0456-3
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1641   OA
Zemová, R., Zwiewka, M., Bielach, A., Robert, H., & Friml, J. (2016). A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation, 35(2), 465–476. https://doi.org/10.1007/s00344-015-9553-2
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1622   OA
Lundholm, D., Nam, P., & Portmann, F. (2016). Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis, 219(3), 1343–1382. https://doi.org/10.1007/s00205-015-0923-5
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1653   OA
Okamoto, T., Pietrzak, K. Z., Waters, B., & Wichs, D. (2016). New realizations of somewhere statistically binding hashing and positional accumulators (Vol. 9452, pp. 121–145). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand: Springer. https://doi.org/10.1007/978-3-662-48797-6_6
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1881   OA
Lee, J., & Schnelli, K. (2016). Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields, 164(1–2), 165–241. https://doi.org/10.1007/s00440-014-0610-8
View | DOI | Download (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 (ext.)
 

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 | Thesis | IST-REx-ID: 1122
Bojsen-Hansen, M. (2016). Tracking, correcting and absorbing water surface waves. IST Austria. https://doi.org/10.15479/AT:ISTA:th_640
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1398
Ellis, T. (2016). The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_526
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5554   OA
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 | Conference Paper | IST-REx-ID: 1165
Fulek, R. (2016). C-planarity of embedded cyclic c-graphs (Vol. 9801, pp. 94–106). Presented at the GD: Graph Drawing and Network Visualization, Athens, Greece: Springer. https://doi.org/10.1007/978-3-319-50106-2_8
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1362
Hahn, D., & Wojtan, C. J. (2016). Fast approximations for boundary element based brittle fracture simulation (Vol. 35). Presented at the ACM SIGGRAPH, Anaheim, CA, USA: ACM. https://doi.org/10.1145/2897824.2925902
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1235
Abusalah, H. M., & Fuchsbauer, G. (2016). Constrained PRFs for unbounded inputs with short keys (Vol. 9696, pp. 445–463). Presented at the ACNS: Applied Cryptography and Network Security, Guildford, UK: Springer. https://doi.org/10.1007/978-3-319-39555-5_24
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1069   OA
Chonev, V. K., Ouaknine, J., & Worrell, J. (2016). On the skolem problem for continuous linear dynamical systems (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.100
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1090   OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Nested weighted limit-average automata of bounded width (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2016.24
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095   OA
Haas, A., Henzinger, T. A., Holzer, A., Kirsch, C., Lippautz, M., Payer, H., … Veith, H. (2016). Local linearizability for concurrent container-type data structures. In Leibniz International Proceedings in Informatics (Vol. 59). Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2016.6
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1103   OA
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
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1242   OA
Sokolowski, T. R., Walczak, A., Bialek, W., & Tkacik, G. (2016). Extending the dynamic range of transcription factor action by translational regulation. Physical Review E Statistical Nonlinear and Soft Matter Physics, 93(2). https://doi.org/10.1103/PhysRevE.93.022404
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1259   OA
Bräunlich, G., Hainzl, C., & Seiringer, R. (2016). Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit. Mathematical Physics, Analysis and Geometry, 19(2). https://doi.org/10.1007/s11040-016-9209-x
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1285
Paluch, E., Aspalter, I., & Sixt, M. K. (2016). Focal adhesion-independent cell migration. Annual Review of Cell and Developmental Biology, 32, 469–490. https://doi.org/10.1146/annurev-cellbio-111315-125341
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1350   OA
Guzmán, J., Schlögl, A., Frotscher, M., & Jonas, P. M. (2016). Synaptic mechanisms of pattern completion in the hippocampal CA3 network. Science, 353(6304), 1117–1123. https://doi.org/10.1126/science.aaf1836
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1230   OA
Daca, P., Gupta, A., & Henzinger, T. A. (2016). Abstraction-driven concolic testing (Vol. 9583, pp. 328–347). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer. https://doi.org/10.1007/978-3-662-49122-5_16
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1324
Chatterjee, K., & Chmelik, M. (2016). Indefinite-horizon reachability in Goal-DEC-POMDPs. In Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling (Vol. 2016–January, pp. 88–96). London, United Kingdom: AAAI Press.
View | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1413
Jeschke, S. (2016). Generalized diffusion curves: An improved vector representation for smooth-shaded images. Computer Graphics Forum, 35(2), 71–79. https://doi.org/10.1111/cgf.12812
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1386   OA
Chatterjee, K., Fu, H., & Goharshady, A. (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 | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1432   OA
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, 7. https://doi.org/10.1038/ncomms11552
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1545   OA
Nam, P., Napiórkowski, M. M., & Solovej, J. (2016). Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis, 270(11), 4340–4368. https://doi.org/10.1016/j.jfa.2015.12.007
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1526   OA
Henzinger, T. A., Otop, J., & Samanta, R. (2016). Lipschitz robustness of timed I/O systems (Vol. 9583, pp. 250–267). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer. https://doi.org/10.1007/978-3-662-49122-5_12
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1071
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs (Vol. 57). Presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ESA.2016.28
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1437
Chatterjee, K., Goharshady, A., 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 (ext.) | arXiv
 

2016 | Technical Report | IST-REx-ID: 5453
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2017-749-v3-1
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1379
Burton, B., De Mesmay, A. N., & Wagner, U. (2016). Finding non-orientable surfaces in 3-manifolds (Vol. 51, p. 24.1-24.15). Presented at the SoCG: Symposium on Computational Geometry, Medford, MA, USA: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2016.24
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1278   OA
Matsuno, H., Kudoh, M., Watakabe, A., Yamamori, T., Shigemoto, R., & Nagao, S. (2016). Distribution and structure of synapses on medial vestibular nuclear neurons targeted by cerebellar flocculus purkinje cells and vestibular nerve in mice: Light and electron microscopy studies. PLoS One, 11(10), e0164037. https://doi.org/10.1371/journal.pone.0164037
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1483   OA
Reininghaus, J., Huber, S., Bauer, U., & Kwitt, R. (2015). A stable multi-scale kernel for topological machine learning (pp. 4741–4748). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA: IEEE. https://doi.org/10.1109/CVPR.2015.7299106
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1495   OA
Edelsbrunner, H., Iglesias Ham, M., & Kurlin, V. (2015). Relaxed disk packing. In Proceedings of the 27th Canadian Conference on Computational Geometry (Vol. 2015–August, pp. 128–135). Ontario, Canada: Queen’s University.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1534   OA
Wang, H., Yang, K., Zou, J., Zhu, L., Xie, Z., Morita, M., … Le, J. (2015). Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism. Nature Communications, 6. https://doi.org/10.1038/ncomms9822
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1508   OA
Erdös, L., & Yau, H. (2015). Gap universality of generalized Wigner and β ensembles. Journal of the European Mathematical Society, 17(8), 1927–2036. https://doi.org/10.4171/JEMS/548
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1546   OA
Nakamura, Y., Harada, H., Kamasawa, N., Matsui, K., Rothman, J., Shigemoto, R., … Takahashi, T. (2015). Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development. Neuron, 85(1), 145–158. https://doi.org/10.1016/j.neuron.2014.11.019
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1558
Ivanchenko, M., Zhu, J., Wang, B., Medvecka, E., Du, Y., Azzarello, E., … Geisler, M. (2015). The cyclophilin a DIAGEOTROPICA gene affects auxin transport in both root and shoot to control lateral root formation. Development, 142(4), 712–721. https://doi.org/10.1242/dev.113225
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1560
Hons, M., & Sixt, M. K. (2015). The lymph node filter revealed. Nature Immunology, 16(4), 338–340. https://doi.org/10.1038/ni.3126
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1565   OA
Gavello, D., Vandael, D. H., Gosso, S., Carbone, E., & Carabelli, V. (2015). Dual action of leptin on rest-firing and stimulated catecholamine release via phosphoinositide 3-kinase-riven BK channel up-regulation in mouse chromaffin cells. Journal of Physiology, 593(22), 4835–4853. https://doi.org/10.1113/JP271078
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1584   OA
Biedl, T., Held, M., Huber, S., Kaaser, D., & Palfrader, P. (2015). Reprint of: Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications, 48(5), 429–442. https://doi.org/10.1016/j.comgeo.2015.01.004
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1589   OA
Altmeyer, S., Do, Y., & Lai, Y. (2015). Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system. Scientific Reports, 5. https://doi.org/10.1038/srep18589
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1572   OA
Correggi, M., Giuliani, A., & Seiringer, R. (2015). Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet. Communications in Mathematical Physics, 339(1), 279–307. https://doi.org/10.1007/s00220-015-2402-0
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1596   OA
Fulek, R., & Radoičić, R. (2015). Vertical visibility among parallel polygons in three dimensions. Presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, United States: Springer. https://doi.org/10.1007/978-3-319-27261-0_31
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1623   OA
Hammar, P., Angermayr, A., Sjostrom, S., Van Der Meer, J., Hellingwerf, K., Hudson, E., & Joensson, H. (2015). Single-cell screening of photosynthetic growth and lactate production by cyanobacteria. Biotechnology for Biofuels, 8(1). https://doi.org/10.1186/s13068-015-0380-2
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed