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.

9078 Publications


2013 | Journal Article | IST-REx-ID: 522
E. Fuertbauer et al., “Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells,” Immunology Letters, vol. 154, no. 1–2. Elsevier, pp. 31–41, 2013.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2279 | OA
K. Chatterjee, L. Doyen, M. Randour, and J. Raskin, “Looking at mean-payoff and total-payoff through windows,” vol. 8172. Springer, pp. 118–132, 2013.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2013 | Journal Article | IST-REx-ID: 528
H. Robert et al., “Local auxin sources orient the apical basal axis in arabidopsis embryos,” Current Biology, vol. 23, no. 24. Cell Press, pp. 2506–2512, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 527
K. T. Wabnik, H. Robert, R. Smith, and J. Friml, “Modeling framework for the establishment of the apical-basal embryonic axis in plants,” Current Biology, vol. 23, no. 24. Cell Press, pp. 2513–2518, 2013.
View | DOI
 

2013 | Technical Report | IST-REx-ID: 5399 | OA
J. Reiter, I. Bozic, K. Chatterjee, and M. Nowak, TTP: Tool for Tumor Progression. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2295 | OA
K. Chatterjee, M. Chmelik, and M. Tracol, “What is decidable about partially observable Markov decision processes with omega-regular objectives,” vol. 23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 165–180, 2013.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5403 | OA
K. Chatterjee and R. Ibsen-Jensen, Qualitative analysis of concurrent mean-payoff games. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5402 | OA
T. A. Henzinger and A. Sezgin, How free is your linearizable concurrent data structure? IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5400 | OA
K. Chatterjee, M. Chmelik, and M. Tracol, What is decidable about partially observable Markov decision processes with ω-regular objectives. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5404 | OA
K. Chatterjee and R. Ibsen-Jensen, The complexity of ergodic games. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

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

2013 | Technical Report | IST-REx-ID: 5405 | OA
K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, Perfect-information stochastic mean-payoff parity games. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

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

2013 | Conference Paper | IST-REx-ID: 1376
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, “Distributed synthesis for LTL fragments,” in 13th International Conference on Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 18–25.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5406 | OA
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, Distributed synthesis for LTL Fragments. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

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

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

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
 

2013 | Journal Article | IST-REx-ID: 7745
M. R. Robinson, A. W. Santure, I. DeCauwer, B. C. Sheldon, and J. Slate, “Partitioning of genetic variation across the genome using multimarker methods in a wild bird population,” Molecular Ecology, vol. 22, no. 15. Wiley, pp. 3963–3980, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7746
A. W. Santure, I. De Cauwer, M. R. Robinson, J. Poissant, B. C. Sheldon, and J. Slate, “Genomic dissection of variation in clutch size and egg mass in a wild great tit (Parus major) population,” Molecular Ecology, vol. 22, no. 15. Wiley, pp. 3949–3962, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7747
M. R. Robinson and A. P. Beckerman, “Quantifying multivariate plasticity: Genetic variation in resource acquisition drives plasticity in resource allocation to components of life history,” Ecology Letters, vol. 16, no. 3. Wiley, pp. 281–290, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7775
S. S. Schoenholz, C. P. Goodrich, O. Kogan, A. J. Liu, and S. R. Nagel, “Stability of jammed packings II: The transverse length scale,” Soft Matter, vol. 9, no. 46. Royal Society of Chemistry, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7774
C. P. Goodrich, W. G. Ellenbroek, and A. J. Liu, “Stability of jammed packings I: The rigidity length scale,” Soft Matter, vol. 9, no. 46. Royal Society of Chemistry, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 8030 | OA
T. P. Vogels et al., “Inhibitory synaptic plasticity: Spike timing-dependence and putative network function,” Frontiers in Neural Circuits, vol. 7. Frontiers Media, 2013.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 811
A. Steffen et al., “Rac function is crucial for cell migration but is not required for spreading and focal adhesion formation,” Journal of Cell Science, vol. 126, no. 20. Company of Biologists, pp. 4572–4588, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 812
S. Koestler et al., “Arp2/3 complex is essential for actin network treadmilling as well as for targeting of capping protein and cofilin,” Molecular Biology of the Cell, vol. 24, no. 18. American Society for Biology, pp. 2861–2875, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 810
F. K. Schur, W. Hagen, A. De Marco, and J. Briggs, “Determination of protein structure at 8.5Å resolution using cryo-electron tomography and sub-tomogram averaging,” Journal of Structural Biology, vol. 184, no. 3. Academic Press, pp. 394–400, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 8245 | OA
B. Petricevic et al., “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, vol. 11. Springer Nature, 2013.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 827 | OA
J. O’Brien and E. Benková, “Cytokinin cross talking during biotic and abiotic stress responses,” Frontiers in Plant Science, vol. 4. Frontiers Research Foundation, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 828 | OA
C. Cuesta, K. T. Wabnik, and E. Benková, “Systems approaches to study root architecture dynamics,” Frontiers in Plant Science, vol. 4. Frontiers Research Foundation, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 830
F. Galbiati et al., “An integrative model of the control of ovule primordia formation,” The Plant journal for cell and molecular biology, vol. 76, no. 3. Wiley-Blackwell, pp. 446–455, 2013.
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
J. D. Haller and P. Schanda, “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, vol. 57, no. 3. Springer Nature, pp. 263–280, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 8462
E. Rennella et al., “Oligomeric states along the folding pathways of β2-microglobulin: Kinetics, thermodynamics, and structure,” Journal of Molecular Biology, vol. 425, no. 15. Elsevier, pp. 2722–2736, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 899
M. Breen, C. Kemena, P. Vlasov, C. Notredame, and F. Kondrashov, “Breen et al. reply,” Nature, vol. 497, no. 7451. Nature Publishing Group, pp. E2–E3, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9674
B. Cheng and A. H. W. Ngan, “The crystal structures of sintered copper nanoparticles: A molecular dynamics study,” International Journal of Plasticity, vol. 47. Elsevier, pp. 65–79, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9676
B. Cheng and A. H. W. Ngan, “The sintering and densification behaviour of many copper nanoparticles: A molecular dynamics study,” Computational Materials Science, vol. 74. Elsevier, pp. 1–11, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 971 | OA
M. Serbyn and M. Skvortsov, “Onset of superconductivity in a voltage-biased normal-superconducting-normal microbridge,” Physical Review B - Condensed Matter and Materials Physics, vol. 87, no. 2. American Physical Society, 2013.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 972 | OA
Y. Okada et al., “Observation of dirac node formation and mass acquisition in a topological crystalline insulator,” Science, vol. 341, no. 6153. American Association for the Advancement of Science, pp. 1496–1499, 2013.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 975 | OA
M. Serbyn, Z. Papić, and D. Abanin, “Universal slow growth of entanglement in interacting strongly disordered systems,” Physical Review Letters, vol. 110, no. 26. American Physical Society, 2013.
View | DOI | Download (ext.)
 

2013 | Research Data Reference | IST-REx-ID: 9749
B. Zagorsky, J. Reiter, K. Chatterjee, and M. Nowak, “Forgiver triumphs in alternating prisoner’s dilemma .” Public Library of Science, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2944
S. Aeschbacher, A. Futschik, and M. Beaumont, “Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. ,” Molecular Ecology, vol. 22, no. 4. Wiley-Blackwell, pp. 987–1002, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 894
R. Derelle et al., “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, vol. 6, no. 1. BioMed Central, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9055
J. A. Palacci, S. Sacanna, A. P. Steinberg, D. J. Pine, and P. M. Chaikin, “Living crystals of light-activated colloidal surfers,” Science, vol. 339, no. 6122. American Association for the Advancement of Science , pp. 936–940, 2013.
View | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 905 | OA
V. Arkhipov, T. Noah, S. Koschkar, and F. Kondrashov, “Birds of Mys Shmidta, north Chukotka, Russia,” Forktail, no. 29. Oriental Bird Club, pp. 25–30, 2013.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 9153 | OA
A. Melet et al., “Internal tide generation by abyssal hills using analytical theory,” Journal of Geophysical Research: Oceans, vol. 118, no. 11. American Geophysical Union, pp. 6303–6318, 2013.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 9154 | OA
C. J. Muller, “Impact of convective organization on the response of tropical precipitation extremes to warming,” Journal of Climate, vol. 26, no. 14. American Meteorological Society, pp. 5028–5043, 2013.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 9167 | OA
J. A. Palacci, S. Sacanna, A. Vatchinsky, P. M. Chaikin, and D. J. Pine, “Photoactivated colloidal dockers for cargo transportation,” Journal of the American Chemical Society, vol. 135, no. 43. American Chemical Society, pp. 15978–15981, 2013.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2013 | Journal Article | IST-REx-ID: 921
M. Basan, J. Elgeti, E. B. Hannezo, W. Rappel, and H. Levine, “Alignment of cellular motility forces with tissue flow as a mechanism for efficient wound healing,” PNAS, vol. 110, no. 7. National Academy of Sciences, pp. 2452–2459, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9459 | OA
A. Zemach et al., “The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin,” Cell, vol. 153, no. 1. Elsevier, pp. 193–205, 2013.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 9481 | OA
J. A. Rodrigues et al., “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, vol. 110, no. 19. National Academy of Sciences, pp. 7934–7939, 2013.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 9663 | OA
B. Cheng and A. H. W. Ngan, “Thermally induced solid-solid structural transition of copper nanoparticles through direct geometrical conversion,” The Journal of Chemical Physics, vol. 138, no. 16. AIP Publishing, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 9682
B. Cheng and A. H. W. Ngan, “Crystal plasticity of Cu nanocrystals during collision,” Materials Science and Engineering: A, vol. 585. Elsevier, pp. 326–334, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 970 | OA
M. Serbyn and D. Abanin, “New Dirac points and multiple Landau level crossings in biased trilayer graphene,” Physical Review B - Condensed Matter and Materials Physics, vol. 87, no. 11. American Physical Society, 2013.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 973 | OA
M. Serbyn, Z. Papić, and D. Abanin, “Local conservation laws and the structure of the many body localized states,” Physical Review Letters, vol. 111, no. 12. American Physical Society, 2013.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 974 | OA
M. Serbyn, T. Senthil, and P. Lee, “Overscreened Kondo fixed point in S=1 spin liquid,” Physical Review B - Condensed Matter and Materials Physics, vol. 88, no. 2. American Physical Society, 2013.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2284 | OA
S. Tragust, L. V. Ugelvig, M. Chapuisat, J. Heinze, and S. Cremer, “Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies,” BMC Evolutionary Biology, vol. 13, no. 1. BioMed Central, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2277 | OA
K. Simmons et al., “Transformation of stimulus correlations by the retina,” PLoS Computational Biology, vol. 9, no. 12. Public Library of Science, 2013.
[Published Version] View | Files available | DOI
 

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

