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.
8915 Publications
2013 | Published | Report | IST-REx-ID: 5407 | 
Porsche, Jana. Technical Requirements and Features. IST Austria, 2013.
[Published Version]
View
| Files available
2013 | Published | Technical Report | IST-REx-ID: 5408 |
Chatterjee, Krishnendu, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria, 2013, doi:10.15479/AT:IST-2013-141-v1-1.
[Published Version]
View
| Files available
| DOI
2013 | Published | Technical Report | IST-REx-ID: 5409 |
Chatterjee, Krishnendu, et al. Edit Distance for Timed Automata. IST Austria, 2013, doi:10.15479/AT:IST-2013-144-v1-1.
[Published Version]
View
| Files available
| DOI
2013 | Published | Technical Report | IST-REx-ID: 5410 |
Ahmed, Umair, et al. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-146-v1-1.
[Published Version]
View
| Files available
| DOI
2013 | Published | Book Chapter | IST-REx-ID: 5747 |
Dragoi, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” Computer Aided Verification, vol. 8044, Springer Berlin Heidelberg, 2013, pp. 174–90, doi:10.1007/978-3-642-39799-8_11.
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 590
Schmid, David, et al. Polarization Dependent Focusing. OSA, 2013, doi:10.1364/QIM.2013.W6.23.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 591
Schmid, David, et al. “Adjustable and Robust Methods for Polarization-Dependent Focusing.” Optics Express, vol. 21, no. 13, Optical Society of America, 2013, pp. 15538–52, doi:10.1364/OE.21.015538.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 5920
Hillar, Christopher J., and Abraham Martin del Campo Sanchez. “Finiteness Theorems and Algorithms for Permutation Invariant Chains of Laurent Lattice Ideals.” Journal of Symbolic Computation, vol. 50, Elsevier, 2013, pp. 314–34, doi:10.1016/j.jsc.2012.06.006.
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 595 |
Bernecky, Carrie, and Patrick Cramer. “Struggling to Let Go: A Non-Coding RNA Directs Its Own Extension and Destruction.” EMBO Journal, vol. 32, no. 6, Wiley-Blackwell, 2013, pp. 771–72, doi:10.1038/emboj.2013.36.
View
| DOI
| Download None (ext.)
2013 | Published | Journal Article | IST-REx-ID: 7595
Tang, Yong, et al. “Arabidopsis Inositol 1,3,4-Trisphosphate 5/6 Kinase 2 Is Required for Seed Coat Development.” Acta Biochimica et Biophysica Sinica, vol. 45, no. 7, Oxford University Press, 2013, pp. 549–60, doi:10.1093/abbs/gmt039.
View
| DOI
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 7596
Tan, Shutang, et al. “Arabidopsis Casein Kinase1 Proteins CK1.3 and CK1.4 Phosphorylate Cryptochrome2 to Regulate Blue Light Signaling.” The Plant Cell, vol. 25, no. 7, American Society of Plant Biologists, 2013, pp. 2618–32, doi:10.1105/tpc.113.114322.
View
| DOI
| PubMed | Europe PMC
2013 | Published | Conference Paper | IST-REx-ID: 765
Alistarh, Dan-Adrian, et al. Randomized Loose Renaming in O(Loglogn) Time. ACM, 2013, pp. 200–09, doi:10.1145/2484239.2484240.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 7745
Robinson, Matthew Richard, et al. “Partitioning of Genetic Variation across the Genome Using Multimarker Methods in a Wild Bird Population.” Molecular Ecology, vol. 22, no. 15, Wiley, 2013, pp. 3963–80, doi:10.1111/mec.12375.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 7746
Santure, Anna W., et al. “Genomic Dissection of Variation in Clutch Size and Egg Mass in a Wild Great Tit (Parus Major) Population.” Molecular Ecology, vol. 22, no. 15, Wiley, 2013, pp. 3949–62, doi:10.1111/mec.12376.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 7747
Robinson, Matthew Richard, and Andrew P. Beckerman. “Quantifying Multivariate Plasticity: Genetic Variation in Resource Acquisition Drives Plasticity in Resource Allocation to Components of Life History.” Ecology Letters, vol. 16, no. 3, Wiley, 2013, pp. 281–90, doi:10.1111/ele.12047.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 7774
Goodrich, Carl Peter, et al. “Stability of Jammed Packings I: The Rigidity Length Scale.” Soft Matter, vol. 9, no. 46, 10993, Royal Society of Chemistry, 2013, doi:10.1039/c3sm51095f.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 7775
Schoenholz, Samuel S., et al. “Stability of Jammed Packings II: The Transverse Length Scale.” Soft Matter, vol. 9, no. 46, 11000, Royal Society of Chemistry, 2013, doi:10.1039/c3sm51096d.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 7785
Joo, William J., et al. “Linking Cell Fate, Trajectory Choice, and Target Selection: Genetic Analysis of Sema-2b in Olfactory Axon Targeting.” Neuron, vol. 78, no. 4, Elsevier, 2013, pp. 673–86, doi:10.1016/j.neuron.2013.03.022.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 8030 |
Vogels, Tim P., et al. “Inhibitory Synaptic Plasticity: Spike Timing-Dependence and Putative Network Function.” Frontiers in Neural Circuits, vol. 7, 119, Frontiers Media, 2013, doi:10.3389/fncir.2013.00119.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 810
Schur, Florian KM, et al. “Determination of Protein Structure at 8.5Å Resolution Using Cryo-Electron Tomography and Sub-Tomogram Averaging.” Journal of Structural Biology, vol. 184, no. 3, Academic Press, 2013, pp. 394–400, doi:10.1016/j.jsb.2013.10.015.
View
| DOI