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.
6985 Publications
2013 |Published| Technical Report | IST-REx-ID: 5408 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Doyen L, Nain S, Vardi M. 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| Report | IST-REx-ID: 5407 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Porsche J. Technical Requirements and Features. IST Austria; 2013.
[Published Version]
View
| Files available
2013 |Published| Technical Report | IST-REx-ID: 5410 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ahmed U, Chatterjee K, Gulwani S. 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| Conference Paper | IST-REx-ID: 2327 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger TA, Otop J. From model checking to model measuring. 2013;8052:273-287. doi:10.1007/978-3-642-40184-8_20
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 590
Schmid D, Huang T, Dirks R, Hosten O, Kwiat P. Polarization dependent focusing. In: OSA; 2013. doi:10.1364/QIM.2013.W6.23
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 5920
Hillar CJ, Martin del Campo Sanchez A. Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals. Journal of Symbolic Computation. 2013;50:314-334. doi:10.1016/j.jsc.2012.06.006
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 591
Schmid D, Huang T, Hazrat S, et al. Adjustable and robust methods for polarization-dependent focusing. Optics Express. 2013;21(13):15538-15552. doi:10.1364/OE.21.015538
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 595 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bernecky C, Cramer P. Struggling to let go: A non-coding RNA directs its own extension and destruction. EMBO Journal. 2013;32(6):771-772. doi:10.1038/emboj.2013.36
View
| DOI
| Download None (ext.)
2013 |Published| Journal Article | IST-REx-ID: 6128 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kodama-Namba E, Fenk LA, Bretscher AJ, Gross E, Busch KE, de Bono M. Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans. PLoS Genetics. 2013;9(12). doi:10.1371/journal.pgen.1004011
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 6130 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chen C, Fenk LA, de Bono M. Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination. Nucleic Acids Research. 2013;41(20). doi:10.1093/nar/gkt805
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 6133 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Couto A, Oda S, Nikolaev VO, Soltesz Z, de Bono M. In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor. Proceedings of the National Academy of Sciences. 2013;110(35):E3301-E3310. doi:10.1073/pnas.1217428110
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 6135
Rodriguez M, Snoek LB, de Bono M, Kammenga JE. Worms under stress: C. elegans stress response and its relevance to complex human disease and aging. Trends in Genetics. 2013;29(6):367-374. doi:10.1016/j.tig.2013.01.010
View
| DOI
2013 |Published| Book Chapter | IST-REx-ID: 6132
de Bono M, Schafer WR, Gottschalk A. Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans. In: Hegemann P, Sigrist S, eds. Optogenetics. Walter de Gruyter; 2013:61-78.
View
2013 |Published| Journal Article | IST-REx-ID: 6370
Lin T-C, Cole JM, Higginbotham AP, et al. Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations. The Journal of Physical Chemistry C. 2013;117(18):9416-9430. doi:10.1021/jp400648q
View
| DOI
2013 |Published| Technical Report | IST-REx-ID: 6440 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger TA, Payer H, Sezgin A. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria; 2013. doi:10.15479/AT:IST-2013-124-v1-1
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2329 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Velner Y. Hyperplane separation technique for multidimensional mean-payoff games. 2013;8052:500-515. doi:10.1007/978-3-642-40184-8_35
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Journal Article | IST-REx-ID: 7596
Tan S, Dai C, Liu H-T, Xue H-W. Arabidopsis casein kinase1 proteins CK1.3 and CK1.4 phosphorylate cryptochrome2 to regulate blue light signaling. The Plant Cell. 2013;25(7):2618-2632. doi:10.1105/tpc.113.114322
View
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 7595
Tang Y, Tan S, Xue H. Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development. Acta Biochimica et Biophysica Sinica. 2013;45(7):549-560. doi:10.1093/abbs/gmt039
View
| DOI
| PubMed | Europe PMC
2013 |Published| Conference Paper | IST-REx-ID: 765
Alistarh D-A, Aspnes J, Giakkoupis G, Woelfel P. Randomized loose renaming in O(loglogn) time. In: ACM; 2013:200-209. doi:10.1145/2484239.2484240
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 811
Steffen A, Ladwein M, Dimchev GA, et al. Rac function is crucial for cell migration but is not required for spreading and focal adhesion formation. Journal of Cell Science. 2013;126(20):4572-4588. doi:10.1242/jcs.118232
View
| DOI