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.

8978 Publications


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
 

2013 | Conference Paper | IST-REx-ID: 2820
K. Chatterjee, A. Kößler, and U. Schmid, “Automated analysis of real-time scheduling using graph games,” in Proceedings of the 16th International conference on Hybrid systems: Computation and control, Philadelphia, PA, United States, 2013, pp. 163–172.
View | Files available | DOI
 

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

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

2013 | Journal Article | IST-REx-ID: 2853 | OA
D. Refardt, T. Bergmiller, and R. Kümmerli, “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, vol. 280, no. 1759. The Royal Society, 2013.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

2013 | Journal Article | IST-REx-ID: 7785
W. J. Joo, L. B. Sweeney, L. Liang, and L. Luo, “Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting,” Neuron, vol. 78, no. 4. Elsevier, pp. 673–686, 2013.
View | DOI
 

2013 | Report | IST-REx-ID: 2274 | OA
S. Dziembowski, S. Faust, V. Kolmogorov, and K. Z. Pietrzak, Proofs of Space. IST Austria, 2013.
[Published Version] View | Files available
 

2013 | Journal Article | IST-REx-ID: 15162
M. H. Woehrmann et al., “Large-scale cytological profiling for functional analysis of bioactive compounds,” Molecular BioSystems, vol. 9, no. 11. Royal Society of Chemistry, 2013.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 10387 | OA
A. Šarić and A. Cacciuto, “Mechanism of membrane tube formation induced by adhesive nanocomponents,” Physical Review Letters, vol. 109, no. 18. American Physical Society, 2012.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Journal Article | IST-REx-ID: 10388 | OA
A. Šarić and A. Cacciuto, “Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles,” Physical Review Letters, vol. 108, no. 11. American Physical Society, 2012.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Journal Article | IST-REx-ID: 1055
B. Erne, M. Graff, W. Klemm, J. G. Danzl, and G. Leschber, “Bulla in the lung,” The Lancet, vol. 380, no. 9849. Elsevier, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1056 | OA
M. Mark et al., “Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions,” Physical Review Letters, vol. 108, no. 21. American Physical Society, 2012.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 10750 | OA
H. Polshyn and R. Budakian, “Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc,” in APS March Meeting 2012, Boston, MA, United States, 2012, vol. 57, no. 1.
[Published Version] View | Download Published Version (ext.)
 

2012 | Book Chapter | IST-REx-ID: 10896
S. zur Nedden, A. S. Doney, and B. G. Frenguelli, “The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books,” in Adenosine, 1st ed., S. Masino and D. Boison, Eds. New York: Springer, 2012, pp. 109–129.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 11089
J. S. Gomez-Cavazos and M. Hetzer, “Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins,” Current Opinion in Cell Biology, vol. 24, no. 6. Elsevier, pp. 775–783, 2012.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11091
J. D. Vargas, E. M. Hatch, D. J. Anderson, and M. Hetzer, “Transient nuclear envelope rupturing during interphase in human cancer cells,” Nucleus, vol. 3, no. 1. Taylor & Francis, pp. 88–100, 2012.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11093 | OA
M. A. D’Angelo, J. S. Gomez-Cavazos, A. Mei, D. H. Lackner, and M. Hetzer, “A change in nuclear pore complex composition regulates cell differentiation,” Developmental Cell, vol. 22, no. 2. Elsevier, pp. 446–458, 2012.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11092
J. N. Savas, B. H. Toyama, T. Xu, J. R. Yates, and M. Hetzer, “Extremely long-lived nuclear pore proteins in the rat brain,” Science, vol. 335, no. 6071. American Association for the Advancement of Science, pp. 942–942, 2012.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11090 | OA
E. M. Hatch and M. Hetzer, “RNP export by nuclear envelope budding,” Cell, vol. 149, no. 4. Elsevier, pp. 733–735, 2012.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 113
S. R. Waitukaitis and H. Jaeger, “Impact-activated solidification of dense suspensions via dynamic jamming fronts,” Nature, vol. 487, no. 7406. Nature Publishing Group, pp. 205–209, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 114 | OA
S. R. Waitukaitis and H. Jaeger, “Solidification of a cornstarch and water suspension,” Revista Cubana de Fisica, vol. 29, no. 1E. Universidad de La Habana, p. 1E31-1E33, 2012.
[Published Version] View | Files available
 

2012 | Conference Paper | IST-REx-ID: 11656
P. Dütting, M. H. Henzinger, and I. Weber, “Maximizing revenue from strategic recommendations under decaying trust,” in Proceedings of the 21st ACM international conference on Information and knowledge management, Maui, HI, United States, 2012, pp. 2268–2286.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 11751
K. C. Lukas, G. Joshi, K. A. Modic, Z. F. Ren, and C. P. Opeil, “Thermoelectric properties of Ho-doped Bi0.88Sb0.12,” Journal of Materials Science, vol. 47, no. 15. Springer Nature, pp. 5729–5734, 2012.
[Preprint] View | DOI | arXiv
 

2012 | Conference Paper | IST-REx-ID: 11794 | OA
P. Dütting, M. H. Henzinger, and M. Starnberger, “Auctions with heterogeneous items and budget limits,” in 8th International Workshop on Internet and Network Economics, Liverpool, United Kingdom, 2012, vol. 7695, pp. 44–57.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 11795
R. Colini-Baldeschi, M. H. Henzinger, S. Leonardi, and M. Starnberger, “On multiple keyword sponsored search auctions with budgets,” in 39th International Colloquium on Automata, Languages, and Programming, Warwick, United Kingdom, 2012, vol. 7392, pp. 1–12.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 11964
B. Pieber, D. Cantillo, and C. O. Kappe, “Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry,” Chemistry – A European Journal, vol. 18, no. 16. Wiley, pp. 5047–5055, 2012.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11963
G. S. Kumar, B. Pieber, K. R. Reddy, and C. O. Kappe, “Copper-catalyzed formation of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats,” Chemistry - A European Journal, vol. 18, no. 20. Wiley, pp. 6124–6128, 2012.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 12644 | OA
S. Ragettli and F. Pellicciotti, “Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters,” Water Resources Research, vol. 48, no. 3. American Geophysical Union, 2012.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 12646 | OA
F. Pellicciotti, C. Buergi, W. W. Immerzeel, M. Konz, and A. B. Shrestha, “Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies,” Mountain Research and Development, vol. 32, no. 1. International Mountain Society, pp. 39–50, 2012.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 12647 | OA
W. W. Immerzeel, F. Pellicciotti, and A. B. Shrestha, “Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin,” Mountain Research and Development, vol. 32, no. 1. International Mountain Society, pp. 30–38, 2012.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 12648 | OA
T. D. Reid, M. Carenzo, F. Pellicciotti, and B. W. Brock, “Including debris cover effects in a distributed model of glacier ablation,” Journal of Geophysical Research: Atmospheres, vol. 117, no. D18. American Geophysical Union, 2012.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 1384 | OA
D. Beyer, T. A. Henzinger, M. Keremoglu, and P. Wendler, “Conditional model checking: A technique to pass information between verifiers,” in Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, Cary, NC, USA, 2012.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 1472 | OA
M. De Cataldo, T. Hausel, and L. Migliorini, “Topology of hitchin systems and Hodge theory of character varieties: The case A 1,” Annals of Mathematics, vol. 175, no. 3. Princeton University Press, pp. 1329–1407, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1471 | OA
T. Hausel and C. Pauly, “Prym varieties of spectral covers,” Geometry and Topology, vol. 16, no. 3. University of Warwick, pp. 1609–1638, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 171 | OA
T. D. Browning and S. Baier, “Inhomogeneous cubic congruences and rational points on del Pezzo surfaces,” Journal fur die Reine und Angewandte Mathematik, vol. 2013, no. 680. Walter de Gruyter, pp. 1–65, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1725
A. Kicheva, M. Cohen, and J. Briscoe, “Developmental pattern formation: Insights from physics and biology,” Science, vol. 338, no. 6104. American Association for the Advancement of Science, pp. 210–212, 2012.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1757 | OA
J. Zhang et al., “Monolithic growth of ultrathin Ge nanowires on Si(001) ,” Physical Review Letters, vol. 109, no. 8. American Physical Society, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1758 | OA
E. Lee, X. Jiang, R. Aguado, G. Katsaros, C. Lieber, and S. De Franceschi, “Zero-bias anomaly in a nanowire quantum dot coupled to superconductors,” Physical Review Letters, vol. 109, no. 18. American Physical Society, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1756 | OA
M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, and S. De Franceschi, “Multifunctional devices and logic gates with undoped silicon nanowires,” Nano Letters, vol. 12, no. 6. American Chemical Society, pp. 3074–3079, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1783 | OA
J. Mlynek et al., “Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 5. American Physical Society, 2012.
View | DOI | Download (ext.)
 

Search

Filter Publications