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.

3028 Publications


2017 | Journal Article | IST-REx-ID: 745 | OA
D. Xu, S. Warnecke, B. Song, X. Ma, and B. Hof, “Transition to turbulence in pulsating pipe flow,” Journal of Fluid Mechanics, vol. 831. Cambridge University Press, pp. 418–432, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 746 | OA
E. Aloisi et al., “Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 741 | OA
T. Moser and R. Seiringer, “Stability of a fermionic N+1 particle system with point interactions,” Communications in Mathematical Physics, vol. 356, no. 1. Springer, pp. 329–355, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 749 | OA
C. Chen, R. Satterfield, S. Young, and P. M. Jonas, “Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses,” Cell Reports, vol. 21, no. 8. Cell Press, pp. 2082–2089, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 751 | OA
Y. Matsubayashi et al., “A moving source of matrix components is essential for De Novo basement membrane formation,” Current Biology, vol. 27, no. 22. Cell Press, p. 3526–3534e.4, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 750
J. Pielorz, M. Prandtstetter, M. Straub, and C. Lampert, “Optimal geospatial volunteer allocation needs realistic distances,” in 2017 IEEE International Conference on Big Data, Boston, MA, United States, 2017, pp. 3760–3763.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 791 | OA
D.-A. Alistarh, J. Kopinsky, J. Li, and G. Nadiradze, “The power of choice in priority scheduling,” in Proceedings of the ACM Symposium on Principles of Distributed Computing, Washington, WA, USA, 2017, vol. Part F129314, pp. 283–292.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 792 | OA
N. B. Budanur, K. Short, M. Farazmand, A. Willis, and P. Cvitanović, “Relative periodic orbits form the backbone of turbulent pipe flow,” Journal of Fluid Mechanics, vol. 833. Cambridge University Press, pp. 274–301, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 793 | OA
R. Fulek, H. Mojarrad, M. Naszódi, J. Solymosi, S. Stich, and M. Szedlák, “On the existence of ordinary triangles,” Computational Geometry: Theory and Applications, vol. 66. Elsevier, pp. 28–31, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 803 | OA
M. Samwer et al., “DNA cross-bridging shapes a single nucleus from a set of mitotic chromosomes,” Cell, vol. 170, no. 5. Cell Press, pp. 956–972, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 800 | OA
M. Strüber, J. Sauer, P. M. Jonas, and M. Bartos, “Distance-dependent inhibition facilitates focality of gamma oscillations in the dentate gyrus,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 820 | OA
F. Jesse, “The lac operon in the wild,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 819 | OA
C. Pull, “Disease defence in garden ants,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 732 | OA
C. Pull and S. Cremer, “Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour,” BMC Evolutionary Biology, vol. 17, no. 1. BioMed Central, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 734 | OA
P. Kennedy et al., “Deconstructing superorganisms and societies to address big questions in biology,” Trends in Ecology and Evolution, vol. 32, no. 11. Cell Press, pp. 861–872, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 833 | OA
T. Heiss and H. Wagner, “Streaming algorithm for Euler characteristic curves of multidimensional images,” presented at the CAIP: Computer Analysis of Images and Patterns, Ystad, Sweden, 2017, vol. 10424, pp. 397–409.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 834 | OA
M. Serbyn, P. Zlatko, and D. Abanin, “Thouless energy and multifractality across the many-body localization transition,” Physical Review B - Condensed Matter and Materials Physics, vol. 96, no. 10. American Physical Society, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 836
M. Ethier, G. Jablonski, and M. Mrozek, “Finding eigenvalues of self-maps with the Kronecker canonical form,” in Special Sessions in Applications of Computer Algebra, Kalamata, Greece, 2017, vol. 198, pp. 119–136.
View | DOI
 

2017 | Thesis | IST-REx-ID: 839 | OA
D. Hahn, “Brittle fracture simulation with boundary elements for computer graphics,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 486 | OA
O. Elek et al., “Scattering-aware texture reproduction for 3D printing,” ACM Transactions on Graphics, vol. 36, no. 6. ACM, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1002 | OA
R. Zhang, T. Auzinger, D. Ceylan, W. Li, and B. Bickel, “Functionality-aware retargeting of mechanisms to 3D shapes,” presented at the SIGGRAPH: Computer Graphics and Interactive Techniques, Los Angeles, CA, United States , 2017, vol. 36, no. 4.
View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5568 | OA
D. Hahn, “Source codes: Brittle fracture simulation with boundary elements for computer graphics.” IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 840 | OA
L. Vukušić, J. Kukucka, H. Watzinger, and G. Katsaros, “Fast hole tunneling times in germanium hut wires probed by single-shot reflectometry,” Nano Letters, vol. 17, no. 9. American Chemical Society, pp. 5706–5710, 2017.
View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 84
H. Edelsbrunner and P. Koehl, “Computational topology for structural molecular biology,” in Handbook of Discrete and Computational Geometry, Third Edition, C. Toth, J. O’Rourke, and J. Goodman, Eds. CRC Press, 2017, pp. 1709–1735.
View | DOI
 

2017 | Thesis | IST-REx-ID: 6287 | OA
A. Nikitenko, “Discrete Morse theory for random complexes ,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 911 | OA
A. Royer, A. Kolesnikov, and C. Lampert, “Probabilistic image colorization,” presented at the BMVC: British Machine Vision Conference, London, United Kingdom, 2017, p. 85.1-85.12.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 912 | OA
A. Deuchert, “A lower bound for the BCS functional with boundary conditions at infinity,” Journal of Mathematical Physics, vol. 58, no. 8. AIP, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 914 | OA
J. Giehr, A. V. Grasse, S. Cremer, J. Heinze, and A. Schrempf, “Ant queens increase their reproductive efforts after pathogen infection,” Royal Society Open Science, vol. 4, no. 7. Royal Society, The, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 915 | OA
P. Swoboda and B. Andres, “A message passing algorithm for the minimum cost multicut problem,” presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 4990–4999.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 916 | OA
P. Swoboda, C. Rother, C. Abu Alhaija, D. Kainmueller, and B. Savchynskyy, “A study of lagrangean decompositions and dual ascent solvers for graph matching,” presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 7062–7071.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 917 | OA
P. Swoboda, J. Kuske, and B. Savchynskyy, “A dual ascent framework for Lagrangean decomposition of combinatorial problems,” presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 4950–4960.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 909 | OA
A. Akopyan and V. Vysotsky, “On the lengths of curves passing through boundary points of a planar convex shape,” The American Mathematical Monthly, vol. 124, no. 7. Mathematical Association of America, pp. 588–596, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 910 | OA
S. Novak and N. H. Barton, “When does frequency-independent selection maintain genetic variation?,” Genetics, vol. 207, no. 2. Genetics Society of America, pp. 653–668, 2017.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 938 | OA
M. Adamowski, “Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana ,” IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 939 | OA
B. Midya and V. Konotop, “Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons,” Physical Review Letters, vol. 119, no. 3. American Physical Society, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 941
X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “JFIX: Semantics-based repair of Java programs via symbolic  PathFinder,” in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, United States, 2017, pp. 376–379.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 942
X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “S3: Syntax- and semantic-guided repair synthesis via programming by examples,” presented at the FSE: Foundations of Software Engineering, Paderborn, Germany, 2017, vol. F130154, pp. 593–604.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 943 | OA
M. P. Zagórski et al., “Decoding of position in the developing neural tube from antiparallel morphogen gradients,” Science, vol. 356, no. 6345. American Association for the Advancement of Science, pp. 1379–1383, 2017.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 944
R. J. Beattie et al., “Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells,” Neuron, vol. 94, no. 3. Cell Press, p. 517–533.e3, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 945 | OA
A. K. Huylmans, A. Macon, and B. Vicoso, “Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome,” Molecular Biology and Evolution, vol. 34, no. 10. Oxford University Press, pp. 2637–2649, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 950 | OA
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” presented at the CONCUR: Concurrency Theory, Berlin, Germany, 2017, vol. 85.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 951 | OA
T. Schmidt et al., “Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti,” PLoS Biology, vol. 15, no. 5. Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 952 | OA
M. Turelli and N. H. Barton, “Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti,” Theoretical Population Biology, vol. 115. Elsevier, pp. 45–60, 2017.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 953 | OA
D. Charlesworth, N. H. Barton, and B. Charlesworth, “The sources of adaptive evolution,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 284, no. 1855. Royal Society, The, 2017.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 954 | OA
M. Lagator, T. Paixao, N. H. Barton, J. P. Bollback, and C. C. Guet, “On the mechanistic nature of epistasis in a canonical cis-regulatory element,” eLife, vol. 6. eLife Sciences Publications, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 946 | OA
D. von Wangenheim, R. Hauschild, M. Fendrych, V. Barone, E. Benková, and J. Friml, “Live tracking of moving samples in confocal microscopy for vertically grown roots,” eLife, vol. 6. eLife Sciences Publications, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 947 | OA
D. De Martino, F. Capuani, and A. De Martino, “Quantifying the entropic cost of cellular growth control,” Physical Review E Statistical Nonlinear and Soft Matter Physics , vol. 96, no. 1. American Institute of Physics, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Research Data | IST-REx-ID: 5566 | OA
R. Hauschild, “Live tracking of moving samples in confocal microscopy for vertically grown roots.” IST Austria, 2017.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 949 | OA
K. Chatterjee, A. K. Goharshady, and A. Pavlogiannis, “JTDec: A tool for tree decompositions in soot,” presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India, 2017, vol. 10482, pp. 59–66.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 639 | OA
K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst case analysis of recursive programs,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 41–63.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications