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.

6694 Publications


2018 | Journal Article | IST-REx-ID: 308 | OA
Ratheesh, Aparna, et al. “Drosophila TNF Modulates Tissue Tension in the Embryo to Facilitate Macrophage Invasive Migration.” Developmental Cell, vol. 45, no. 3, Elsevier, 2018, pp. 331–46, doi:10.1016/j.devcel.2018.04.002.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Conference Paper | IST-REx-ID: 309 | OA
Akitaya, Hugo, et al. Recognizing Weak Embeddings of Graphs. ACM, 2018, pp. 274–92, doi:10.1137/1.9781611975031.20.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 31 | OA
Ferrari, Ulisse, et al. “Separating Intrinsic Interactions from Extrinsic Correlations in a Network of Sensory Neurons.” Physical Review E, vol. 98, no. 4, 042410, American Physical Society, 2018, doi:10.1103/PhysRevE.98.042410.
View | DOI | Download Preprint (ext.)
 

2018 | Conference Paper | IST-REx-ID: 310 | OA
Chatterjee, Krishnendu, et al. Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety and Diameter. ACM, 2018, pp. 2341–56, doi:10.1137/1.9781611975031.151.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 312 | OA
Edelsbrunner, Herbert, and Mabel Iglesias Ham. “On the Optimality of the FCC Lattice for Soft Sphere Packing.” SIAM J Discrete Math, vol. 32, no. 1, Society for Industrial and Applied Mathematics , 2018, pp. 750–82, doi:10.1137/16M1097201.
View | DOI | Download Submitted Version (ext.)
 

2018 | Journal Article | IST-REx-ID: 314 | OA
Bauer, Guntram, et al. “The Science of Living Matter for Tomorrow.” Cell Systems, vol. 6, no. 4, Cell Press, 2018, pp. 400–02, doi:10.1016/j.cels.2018.04.003.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 317 | OA
Brauns, Matthias, et al. “Palladium Gates for Reproducible Quantum Dots in Silicon.” Scientific Reports, vol. 8, no. 1, 5690, Nature Publishing Group, 2018, doi:10.1038/s41598-018-24004-y.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 318 | OA
Casano, Alessandra M., and Michael K. Sixt. “A Fat Lot of Good for Wound Healing.” Developmental Cell, vol. 44, no. 4, Cell Press, 2018, pp. 405–06, doi:10.1016/j.devcel.2018.02.009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 32 | OA
Chen, Ting, et al. “In Vivo Regulation of Oligodendrocyte Processor Cell Proliferation and Differentiation by the AMPA-Receptor Subunit GluA2.” Cell Reports, vol. 25, no. 4, Elsevier, 2018, p. 852–861.e7, doi:10.1016/j.celrep.2018.09.066.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 320 | OA
Hu, Hua, et al. “Complementary Tuning of Na+ and K+ Channel Gating Underlies Fast and Energy-Efficient Action Potentials in GABAergic Interneuron Axons.” Neuron, vol. 98, no. 1, Elsevier, 2018, pp. 156–65, doi:10.1016/j.neuron.2018.02.024.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 321 | OA
Darrell, Trevor, et al. “Guest Editors’ Introduction to the Special Section on Learning with Shared Information for Computer Vision and Multimedia Analysis.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 40, no. 5, IEEE, 2018, pp. 1029–31, doi:10.1109/TPAMI.2018.2804998.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 322 | OA
Ganev, Iordan V. “Quantizations of Multiplicative Hypertoric Varieties at a Root of Unity.” Journal of Algebra, vol. 506, World Scientific Publishing, 2018, pp. 92–128, doi:10.1016/j.jalgebra.2018.03.015.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Thesis | IST-REx-ID: 324 | OA
Chen, Chong. Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release. IST Austria, 2018, doi:10.15479/AT:ISTA:th_997.
View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 325 | OA
Agrawal, Sheshansh, et al. Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs. Vol. 2, no. POPL, 34, ACM, 2018, doi:10.1145/3158122.
View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Journal Article | IST-REx-ID: 326 | OA
Sawada, Kazuaki, et al. “Super Resolution Structural Analysis of Dendritic Spines Using Three-Dimensional Structured Illumination Microscopy in Cleared Mouse Brain Slices.” European Journal of Neuroscience, vol. 47, no. 9, Wiley, 2018, pp. 1033–42, doi:10.1111/ejn.13901.
View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 327 | OA
Michailidis, Alexios, et al. “Slow Dynamics in Translation-Invariant Quantum Lattice Models.” Physical Review B, vol. 97, no. 10, 104307, American Physical Society, 2018, doi:10.1103/PhysRevB.97.104307.
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 328 | OA
Choueiri, George H., et al. “Exceeding the Asymptotic Limit of Polymer Drag Reduction.” Physical Review Letters, vol. 120, no. 12, 124501, American Physiological Society, 2018, doi:10.1103/PhysRevLett.120.124501.
View | DOI | Download Preprint (ext.)
 

2018 | Journal Article | IST-REx-ID: 33 | OA
Bertl, Johanna, et al. “Can Secondary Contact Following Range Expansion Be Distinguished from Barriers to Gene Flow?” PeerJ, vol. 2018, no. 10, e5325, PeerJ Inc , 2018, doi:10.7717/peerj.5325.
View | Files available | DOI | PubMed | Europe PMC
 

2018 | Book | IST-REx-ID: 3300
Clarke, Edmund M., et al. Handbook of Model Checking. 1st ed., Springer, 2018, doi:10.1007/978-3-319-10575-8.
View | DOI
 

2018 | Conference Paper | IST-REx-ID: 34 | OA
Chatterjee, Krishnendu, et al. Sensor Synthesis for POMDPs with Reachability Objectives. Vol. 2018, AAAI Press, 2018, pp. 47–55.
View | Download Preprint (ext.) | arXiv
 

Search

Filter Publications