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.

5783 Publications


2014 | Journal Article | IST-REx-ID: 2285 | OA
Hosp, J., Strüber, M., Yanagawa, Y., Obata, K., Vida, I., Jonas, P. M., & Bartos, M. (2014). Morpho-physiological criteria divide dentate gyrus interneurons into classes. Hippocampus. Wiley-Blackwell. https://doi.org/10.1002/hipo.22214
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2407 | OA
Lieb, É., & Seiringer, R. (2014). Equivalence of two definitions of the effective mass of a polaron. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-013-0791-z
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 248 | OA
Browning, T. D., Matthiesen, L., & Skorobogatov, A. (2014). Rational points on pencils of conics and quadrics with many degenerate fibres. Annals of Mathematics. John Hopkins University Press. https://doi.org/10.4007/annals.2014.180.1.8
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2699 | OA
Erdös, L., Bourgade, P., & Yau, H. (2014). Universality of general β-ensembles. Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/00127094-2649752
[Preprint] View | DOI | Download Preprint (ext.)
 

2014 | Journal Article | IST-REx-ID: 2716 | OA
Chatterjee, K., Randour, M., & Raskin, J. (2014). Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. Springer. https://doi.org/10.1007/s00236-013-0182-6
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2905 | OA
Edelsbrunner, H., & Morozovy, D. (2014). Persistent homology: Theory and practice (pp. 31–50). Presented at the ECM: European Congress of Mathematics, Kraków, Poland: European Mathematical Society Publishing House. https://doi.org/10.4171/120-1/3
[Submitted Version] View | Files available | DOI
 

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
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2141 | OA
Chatterjee, K., & Henzinger, M. H. (2014). Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition. Journal of the ACM. ACM. https://doi.org/10.1145/2597631
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 3263 | OA
Tkačik, G., Ghosh, A., Schneidman, E., & Segev, R. (2014). Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0085841
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 350 | OA
Li, W., Ibáñez, M., Cadavid, D., Zamani, R., Rubio Garcia, J., Gorsse, S., … Cabot, A. (2014). Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4. Journal of Nanoparticle Research. Kluwer. https://doi.org/10.1007/s11051-014-2297-2
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 451 | OA
Pilarczyk, P., & Real, P. (2014). Computation of cubical homology, cohomology, and (co)homological operations via chain contraction. Advances in Computational Mathematics. Kluwer. https://doi.org/10.1007/s10444-014-9356-1
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 468 | OA
Cimadom, A., Ulloa, A., Meidl, P., Zöttl, M., Zöttl, E., Fessl, B., … Tebbich, S. (2014). Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0107518
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 475 | OA
Aminof, B., & Rubin, S. (2014). First cycle games. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 146, pp. 83–90). Grenoble, France: Open Publishing Association. https://doi.org/10.4204/EPTCS.146.11
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 537 | OA
Prizak, R., Ezard, T., & Hoyle, R. (2014). Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. Wiley-Blackwell. https://doi.org/10.1002/ece3.1150
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2211 | OA
Chatterjee, K., & Doyen, L. (2014). Partial-observation stochastic games: How to win when belief fails. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/2579821
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2038 | OA
Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2014). Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/2629686
[Submitted Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2162 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2014). The complexity of ergodic mean payoff games (Vol. 8573, pp. 122–133). Presented at the ICST: International Conference on Software Testing, Verification and Validation, Copenhagen, Denmark: Springer. https://doi.org/10.1007/978-3-662-43951-7_11
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2213 | OA
Chatterjee, K., Doyen, L., Nain, S., & Vardi, M. (2014). The complexity of partial-observation stochastic parity games with finite-memory strategies (Vol. 8412, pp. 242–257). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-54830-7_16
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2216 | OA
Chatterjee, K., Ibsen-Jensen, R., & Majumdar, R. (2014). Edit distance for timed automata (pp. 303–312). Presented at the HSCC: Hybrid Systems - Computation and Control, Berlin, Germany: Springer. https://doi.org/10.1145/2562059.2562141
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Technical Report | IST-REx-ID: 5411 | OA
Daca, P., Henzinger, T. A., Krenn, W., & Nickovic, D. (2014). Compositional specifications for IOCO testing. IST Austria. https://doi.org/10.15479/AT:IST-2014-148-v2-1
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5413 | OA
Chatterjee, K., Daca, P., & Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-153-v2-2
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5414 | OA
Chatterjee, K., Daca, P., & Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-153-v3-1
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5412 | OA
Chatterjee, K., Daca, P., & Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-153-v1-1
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2163 | OA
Chatterjee, K., & Doyen, L. (2014). Games with a weak adversary. In Lecture Notes in Computer Science (Vol. 8573, pp. 110–121). Copenhagen, Denmark: Springer. https://doi.org/10.1007/978-3-662-43951-7_10
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Technical Report | IST-REx-ID: 5419 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2014). Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-187-v1-1
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5417 | OA
Henzinger, T. A., & Otop, J. (2014). From model checking to model measuring. IST Austria. https://doi.org/10.15479/AT:IST-2014-172-v1-1
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5416 | OA
Henzinger, T. A., & Otop, J. (2014). Model measuring for hybrid systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-171-v1-1
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5418 | OA
Chatterjee, K., & Doyen, L. (2014). Games with a weak adversary. IST Austria. https://doi.org/10.15479/AT:IST-2014-176-v1-1
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2014). The value 1 problem for concurrent mean-payoff games. IST Austria. https://doi.org/10.15479/AT:IST-2014-191-v1-1
[Published Version] View | Files available | DOI
 

2014 | Report | IST-REx-ID: 5422 | OA
Porsche, J. (2014). Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none.
View | Files available
 

2014 | Technical Report | IST-REx-ID: 5424 | OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2014). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria. https://doi.org/10.15479/AT:IST-2014-305-v1-1
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5426 | OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2014). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria. https://doi.org/10.15479/AT:IST-2014-305-v2-1
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5423 | OA
Chatterjee, K., Kössler, A., Pavlogiannis, A., & Schmid, U. (2014). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. IST Austria. https://doi.org/10.15479/AT:IST-2014-300-v1-1
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5427 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2014). Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-314-v1-1
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5425 | OA
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2014). Optimal cost almost-sure reachability in POMDPs. IST Austria.
[Published Version] View | Files available
 

2014 | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2014). Nested weighted automata. IST Austria. https://doi.org/10.15479/AT:IST-2014-170-v1-1
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5421 | OA
Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2014). The complexity of evolution on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-190-v2-2
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 5813 | OA
Dereziński, J., & Napiórkowski, M. M. (2014). Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincaré. Springer Nature. https://doi.org/10.1007/s00023-013-0302-4
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 589 | OA
Lee, J., Vrijsen, G., Teper, I., Hosten, O., & Kasevich, M. (2014). Many-atom-cavity QED system with homogeneous atom-cavity coupling. Optics Letters. OSA. https://doi.org/10.1364/OL.39.004005
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 6126 | OA
Gross, E., Soltesz, Z., Oda, S., Zelmanovich, V., Abergel, Z., & de Bono, M. (2014). GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/jneurosci.5368-13.2014
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6124 | OA
Chen, C., Itakura, E., Weber, K. P., Hegde, R. S., & de Bono, M. (2014). An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics. Public Library of Science (PLoS). https://doi.org/10.1371/journal.pgen.1004082
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6122 | OA
Linneweber, G. A., Jacobson, J., Busch, K. E., Hudry, B., Christov, C. P., Dormann, D., … Miguel-Aliaga, I. (2014). Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell. Elsevier. https://doi.org/10.1016/j.cell.2013.12.008
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6319 | OA
Bretèche, R. de la, & Browning, T. D. (2014). Contre-exemples au principe de Hasse pour certains tores coflasques. Journal de Théorie Des Nombres de Bordeaux. Cellule MathDoc/CEDRAM. https://doi.org/10.5802/jtnb.857
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 6740 | OA
Mondelli, M., Urbanke, R., & Hassani, H. (2014). How to achieve the capacity of asymmetric channels. In 52nd Annual Allerton Conference on Communication, Control, and Computing (pp. 789–796). Monticello, IL, United States: IEEE. https://doi.org/10.1109/allerton.2014.7028535
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 6739 | OA
Mondelli, M., Hassani, H., & Urbanke, R. (2014). From polar to Reed-Muller codes: A technique to improve the finite-length performance. IEEE Transactions on Communications. IEEE. https://doi.org/10.1109/tcomm.2014.2345069
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Working Paper | IST-REx-ID: 7038 | OA
Huszár, K., & Rolinek, M. (n.d.). Playful Math - An introduction to mathematical games. IST Austria.
[Published Version] View | Files available
 

