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.
624 Publications
2015 |Published| Journal Article | IST-REx-ID: 1557
Javdani, Fariba, et al. “Differential Expression Patterns of K+Cl- Cotransporter 2 in Neurons within the Superficial Spinal Dorsal Horn of Rats.” Journal of Comparative Neurology, vol. 523, no. 13, Wiley-Blackwell, 2015, pp. 1967–83, doi:10.1002/cne.23774.
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1563
Graff, Grzegorz, and Pawel Pilarczyk. “An Algorithmic Approach to Estimating the Minimal Number of Periodic Points for Smooth Self-Maps of Simply-Connected Manifolds.” Topological Methods in Nonlinear Analysis, vol. 45, no. 1, Juliusz Schauder Center for Nonlinear Studies, 2015, pp. 273–86, doi:10.12775/TMNA.2015.014.
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1615 | 
Hammer, Matthieu, et al. “Perturbed Hippocampal Synaptic Inhibition and γ-Oscillations in a Neuroligin-4 Knockout Mouse Model of Autism.” Cell Reports, vol. 13, no. 3, Cell Press, 2015, pp. 516–23, doi:10.1016/j.celrep.2015.09.011.
[Published Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1671 |
Gazi, Peter, et al. The Exact PRF Security of Truncation: Tight Bounds for Keyed Sponges and Truncated CBC. Vol. 9215, Springer, 2015, pp. 368–87, doi:10.1007/978-3-662-47989-6_18.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1692
Frehse, Goran, et al. “Eliminating Spurious Transitions in Reachability with Support Functions.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 149–58, doi:10.1145/2728606.2728622.
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1812 |
Lahrz, Martin, et al. “Exotic Roton Excitations in Quadrupolar Bose–Einstein Condensates .” New Journal of Physics, vol. 17, no. 4, 045005, IOP Publishing Ltd., 2015, doi:10.1088/1367-2630/17/4/045005.
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1846 |
Beneš, Nikola, et al. “Refinement Checking on Parametric Modal Transition Systems.” Acta Informatica, vol. 52, no. 2–3, Springer, 2015, pp. 269–97, doi:10.1007/s00236-015-0215-4.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1481 |
Ahmed, Umair, et al. “Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.” Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, vol. 2, AAAI Press, 2015, pp. 745–52.
View
| Files available
| Download None (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1659 |
Boker, Udi, et al. “The Target Discounted-Sum Problem.” LICS, IEEE, 2015, pp. 750–61, doi:10.1109/LICS.2015.74.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Technical Report | IST-REx-ID: 5437 |
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-330-v2-1.
[Published Version]
View
| Files available
| DOI
2015 |Published| Technical Report | IST-REx-ID: 5430 |
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-319-v1-1.
[Published Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1511 |
Goaoc, Xavier, et al. On Generalized Heawood Inequalities for Manifolds: A Van Kampen–Flores-Type Nonembeddability Result. Vol. 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 476–90, doi:10.4230/LIPIcs.SOCG.2015.476.
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 7742
Robinson MR, Hemani G, Medina-Gomez C, Mezzavilla M, Esko T, Shakhbazov K, Powell JE, Vinkhuyzen A, Berndt SI, Gustafsson S, Justice AE, Kahali B, Locke AE, Pers TH, Vedantam S, Wood AR, van Rheenen W, Andreassen OA, Gasparini P, Metspalu A, Berg LH van den, Veldink JH, Rivadeneira F, Werge TM, Abecasis GR, Boomsma DI, Chasman DI, de Geus EJC, Frayling TM, Hirschhorn JN, Hottenga JJ, Ingelsson E, Loos RJF, Magnusson PKE, Martin NG, Montgomery GW, North KE, Pedersen NL, Spector TD, Speliotes EK, Goddard ME, Yang J, Visscher PM. 2015. Population genetic differentiation of height and body mass index across Europe. Nature Genetics. 47(11), 1357–1362.
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 12196
Johnson, Kaeli C. M., et al. “The Chromatin Remodeler SPLAYED Negatively Regulates SNC1-Mediated Immunity.” Plant and Cell Physiology, vol. 56, no. 8, Oxford University Press, 2015, pp. 1616–23, doi:10.1093/pcp/pcv087.
View
| DOI
| PubMed | Europe PMC
2015 |Published| Technical Report | IST-REx-ID: 5442 |
Anonymous, 1, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015.
[Published Version]
View
| Files available
2015 |Published| Journal Article | IST-REx-ID: 1834 |
Chen, Chong, et al. “Low-Dose Sevoflurane Promoteshippocampal Neurogenesis and Facilitates the Development of Dentate Gyrus-Dependent Learning in Neonatal Rats.” ASN Neuro, vol. 7, no. 2, SAGE Publications, 2015, doi:10.1177/1759091415575845.
[Published Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1603 |
Brázdil, Tomáš, et al. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Vol. 9206, Springer, 2015, pp. 158–77, doi:10.1007/978-3-319-21690-4_10.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2014 |Published| Conference Paper | IST-REx-ID: 11875 |
Bhattacharya, Sayan, et al. “Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching.” 26th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2014, pp. 785–804, doi:10.1137/1.9781611973730.54.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 1893 |
Marhavá, Petra, et al. “SAC Phosphoinositide Phosphatases at the Tonoplast Mediate Vacuolar Function in Arabidopsis.” PNAS, vol. 111, no. 7, National Academy of Sciences, 2014, pp. 2818–23, doi:10.1073/pnas.1324264111.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1921 |
Tejos, Ricardo, et al. “Bipolar Plasma Membrane Distribution of Phosphoinositides and Their Requirement for Auxin-Mediated Cell Polarity and Patterning in Arabidopsis.” Plant Cell, vol. 26, no. 5, American Society of Plant Biologists, 2014, pp. 2114–28, doi:10.1105/tpc.114.126185.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)