en
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.
5329 Publications
2014 | Journal Article | IST-REx-ID: 1733
Interface simulation distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.
View
| Files available
| DOI
| Download (ext.)
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.
2014 | Journal Article | IST-REx-ID: 1309
Infinite speed of support propagation for the Derrida-Lebowitz-Speer-Spohn equation and quantum drift-diffusion models
J.L. Fischer, Nonlinear Differential Equations and Applications 21 (2014) 27–50.
View
| DOI
J.L. Fischer, Nonlinear Differential Equations and Applications 21 (2014) 27–50.
2014 | Journal Article | IST-REx-ID: 1532
Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source
H. Yang, J. Von Der Fecht Bartenbach, J. Friml, J. Lohmann, B. Neuhäuser, U. Ludewig, Functional Plant Biology 42 (2014) 239–251.
View
| DOI
H. Yang, J. Von Der Fecht Bartenbach, J. Friml, J. Lohmann, B. Neuhäuser, U. Ludewig, Functional Plant Biology 42 (2014) 239–251.
2014 | Conference Paper | IST-REx-ID: 1708
Spatio-temporal representations of uncertainty in spiking neural networks
C. Savin, S. Denève, in:, Neural Information Processing Systems, 2014, pp. 2024–2032.
View
| Download (ext.)
C. Savin, S. Denève, in:, Neural Information Processing Systems, 2014, pp. 2024–2032.
2014 | Journal Article | IST-REx-ID: 1791
Off-target effect of doublecortin family shRNA on neuronal migration associated with endogenous MicroRNA dysregulation
S. Baek, G. Kerjan, S. Bielas, J. Lee, A. Fenstermaker, G. Novarino, J. Gleeson, Neuron 82 (2014) 1255–1262.
View
| DOI
S. Baek, G. Kerjan, S. Bielas, J. Lee, A. Fenstermaker, G. Novarino, J. Gleeson, Neuron 82 (2014) 1255–1262.
2014 | Journal Article | IST-REx-ID: 1816 
Topology-preserving watermarking of vector graphics
S. Huber, M. Held, P. Meerwald, R. Kwitt, International Journal of Computational Geometry and Applications 24 (2014) 61–86.
View
| Files available
| DOI
S. Huber, M. Held, P. Meerwald, R. Kwitt, International Journal of Computational Geometry and Applications 24 (2014) 61–86.
2014 | Journal Article | IST-REx-ID: 1842
On the geometric ramsey number of outerplanar graphs
J. Cibulka, P. Gao, M. Krcál, T. Valla, P. Valtr, Discrete & Computational Geometry 53 (2014) 64–79.
View
| DOI
| Download (ext.)
J. Cibulka, P. Gao, M. Krcál, T. Valla, P. Valtr, Discrete & Computational Geometry 53 (2014) 64–79.
2014 | Journal Article | IST-REx-ID: 1892
Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids
S. Ocana, P. Meidl, D. Bonfils, M. Taborsky, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
View
| DOI
| Download (ext.)
S. Ocana, P. Meidl, D. Bonfils, M. Taborsky, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
2014 | Journal Article | IST-REx-ID: 1897
Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis
S. Naramoto, M. Otegui, N. Kutsuna, R. De Rycke, T. Dainobu, M. Karampelias, M. Fujimoto, E. Feraru, D. Miki, H. Fukuda, A. Nakano, J. Friml, Plant Cell 26 (2014) 3062–3076.
View
| DOI
| Download (ext.)
S. Naramoto, M. Otegui, N. Kutsuna, R. De Rycke, T. Dainobu, M. Karampelias, M. Fujimoto, E. Feraru, D. Miki, H. Fukuda, A. Nakano, J. Friml, Plant Cell 26 (2014) 3062–3076.
2014 | Journal Article | IST-REx-ID: 1900
Lateral junction dynamics lead the way out
M. Behrndt, C.-P.J. Heisenberg, Nature Cell Biology 16 (2014) 127–129.
View
| DOI
M. Behrndt, C.-P.J. Heisenberg, Nature Cell Biology 16 (2014) 127–129.
2014 | Journal Article | IST-REx-ID: 1979
The mechanism of coupling between electron transfer and proton translocation in respiratory complex I
L.A. Sazanov, Journal of Bioenergetics and Biomembranes 46 (2014) 247–253.
View
| DOI
L.A. Sazanov, Journal of Bioenergetics and Biomembranes 46 (2014) 247–253.
2014 | Book Review | IST-REx-ID: 1981
Review and meta-analysis of natural selection in mitochondrial complex I in metazoans
M. Garvin, J. Bielawski, L.A. Sazanov, A. Gharrett, Journal of Zoological Systematics and Evolutionary Research 53 (2014) 1–17.
View
| DOI
M. Garvin, J. Bielawski, L.A. Sazanov, A. Gharrett, Journal of Zoological Systematics and Evolutionary Research 53 (2014) 1–17.
2014 | Journal Article | IST-REx-ID: 1998
Individual and social immunisation in insects
L. El Masri, S. Cremer, Trends in Immunology 35 (2014) 471–482.
View
| DOI
L. El Masri, S. Cremer, Trends in Immunology 35 (2014) 471–482.
2014 | Journal Article | IST-REx-ID: 1917
Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling
T. Xu, N. Dai, J. Chen, S. Nagawa, M. Cao, H. Li, Z. Zhou, X. Chen, R. De Rycke, H. Rakusová, W. Wang, A. Jones, J. Friml, S. Patterson, A. Bleecker, Z. Yang, Science 343 (2014) 1025–1028.
View
| DOI
T. Xu, N. Dai, J. Chen, S. Nagawa, M. Cao, H. Li, Z. Zhou, X. Chen, R. De Rycke, H. Rakusová, W. Wang, A. Jones, J. Friml, S. Patterson, A. Bleecker, Z. Yang, Science 343 (2014) 1025–1028.
2014 | Journal Article | IST-REx-ID: 1924
Auxin transport and activity regulate stomatal patterning and development
J. Le, X. Liu, K. Yang, X. Chen, L. Zhu, H. Wang, M. Wang, S. Vanneste, M. Morita, M. Tasaka, Z. Ding, J. Friml, T. Beeckman, F. Sack, Nature Communications 5 (2014).
View
| DOI
J. Le, X. Liu, K. Yang, X. Chen, L. Zhu, H. Wang, M. Wang, S. Vanneste, M. Morita, M. Tasaka, Z. Ding, J. Friml, T. Beeckman, F. Sack, Nature Communications 5 (2014).
2014 | Journal Article | IST-REx-ID: 1929
An algorithm for cartographic generalization that preserves global topology
V.V. Alexeev, V.G. Bogaevskaya, M.M. Preobrazhenskaya, A.Y. Ukhalov, H. Edelsbrunner, O. Yakimova, Journal of Mathematical Sciences (United States) 203 (2014) 754–760.
View
| DOI
V.V. Alexeev, V.G. Bogaevskaya, M.M. Preobrazhenskaya, A.Y. Ukhalov, H. Edelsbrunner, O. Yakimova, Journal of Mathematical Sciences (United States) 203 (2014) 754–760.
2014 | Journal Article | IST-REx-ID: 1931
Emergence of task-dependent representations in working memory circuits
C. Savin, J. Triesch, Frontiers in Computational Neuroscience 8 (2014).
View
| DOI
| Download (ext.)
C. Savin, J. Triesch, Frontiers in Computational Neuroscience 8 (2014).
2014 | Journal Article | IST-REx-ID: 1936
An arms race between producers and scroungers can drive the evolution of social cognition
M. Arbilly, D. Weissman, M. Feldman, U. Grodzinski, Behavioral Ecology 25 (2014) 487–495.
View
| DOI
| Download (ext.)
M. Arbilly, D. Weissman, M. Feldman, U. Grodzinski, Behavioral Ecology 25 (2014) 487–495.
2014 | Journal Article | IST-REx-ID: 1905
Selection from parasites favours immunogenetic diversity but not divergence among locally adapted host populations
M. Tobler, M. Plath, R. Riesch, I. Schlupp, A.V. Grasse, G. Munimanda, C. Setzer, D. Penn, Y. Moodley, Journal of Evolutionary Biology 27 (2014) 960–974.
View
| DOI
M. Tobler, M. Plath, R. Riesch, I. Schlupp, A.V. Grasse, G. Munimanda, C. Setzer, D. Penn, Y. Moodley, Journal of Evolutionary Biology 27 (2014) 960–974.
2014 | Journal Article | IST-REx-ID: 1854
Partial shape matching using transformation parameter similarity
P. Guerrero, T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 34 (2014) 239–252.
View
| Files available
| DOI
P. Guerrero, T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 34 (2014) 239–252.
2014 | Journal Article | IST-REx-ID: 2059
The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos
E. Dubas, J. Moravčíková, J. Libantová, I. Matušíková, E. Benková, I. Zur, M. Krzewska, Protoplasma 251 (2014) 1077–1087.
View
| Files available
| DOI
E. Dubas, J. Moravčíková, J. Libantová, I. Matušíková, E. Benková, I. Zur, M. Krzewska, Protoplasma 251 (2014) 1077–1087.
2014 | Journal Article | IST-REx-ID: 2061
Cellular events during interfascicular cambium ontogenesis in inflorescence stems of Arabidopsis
E. Mazur, E. Kurczyñska, J. Friml, Protoplasma 251 (2014) 1125–1139.
View
| DOI
E. Mazur, E. Kurczyñska, J. Friml, Protoplasma 251 (2014) 1125–1139.
2014 | Journal Article | IST-REx-ID: 2042
Motif depletion in bacteriophages infecting hosts with CRISPR systems
A. Kupczok, J.P. Bollback, BMC Genomics 15 (2014).
View
| Files available
| DOI
A. Kupczok, J.P. Bollback, BMC Genomics 15 (2014).
2014 | Conference Paper | IST-REx-ID: 2047
Differentially-private logistic regression for detecting multiple-SNP association in GWAS databases
F. Yu, M. Rybar, C. Uhler, S. Fienberg, in:, J. Domingo Ferrer (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 170–184.
View
| DOI
| Download (ext.)
| arXiv
F. Yu, M. Rybar, C. Uhler, S. Fienberg, in:, J. Domingo Ferrer (Ed.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 170–184.
2014 | Journal Article | IST-REx-ID: 2004
Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord
A. Lovrics, Y. Gao, B. Juhász, I. Bock, H. Byrne, A. Dinnyés, K. Kovács, PLoS One 9 (2014).
View
| Files available
| DOI
A. Lovrics, Y. Gao, B. Juhász, I. Bock, H. Byrne, A. Dinnyés, K. Kovács, PLoS One 9 (2014).
2014 | Journal Article | IST-REx-ID: 2011
Scalable privacy-preserving data sharing methodology for genome-wide association studies
F. Yu, S. Fienberg, A. Slaković, C. Uhler, Journal of Biomedical Informatics 50 (2014) 133–141.
View
| DOI
| Download (ext.)
F. Yu, S. Fienberg, A. Slaković, C. Uhler, Journal of Biomedical Informatics 50 (2014) 133–141.
2014 | Journal Article | IST-REx-ID: 2028
Characterizing spiking in noisy type II neurons
K. Bodova, D. Paydarfar, D. Forger, Journal of Theoretical Biology 365 (2014) 40–54.
View
| Files available
| DOI
K. Bodova, D. Paydarfar, D. Forger, Journal of Theoretical Biology 365 (2014) 40–54.
2014 | Journal Article | IST-REx-ID: 2023
Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution
S. Novak, Ecology and Evolution 4 (2014) 4589–4597.
View
| Files available
| DOI
S. Novak, Ecology and Evolution 4 (2014) 4589–4597.
2014 | Journal Article | IST-REx-ID: 2131
Approximating Rough Stochastic PDEs
M. Hairer, J. Maas, H. Weber, Communications on Pure and Applied Mathematics 67 (2014) 776–870.
View
| DOI
| Download (ext.)
M. Hairer, J. Maas, H. Weber, Communications on Pure and Applied Mathematics 67 (2014) 776–870.
2014 | Conference Paper | IST-REx-ID: 2080
Spin-It: Optimizing moment of inertia for spinnable objects
M. Bac̈Her, E. Whiting, B. Bickel, O. Sorkine Hornung, in:, ACM, 2014.
View
| DOI
M. Bac̈Her, E. Whiting, B. Bickel, O. Sorkine Hornung, in:, ACM, 2014.
2014 | Conference Paper | IST-REx-ID: 2155
The morse theory of Čech and Delaunay filtrations
U. Bauer, H. Edelsbrunner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 484–490.
View
| DOI
| Download (ext.)
U. Bauer, H. Edelsbrunner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 484–490.
2014 | Journal Article | IST-REx-ID: 2174
Stability and response of polygenic traits to stabilizing selection and mutation
H. De Vladar, N.H. Barton, Genetics 197 (2014) 749–767.
View
| DOI
| Download (ext.)
H. De Vladar, N.H. Barton, Genetics 197 (2014) 749–767.
2014 | Journal Article | IST-REx-ID: 2179
Local semicircle law with imprimitive variance matrix
O.H. Ajanki, L. Erdös, T.H. Krüger, Electronic Communications in Probability 19 (2014).
View
| Files available
| DOI
O.H. Ajanki, L. Erdös, T.H. Krüger, Electronic Communications in Probability 19 (2014).
2014 | Journal Article | IST-REx-ID: 2186
On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Letters in Mathematical Physics 104 (2014) 871–891.
View
| DOI
| Download (ext.)
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Letters in Mathematical Physics 104 (2014) 871–891.
2014 | Journal Article | IST-REx-ID: 2220
Suppressive drug interactions between antifungals
M. De Vos, M.T. Bollenbach, Chemistry and Biology 21 (2014) 439–440.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
M. De Vos, M.T. Bollenbach, Chemistry and Biology 21 (2014) 439–440.
2014 | Journal Article | IST-REx-ID: 2225
Isotropic local laws for sample covariance and generalized Wigner matrices
A. Bloemendal, L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 19 (2014).
View
| Files available
| DOI
A. Bloemendal, L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 19 (2014).
2014 | Journal Article | IST-REx-ID: 2232
Deterministic and stochastic aspects of the transition to turbulence
B. Song, B. Hof, Journal of Statistical Mechanics Theory and Experiment 2014 (2014).
View
| DOI
| Download (ext.)
B. Song, B. Hof, Journal of Statistical Mechanics Theory and Experiment 2014 (2014).
2014 | Journal Article | IST-REx-ID: 2249
Inter-regulation of the unfolded protein response and auxin signaling
Y. Chen, K. Aung, J. Rolčík, K. Walicki, J. Friml, F. Brandizzí, Plant Journal 77 (2014) 97–107.
View
| DOI
| Download (ext.)
Y. Chen, K. Aung, J. Rolčík, K. Walicki, J. Friml, F. Brandizzí, Plant Journal 77 (2014) 97–107.
2014 | Journal Article | IST-REx-ID: 2251
Sharp wave/ripple network oscillations and learning-associated hippocampal maps
J.L. Csicsvari, D. Dupret, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 369 (2014).
View
| Files available
| DOI
| PubMed | Europe PMC
J.L. Csicsvari, D. Dupret, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 369 (2014).
2014 | Journal Article | IST-REx-ID: 254
The polynomial sieve and equal sums of like polynomials
T.D. Browning, International Mathematics Research Notices 2015 (2014) 1987–2019.
View
| DOI
T.D. Browning, International Mathematics Research Notices 2015 (2014) 1987–2019.
2014 | Conference Paper | IST-REx-ID: 2275
Partial enumeration and curvature regularization
C. Olsson, J. Ulen, Y. Boykov, V. Kolmogorov, in:, IEEE, 2014, pp. 2936–2943.
View
| Files available
| DOI
C. Olsson, J. Ulen, Y. Boykov, V. Kolmogorov, in:, IEEE, 2014, pp. 2936–2943.
2014 | Journal Article | IST-REx-ID: 2852
Robust multi-property combiners for hash functions
M. Fischlin, A. Lehmann, K.Z. Pietrzak, Journal of Cryptology 27 (2014) 397–428.
View
| Files available
| DOI
M. Fischlin, A. Lehmann, K.Z. Pietrzak, Journal of Cryptology 27 (2014) 397–428.
2014 | Journal Article | IST-REx-ID: 355
The effect of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals
X. Yu, X. An, A. Shavel, M. Ibanez, A. Cabot, Journal of Materials Chemistry A 2 (2014) 12317–12322.
View
| DOI
X. Yu, X. An, A. Shavel, M. Ibanez, A. Cabot, Journal of Materials Chemistry A 2 (2014) 12317–12322.
2014 | Journal Article | IST-REx-ID: 348
Thermoelectric properties of bottom up assembled Bi2S 3-xTex nanocomposites
D. Cadavid, M. Ibanez, U. Anselmi Tamburini, O. Durá, M. De La Torre, A. Cabot, International Journal of Nanotechnology 11 (2014) 773–784.
View
| DOI
D. Cadavid, M. Ibanez, U. Anselmi Tamburini, O. Durá, M. De La Torre, A. Cabot, International Journal of Nanotechnology 11 (2014) 773–784.
2014 | Journal Article | IST-REx-ID: 350
Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4
W. Li, M. Ibanez, D. Cadavid, R. Zamani, J. Rubio Garcia, S. Gorsse, J. Morante, J. Arbiol, A. Cabot, Journal of Nanoparticle Research 16 (2014).
View
| DOI
| Download (ext.)
W. Li, M. Ibanez, D. Cadavid, R. Zamani, J. Rubio Garcia, S. Gorsse, J. Morante, J. Arbiol, A. Cabot, Journal of Nanoparticle Research 16 (2014).
2014 | Journal Article | IST-REx-ID: 451
Computation of cubical homology, cohomology, and (co)homological operations via chain contraction
P. Pilarczyk, P. Real, Advances in Computational Mathematics 41 (2014) 253–275.
View
| DOI
| Download (ext.)
P. Pilarczyk, P. Real, Advances in Computational Mathematics 41 (2014) 253–275.
2014 | Journal Article | IST-REx-ID: 468
Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin's finches
A. Cimadom, A. Ulloa, P. Meidl, M. Zöttl, E. Zöttl, B. Fessl, E. Nemeth, M. Dvorak, F. Cunninghame, S. Tebbich, PLoS One 9 (2014).
View
| Files available
| DOI
A. Cimadom, A. Ulloa, P. Meidl, M. Zöttl, E. Zöttl, B. Fessl, E. Nemeth, M. Dvorak, F. Cunninghame, S. Tebbich, PLoS One 9 (2014).
2014 | Technical Report | IST-REx-ID: 5419
Improved algorithms for reachability and shortest path on low tree-width graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs, IST Austria, 2014.
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs, IST Austria, 2014.
2014 | Technical Report | IST-REx-ID: 5421
The complexity of evolution on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolution on Graphs, IST Austria, 2014.
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolution on Graphs, IST Austria, 2014.
2014 | Journal Article | IST-REx-ID: 5813
Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit
J. Dereziński, M.M. Napiórkowski, Annales Henri Poincaré 15 (2014) 2409–2439.
View
| Files available
| DOI
J. Dereziński, M.M. Napiórkowski, Annales Henri Poincaré 15 (2014) 2409–2439.
2014 | Journal Article | IST-REx-ID: 6126
GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings
E. Gross, Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, M. de Bono, Journal of Neuroscience 34 (2014) 16726–16738.
View
| Files available
| DOI
| PubMed | Europe PMC
E. Gross, Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, M. de Bono, Journal of Neuroscience 34 (2014) 16726–16738.
2014 | Journal Article | IST-REx-ID: 6739
From polar to Reed-Muller codes: A technique to improve the finite-length performance
M. Mondelli, H. Hassani, R. Urbanke, IEEE Transactions on Communications 62 (2014) 3084–3091.
View
| DOI
| Download (ext.)
| arXiv
M. Mondelli, H. Hassani, R. Urbanke, IEEE Transactions on Communications 62 (2014) 3084–3091.
2014 | Conference Paper | IST-REx-ID: 773
Communication-efficient randomized consensus
D. Alistarh, J. Aspnes, V. King, J. Saia, in:, F. Kuhn (Ed.), Springer, 2014, pp. 61–75.
View
| DOI
D. Alistarh, J. Aspnes, V. King, J. Saia, in:, F. Kuhn (Ed.), Springer, 2014, pp. 61–75.
2014 | Journal Article | IST-REx-ID: 925
Balance between apical membrane growth and luminal matrix resistance determines epithelial tubule shape
B. Dong, E. Hannezo, S. Hayashi, Cell Reports 7 (2014) 941–950.
View
| DOI
B. Dong, E. Hannezo, S. Hayashi, Cell Reports 7 (2014) 941–950.
2014 | Journal Article | IST-REx-ID: 1912
The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ
J. Compagnon, V. Barone, S. Rajshekar, R. Kottmeier, K. Pranjic-Ferscha, M. Behrndt, C.-P.J. Heisenberg, Developmental Cell 31 (2014) 774–783.
View
| Files available
| DOI
| Download (ext.)
| PubMed | Europe PMC
J. Compagnon, V. Barone, S. Rajshekar, R. Kottmeier, K. Pranjic-Ferscha, M. Behrndt, C.-P.J. Heisenberg, Developmental Cell 31 (2014) 774–783.
2014 | Conference Paper | IST-REx-ID: 1392
A logic-based framework for verifying consensus algorithms
C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.
View
| Files available
| DOI
C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.
2014 | Technical Report | IST-REx-ID: 5426
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.
2014 | Conference Paper | IST-REx-ID: 2167
Compositional specifications for ioco testing
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, in:, IEEE 7th International Conference on Software Testing, Verification and Validation, Springer, 2014.
View
| Files available
| DOI
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, in:, IEEE 7th International Conference on Software Testing, Verification and Validation, Springer, 2014.
2014 | Conference Paper | IST-REx-ID: 2218
Regression-free synthesis for concurrency
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2014, pp. 568–584.
View
| Files available
| DOI
| Download (ext.)
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2014, pp. 568–584.
2014 | Conference Paper | IST-REx-ID: 2213
The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, in:, Springer, 2014, pp. 242–257.
View
| Files available
| DOI
| Download (ext.)
| arXiv
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, in:, Springer, 2014, pp. 242–257.
2014 | Conference Paper | IST-REx-ID: 2162
The complexity of ergodic mean payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Springer, 2014, pp. 122–133.
View
| Files available
| DOI
| Download (ext.)
| arXiv
K. Chatterjee, R. Ibsen-Jensen, in:, Springer, 2014, pp. 122–133.
2014 | Technical Report | IST-REx-ID: 5414
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
View
| Files available
| DOI
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.
2014 | Conference Paper | IST-REx-ID: 2054
Qualitative concurrent parity games: Bounded rationality
K. Chatterjee, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 544–559.
View
| Files available
| DOI
K. Chatterjee, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 544–559.
2014 | Conference Paper | IST-REx-ID: 475
First cycle games
B. Aminof, S. Rubin, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 83–90.
View
| Files available
| DOI
B. Aminof, S. Rubin, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 83–90.
2014 | Journal Article | IST-REx-ID: 1312
Upper bounds on waiting times for the Thin-film equation: The case of weak slippage
J.L. Fischer, Archive for Rational Mechanics and Analysis 211 (2014) 771–818.
View
| DOI
J.L. Fischer, Archive for Rational Mechanics and Analysis 211 (2014) 771–818.
2014 | Conference Paper | IST-REx-ID: 1507
Random matrices, log-gases and Hölder regularity
L. Erdös, in:, Kyung Moon SA Co. Ltd., 2014, pp. 214–236.
View
| Download (ext.)
L. Erdös, in:, Kyung Moon SA Co. Ltd., 2014, pp. 214–236.
2014 | Journal Article | IST-REx-ID: 1761
PtSi clustering in silicon probed by transport spectroscopy
M. Mongillo, P. Spathis, G. Katsaros, S. De Franceschi, P. Gentile, R. Rurali, X. Cartoixà, Physical Review X 3 (2014).
View
| DOI
| Download (ext.)
M. Mongillo, P. Spathis, G. Katsaros, S. De Franceschi, P. Gentile, R. Rurali, X. Cartoixà, Physical Review X 3 (2014).
2014 | Book Chapter | IST-REx-ID: 1829
Movement templates for learning of hitting and batting
K. Muelling, O. Kroemer, C. Lampert, B. Schölkopf, in:, J. Kober, J. Peters (Eds.), Learning Motor Skills, Springer, 2014, pp. 69–82.
View
| DOI
K. Muelling, O. Kroemer, C. Lampert, B. Schölkopf, in:, J. Kober, J. Peters (Eds.), Learning Motor Skills, Springer, 2014, pp. 69–82.
2014 | Journal Article | IST-REx-ID: 1994
Directional auxin transport mechanisms in early diverging land plants
T. Viaene, K. Landberg, M. Thelander, E. Medvecka, E. Pederson, E. Feraru, E. Cooper, M. Karimi, C. Delwiche, K. Ljung, M. Geisler, E. Sundberg, J. Friml, Current Biology 24 (2014) 2786–2791.
View
| DOI
T. Viaene, K. Landberg, M. Thelander, E. Medvecka, E. Pederson, E. Feraru, E. Cooper, M. Karimi, C. Delwiche, K. Ljung, M. Geisler, E. Sundberg, J. Friml, Current Biology 24 (2014) 2786–2791.
2014 | Journal Article | IST-REx-ID: 1862
Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules
X. Chen, L. Grandont, H. Li, R. Hauschild, S. Paque, A. Abuzeineh, H. Rakusová, E. Benková, C. Perrot Rechenmann, J. Friml, Nature 516 (2014) 90–93.
View
| DOI
| Download (ext.)
X. Chen, L. Grandont, H. Li, R. Hauschild, S. Paque, A. Abuzeineh, H. Rakusová, E. Benková, C. Perrot Rechenmann, J. Friml, Nature 516 (2014) 90–93.
2014 | Journal Article | IST-REx-ID: 1893
SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis
P. Nováková, S. Hirsch, E. Feraru, R. Tejos, R. Van Wijk, T. Viaene, M. Heilmann, J. Lerche, R. De Rycke, M. Feraru, P. Grones, M. Van Montagu, I. Heilmann, T. Munnik, J. Friml, PNAS 111 (2014) 2818–2823.
View
| DOI
| Download (ext.)
P. Nováková, S. Hirsch, E. Feraru, R. Tejos, R. Van Wijk, T. Viaene, M. Heilmann, J. Lerche, R. De Rycke, M. Feraru, P. Grones, M. Van Montagu, I. Heilmann, T. Munnik, J. Friml, PNAS 111 (2014) 2818–2823.
2014 | Journal Article | IST-REx-ID: 1898
Ultrafast action potentials mediate kilohertz signaling at a central synapse
A. Ritzau Jost, I. Delvendahl, A. Rings, N. Byczkowicz, H. Harada, R. Shigemoto, J. Hirrlinger, J. Eilers, S. Hallermann, Neuron 84 (2014) 152–163.
View
| DOI
A. Ritzau Jost, I. Delvendahl, A. Rings, N. Byczkowicz, H. Harada, R. Shigemoto, J. Hirrlinger, J. Eilers, S. Hallermann, Neuron 84 (2014) 152–163.
2014 | Journal Article | IST-REx-ID: 1901
WOX5-IAA17 feedback circuit-mediated cellular auxin response is crucial for the patterning of root stem cell niches in arabidopsis
H. Tian, K.T. Wabnik, T. Niu, H. Li, Q. Yu, S. Pollmann, S. Vanneste, W. Govaerts, J. Rolčík, M. Geisler, J. Friml, Z. Ding, Molecular Plant 7 (2014) 277–289.
View
| DOI
H. Tian, K.T. Wabnik, T. Niu, H. Li, Q. Yu, S. Pollmann, S. Vanneste, W. Govaerts, J. Rolčík, M. Geisler, J. Friml, Z. Ding, Molecular Plant 7 (2014) 277–289.
2014 | Journal Article | IST-REx-ID: 1913
Patterns of hippocampal tau pathology differentiate neurodegenerative dementias
I. Milenković, T. Petrov, G. Kovács, Dementia and Geriatric Cognitive Disorders 38 (2014) 375–388.
View
| DOI
I. Milenković, T. Petrov, G. Kovács, Dementia and Geriatric Cognitive Disorders 38 (2014) 375–388.
2014 | Journal Article | IST-REx-ID: 1918
Existence of ground states for negative ions at the binding threshold
J. Bellazzini, R. Frank, É. Lieb, R. Seiringer, Reviews in Mathematical Physics 26 (2014).
View
| DOI
| Download (ext.)
J. Bellazzini, R. Frank, É. Lieb, R. Seiringer, Reviews in Mathematical Physics 26 (2014).
2014 | Journal Article | IST-REx-ID: 1920
Distinct cerebellar engrams in short-term and long-term motor learning
W. Wang, K. Nakadate, M. Masugi Tokita, F. Shutoh, W. Aziz, E. Tarusawa, A. Lörincz, E. Molnár, S. Kesaf, Y. Li, Y. Fukazawa, S. Nagao, R. Shigemoto, PNAS 111 (2014) E188–E193.
View
| DOI
| Download (ext.)
W. Wang, K. Nakadate, M. Masugi Tokita, F. Shutoh, W. Aziz, E. Tarusawa, A. Lörincz, E. Molnár, S. Kesaf, Y. Li, Y. Fukazawa, S. Nagao, R. Shigemoto, PNAS 111 (2014) E188–E193.
2014 | Journal Article | IST-REx-ID: 1925
A single-molecule approach to explore binding uptake and transport of cancer cell targeting nanotubes
C. Lamprecht, B. Plochberger, V. Ruprecht, S. Wieser, C. Rankl, E. Heister, B. Unterauer, M. Brameshuber, J. Danzberger, P. Lukanov, E. Flahaut, G. Schütz, P. Hinterdorfer, A. Ebner, Nanotechnology 25 (2014).
View
| DOI
C. Lamprecht, B. Plochberger, V. Ruprecht, S. Wieser, C. Rankl, E. Heister, B. Unterauer, M. Brameshuber, J. Danzberger, P. Lukanov, E. Flahaut, G. Schütz, P. Hinterdorfer, A. Ebner, Nanotechnology 25 (2014).
2014 | Journal Article | IST-REx-ID: 1932
Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations
M. Trotter, D. Weissman, G. Peterson, K. Peck, J. Masel, Evolution 68 (2014) 3357–3367.
View
| DOI
| Download (ext.)
M. Trotter, D. Weissman, G. Peterson, K. Peck, J. Masel, Evolution 68 (2014) 3357–3367.
2014 | Journal Article | IST-REx-ID: 1937
Edge universality of beta ensembles
P. Bourgade, L. Erdös, H. Yau, Communications in Mathematical Physics 332 (2014) 261–353.
View
| DOI
| Download (ext.)
P. Bourgade, L. Erdös, H. Yau, Communications in Mathematical Physics 332 (2014) 261–353.
2014 | Journal Article | IST-REx-ID: 2005
Turning heads to remember places
D. Dupret, J.L. Csicsvari, Nature Neuroscience 17 (2014) 643–644.
View
| DOI
D. Dupret, J.L. Csicsvari, Nature Neuroscience 17 (2014) 643–644.
2014 | Conference Paper | IST-REx-ID: 2012
Sphere packing with limited overlap
M. Iglesias Ham, M. Kerber, C. Uhler, in:, Unknown, 2014, pp. 155–161.
View
| Download (ext.)
M. Iglesias Ham, M. Kerber, C. Uhler, in:, Unknown, 2014, pp. 155–161.
2014 | Conference Paper | IST-REx-ID: 2043
Distributed computation of persistent homology
U. Bauer, M. Kerber, J. Reininghaus, in:, C. McGeoch, U. Meyer (Eds.), Proceedings of the Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2014, pp. 31–38.
View
| DOI
| Download (ext.)
U. Bauer, M. Kerber, J. Reininghaus, in:, C. McGeoch, U. Meyer (Eds.), Proceedings of the Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2014, pp. 31–38.
2014 | Journal Article | IST-REx-ID: 2050
Experimental investigation of transitional flow in a toroidal pipe
J. Kühnen, M. Holzner, B. Hof, H. Kuhlmann, Journal of Fluid Mechanics 738 (2014) 463–491.
View
| DOI
| Download (ext.)
| arXiv
J. Kühnen, M. Holzner, B. Hof, H. Kuhlmann, Journal of Fluid Mechanics 738 (2014) 463–491.
2014 | Conference Paper | IST-REx-ID: 2081
Designing inflatable structures
M. Skouras, B. Thomaszewski, P. Kaufmann, A. Garg, B. Bickel, E. Grinspun, M. Gross, in:, ACM, 2014.
View
| DOI
M. Skouras, B. Thomaszewski, P. Kaufmann, A. Garg, B. Bickel, E. Grinspun, M. Gross, in:, ACM, 2014.
2014 | Journal Article | IST-REx-ID: 2029
Validity of spin-wave theory for the quantum Heisenberg model
M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).
View
| DOI
| Download (ext.)
M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).
2014 | Journal Article | IST-REx-ID: 2036
Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses
M. Lagator, N. Colegrave, P. Neve, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
View
| DOI
| Download (ext.)
M. Lagator, N. Colegrave, P. Neve, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
2014 | Preprint | IST-REx-ID: 2017
Exact formulas for the normalizing constants of Wishart distributions for graphical models
C. Uhler, A. Lenkoski, D. Richards, ArXiv (2014).
View
| Download (ext.)
C. Uhler, A. Lenkoski, D. Richards, ArXiv (2014).
2014 | Journal Article | IST-REx-ID: 2024
Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole
J. Toshima, S. Nishinoaki, Y. Sato, W. Yamamoto, D. Furukawa, D.E. Siekhaus, A. Sawaguchi, J. Toshima, Nature Communications 5 (2014).
View
| Files available
| DOI
J. Toshima, S. Nishinoaki, Y. Sato, W. Yamamoto, D. Furukawa, D.E. Siekhaus, A. Sawaguchi, J. Toshima, Nature Communications 5 (2014).
2014 | Journal Article | IST-REx-ID: 2168
Coalescent simulation in continuous space: Algorithms for large neighbourhood size
J. Kelleher, A. Etheridge, N.H. Barton, Theoretical Population Biology 95 (2014) 13–23.
View
| Files available
| DOI
J. Kelleher, A. Etheridge, N.H. Barton, Theoretical Population Biology 95 (2014) 13–23.
2014 | Journal Article | IST-REx-ID: 2170
Likelihood-based inference of population history from low-coverage de novo genome assemblies
J. Hearn, G. Stone, L. Bunnefeld, J. Nicholls, N.H. Barton, K. Lohse, Molecular Ecology 23 (2014) 198–211.
View
| Files available
| DOI
J. Hearn, G. Stone, L. Bunnefeld, J. Nicholls, N.H. Barton, K. Lohse, Molecular Ecology 23 (2014) 198–211.
2014 | Journal Article | IST-REx-ID: 2175
Monitoring neurogenesis in the cerebral cortex: an update
M.P. Postiglione, S. Hippenmeyer, Future Neurology 9 (2014) 323–340.
View
| Files available
| DOI
M.P. Postiglione, S. Hippenmeyer, Future Neurology 9 (2014) 323–340.
2014 | Conference Paper | IST-REx-ID: 2219
Simple chosen-ciphertext security from low noise LPN
E. Kiltz, D. Masny, K.Z. Pietrzak, in:, Springer, 2014, pp. 1–18.
View
| DOI
| Download (ext.)
E. Kiltz, D. Masny, K.Z. Pietrzak, in:, Springer, 2014, pp. 1–18.
2014 | Journal Article | IST-REx-ID: 2226
Transient growth of Ekman-Couette flow
L. Shi, B. Hof, A. Tilgner, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
View
| DOI
| Download (ext.)
L. Shi, B. Hof, A. Tilgner, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
2014 | Journal Article | IST-REx-ID: 2240
The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants
A. Gadeyne, C. Sánchez Rodríguez, S. Vanneste, S. Di Rubbo, H. Zauber, K. Vanneste, J. Van Leene, N. De Winne, D. Eeckhout, G. Persiau, E. Van De Slijke, B. Cannoot, L. Vercruysse, J. Mayers, M. Adamowski, U. Kania, M. Ehrlich, A. Schweighofer, T. Ketelaar, S. Maere, S. Bednarek, J. Friml, K. Gevaert, E. Witters, E. Russinova, S. Persson, G. De Jaeger, D. Van Damme, Cell 156 (2014) 691–704.
View
| DOI
A. Gadeyne, C. Sánchez Rodríguez, S. Vanneste, S. Di Rubbo, H. Zauber, K. Vanneste, J. Van Leene, N. De Winne, D. Eeckhout, G. Persiau, E. Van De Slijke, B. Cannoot, L. Vercruysse, J. Mayers, M. Adamowski, U. Kania, M. Ehrlich, A. Schweighofer, T. Ketelaar, S. Maere, S. Bednarek, J. Friml, K. Gevaert, E. Witters, E. Russinova, S. Persson, G. De Jaeger, D. Van Damme, Cell 156 (2014) 691–704.
2014 | Journal Article | IST-REx-ID: 2132
Gradient flow structures for discrete porous medium equations
M. Erbar, J. Maas, Discrete and Continuous Dynamical Systems- Series A 34 (2014) 1355–1374.
View
| DOI
| Download (ext.)
M. Erbar, J. Maas, Discrete and Continuous Dynamical Systems- Series A 34 (2014) 1355–1374.
2014 | Conference Paper | IST-REx-ID: 2156
Measuring distance between Reeb graphs
U. Bauer, X. Ge, Y. Wang, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 464–473.
View
| DOI
| Download (ext.)
U. Bauer, X. Ge, Y. Wang, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 464–473.
2014 | Journal Article | IST-REx-ID: 2086
So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees
S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, PLoS One 9 (2014).
View
| Files available
| DOI
S. Wolf, D. Mcmahon, K. Lim, C. Pull, S. Clark, R. Paxton, J. Osborne, PLoS One 9 (2014).
2014 | Journal Article | IST-REx-ID: 2214
Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects
L. Stoler Barak, C. Moussion, E. Shezen, M. Hatzav, M.K. Sixt, R. Alon, PLoS One 9 (2014).
View
| Files available
| DOI
L. Stoler Barak, C. Moussion, E. Shezen, M. Hatzav, M.K. Sixt, R. Alon, PLoS One 9 (2014).
2014 | Book Chapter | IST-REx-ID: 2245
Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters
S. Simon, P. Skůpa, P. Dobrev, J. Petrášek, E. Zažímalová, J. Friml, in:, G. Hicks, S. Robert (Eds.), Plant Chemical Genomics, Springer, 2014, pp. 255–264.
View
| DOI
S. Simon, P. Skůpa, P. Dobrev, J. Petrášek, E. Zažímalová, J. Friml, in:, G. Hicks, S. Robert (Eds.), Plant Chemical Genomics, Springer, 2014, pp. 255–264.
2014 | Journal Article | IST-REx-ID: 2252
Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila
S. Phadke, T. Paixao, T. Pham, S. Pham, R. Zufall, Journal of Heredity 105 (2014) 130–135.
View
| DOI
S. Phadke, T. Paixao, T. Pham, S. Pham, R. Zufall, Journal of Heredity 105 (2014) 130–135.