2014 | Journal Article | IST-REx-ID: 7071 | OA
Modic, K. A., Smidt, T. E., Kimchi, I., Breznay, N. P., Biffin, A., Choi, S., … Analytis, J. G. (2014). Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate. Nature Communications. Springer Science and Business Media LLC. https://doi.org/10.1038/ncomms5203
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7598 | OA
Tan, S., & Xue, H.-W. (2014). Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2014.10.047
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 772 | OA
Alistarh, D.-A., Censor Hillel, K., & Shavit, N. (2014). Are lock-free concurrent algorithms practically wait-free? (pp. 714–723). Presented at the STOC: Symposium on Theory of Computing, ACM. https://doi.org/10.1145/2591796.2591836
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 775 | OA
Alistarh, D.-A., Kopinsky, J., Matveev, A., & Shavit, N. (2014). The levelarray: A fast, practical long-lived renaming algorithm (pp. 348–357). Presented at the ICDCS: International Conference on Distributed Computing Systems, IEEE. https://doi.org/10.1109/ICDCS.2014.43
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 7771 | OA
Goodrich, C. P., Liu, A. J., & Nagel, S. R. (2014). Comment on “Repulsive contact interactions make jammed particulate systems inherently nonharmonic.” Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.112.049801
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 8021 | OA
Araya, R., Vogels, T. P., & Yuste, R. (2014). Activity-dependent dendritic spine neck changes are correlated with synaptic strength. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.1321869111
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 8022 | OA
Hennequin, G., Vogels, T. P., & Gerstner, W. (2014). Optimal control of transient dynamics in balanced networks supports generation of complex movements. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2014.04.045
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 96 | OA
Higginbotham, A. P., Kuemmeth, F., Hanson, M., Gossard, A., & Marcus, C. (2014). Coherent operations and screening in multielectron spin qubits. APS Physics, Physical Review Letters. American Physiological Society. https://doi.org/10.1103/PhysRevLett.112.026801
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 9594 | OA
Greenhill, C., Kwan, M. A., & Wind, D. (2014). On the number of spanning trees in random regular graphs. The Electronic Journal of Combinatorics. The Electronic Journal of Combinatorics. https://doi.org/10.37236/3752
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 9655 | OA
Perkovic, M., Kunz, M., Endesfelder, U., Bunse, S., Wigge, C., Yu, Z., … Frangakis, A. S. (2014). Correlative light- and electron microscopy with chemical tags. Journal of Structural Biology. Elsevier. https://doi.org/10.1016/j.jsb.2014.03.018
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2083 | OA
Lagator, M., Morgan, A., Neve, P., & Colegrave, N. (2014). Role of sex and migration in adaptation to sink environments. Evolution. Wiley. https://doi.org/10.1111/evo.12440
[Published Version] View | Files available | DOI
 

2014 | Research Data Reference | IST-REx-ID: 9747 | OA
Lagator, M., Morgan, A., Neve, P., & Colegrave, N. (2014). Data from: Role of sex and migration in adaptation to sink environments. Dryad. https://doi.org/10.5061/dryad.s42n1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 977 | OA
Serbyn, M., Knap, M., Gopalakrishnan, S., Papić, Z., Yao, N., Laumann, C., … Demler, E. (2014). Interferometric probes of many-body localization. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.113.147204
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 980 | OA
Serbyn, M., Papić, Z., & Abanin, D. (2014). Quantum quenches in the many-body localized phase. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.90.174302
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 98 | OA
Higginbotham, A. P., Larsen, T., Yao, J., Yan, H., Lieber, C., Marcus, C., & Kuemmeth, F. (2014). Hole spin coherence in a Ge/Si heterostructure nanowire. Nano Letters. American Chemical Society. https://doi.org/10.1021/nl501242b
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2086 | OA
Wolf, S., Mcmahon, D., Lim, K., Pull, C., Clark, S., Paxton, R., & Osborne, J. (2014). So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0103989
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 9050 | OA
Takagi, D., Palacci, J. A., Braunschweig, A. B., Shelley, M. J., & Zhang, J. (2014). Hydrodynamic capture of microswimmers into sphere-bound orbits. Soft Matter. Royal Society of Chemistry . https://doi.org/10.1039/c3sm52815d
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Journal Article | IST-REx-ID: 9166 | OA
Palacci, J. A., Sacanna, S., Kim, S.-H., Yi, G.-R., Pine, D. J., & Chaikin, P. M. (2014). Light-activated self-propelled colloids. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. The Royal Society. https://doi.org/10.1098/rsta.2013.0372
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Journal Article | IST-REx-ID: 9458 | OA
Huff, J. T., & Zilberman, D. (2014). Dnmt1-independent CG methylation contributes to nucleosome positioning in diverse eukaryotes. Cell. Elsevier. https://doi.org/10.1016/j.cell.2014.01.029
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 9479 | OA
Mérai, Z., Chumak, N., García-Aguilar, M., Hsieh, T.-F., Nishimura, T., Schoft, V. K., … Tamaru, H. (2014). The AAA-ATPase molecular chaperone Cdc48/p97 disassembles sumoylated centromeres, decondenses heterochromatin, and activates ribosomal RNA genes. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1418564111
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 9662 | OA
Cheng, B., & Ceriotti, M. (2014). Direct path integral estimators for isotope fractionation ratios. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/1.4904293
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Journal Article | IST-REx-ID: 97 | OA
Higginbotham, A. P., Kuemmeth, F., Larsen, T., Fitzpatrick, M., Yao, J., Yan, H., … Marcus, C. (2014). Antilocalization of coulomb blockade in a Ge/Si nanowire. APS Physics, Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.112.216806
View | DOI | Download None (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2004 | OA
Lovrics, A., Gao, Y., Juhász, B., Bock, I., Byrne, H., Dinnyés, A., & Kovács, K. (2014). Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0111430
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2039 | OA
Chatterjee, K., Pavlogiannis, A., Adlam, B., & Nowak, M. (2014). The time scale of evolutionary innovation. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1003818
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2036 | OA
Lagator, M., Colegrave, N., & Neve, P. (2014). Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2014.1679
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Research Data Reference | IST-REx-ID: 9740 | OA
Konrad, M., Grasse, A. V., Tragust, S., & Cremer, S. (2014). Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. Dryad. https://doi.org/10.5061/dryad.vm0vc
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 | Research Data Reference | IST-REx-ID: 9741 | OA
Lagator, M., Colegrave, N., & Neve, P. (2014). Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. Dryad. https://doi.org/10.5061/dryad.85dn7
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2170 | OA
Hearn, J., Stone, G., Bunnefeld, L., Nicholls, J., Barton, N. H., & Lohse, K. (2014). Likelihood-based inference of population history from low-coverage de novo genome assemblies. Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1111/mec.12578
[Submitted Version] View | Files available | DOI
 

2014 | Research Data Reference | IST-REx-ID: 9753 | OA
Tragust, S., Ugelvig, L. V., Chapuisat, M., Heinze, J., & Cremer, S. (2014). Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. Dryad. https://doi.org/10.5061/dryad.nc0gc
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 | Research Data Reference | IST-REx-ID: 9752 | OA
Simmons, K., Prentice, J., Tkačik, G., Homann, J., Yee, H., Palmer, S., … Balasubramanian, V. (2014). Data from: Transformation of stimulus correlations by the retina. Dryad. https://doi.org/10.5061/dryad.246qg
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 978 | OA
Zeljkovic, I., Okada, Y., Huang, C., Sankar, R., Walkup, D., Zhou, W., … Madhavan, V. (2014). Mapping the unconventional orbital texture in topological crystalline insulators. Nature Physics. Nature Publishing Group. https://doi.org/10.1038/nphys3012
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 979 | OA
Serbyn, M., & Fu, L. (2014). Symmetry breaking and Landau quantization in topological crystalline insulators. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.90.035402
View | DOI | Download (ext.)
 

2014 | Research Data Reference | IST-REx-ID: 9932 | OA
Dhar, R., Bergmiller, T., & Wagner, A. (2014). Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes. Dryad. https://doi.org/10.5061/dryad.jc402
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 12637 | OA
Immerzeel, W. W., Petersen, L., Ragettli, S., & Pellicciotti, F. (2014). The importance of observed gradients of air temperature and precipitation for modeling runoff from a glacierized watershed in the Nepalese Himalayas. Water Resources Research. American Geophysical Union. https://doi.org/10.1002/2013wr014506
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 12632 | OA
Gabbi, J., Carenzo, M., Pellicciotti, F., Bauder, A., & Funk, M. (2014). A comparison of empirical and physically based glacier surface melt models for long-term simulations of glacier response. Journal of Glaciology. International Glaciological Society. https://doi.org/10.3189/2014jog14j011
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 13402 | OA
Kundu, P. K., Olsen, G. L., Kiss, V., & Klajn, R. (2014). Nanoporous frameworks exhibiting multiple stimuli responsiveness. Nature Communications. Springer Nature. https://doi.org/10.1038/ncomms4588
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 13404 | OA
Klajn, R. (2014). Spiropyran-based dynamic materials. Chemical Society Reviews. Royal Society of Chemistry. https://doi.org/10.1039/c3cs60181a
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 14021 | OA
Kraus, P. M., Baykusheva, D. R., & Wörner, H. J. (2014). Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules. Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing. https://doi.org/10.1088/0953-4075/47/12/124030
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 14020 | OA
Kraus, P. M., Baykusheva, D. R., & Wörner, H. J. (2014). Two-pulse field-free orientation reveals anisotropy of molecular shape resonance. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.113.023001
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Journal Article | IST-REx-ID: 535 | OA
Chatterjee, K., Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2014). Polynomial-time algorithms for energy games with special weight structures. Algorithmica. Springer. https://doi.org/10.1007/s00453-013-9843-7
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2255 | OA
Edelsbrunner, H., & Pausinger, F. (2014). Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision. Springer. https://doi.org/10.1007/s10851-013-0468-x
[Submitted Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2159 | OA
Mabillard, I., & Wagner, U. (2014). Eliminating Tverberg points, I. An analogue of the Whitney trick. In Proceedings of the Annual Symposium on Computational Geometry (pp. 171–180). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582134
[Submitted Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2023 | OA
Novak, S. (2014). Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution. Ecology and Evolution. Wiley-Blackwell. https://doi.org/10.1002/ece3.1289
[Published Version] View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2218 | OA
Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., & Tarrach, T. (2014). Regression-free synthesis for concurrency (Vol. 8559, pp. 568–584). Presented at the CAV: Computer Aided Verification, Vienna, Austria: Springer. https://doi.org/10.1007/978-3-319-08867-9_38
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2167 | OA
Daca, P., Henzinger, T. A., Krenn, W., & Nickovic, D. (2014). Compositional specifications for IOCO testing. In IEEE 7th International Conference on Software Testing, Verification and Validation. Cleveland, USA: IEEE. https://doi.org/10.1109/ICST.2014.50
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2082 | OA
Gazi, P., Pietrzak, K. Z., & Rybar, M. (2014). The exact PRF-security of NMAC and HMAC. In J. Garay & R. Gennaro (Eds.) (Vol. 8616, pp. 113–130). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, USA: Springer. https://doi.org/10.1007/978-3-662-44371-2_7
[Submitted Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1912 | OA
Compagnon, J., Barone, V., Rajshekar, S., Kottmeier, R., Pranjic-Ferscha, K., Behrndt, M., & Heisenberg, C.-P. J. (2014). The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2014.11.003
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2084 | OA
Grusch, M., Schelch, K., Riedler, R., Gschaider-Reichhart, E., Differ, C., Berger, W., … Janovjak, H. L. (2014). Spatio-temporally precise activation of engineered receptor tyrosine kinases by light. EMBO Journal. Wiley-Blackwell. https://doi.org/10.15252/embj.201387695
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2157 | OA
Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2014). Embeddability in the 3 sphere is decidable. In Proceedings of the Annual Symposium on Computational Geometry (pp. 78–84). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582137
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Technical Report | IST-REx-ID: 5428 | OA
Chatterjee, K., Henzinger, T. A., Otop, J., & Velner, Y. (2014). Quantitative fair simulation games. IST Austria. https://doi.org/10.15479/AT:IST-2014-315-v1-1
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1887 | OA
Cremer, S. (2014). Gemeinsame Krankheitsabwehr in Ameisengesellschaften. Zoologie. Deutsche Zoologische Gesellschaft.
[Published Version] View | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2175 | OA
Postiglione, M. P., & Hippenmeyer, S. (2014). Monitoring neurogenesis in the cerebral cortex: an update. Future Neurology. Future Science Group. https://doi.org/10.2217/fnl.14.18
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1913 | OA
Milenković, I., Petrov, T., & Kovács, G. (2014). Patterns of hippocampal tau pathology differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders. Karger Publishers. https://doi.org/10.1159/000365548
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications