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.

9096 Publications


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

2013 | Conference Paper | IST-REx-ID: 2327 | OA
T. A. Henzinger and J. Otop, “From model checking to model measuring,” vol. 8052. Springer, pp. 273–287, 2013.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 590
D. Schmid, T. Huang, R. Dirks, O. Hosten, and P. Kwiat, “Polarization dependent focusing,” presented at the QIM: Quantum Information and Measurement, 2013.
View | DOI
 

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

2013 | Journal Article | IST-REx-ID: 591
D. Schmid et al., “Adjustable and robust methods for polarization-dependent focusing,” Optics Express, vol. 21, no. 13. Optical Society of America, pp. 15538–15552, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 595 | OA
C. Bernecky and P. Cramer, “Struggling to let go: A non-coding RNA directs its own extension and destruction,” EMBO Journal, vol. 32, no. 6. Wiley-Blackwell, pp. 771–772, 2013.
View | DOI | Download None (ext.)
 

2013 | Journal Article | IST-REx-ID: 6128 | OA
E. Kodama-Namba, L. A. Fenk, A. J. Bretscher, E. Gross, K. E. Busch, and M. de Bono, “Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans,” PLoS Genetics, vol. 9, no. 12. Public Library of Science (PLoS), 2013.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6130 | OA
C. Chen, L. A. Fenk, and M. de Bono, “Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination,” Nucleic Acids Research, vol. 41, no. 20. Oxford University Press, 2013.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6133 | OA
A. Couto, S. Oda, V. O. Nikolaev, Z. Soltesz, and M. de Bono, “In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor,” Proceedings of the National Academy of Sciences, vol. 110, no. 35. Proceedings of the National Academy of Sciences, pp. E3301–E3310, 2013.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6135
M. Rodriguez, L. B. Snoek, M. de Bono, and J. E. Kammenga, “Worms under stress: C. elegans stress response and its relevance to complex human disease and aging,” Trends in Genetics, vol. 29, no. 6. Elsevier, pp. 367–374, 2013.
View | DOI
 

2013 | Book Chapter | IST-REx-ID: 6132
M. de Bono, W. R. Schafer, and A. Gottschalk, “Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans,” in Optogenetics, P. Hegemann and S. Sigrist, Eds. Walter de Gruyter, 2013, pp. 61–78.
View
 

2013 | Journal Article | IST-REx-ID: 6370
T.-C. Lin 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, vol. 117, no. 18. American Chemical Society (ACS), pp. 9416–9430, 2013.
View | DOI
 

2013 | Technical Report | IST-REx-ID: 6440 | OA
T. A. Henzinger, H. Payer, and A. Sezgin, Replacing competition with cooperation to achieve scalable lock-free FIFO queues . IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 6768 | OA
M. Mondelli, “A finite difference scheme for the stack filter simulating the MCM,” Image Processing On Line, vol. 3. Image Processing On Line, pp. 68–111, 2013.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2329 | OA
K. Chatterjee and Y. Velner, “Hyperplane separation technique for multidimensional mean-payoff games,” vol. 8052. Springer, pp. 500–515, 2013.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 7306
M. M. Ottakam Thotiyl, S. A. Freunberger, Z. Peng, Y. Chen, Z. Liu, and P. G. Bruce, “A stable cathode for the aprotic Li–O2 battery,” Nature Materials, vol. 12, no. 11. Springer Nature, pp. 1050–1056, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7307
Y. Chen, S. A. Freunberger, Z. Peng, O. Fontaine, and P. G. Bruce, “Charging a Li–O2 battery using a redox mediator,” Nature Chemistry, vol. 5, no. 6. Springer Nature, pp. 489–494, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7596
S. Tan, C. Dai, H.-T. Liu, and H.-W. Xue, “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, pp. 2618–2632, 2013.
View | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 7595
Y. Tang, S. Tan, and H. Xue, “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, pp. 549–560, 2013.
View | DOI | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 765
D.-A. Alistarh, J. Aspnes, G. Giakkoupis, and P. Woelfel, “Randomized loose renaming in O(loglogn) time,” presented at the PODC: Principles of Distributed Computing, 2013, pp. 200–209.
View | DOI
 

Search

Filter Publications