2013 | Journal Article | IST-REx-ID: 976 | OA
M. Serbyn and P. Lee, “Spinon-phonon interaction in algebraic spin liquids,” Physical Review B - Condensed Matter and Materials Physics, vol. 87, no. 17. American Physical Society, 2013.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 12638 | OA
A. F. Lutz, W. W. Immerzeel, A. Gobiet, F. Pellicciotti, and M. F. P. Bierkens, “Comparison of climate change signals in CMIP3 and CMIP5 multi-model ensembles and implications for Central Asian glaciers,” Hydrology and Earth System Sciences, vol. 17, no. 9. Copernicus GmbH, pp. 3661–3677, 2013.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 12639 | OA
S. Ragettli, F. Pellicciotti, R. Bordoy, and W. W. Immerzeel, “Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change,” Water Resources Research, vol. 49, no. 9. American Geophysical Union, pp. 6048–6066, 2013.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 12633
S. Ragettli, G. Cortés, J. McPhee, and F. Pellicciotti, “An evaluation of approaches for modelling hydrological processes in high-elevation, glacierized Andean watersheds,” Hydrological Processes, vol. 28, no. 23. Wiley, pp. 5674–5695, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9520 | OA
X. Feng, D. Zilberman, and H. Dickinson, “A conversation across generations: Soma-germ cell crosstalk in plants,” Developmental Cell, vol. 24, no. 3. Elsevier, pp. 215–225, 2013.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 13405
T. Ely et al., “Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol,” Synlett, vol. 24, no. 18. Georg Thieme Verlag, pp. 2370–2374, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 13406
S. Das, P. Ranjan, P. S. Maiti, G. Singh, G. Leitus, and R. Klajn, “Dual-responsive nanoparticles and their self-assembly,” Advanced Materials, vol. 25, no. 3. Wiley, pp. 422–426, 2013.
View | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2914 | OA
G. Stephens, T. Mora, G. Tkačik, and W. Bialek, “Statistical thermodynamics of natural images,” Physical Review Letters, vol. 110, no. 1. American Physical Society, 2013.
[Published Version] View | Files available | DOI | arXiv
 

2013 | Book Chapter | IST-REx-ID: 10900
M. Weber and M. K. Sixt, “Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations,” in Chemokines, vol. 1013, A. Cardona and E. Ubogu, Eds. Totowa, NJ: Humana Press, 2013, pp. 215–226.
View | DOI | PubMed | Europe PMC
 

2013 | Book Chapter | IST-REx-ID: 5747 | OA
C. Dragoi, A. Gupta, and T. A. Henzinger, “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates,” in Computer Aided Verification, vol. 8044, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 174–190.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 10902
K. Chatterjee, S. Chaubal, and S. Rubin, “How to travel between languages,” in 7th International Conference on Language and Automata Theory and Applications, Bilbao, Spain, 2013, vol. 7810, pp. 214–225.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 10897
H. Edelsbrunner, “Persistent homology in image processing,” in Graph-Based Representations in Pattern Recognition, Vienna, Austria, 2013, vol. 7877, pp. 182–183.
View | DOI
 

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

2013 | Conference Paper | IST-REx-ID: 2847 | OA
K. Bansal, E. Koskinen, T. Wies, and D. Zufferey, “Structural Counter Abstraction,” vol. 7795. Springer, pp. 62–77, 2013.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

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

2013 | Journal Article | IST-REx-ID: 2247 | OA
B. Zagorsky, J. Reiter, K. Chatterjee, and M. Nowak, “Forgiver triumphs in alternating prisoner’s dilemma ,” PLoS One, vol. 8, no. 12. Public Library of Science, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2858 | OA
J. Reiter, I. Božić, B. Allen, K. Chatterjee, and M. Nowak, “The effect of one additional driver mutation on tumor progression,” Evolutionary Applications, vol. 6, no. 1. Wiley-Blackwell, pp. 34–45, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2816 | OA
I. Božić et al., “Evolutionary dynamics of cancer in response to targeted combination therapy,” eLife, vol. 2. eLife Sciences Publications, 2013.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2000 | OA
J. Reiter, I. Božić, K. Chatterjee, and M. Nowak, “TTP: Tool for tumor progression,” in Proceedings of 25th Int. Conf. on Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044, pp. 101–106.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2445 | OA
P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Efficient synthesis for concurrency by semantics-preserving transformations,” presented at the CAV: Computer Aided Verification, St. Petersburg, Russia, 2013, vol. 8044, pp. 951–967.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2926
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L. V. Ugelvig, and S. Cremer, “Ants disinfect fungus-exposed brood by oral uptake and spread of their poison,” Current Biology, vol. 23, no. 1. Cell Press, pp. 76–82, 2013.
View | Files available | DOI
 

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

Search

Filter Publications