Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




4019 Publications

2017 | Journal Article | IST-REx-ID: 716 | OA
Chatterjee, K., & Velner, Y. (2017). The complexity of mean-payoff pushdown games. Journal of the ACM. ACM. https://doi.org/10.1145/3121408
View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Research Data | IST-REx-ID: 7163 | OA
Fraisse, C. (2017). Supplementary Files for “The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W.” IST Austria. https://doi.org/10.15479/AT:ISTA:7163
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 717 | OA
Chatterjee, K., & Velner, Y. (2017). Hyperplane separation technique for multidimensional mean-payoff games. Journal of Computer and System Sciences. Academic Press. https://doi.org/10.1016/j.jcss.2017.04.005
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 718 | OA
Edelsbrunner, H., Nikitenko, A., & Reitzner, M. (2017). Expected sizes of poisson Delaunay mosaics and their discrete Morse functions. Advances in Applied Probability. Cambridge University Press. https://doi.org/10.1017/apr.2017.20
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 719
Chatterjee, K., & Ehlers, R. (2017). Special issue: Synthesis and SYNT 2014. Acta Informatica. Springer. https://doi.org/10.1007/s00236-017-0299-0
View | DOI
 
2017 | Journal Article | IST-REx-ID: 720 | OA
Humplik, J., & Tkačik, G. (2017). Probabilistic models for neural populations that naturally capture global coupling and criticality. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005763
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 721 | OA
Ajanki, O. H., Krüger, T. H., & Erdös, L. (2017). Singularities of solutions to quadratic vector equations on the complex upper half plane. Communications on Pure and Applied Mathematics. Wiley-Blackwell. https://doi.org/10.1002/cpa.21639
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 722 | OA
Morris, E., Griffiths, M., Golebiowska, A., Mairhofer, S., Burr Hersey, J., Goh, T., … Bennett, M. (2017). Shaping 3D root system architecture. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2017.06.043
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 724 | OA
Hetterich, D., Serbyn, M., Domínguez, F., Pollmann, F., & Trauzettel, B. (2017). Noninteracting central site model localization and logarithmic entanglement growth. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.96.104203
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 725 | OA
Harpaz, R., Tkačik, G., & Schneidman, E. (2017). Discrete modes of social information processing predict individual behavior of fish in a group. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1703817114
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 726 | OA
Hannezo, E. B., Scheele, C., Moad, M., Drogo, N., Heer, R., Sampogna, R., … Simons, B. (2017). A unifying theory of branching morphogenesis. Cell. Cell Press. https://doi.org/10.1016/j.cell.2017.08.026
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 727
Mueller, J., Szep, G., Nemethova, M., de Vries, I., Lieber, A., Winkler, C., … Sixt, M. K. (2017). Load adaptation of lamellipodial actin networks. Cell. Cell Press. https://doi.org/10.1016/j.cell.2017.07.051
View | DOI
 
2017 | Journal Article | IST-REx-ID: 728
Chan, C., Heisenberg, C.-P. J., & Hiiragi, T. (2017). Coordination of morphogenesis and cell fate specification in development. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2017.07.010
View | DOI
 
2017 | Journal Article | IST-REx-ID: 729
Spiro, Z. P., & Heisenberg, C.-P. J. (2017). Regeneration tensed up polyploidy takes the lead. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2017.09.008
View | DOI
 
2017 | Journal Article | IST-REx-ID: 730
Savin, C., & Tkačik, G. (2017). Maximum entropy models as a tool for building precise neural controls. Current Opinion in Neurobiology. Elsevier. https://doi.org/10.1016/j.conb.2017.08.001
View | DOI
 
2017 | Journal Article | IST-REx-ID: 731
Novarino, G. (2017). The science of love in ASD and ADHD. Science Translational Medicine. American Association for the Advancement of Science. https://doi.org/10.1126/scitranslmed.aap8168
View | DOI
 
2017 | Journal Article | IST-REx-ID: 732 | OA
Pull, C., & Cremer, S. (2017). Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour. BMC Evolutionary Biology. BioMed Central. https://doi.org/10.1186/s12862-017-1062-4
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 733 | OA
Bao, Z., Erdös, L., & Schnelli, K. (2017). Convergence rate for spectral distribution of addition of random matrices. Advances in Mathematics. Academic Press. https://doi.org/10.1016/j.aim.2017.08.028
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 734 | OA
Kennedy, P., Baron, G., Qiu, B., Freitak, D., Helantera, H., Hunt, E., … Sumner, S. (2017). Deconstructing superorganisms and societies to address big questions in biology. Trends in Ecology and Evolution. Cell Press. https://doi.org/10.1016/j.tree.2017.08.004
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 736 | OA
Rubio, M., Matsui, K., Fukazawa, Y., Kamasawa, N., Harada, H., Itakura, M., … Shigemoto, R. (2017). The number and distribution of AMPA receptor channels containing fast kinetic GluA3 and GluA4 subunits at auditory nerve synapses depend on the target cells. Brain Structure and Function. Springer. https://doi.org/10.1007/s00429-017-1408-0
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 7360 | OA
Smole, A., Lainšček, D., Bezeljak, U., Horvat, S., & Jerala, R. (2017). A synthetic mammalian therapeutic gene circuit for sensing and suppressing inflammation. Molecular Therapy. Elsevier. https://doi.org/10.1016/j.ymthe.2016.10.005
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 737
Virk, Z., & Zastrow, A. (2017). A new topology on the universal path space. Topology and Its Applications. Elsevier. https://doi.org/10.1016/j.topol.2017.09.015
View | DOI
 
2017 | Journal Article | IST-REx-ID: 739 | OA
Nam, P., & Napiórkowski, M. M. (2017). A note on the validity of Bogoliubov correction to mean field dynamics. Journal de Mathématiques Pures et Appliquées. Elsevier. https://doi.org/10.1016/j.matpur.2017.05.013
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 740 | OA
Shigemoto, R., & Jösch, M. A. (2017). The genetic encoded toolbox for electron microscopy and connectomics. WIREs Developmental Biology. Wiley-Blackwell. https://doi.org/10.1002/wdev.288
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 741 | OA
Moser, T., & Seiringer, R. (2017). Stability of a fermionic N+1 particle system with point interactions. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-017-2980-0
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 743
Gottlob, G., Henzinger, T. A., & Weißenbacher, G. (2017). Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-017-0307-6
View | DOI
 
2017 | Journal Article | IST-REx-ID: 744 | OA
Priklopil, T., Chatterjee, K., & Nowak, M. (2017). Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2017.08.025
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 745 | OA
Xu, D., Warnecke, S., Song, B., Ma, X., & Hof, B. (2017). Transition to turbulence in pulsating pipe flow. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2017.620
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 746 | OA
Aloisi, E., Le Corf, K., Dupuis, J., Zhang, P., Ginger, M., Labrousse, V., … Frick, A. (2017). Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-017-01191-2
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 747 | OA
Brǎiloiu, E., Mcguire, M., Shuler, S., Deliu, E., Barr, J., Abood, M., & Brailoiu, G. (2017). Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus. Neuroscience. Elsevier. https://doi.org/10.1016/j.neuroscience.2017.09.034
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 749 | OA
Chen, C., Satterfield, R., Young, S., & Jonas, P. M. (2017). Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2017.10.122
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 750
Pielorz, J., Prandtstetter, M., Straub, M., & Lampert, C. (2017). Optimal geospatial volunteer allocation needs realistic distances. In 2017 IEEE International Conference on Big Data (pp. 3760–3763). Boston, MA, United States: IEEE. https://doi.org/10.1109/BigData.2017.8258375
View | DOI
 
2017 | Journal Article | IST-REx-ID: 751 | OA
Matsubayashi, Y., Louani, A., Dragu, A., Sanchez Sanchez, B., Serna Morales, E., Yolland, L., … Stramer, B. (2017). A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2017.10.001
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1063 | OA
Uecker, H. (2017). Evolutionary rescue in randomly mating, selfing, and clonal populations. Evolution. Wiley-Blackwell. https://doi.org/10.1111/evo.13191
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1065 | OA
Chatterjee, K., & Osang, G. F. (2017). Pushdown reachability with constant treewidth. Information Processing Letters. Elsevier. https://doi.org/10.1016/j.ipl.2017.02.003
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1066
Chatterjee, K., Henzinger, T. A., Otop, J., & Velner, Y. (2017). Quantitative fair simulation games. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2016.10.006
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1067 | OA
Morita, H., Grigolon, S., Bock, M., Krens, G., Salbreux, G., & Heisenberg, C.-P. J. (2017). The physical basis of coordinated tissue spreading in zebrafish gastrulation. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2017.01.010
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1072 | OA
Bauer, U., & Edelsbrunner, H. (2017). The Morse theory of Čech and delaunay complexes. Transactions of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/tran/6991
View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 1073 | OA
Čadek, M., Krcál, M., & Vokřínek, L. (2017). Algorithmic solvability of the lifting extension problem. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-016-9855-6
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1074 | OA
Ringbauer, H., Coop, G., & Barton, N. H. (2017). Inferring recent demography from isolation by distance of long shared sequence blocks. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.116.196220
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 1076 | OA
Klaiber, M., Daněk, J., Yakaboylu, E., Hatsagortsyan, K., & Keitel, C. (2017). Strong-field ionization via a high-order Coulomb-corrected strong-field approximation. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.95.023403
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1078 | OA
von Wangenheim, D., Hauschild, R., & Friml, J. (2017). Light sheet fluorescence microscopy of plant roots growing on the surface of a gel. Journal of Visualized Experiments JoVE. Journal of Visualized Experiments. https://doi.org/10.3791/55044
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1079 | OA
Nam, P., & Van Den Bosch, H. (2017). Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges. Mathematical Physics, Analysis and Geometry. Springer. https://doi.org/10.1007/s11040-017-9238-0
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1080 | OA
Reiter, J., Makohon Moore, A., Gerold, J., Božić, I., Chatterjee, K., Iacobuzio Donahue, C., … Nowak, M. (2017). Reconstructing metastatic seeding patterns of human cancers. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms14114
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1084
Fang, C., Nagy-Staron, A. A., Grafe, M., Heermann, R., Jung, K., Gebhard, S., & Mascher, T. (2017). Insulation and wiring specificity of BceR like response regulators and their target promoters in Bacillus subtilis. Molecular Microbiology. Wiley-Blackwell. https://doi.org/10.1111/mmi.13597
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1085 | OA
Wright, A., Darolti, I., Bloch, N., Oostra, V., Sandkam, B., Buechel, S., … Mank, J. (2017). Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms14251
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1087 | OA
Song, B., Barkley, D., Hof, B., & Avila, M. (2017). Speed and structure of turbulent fronts in pipe flow. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2017.14
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1089 | OA
Fallat, S., Lauritzen, S., Sadeghi, K., Uhler, C., Wermuth, N., & Zwiernik, P. (2017). Total positivity in Markov structures. Annals of Statistics. Institute of Mathematical Statistics. https://doi.org/10.1214/16-AOS1478
View | DOI | Download Submitted Version (ext.)
 
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. Nature Publishing Group. https://doi.org/10.1038/s41467-017-02159-y
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. American Physical Society. 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. Nature Publishing Group. 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. Genetics Society of America. https://doi.org/10.1534/genetics.116.189340
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2017 | Conference Paper | IST-REx-ID: 1112
Paixao, T., & Pérez Heredia, J. (2017). An application of stochastic differential equations to evolutionary algorithms. In Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms (pp. 3–11). Copenhagen, Denmark: ACM. https://doi.org/10.1145/3040718.3040729
View | DOI
 
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. Brown University. 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. American Physical Society. 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, itaru, Satterield, R., Young, S., & Jonas, P. M. (2017). Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse. Cell Reports. Cell Press. 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. Elsevier. 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. American Physical Society. 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. American Physical Society. https://doi.org/10.1103/PhysRevA.95.033608
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Thesis | IST-REx-ID: 1127 | OA
Prat, T. (2017). Identification of novel regulators of PIN polarity and development of novel auxin sensor. IST Austria.
View | Files available
 
