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.
367 Publications
2013 |
Published |
Technical Report |
IST-REx-ID: 5410 |
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 |
Book Chapter |
IST-REx-ID: 5747 |
Dragoi C, Gupta A, Henzinger TA. Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. Vol 8044. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:174-190. doi: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. Polarization dependent focusing. In: OSA; 2013. doi:10.1364/QIM.2013.W6.23
View
| 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: 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: 595 |
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 |
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 |
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 |
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: 6133 |
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 |
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 |
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 |
Journal Article |
IST-REx-ID: 6768 |
Mondelli M. A finite difference scheme for the stack filter simulating the MCM. Image Processing On Line. 2013;3:68-111. doi:10.5201/ipol.2013.53
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 10384 |
Mognetti BM, Šarić A, Angioletti-Uberti S, Cacciuto A, Valeriani C, Frenkel D. Living clusters and crystals from low-density suspensions of active colloids. Physical Review Letters. 2013;111(24). doi:10.1103/physrevlett.111.245702
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2013 |
Published |
Journal Article |
IST-REx-ID: 10385
Napoli JA, Šarić A, Cacciuto A. Collapsing nanoparticle-laden nanotubes. Soft Matter. 2013;9(37):8881-8886. doi:10.1039/c3sm51495a
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 10386
Šarić A, Cacciuto A. Self-assembly of nanoparticles adsorbed on fluid and elastic membranes. Soft Matter. 2013;9(29). doi:10.1039/c3sm50188d
View
| DOI
| Download None (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 10396 |
Schlögl A, Jonas PM, Schmidt-Hieber C, Guzman SJ. Stimfit: A fast visualization and analysis environment for cellular neurophysiology. Biomedical Engineering / Biomedizinische Technik. 2013;58(SI-1-Track-G). doi:10.1515/bmt-2013-4181
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |
Published |
Conference Paper |
IST-REx-ID: 10749 |
Polshyn H, Budakian R, Gu G. Cantilever micro-susceptometry of mesoscopic Bi2212 samples. In: APS March Meeting 2013. Vol 58. American Physical Society; 2013.
[Published Version]
View
| Download Published Version (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 9459 |
Zemach A, Kim MY, Hsieh P-H, et al. The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin. Cell. 2013;153(1):193-205. doi:10.1016/j.cell.2013.02.033
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC