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, J. (2013). Technical requirements and features. IST Austria.
[Published Version]
View
| Files available
2013 | Published | Technical Report | IST-REx-ID: 5408 |
Chatterjee, K., Doyen, L., Nain, S., & Vardi, M. (2013). The complexity of partial-observation stochastic parity games with finite-memory strategies. IST Austria. https://doi.org/10.15479/AT:IST-2013-141-v1-1
[Published Version]
View
| Files available
| DOI
2013 | Published | Technical Report | IST-REx-ID: 5409 |
Chatterjee, K., Ibsen-Jensen, R., & Majumdar, R. (2013). Edit distance for timed automata. IST Austria. https://doi.org/10.15479/AT:IST-2013-144-v1-1
[Published Version]
View
| Files available
| DOI
2013 | Published | Technical Report | IST-REx-ID: 5410 |
Ahmed, U., Chatterjee, K., & Gulwani, S. (2013). Automatic generation of alternative starting positions for traditional board games. IST Austria. https://doi.org/10.15479/AT:IST-2013-146-v1-1
[Published Version]
View
| Files available
| DOI
2013 | Published | Book Chapter | IST-REx-ID: 5747 |
Dragoi, C., Gupta, A., & Henzinger, T. A. (2013). Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In Computer Aided Verification (Vol. 8044, pp. 174–190). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39799-8_11
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 590
Schmid, D., Huang, T., Dirks, R., Hosten, O., & Kwiat, P. (2013). Polarization dependent focusing. Presented at the QIM: Quantum Information and Measurement, OSA. https://doi.org/10.1364/QIM.2013.W6.23
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 591
Schmid, D., Huang, T., Hazrat, S., Dirks, R., Hosten, O., Quint, S., … Kwiat, P. (2013). Adjustable and robust methods for polarization-dependent focusing. Optics Express. Optical Society of America. https://doi.org/10.1364/OE.21.015538
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 5920
Hillar, C. J., & Martin del Campo Sanchez, A. (2013). Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals. Journal of Symbolic Computation. Elsevier. https://doi.org/10.1016/j.jsc.2012.06.006
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 595 |
Bernecky, C., & Cramer, P. (2013). Struggling to let go: A non-coding RNA directs its own extension and destruction. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2013.36
View
| DOI
| Download None (ext.)
2013 | Published | Journal Article | IST-REx-ID: 7595
Tang, Y., Tan, S., & Xue, H. (2013). Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development. Acta Biochimica et Biophysica Sinica. Oxford University Press. https://doi.org/10.1093/abbs/gmt039
View
| DOI
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 7596
Tan, S., Dai, C., Liu, H.-T., & Xue, H.-W. (2013). Arabidopsis casein kinase1 proteins CK1.3 and CK1.4 phosphorylate cryptochrome2 to regulate blue light signaling. The Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.113.114322
View
| DOI
| PubMed | Europe PMC
2013 | Published | Conference Paper | IST-REx-ID: 765
Alistarh, D.-A., Aspnes, J., Giakkoupis, G., & Woelfel, P. (2013). Randomized loose renaming in O(loglogn) time (pp. 200–209). Presented at the PODC: Principles of Distributed Computing, ACM. https://doi.org/10.1145/2484239.2484240
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 7745
Robinson, M. R., Santure, A. W., DeCauwer, I., Sheldon, B. C., & Slate, J. (2013). Partitioning of genetic variation across the genome using multimarker methods in a wild bird population. Molecular Ecology. Wiley. https://doi.org/10.1111/mec.12375
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 7746
Santure, A. W., De Cauwer, I., Robinson, M. R., Poissant, J., Sheldon, B. C., & Slate, J. (2013). Genomic dissection of variation in clutch size and egg mass in a wild great tit (Parus major) population. Molecular Ecology. Wiley. https://doi.org/10.1111/mec.12376
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 7747
Robinson, M. R., & Beckerman, A. P. (2013). Quantifying multivariate plasticity: Genetic variation in resource acquisition drives plasticity in resource allocation to components of life history. Ecology Letters. Wiley. https://doi.org/10.1111/ele.12047
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 7774
Goodrich, C. P., Ellenbroek, W. G., & Liu, A. J. (2013). Stability of jammed packings I: The rigidity length scale. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/c3sm51095f
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 7775
Schoenholz, S. S., Goodrich, C. P., Kogan, O., Liu, A. J., & Nagel, S. R. (2013). Stability of jammed packings II: The transverse length scale. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/c3sm51096d
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 7785
Joo, W. J., Sweeney, L. B., Liang, L., & Luo, L. (2013). Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2013.03.022
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 8030 |
Vogels, T. P., Froemke, R. C., Doyon, N., Gilson, M., Haas, J. S., Liu, R., … Sprekeler, H. (2013). Inhibitory synaptic plasticity: Spike timing-dependence and putative network function. Frontiers in Neural Circuits. Frontiers Media. https://doi.org/10.3389/fncir.2013.00119
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 810
Schur, F. K., Hagen, W., De Marco, A., & Briggs, J. (2013). Determination of protein structure at 8.5Å resolution using cryo-electron tomography and sub-tomogram averaging. Journal of Structural Biology. Academic Press. https://doi.org/10.1016/j.jsb.2013.10.015
View
| DOI