2017 | Journal Article | IST-REx-ID: 1132 | OA
O’Neill, J., Boccara, C. N., Stella, F., Schönenberger, P., & Csicsvari, J. L. (2017). Superficial layers of the medial entorhinal cortex replay independently of the hippocampus. Science. American Association for the Advancement of Science. 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. American Physical Society. 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. Institute of Mathematical Statistics. https://doi.org/10.1214/16-ECP38
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1146
Sun, W., Zhai, M.-Z., Li, D., Zhou, Y., Chen, N., Guo, M., & Zhou, S. (2017). Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels. Clinical Nutrition. Churchill Livingstone. https://doi.org/10.1016/j.clnu.2016.07.016
View | 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. Elsevier. 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: 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. Nature Publishing Group. https://doi.org/10.1038/srep40012
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1161
Müller, J., & Sixt, M. K. (2017). Cell migration: Making the waves. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2016.11.035
View | 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. American Physical Society. https://doi.org/10.1103/PhysRevB.95.024506
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1163
Wysokiński, M., & Kaczmarczyk, J. (2017). Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms. Journal of Physics: Condensed Matter. IOP Publishing Ltd. https://doi.org/10.1088/1361-648X/aa532f
View | DOI
 
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. Springer. 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. Genetics Society of America. https://doi.org/10.1534/genetics.116.193946
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 609 | OA
Alwen, J. F., & Tackmann, B. (2017). Moderately hard functions: Definition, instantiations, and applications. In Y. Kalai & L. Reyzin (Eds.) (Vol. 10677, pp. 493–526). Presented at the TCC: Theory of Cryptography, Baltimore, MD, United States: Springer. https://doi.org/10.1007/978-3-319-70500-2_17
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 610 | OA
Goaoc, X., Mabillard, I., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2017). On generalized Heawood inequalities for manifolds: A van Kampen–Flores type nonembeddability result. Israel Journal of Mathematics. Springer. https://doi.org/10.1007/s11856-017-1607-7
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 611
Bradley, D., Xu, P., Mohorianu, I., Whibley, A., Field, D., Tavares, H., … Coen, E. (2017). Evolution of flower color pattern through selection on regulatory small RNAs. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aao3526
View | DOI
 
2017 | Journal Article | IST-REx-ID: 613 | OA
Chait, R. P., Ruess, J., Bergmiller, T., Tkačik, G., & Guet, C. C. (2017). Shaping bacterial population behavior through computer interfaced control of individual cells. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-017-01683-1
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 614 | OA
Fraisse, C., Picard, M. A. L., & Vicoso, B. (2017). The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-017-01663-5
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 615 | OA
Erdös, L., & Schnelli, K. (2017). Universality for random matrix flows with time dependent density. Annales de l’institut Henri Poincare (B) Probability and Statistics. Institute of Mathematical Statistics. https://doi.org/10.1214/16-AIHP765
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 6196 | OA
Gazi, P., Pietrzak, K. Z., & Rybar, M. (2017). The exact security of PMAC. IACR Transactions on Symmetric Cryptology. Ruhr University Bochum. https://doi.org/10.13154/TOSC.V2016.I2.145-161
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 621 | OA
Beattie, R. J., & Hippenmeyer, S. (2017). Mechanisms of radial glia progenitor cell lineage progression. FEBS Letters. Wiley-Blackwell. https://doi.org/10.1002/1873-3468.12906
View | Files available | DOI
 
2017 | Book Chapter | IST-REx-ID: 623
Hill Yardin, E., Mckeown, S., Novarino, G., & Grabrucker, A. (2017). Extracerebral dysfunction in animal models of autism spectrum disorder. In M. Schmeisser & T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder (Vol. 224, pp. 159–187). Springer. https://doi.org/10.1007/978-3-319-52498-6_9
View | DOI
 
2017 | Journal Article | IST-REx-ID: 624 | OA
Nikolic, N., Didara, Z., & Moll, I. (2017). MazF activation promotes translational heterogeneity of the grcA mRNA in Escherichia coli populations. PeerJ. PeerJ. https://doi.org/10.7717/peerj.3830
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 626 | OA
Barton, N. H., Etheridge, A., & Véber, A. (2017). The infinitesimal model: Definition derivation and implications. Theoretical Population Biology. Academic Press. https://doi.org/10.1016/j.tpb.2017.06.001
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 627 | OA
Jiang, C., Zhai, M.-Z., Yan, D., Li, D., Li, C., Zhang, Y., … Sun, W. (2017). Dietary menthol-induced TRPM8 activation enhances WAT “browning” and ameliorates diet-induced obesity. Oncotarget. Impact Journals LLC. https://doi.org/10.18632/oncotarget.20540
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 628 | OA
Chatterjee, K., Fu, H., & Murhekar, A. (2017). Automated recurrence analysis for almost linear expected runtime bounds. In R. Majumdar & V. Kunčak (Eds.) (Vol. 10426, pp. 118–139). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer. https://doi.org/10.1007/978-3-319-63387-9_6
View | DOI | Download Submitted Version (ext.)
 
2017 | Thesis | IST-REx-ID: 6287 | OA
Nikitenko, A. (2017). Discrete Morse theory for random complexes . IST Austria. https://doi.org/10.15479/AT:ISTA:th_873
View | Files available | DOI
 
2017 | Book Chapter | IST-REx-ID: 629
Loose, M., Zieske, K., & Schwille, P. (2017). Reconstitution of protein dynamics involved in bacterial cell division. In Prokaryotic Cytoskeletons (Vol. 84, pp. 419–444). Springer. https://doi.org/10.1007/978-3-319-53047-5_15
View | DOI | PubMed | Europe PMC
 
2017 | Thesis | IST-REx-ID: 6291 | OA
Payne, P. (2017). Bacterial herd and social immunity to phages. IST Austria.
View | Files available
 
2017 | Conference Paper | IST-REx-ID: 630 | OA
Sauermann, S., David, V., Schlögl, A., Egelkraut, R., Frohner, M., Pohn, B., … Mense, A. (2017). Biosignals standards and FHIR: The way to go (Vol. 236, pp. 356–362). Presented at the eHealth: Health Informatics Meets eHealth, Vienna, Austria: IOS Press. https://doi.org/10.3233/978-1-61499-759-7-356
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 631 | OA
Bogomolov, S., Frehse, G., Giacobbe, M., & Henzinger, T. A. (2017). Counterexample guided refinement of template polyhedra (Vol. 10205, pp. 589–606). 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-54577-5_34
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 632 | OA
Lewin, M., Nam, P., & Rougerie, N. (2017). A note on 2D focusing many boson systems. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/13468
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 633
Bak, S., Bogomolov, S., Henzinger, T. A., & Kumar, A. (2017). Challenges and tool implementation of hybrid rapidly exploring random trees. In A. Abate & S. Bodo (Eds.) (Vol. 10381, pp. 83–89). Presented at the NSV: Numerical Software Verification, Heidelberg, Germany: Springer. https://doi.org/10.1007/978-3-319-63501-9_6
View | DOI
 
2017 | Book Chapter | IST-REx-ID: 634
Schroeder, J., Deliu, E., Novarino, G., & Schmeisser, M. (2017). Genetic and pharmacological reversibility of phenotypes in mouse models of autism spectrum disorder. In M. Schmeisser & T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder (Vol. 224, pp. 189–211). Springer. https://doi.org/10.1007/978-3-319-52498-6_10
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 635 | OA
Alwen, J. F., Chen, B., Pietrzak, K. Z., Reyzin, L., & Tessaro, S. (2017). Scrypt is maximally memory hard. In J.-S. Coron & J. Buus Nielsen (Eds.) (Vol. 10212, pp. 33–62). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Paris, France: Springer. https://doi.org/10.1007/978-3-319-56617-7_2
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 636 | OA
Bakhirkin, A., Ferrere, T., Maler, O., & Ulus, D. (2017). On the quantitative semantics of regular expressions over real-valued signals. In A. Abate & G. Geeraerts (Eds.) (Vol. 10419, pp. 189–206). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer. https://doi.org/10.1007/978-3-319-65765-3_11
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 637 | OA
Jafargholi, Z., Kamath Hosdurg, C., Klein, K., Komargodski, I., Pietrzak, K. Z., & Wichs, D. (2017). Be adaptive avoid overcommitting. In J. Katz & H. Shacham (Eds.) (Vol. 10401, pp. 133–163). Presented at the CRYPTO: Cryptology, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-319-63688-7_5
View | Files available | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 640 | OA
Alwen, J. F., Blocki, J., & Pietrzak, K. Z. (2017). Depth-robust graphs and their cumulative memory complexity. In J.-S. Coron & J. Buus Nielsen (Eds.) (Vol. 10212, pp. 3–32). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Paris, France: Springer. https://doi.org/10.1007/978-3-319-56617-7_1
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 641
Trajkovska, V., Swoboda, P., Åström, F., & Petra, S. (2017). Graphical model parameter learning by inverse linear programming. In F. Lauze, Y. Dong, & A. Bjorholm Dahl (Eds.) (Vol. 10302, pp. 323–334). Presented at the SSVM: Scale Space and Variational Methods in Computer Vision, Kolding, Denmark: Springer. https://doi.org/10.1007/978-3-319-58771-4_26
View | DOI
 

Search

Filter Publications