Please note that ISTA 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.

6326 Publications


2018 | Published | 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.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | 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.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | 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.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | 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.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

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

2018 | Published | 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | 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.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | 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.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | 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 Physical Society, 2018, doi:10.1103/PhysRevLett.120.124501.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | 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, 2018, doi:10.7717/peerj.5325.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

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

2018 | Published | Conference Paper | IST-REx-ID: 34 | OA
Chatterjee, Krishnendu, et al. “Sensor Synthesis for POMDPs with Reachability Objectives.” 28th International Conference on Automated Planning and Scheduling, vol. 2018, AAAI Press, 2018, pp. 47–55, doi:10.1609/icaps.v28i1.13875.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 134 | OA
Jeschke, Stefan, et al. “Water Surface Wavelets.” ACM Transactions on Graphics, vol. 37, no. 4, 94, ACM, 2018, doi:10.1145/3197517.3201336.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 135 | OA
Sato, Takahiro, et al. “Extended Narrow Band FLIP for Liquid Simulations.” Computer Graphics Forum, vol. 37, no. 2, Wiley, 2018, pp. 169–77, doi:10.1111/cgf.13351.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 136 | OA
Suri, Balachandra, et al. “Unstable Equilibria and Invariant Manifolds in Quasi-Two-Dimensional Kolmogorov-like Flow.” Physical Review E, vol. 98, no. 2, American Physical Society, 2018, doi:10.1103/PhysRevE.98.023105.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 137 | OA
Zhang, William, et al. “Monitoring Hippocampal Glycine with the Computationally Designed Optical Sensor GlyFS.” Nature Chemical Biology, vol. 14, no. 9, Nature Publishing Group, 2018, pp. 861–69, doi:10.1038/s41589-018-0108-2.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Published | Journal Article | IST-REx-ID: 139 | OA
Fraisse, Christelle, et al. “The Divergence History of European Blue Mussel Species Reconstructed from Approximate Bayesian Computation: The Effects of Sequencing Techniques and Sampling Strategies.” PeerJ, vol. 2018, no. 7, 30083438, PeerJ, 2018, doi:10.7717/peerj.5198.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Journal Article | IST-REx-ID: 14 | OA
Hille, Sander, et al. “Relative Contribution of PIN-Containing Secretory Vesicles and Plasma Membrane PINs to the Directed Auxin Transport: Theoretical Estimation.” International Journal of Molecular Sciences, vol. 19, no. 11, MDPI, 2018, doi:10.3390/ijms19113566.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 140 | OA
Frehse, Goran, et al. Space-Time Interpolants. Vol. 10981, Springer, 2018, pp. 468–86, doi:10.1007/978-3-319-96145-3_25.
[Published Version] View | Files available | DOI | WoS
 

2018 | Published | Conference Paper | IST-REx-ID: 141 | OA
Chatterjee, Krishnendu, et al. Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. Vol. 10982, Springer, 2018, pp. 178–97, doi:10.1007/978-3-319-96142-2_13.
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed