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 | OA
Porsche J. 2013. Technical requirements and features, IST Austria,p.
[Published Version] View | Files available
 

2013 | Published | Technical Report | IST-REx-ID: 5408 | OA
Chatterjee K, Doyen L, Nain S, Vardi M. 2013. The complexity of partial-observation stochastic parity games with finite-memory strategies, IST Austria, 17p.
[Published Version] View | Files available | DOI
 

2013 | Published | Technical Report | IST-REx-ID: 5409 | OA
Chatterjee K, Ibsen-Jensen R, Majumdar R. 2013. Edit distance for timed automata, IST Austria, 12p.
[Published Version] View | Files available | DOI
 

2013 | Published | Technical Report | IST-REx-ID: 5410 | OA
Ahmed U, Chatterjee K, Gulwani S. 2013. Automatic generation of alternative starting positions for traditional board games, IST Austria, 13p.
[Published Version] View | Files available | DOI
 

2013 | Published | Book Chapter | IST-REx-ID: 5747 | OA
Dragoi C, Gupta A, Henzinger TA. 2013.Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. vol. 8044, 174–190.
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. QIM: Quantum Information and Measurement, Optics InfoBase Conference Papers, .
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 591
Schmid D, Huang T, Hazrat S, Dirks R, Hosten O, Quint S, Thian D, Kwiat P. 2013. Adjustable and robust methods for polarization-dependent focusing. Optics Express. 21(13), 15538–15552.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 5920
Hillar CJ, Martin del Campo Sanchez A. 2013. Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals. Journal of Symbolic Computation. 50, 314–334.
View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 595 | OA
Bernecky C, Cramer P. 2013. Struggling to let go: A non-coding RNA directs its own extension and destruction. EMBO Journal. 32(6), 771–772.
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. 45(7), 549–560.
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. 25(7), 2618–2632.
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. PODC: Principles of Distributed Computing, 200–209.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 7745
Robinson MR, Santure AW, DeCauwer I, Sheldon BC, Slate J. 2013. Partitioning of genetic variation across the genome using multimarker methods in a wild bird population. Molecular Ecology. 22(15), 3963–3980.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 7746
Santure AW, De Cauwer I, Robinson MR, Poissant J, Sheldon BC, Slate J. 2013. Genomic dissection of variation in clutch size and egg mass in a wild great tit (Parus major) population. Molecular Ecology. 22(15), 3949–3962.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 7747
Robinson MR, Beckerman AP. 2013. Quantifying multivariate plasticity: Genetic variation in resource acquisition drives plasticity in resource allocation to components of life history. Ecology Letters. 16(3), 281–290.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 7774
Goodrich CP, Ellenbroek WG, Liu AJ. 2013. Stability of jammed packings I: The rigidity length scale. Soft Matter. 9(46), 10993.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 7775
Schoenholz SS, Goodrich CP, Kogan O, Liu AJ, Nagel SR. 2013. Stability of jammed packings II: The transverse length scale. Soft Matter. 9(46), 11000.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 7785
Joo WJ, Sweeney LB, Liang L, Luo L. 2013. Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting. Neuron. 78(4), 673–686.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 8030 | OA
Vogels TP, Froemke RC, Doyon N, Gilson M, Haas JS, Liu R, Maffei A, Miller P, Wierenga CJ, Woodin MA, Zenke F, Sprekeler H. 2013. Inhibitory synaptic plasticity: Spike timing-dependence and putative network function. Frontiers in Neural Circuits. 7, 119.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 810
Schur FK, 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. 184(3), 394–400.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed