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.
1850 Publications
2014 |Published| Book Chapter | IST-REx-ID: 1829
Muelling, Katharina, et al. “Movement Templates for Learning of Hitting and Batting.” Learning Motor Skills, edited by Jens Kober and Jan Peters, vol. 97, Springer, 2014, pp. 69–82, doi:10.1007/978-3-319-03194-1_3.
View
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 1869
Hofferek, Georg, and Ashutosh Gupta. “Suraq - a Controller Synthesis Tool Using Uninterpreted Functions.” HVC 2014, edited by Eran Yahav, vol. 8855, Springer, 2014, pp. 68–74, doi:10.1007/978-3-319-13338-6_6.
View
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 1872 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gupta, Ashutosh, et al. “Extensional Crisis and Proving Identity.” ATVA 2014, edited by Franck Cassez and Jean-François Raskin, vol. 8837, Springer, 2014, pp. 185–200, doi:10.1007/978-3-319-11936-6_14.
[Submitted Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 1875 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Samanta, Roopsha, et al. Cost-Aware Automatic Program Repair. Edited by Markus Müller-Olm and Helmut Seidl, vol. 8723, Springer, 2014, pp. 268–84, doi:10.1007/978-3-319-10936-7_17.
[Submitted Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1876 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dolbilin, Nikolai, et al. “Functionals on Triangulations of Delaunay Sets.” Moscow Mathematical Journal, vol. 14, no. 3, Independent University of Moscow, 2014, pp. 491–504, doi:10.17323/1609-4514-2014-14-3-491-504.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 1893 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 1901
Tian, Huiyu, et al. “WOX5-IAA17 Feedback Circuit-Mediated Cellular Auxin Response Is Crucial for the Patterning of Root Stem Cell Niches in Arabidopsis.” Molecular Plant, vol. 7, no. 2, Oxford University Press, 2014, pp. 277–89, doi:10.1093/mp/sst118.
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1911
Engström, Alexander, and Patrik Noren. “Tverberg’s Theorem and Graph Coloring.” Discrete & Computational Geometry, vol. 51, no. 1, Springer, 2014, pp. 207–20, doi:10.1007/s00454-013-9556-3.
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1923 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Berthoumieux, Hélène, et al. “Active Elastic Thin Shell Theory for Cellular Deformations.” New Journal of Physics, vol. 16, 065005, IOP Publishing Ltd., 2014, doi:10.1088/1367-2630/16/6/065005.
[Published Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1935 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Giuliani, Alessandro, et al. “Formation of Stripes and Slabs near the Ferromagnetic Transition.” Communications in Mathematical Physics, vol. 331, Springer, 2014, pp. 333–50, doi:10.1007/s00220-014-1923-2.
[Published Version]
View
| Files available
| DOI
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 2019 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Erdös, László, and Dominik J. Schröder. “Phase Transition in the Density of States of Quantum Spin Glasses.” Mathematical Physics, Analysis and Geometry, vol. 17, no. 3–4, Springer, 2014, pp. 441–64, doi:10.1007/s11040-014-9164-3.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 2022 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gao, Peng, et al. “Deterministic Progenitor Behavior and Unitary Production of Neurons in the Neocortex.” Cell, vol. 159, no. 4, Cell Press, 2014, pp. 775–88, doi:10.1016/j.cell.2014.10.027.
[Published Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 2021 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
William, Joo, et al. “Dendrite Morphogenesis Depends on Relative Levels of NT-3/TrkC Signaling.” Science, vol. 346, no. 6209, American Association for the Advancement of Science, 2014, pp. 626–29, doi:10.1126/science.1258996.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Conference Paper | IST-REx-ID: 2027 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brázdil, Tomáš, et al. “Verification of Markov Decision Processes Using Learning Algorithms.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Franck Cassez and Jean-François Raskin, vol. 8837, Society of Industrial and Applied Mathematics, 2014, pp. 98–114, doi:10.1007/978-3-319-11936-6_8.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 2024 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Toshima, Junko, et al. “Bifurcation of the Endocytic Pathway into Rab5-Dependent and -Independent Transport to the Vacuole.” Nature Communications, vol. 5, 3498, Nature Publishing Group, 2014, doi:10.1038/ncomms4498.
[Submitted Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 2028 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bodova, Katarina, et al. “Characterizing Spiking in Noisy Type II Neurons.” Journal of Theoretical Biology, vol. 365, Academic Press, 2014, pp. 40–54, doi:10.1016/j.jtbi.2014.09.041.
[Published Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 2026
Komárková, Zuzana, and Jan Kretinsky. “Rabinizer 3: Safraless Translation of Ltl to Small Deterministic Automata.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Franck Cassez and Jean-François Raskin, vol. 8837, Springer, 2014, pp. 235–41, doi:10.1007/978-3-319-11936-6_17.
View
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 2045 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dachman Soled, Dana, et al. “Enhanced Chosen-Ciphertext Security and Applications.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Hugo Krawczyk, vol. 8383, Springer, 2014, pp. 329–44, doi:10.1007/978-3-642-54631-0_19.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Book Chapter | IST-REx-ID: 2044 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bauer, Ulrich, et al. “Clear and Compress: Computing Persistent Homology in Chunks.” Topological Methods in Data Analysis and Visualization III, edited by Peer-Timo Bremer et al., Springer, 2014, pp. 103–17, doi:10.1007/978-3-319-04099-8_7.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Conference Paper | IST-REx-ID: 2047 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Yu, Fei, et al. “Differentially-Private Logistic Regression for Detecting Multiple-SNP Association in GWAS Databases.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Josep Domingo Ferrer, vol. 8744, Springer, 2014, pp. 170–84, doi:10.1007/978-3-319-11257-2_14.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv