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.

2712 Publications


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

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

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

2016 | Conference Paper | IST-REx-ID: 1230   OA
Daca P, Gupta A, Henzinger TA. Abstraction-driven concolic testing. In: Vol 9583. Springer; 2016:328-347. doi:10.1007/978-3-662-49122-5_16
View | Files available | DOI | Download (ext.)
 

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

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

2016 | Conference Paper | IST-REx-ID: 1386   OA
Chatterjee K, Fu H, Goharshady A. Termination analysis of probabilistic programs through Positivstellensatz’s. In: Vol 9779. Springer; 2016:3-22. doi:10.1007/978-3-319-41528-4_1
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1432   OA
Mishra RK, Kim S, Guzmán J, Jonas PM. Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks. Nature Communications. 2016;7. doi:10.1038/ncomms11552
View | Files available | DOI
 

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

2016 | Conference Paper | IST-REx-ID: 1526   OA
Henzinger TA, Otop J, Samanta R. Lipschitz robustness of timed I/O systems. In: Vol 9583. Springer; 2016:250-267. doi:10.1007/978-3-662-49122-5_12
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1071
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. In: Vol 57. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi:10.4230/LIPIcs.ESA.2016.28
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1437
Chatterjee K, Goharshady A, Ibsen-Jensen R, Pavlogiannis A. Algorithms for algebraic path properties in concurrent systems of constant treewidth components. In: Vol 20-22. ACM; 2016:733-747. doi:10.1145/2837614.2837624
View | Files available | DOI | Download (ext.) | arXiv
 

2016 | Technical Report | IST-REx-ID: 5453
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-749-v3-1
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1379
Burton B, De Mesmay AN, Wagner U. Finding non-orientable surfaces in 3-manifolds. In: Vol 51. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing; 2016:24.1-24.15. doi:10.4230/LIPIcs.SoCG.2016.24
View | Files available | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1483   OA
Reininghaus J, Huber S, Bauer U, Kwitt R. A stable multi-scale kernel for topological machine learning. In: IEEE; 2015:4741-4748. doi:10.1109/CVPR.2015.7299106
View | DOI | Download (ext.)
 

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

2015 | Journal Article | IST-REx-ID: 1534   OA
Wang H, Yang K, Zou J, et al. Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism. Nature Communications. 2015;6. doi:10.1038/ncomms9822
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1546   OA
Nakamura Y, Harada H, Kamasawa N, et al. Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development. Neuron. 2015;85(1):145-158. doi:10.1016/j.neuron.2014.11.019
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1558
Ivanchenko M, Zhu J, Wang B, et al. The cyclophilin a DIAGEOTROPICA gene affects auxin transport in both root and shoot to control lateral root formation. Development. 2015;142(4):712-721. doi:10.1242/dev.113225
View | DOI
 

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

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

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

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

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

2015 | Conference Paper | IST-REx-ID: 1596   OA
Fulek R, Radoičić R. Vertical visibility among parallel polygons in three dimensions. 2015;9411:373-379. doi:10.1007/978-3-319-27261-0_31
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1623   OA
Hammar P, Angermayr A, Sjostrom S, et al. Single-cell screening of photosynthetic growth and lactate production by cyanobacteria. Biotechnology for Biofuels. 2015;8(1). doi:10.1186/s13068-015-0380-2
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1611   OA
Whitfield J, Zhang W, Herde M, et al. Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction. Protein Science. 2015;24(9):1412-1422. doi:10.1002/pro.2721
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1635   OA
Erbar M, Maas J, Tetali P. Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models. Annales de la faculté des sciences de Toulouse. 2015;24(4):781-800. doi:10.5802/afst.1464
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1666   OA
Tugrul M, Paixao T, Barton NH, Tkacik G. Dynamics of transcription factor binding site evolution. PLoS Genetics. 2015;11(11). doi:10.1371/journal.pgen.1005639
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1685   OA
Cohen Addad V, De Mesmay AN. A fixed parameter tractable approximation scheme for the optimal cut graph of a surface. In: Vol 9294. Springer; 2015:386-398. doi:10.1007/978-3-662-48350-3_33
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1654   OA
Gazi P, Pietrzak KZ, Tessaro S. Generic security of NMAC and HMAC with input whitening. 2015;9453:85-109. doi:10.1007/978-3-662-48800-3_4
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1642   OA
Fulek R, Kynčl J, Malinovič I, Pálvölgyi D. Clustered planarity testing revisited. Electronic Journal of Combinatorics. 2015;22(4).
View | Files available
 

2015 | Journal Article | IST-REx-ID: 1700   OA
Van Loon E, Katsnelson M, Lemeshko M. Ultralong-range order in the Fermi-Hubbard model with long-range interactions. Physical Review B. 2015;92(8). doi:10.1103/PhysRevB.92.081106
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1712   OA
Ratheesh A, Belyaeva V, Siekhaus DE. Drosophila immune cell migration and adhesion during embryonic development and larval immune responses. Current Opinion in Cell Biology. 2015;36(10):71-79. doi:10.1016/j.ceb.2015.07.003
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1813   OA
Schmidt R, Lemeshko M. Rotation of quantum impurities in the presence of a many-body environment. Physical Review Letters. 2015;114(20). doi:10.1103/PhysRevLett.114.203001
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1818   OA
Polechova J, Barton NH. Limits to adaptation along environmental gradients. PNAS. 2015;112(20):6401-6406. doi:10.1073/pnas.1421515112
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1793   OA
Symonova O, Topp C, Edelsbrunner H. DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots. PLoS One. 2015;10(6). doi:10.1371/journal.pone.0127657
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1868
Park Y, Do Y, Altmeyer S, Lai Y, Lee G. Early effect in time-dependent, high-dimensional nonlinear dynamical systems with multiple resonances. Physical Review E. 2015;91(2). doi:10.1103/PhysRevE.91.022906
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1940   OA
Sokolowski TR, Tkacik G. Optimizing information flow in small genetic networks. IV. Spatial coupling. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2015;91(6). doi:10.1103/PhysRevE.91.062710
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1938
Pausinger F, Steinerberger S. On the distribution of local extrema in quantum chaos. Physics Letters, Section A. 2015;379(6):535-541. doi:10.1016/j.physleta.2014.12.010
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1849
Himschoot E, Beeckman T, Friml J, Vanneste S. Calcium is an organizer of cell polarity in plants. Biochimica et Biophysica Acta - Molecular Cell Research. 2015;1853(9):2168-2172. doi:10.1016/j.bbamcr.2015.02.017
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2025   OA
Kawada D, Kobayashi H, Tomita T, et al. The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins. Biochimica et Biophysica Acta - Molecular Cell Research. 2015;1853(1):144-156. doi:10.1016/j.bbamcr.2014.10.009
View | Files available | DOI
 

2015 | Thesis | IST-REx-ID: 1399
Pausinger F. On the Approximation of Intrinsic Volumes. IST Austria; 2015.
View | Files available
 

2015 | Journal Article | IST-REx-ID: 477
Holst K, Guseva D, Schindler S, et al. The serotonin receptor 5-HT7R regulates the morphology and migratory properties of dendritic cells. Journal of Cell Science. 2015;128(15):2866-2880. doi:10.1242/jcs.167999
View | DOI
 

2015 | Journal Article | IST-REx-ID: 802
Engel J, Schmalhorst PS, Kruger A, Muller C, Buettner F, Routier F. Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis. Glycobiology. 2015;25(12):1423-1430. doi:10.1093/glycob/cwv059
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1591
Adamowski M, Friml J. PIN-dependent auxin transport: Action, regulation, and evolution. Plant Cell. 2015;27(1):20-32. doi:10.1105/tpc.114.134874
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1510
Franek P, Krcál M. On computability and triviality of well groups. In: Vol 34. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:842-856. doi:10.4230/LIPIcs.SOCG.2015.842
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5430
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-319-v1-1
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed