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.

8998 Publications


2013 | Report | IST-REx-ID: 5401 | OA
Porsche, J. (2013). Initiatives and projects related to RD. IST Austria.
[Published Version] View | Files available
 

2013 | Technical Report | IST-REx-ID: 5405 | OA
Chatterjee, K., Doyen, L., Gimbert, H., & Oualhadj, Y. (2013). Perfect-information stochastic mean-payoff parity games. IST Austria. https://doi.org/10.15479/AT:IST-2013-128-v1-1
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5409 | OA
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 | Conference Paper | IST-REx-ID: 1376
Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL fragments. In 13th International Conference on Formal Methods in Computer-Aided Design (pp. 18–25). Portland, OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679386
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5406 | OA
Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL Fragments. IST Austria. https://doi.org/10.15479/AT:IST-2013-130-v1-1
[Published Version] View | Files available | DOI
 

2013 | 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. https://doi.org/10.15479/AT:IST-2013-141-v1-1
[Published Version] View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5407 | OA
Porsche, J. (2013). Technical requirements and features. IST Austria.
[Published Version] View | Files available
 

2013 | 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. https://doi.org/10.15479/AT:IST-2013-146-v1-1
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2327 | OA
Henzinger, T. A., & Otop, J. (2013). From model checking to model measuring. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentina: Springer. https://doi.org/10.1007/978-3-642-40184-8_20
[Submitted Version] View | Files available | DOI
 

2013 | 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 | 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 | 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 | 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. Wiley-Blackwell. https://doi.org/10.1038/emboj.2013.36
View | DOI | Download None (ext.)
 

2013 | Journal Article | IST-REx-ID: 6128 | OA
Kodama-Namba, E., Fenk, L. A., Bretscher, A. J., Gross, E., Busch, K. E., & de Bono, M. (2013). Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans. PLoS Genetics. Public Library of Science (PLoS). https://doi.org/10.1371/journal.pgen.1004011
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6130 | OA
Chen, C., Fenk, L. A., & de Bono, M. (2013). Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkt805
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6133 | OA
Couto, A., Oda, S., Nikolaev, V. O., Soltesz, Z., & de Bono, M. (2013). In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.1217428110
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6135
Rodriguez, M., Snoek, L. B., de Bono, M., & Kammenga, J. E. (2013). Worms under stress: C. elegans stress response and its relevance to complex human disease and aging. Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2013.01.010
View | DOI
 

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

2013 | Journal Article | IST-REx-ID: 6370
Lin, T.-C., Cole, J. M., Higginbotham, A. P., Edwards, A. J., Piltz, R. O., Pérez-Moreno, J., … Kwon, O.-P. (2013). 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. American Chemical Society (ACS). https://doi.org/10.1021/jp400648q
View | DOI
 

2013 | Technical Report | IST-REx-ID: 6440 | OA
Henzinger, T. A., Payer, H., & Sezgin, A. (2013). Replacing competition with cooperation to achieve scalable lock-free FIFO queues . IST Austria. https://doi.org/10.15479/AT:IST-2013-124-v1-1
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 6768 | OA
Mondelli, M. (2013). A finite difference scheme for the stack filter simulating the MCM. Image Processing On Line. Image Processing On Line. https://doi.org/10.5201/ipol.2013.53
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2329 | OA
Chatterjee, K., & Velner, Y. (2013). Hyperplane separation technique for multidimensional mean-payoff games. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentinia: Springer. https://doi.org/10.1007/978-3-642-40184-8_35
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 7306
Ottakam Thotiyl, M. M., Freunberger, S. A., Peng, Z., Chen, Y., Liu, Z., & Bruce, P. G. (2013). A stable cathode for the aprotic Li–O2 battery. Nature Materials. Springer Nature. https://doi.org/10.1038/nmat3737
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7307
Chen, Y., Freunberger, S. A., Peng, Z., Fontaine, O., & Bruce, P. G. (2013). Charging a Li–O2 battery using a redox mediator. Nature Chemistry. Springer Nature. https://doi.org/10.1038/nchem.1646
View | DOI
 

2013 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 8030 | OA
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 | Journal Article | IST-REx-ID: 811
Steffen, A., Ladwein, M., Dimchev, G. A., Hein, A., Schwenkmezger, L., Arens, S., … Rottner, K. (2013). Rac function is crucial for cell migration but is not required for spreading and focal adhesion formation. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.118232
View | DOI
 

2013 | Journal Article | IST-REx-ID: 812
Koestler, S., Steffen, A., Nemethova, M., Winterhoff, M., Luo, N., Holleboom, J., … Rottner, K. (2013). Arp2/3 complex is essential for actin network treadmilling as well as for targeting of capping protein and cofilin. Molecular Biology of the Cell. American Society for Biology. https://doi.org/10.1091/mbc.E12-12-0857
View | DOI
 

2013 | 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
 

2013 | Journal Article | IST-REx-ID: 8245 | OA
Petricevic, B., Laengle, J., Singer, J., Sachet, M., Singer, J., Steger, G., … Bergmann, M. (2013). Trastuzumab mediates antibody-dependent cell-mediated cytotoxicity and phagocytosis to the same extent in both adjuvant and metastatic HER2/neu breast cancer patients. Journal of Translational Medicine. Springer Nature. https://doi.org/10.1186/1479-5876-11-307
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 827 | OA
O’Brien, J., & Benková, E. (2013). Cytokinin cross talking during biotic and abiotic stress responses. Frontiers in Plant Science. Frontiers Research Foundation. https://doi.org/10.3389/fpls.2013.00451
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 828 | OA
Cuesta, C., Wabnik, K. T., & Benková, E. (2013). Systems approaches to study root architecture dynamics. Frontiers in Plant Science. Frontiers Research Foundation. https://doi.org/10.3389/fpls.2013.00537
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 830
Galbiati, F., Sinha Roy, D., Simonini, S., Cucinotta, M., Ceccato, L., Cuesta, C., … Colombo, L. (2013). An integrative model of the control of ovule primordia formation. The Plant Journal for Cell and Molecular Biology. Wiley-Blackwell. https://doi.org/10.1111/tpj.12309
View | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 831
Péret B, Middleton A, French A, Larrieu A, Bishopp A, Njo M, Wells D, Porco S, Mellor N, Band L, Casimiro I, Kleine Vehn J, Vanneste S, Sairanen I, Mallet R, Sandberg G, Ljung K, Beeckman T, Benková E, Friml J, Kramer E, King J, De Smet I, Pridmore T, Owen M, Bennett M. 2013. Sequential induction of auxin efflux and influx carriers regulates lateral root emergence. Molecular Systems Biology. 9.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 8461
Haller, J. D., & Schanda, P. (2013). Amplitudes and time scales of picosecond-to-microsecond motion in proteins studied by solid-state NMR: a critical evaluation of experimental approaches and application to crystalline ubiquitin. Journal of Biomolecular NMR. Springer Nature. https://doi.org/10.1007/s10858-013-9787-x
View | DOI
 

2013 | Journal Article | IST-REx-ID: 8462
Rennella, E., Cutuil, T., Schanda, P., Ayala, I., Gabel, F., Forge, V., … Brutscher, B. (2013). Oligomeric states along the folding pathways of β2-microglobulin: Kinetics, thermodynamics, and structure. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2013.04.028
View | DOI
 

2013 | Journal Article | IST-REx-ID: 899
Breen, M., Kemena, C., Vlasov, P., Notredame, C., & Kondrashov, F. (2013). Breen et al. reply. Nature. Nature Publishing Group. https://doi.org/10.1038/nature12220
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9674
Cheng, B., & Ngan, A. H. W. (2013). The crystal structures of sintered copper nanoparticles: A molecular dynamics study. International Journal of Plasticity. Elsevier. https://doi.org/10.1016/j.ijplas.2013.01.006
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9676
Cheng, B., & Ngan, A. H. W. (2013). The sintering and densification behaviour of many copper nanoparticles: A molecular dynamics study. Computational Materials Science. Elsevier. https://doi.org/10.1016/j.commatsci.2013.03.014
View | DOI
 

2013 | Journal Article | IST-REx-ID: 971 | OA
Serbyn, M., & Skvortsov, M. (2013). Onset of superconductivity in a voltage-biased normal-superconducting-normal microbridge. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.87.020501
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 972 | OA
Okada, Y., Serbyn, M., Lin, H., Walkup, D., Zhou, W., Dhital, C., … Madhavan, V. (2013). Observation of dirac node formation and mass acquisition in a topological crystalline insulator. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1239451
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 975 | OA
Serbyn, M., Papić, Z., & Abanin, D. (2013). Universal slow growth of entanglement in interacting strongly disordered systems. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.110.260601
View | DOI | Download (ext.)
 

2013 | Research Data Reference | IST-REx-ID: 9749
Zagorsky, B., Reiter, J., Chatterjee, K., & Nowak, M. (2013). Forgiver triumphs in alternating prisoner’s dilemma . Public Library of Science. https://doi.org/10.1371/journal.pone.0080814.s001
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2944
Aeschbacher, S., Futschik, A., & Beaumont, M. (2013). Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. . Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1111/mec.12165
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 894
Derelle, R., Kondrashov, F., Arkhipov, V., Corbel, H., Frantz, A., Gasparini, J., … Baudry, E. (2013). Color differences among feral pigeons (Columba livia) are not attributable to sequence variation in the coding region of the melanocortin-1 receptor gene MC1R. BMC Research Notes. BioMed Central. https://doi.org/10.1186/1756-0500-6-310
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9055
Palacci, J. A., Sacanna, S., Steinberg, A. P., Pine, D. J., & Chaikin, P. M. (2013). Living crystals of light-activated colloidal surfers. Science. American Association for the Advancement of Science . https://doi.org/10.1126/science.1230020
View | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 905 | OA
Arkhipov, V., Noah, T., Koschkar, S., & Kondrashov, F. (2013). Birds of Mys Shmidta, north Chukotka, Russia. Forktail. Oriental Bird Club.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 9153 | OA
Melet, A., Nikurashin, M., Muller, C. J., Falahat, S., Nycander, J., Timko, P. G., … Goff, J. A. (2013). Internal tide generation by abyssal hills using analytical theory. Journal of Geophysical Research: Oceans. American Geophysical Union. https://doi.org/10.1002/2013jc009212
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 9154 | OA
Muller, C. J. (2013). Impact of convective organization on the response of tropical precipitation extremes to warming. Journal of Climate. American Meteorological Society. https://doi.org/10.1175/jcli-d-12-00655.1
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 9167 | OA
Palacci, J. A., Sacanna, S., Vatchinsky, A., Chaikin, P. M., & Pine, D. J. (2013). Photoactivated colloidal dockers for cargo transportation. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja406090s
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2013 | Journal Article | IST-REx-ID: 921
Basan, M., Elgeti, J., Hannezo, E. B., Rappel, W., & Levine, H. (2013). Alignment of cellular motility forces with tissue flow as a mechanism for efficient wound healing. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1219937110
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9459 | OA
Zemach, A., Kim, M. Y., Hsieh, P.-H., Coleman-Derr, D., Eshed-Williams, L., Thao, K., … Zilberman, D. (2013). The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin. Cell. Elsevier. https://doi.org/10.1016/j.cell.2013.02.033
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 9481 | OA
Rodrigues, J. A., Ruan, R., Nishimura, T., Sharma, M. K., Sharma, R., Ronald, P. C., … Zilberman, D. (2013). Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1306164110
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 9663 | OA
Cheng, B., & Ngan, A. H. W. (2013). Thermally induced solid-solid structural transition of copper nanoparticles through direct geometrical conversion. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/1.4802025
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 9682
Cheng, B., & Ngan, A. H. W. (2013). Crystal plasticity of Cu nanocrystals during collision. Materials Science and Engineering: A. Elsevier. https://doi.org/10.1016/j.msea.2013.07.065
View | DOI
 

2013 | Journal Article | IST-REx-ID: 970 | OA
Serbyn, M., & Abanin, D. (2013). New Dirac points and multiple Landau level crossings in biased trilayer graphene. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.87.115422
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 973 | OA
Serbyn, M., Papić, Z., & Abanin, D. (2013). Local conservation laws and the structure of the many body localized states. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.111.127201
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 974 | OA
Serbyn, M., Senthil, T., & Lee, P. (2013). Overscreened Kondo fixed point in S=1 spin liquid. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.88.024419
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2284 | OA
Tragust, S., Ugelvig, L. V., Chapuisat, M., Heinze, J., & Cremer, S. (2013). Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. BMC Evolutionary Biology. BioMed Central. https://doi.org/10.1186/1471-2148-13-225
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2277 | OA
Simmons, K., Prentice, J., Tkačik, G., Homann, J., Yee, H., Palmer, S., … Balasubramanian, V. (2013). Transformation of stimulus correlations by the retina. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1003344
[Published Version] View | Files available | DOI
 

2013 | Research Data Reference | IST-REx-ID: 9754 | OA
Hearn, J., Stone, G., Barton, N. H., Lohse, K., & Bunnefeld, L. (2013). Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies. Dryad. https://doi.org/10.5061/dryad.r3r60
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 976 | OA
Serbyn, M., & Lee, P. (2013). Spinon-phonon interaction in algebraic spin liquids. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.87.174424
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 12638 | OA
Lutz, A. F., Immerzeel, W. W., Gobiet, A., Pellicciotti, F., & Bierkens, M. F. P. (2013). Comparison of climate change signals in CMIP3 and CMIP5 multi-model ensembles and implications for Central Asian glaciers. Hydrology and Earth System Sciences. Copernicus GmbH. https://doi.org/10.5194/hess-17-3661-2013
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 12639 | OA
Ragettli, S., Pellicciotti, F., Bordoy, R., & Immerzeel, W. W. (2013). Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change. Water Resources Research. American Geophysical Union. https://doi.org/10.1002/wrcr.20450
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 12633
Ragettli, S., Cortés, G., McPhee, J., & Pellicciotti, F. (2013). An evaluation of approaches for modelling hydrological processes in high-elevation, glacierized Andean watersheds. Hydrological Processes. Wiley. https://doi.org/10.1002/hyp.10055
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9520 | OA
Feng, X., Zilberman, D., & Dickinson, H. (2013). A conversation across generations: Soma-germ cell crosstalk in plants. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2013.01.014
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 13405
Ely, T., Das, S., Li, W., Kundu, P., Tirosh, E., Cahen, D., … Klajn, R. (2013). Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol. Synlett. Georg Thieme Verlag. https://doi.org/10.1055/s-0033-1340087
View | DOI
 

2013 | Journal Article | IST-REx-ID: 13406
Das, S., Ranjan, P., Maiti, P. S., Singh, G., Leitus, G., & Klajn, R. (2013). Dual-responsive nanoparticles and their self-assembly. Advanced Materials. Wiley. https://doi.org/10.1002/adma.201201734
View | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2914 | OA
Stephens, G., Mora, T., Tkačik, G., & Bialek, W. (2013). Statistical thermodynamics of natural images. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.110.018701
[Published Version] View | Files available | DOI | arXiv
 

2013 | Book Chapter | IST-REx-ID: 10900
Weber, M., & Sixt, M. K. (2013). Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations. In A. Cardona & E. Ubogu (Eds.), Chemokines (Vol. 1013, pp. 215–226). Totowa, NJ: Humana Press. https://doi.org/10.1007/978-1-62703-426-5_14
View | DOI | PubMed | Europe PMC
 

2013 | Book Chapter | IST-REx-ID: 5747 | OA
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 | Conference Paper | IST-REx-ID: 10902
Chatterjee, K., Chaubal, S., & Rubin, S. (2013). How to travel between languages. In 7th International Conference on Language and Automata Theory and Applications (Vol. 7810, pp. 214–225). Berlin, Heidelberg: Springer Nature. https://doi.org/10.1007/978-3-642-37064-9_20
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 10897
Edelsbrunner, H. (2013). Persistent homology in image processing. In Graph-Based Representations in Pattern Recognition (Vol. 7877, pp. 182–183). Berlin, Heidelberg: Springer Nature. https://doi.org/10.1007/978-3-642-38221-5_19
View | DOI
 

2013 | Thesis | IST-REx-ID: 1405 | OA
Zufferey, D. (2013). Analysis of dynamic message passing programs. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:1405
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2847 | OA
Bansal, K., Koskinen, E., Wies, T., & Zufferey, D. (2013). Structural Counter Abstraction. (N. Piterman & S. Smolka, Eds.). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy: Springer. https://doi.org/10.1007/978-3-642-36742-7_5
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Thesis | IST-REx-ID: 1406
Campinho, P. (2013). Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.
View
 

2013 | Journal Article | IST-REx-ID: 2247 | OA
Zagorsky, B., Reiter, J., Chatterjee, K., & Nowak, M. (2013). Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0080814
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2858 | OA
Reiter, J., Božić, I., Allen, B., Chatterjee, K., & Nowak, M. (2013). The effect of one additional driver mutation on tumor progression. Evolutionary Applications. Wiley-Blackwell. https://doi.org/10.1111/eva.12020
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2816 | OA
Božić, I., Reiter, J., Allen, B., Antal, T., Chatterjee, K., Shah, P., … Nowak, M. (2013). Evolutionary dynamics of cancer in response to targeted combination therapy. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.00747
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2000 | OA
Reiter, J., Božić, I., Chatterjee, K., & Nowak, M. (2013). TTP: Tool for tumor progression. In Proceedings of 25th Int. Conf. on Computer Aided Verification (Vol. 8044, pp. 101–106). St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_6
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2445 | OA
Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., & Tarrach, T. (2013). Efficient synthesis for concurrency by semantics-preserving transformations (Vol. 8044, pp. 951–967). Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_68
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2926
Tragust, S., Mitteregger, B., Barone, V., Konrad, M., Ugelvig, L. V., & Cremer, S. (2013). Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2012.11.034
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2305 | OA
Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2013). Trading performance for stability in Markov decision processes. In 28th Annual ACM/IEEE Symposium (pp. 331–340). New Orleans, LA, United States: IEEE. https://doi.org/10.1109/LICS.2013.39
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2820
Chatterjee, K., Kößler, A., & Schmid, U. (2013). Automated analysis of real-time scheduling using graph games. In Proceedings of the 16th International conference on Hybrid systems: Computation and control (pp. 163–172). Philadelphia, PA, United States: ACM. https://doi.org/10.1145/2461328.2461356
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2272 | OA
Takhanov, R., & Kolmogorov, V. (2013). Inference algorithms for pattern-based CRFs on sequence data. In ICML’13 Proceedings of the 30th International Conference on International (Vol. 28, pp. 145–153). Atlanta, GA, USA: ML Research Press.
[Submitted Version] View | Files available | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2448 | OA
Remy, E., Baster, P., Friml, J., & Duque, P. (2013). ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior. Taylor & Francis. https://doi.org/10.4161/psb.25688
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2853 | OA
Refardt, D., Bergmiller, T., & Kümmerli, R. (2013). Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society. https://doi.org/10.1098/rspb.2012.3035
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Research Data Reference | IST-REx-ID: 9751 | OA
Refardt, D., Bergmiller, T., & Kümmerli, R. (2013). Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection. Dryad. https://doi.org/10.5061/dryad.b1q2n
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | 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 | Report | IST-REx-ID: 2274 | OA
Dziembowski, S., Faust, S., Kolmogorov, V., & Pietrzak, K. Z. (2013). Proofs of Space. IST Austria.
[Published Version] View | Files available
 

2013 | Journal Article | IST-REx-ID: 15162
Woehrmann, M. H., Bray, W. M., Durbin, J. K., Nisam, S. C., Michael, A. K., Glassey, E., … Lokey, R. S. (2013). Large-scale cytological profiling for functional analysis of bioactive compounds. Molecular BioSystems. Royal Society of Chemistry. https://doi.org/10.1039/c3mb70245f
View | DOI
 

2012 | Journal Article | IST-REx-ID: 10387 | OA
Šarić, A., & Cacciuto, A. (2012). Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.109.188101
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Journal Article | IST-REx-ID: 10388 | OA
Šarić, A., & Cacciuto, A. (2012). Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.108.118101
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

Search

Filter Publications