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 | Conference Paper | IST-REx-ID: 2445 |
Efficient synthesis for concurrency by semantics-preserving transformations
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2013, pp. 951–967.
2013 | Journal Article | IST-REx-ID: 2926
Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, Current Biology 23 (2013) 76–82.
View
| Files available
| DOI
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, Current Biology 23 (2013) 76–82.
2013 | Conference Paper | IST-REx-ID: 2305 |
Trading performance for stability in Markov decision processes
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, in:, 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–340.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, in:, 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–340.
2013 | Conference Paper | IST-REx-ID: 2820
Automated analysis of real-time scheduling using graph games
K. Chatterjee, A. Kößler, U. Schmid, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, ACM, 2013, pp. 163–172.
View
| Files available
| DOI
K. Chatterjee, A. Kößler, U. Schmid, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, ACM, 2013, pp. 163–172.
2013 | Conference Paper | IST-REx-ID: 2272 |
Inference algorithms for pattern-based CRFs on sequence data
R. Takhanov, V. Kolmogorov, in:, ICML’13 Proceedings of the 30th International Conference on International, ML Research Press, 2013, pp. 145–153.
[Submitted Version]
View
| Files available
| Download Submitted Version (ext.)
R. Takhanov, V. Kolmogorov, in:, ICML’13 Proceedings of the 30th International Conference on International, ML Research Press, 2013, pp. 145–153.
2013 | Journal Article | IST-REx-ID: 2448 |
ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip
E. Remy, P. Baster, J. Friml, P. Duque, Plant Signaling & Behavior 8 (2013).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
E. Remy, P. Baster, J. Friml, P. Duque, Plant Signaling & Behavior 8 (2013).
2013 | Journal Article | IST-REx-ID: 2853 |
Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection
D. Refardt, T. Bergmiller, R. Kümmerli, Proceedings of the Royal Society of London Series B Biological Sciences 280 (2013).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
D. Refardt, T. Bergmiller, R. Kümmerli, Proceedings of the Royal Society of London Series B Biological Sciences 280 (2013).
2013 | Research Data Reference | IST-REx-ID: 9751 |
Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection
D. Refardt, T. Bergmiller, R. Kümmerli, (2013).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
D. Refardt, T. Bergmiller, R. Kümmerli, (2013).
2013 | Journal Article | IST-REx-ID: 7785
Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting
W.J. Joo, L.B. Sweeney, L. Liang, L. Luo, Neuron 78 (2013) 673–686.
View
| DOI
W.J. Joo, L.B. Sweeney, L. Liang, L. Luo, Neuron 78 (2013) 673–686.
2013 | Report | IST-REx-ID: 2274 |
Proofs of Space
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, Proofs of Space, IST Austria, 2013.
[Published Version]
View
| Files available
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, Proofs of Space, IST Austria, 2013.
2013 | Journal Article | IST-REx-ID: 15162
Large-scale cytological profiling for functional analysis of bioactive compounds
M.H. Woehrmann, W.M. Bray, J.K. Durbin, S.C. Nisam, A.K. Michael, E. Glassey, J.M. Stuart, R.S. Lokey, Molecular BioSystems 9 (2013).
View
| DOI
M.H. Woehrmann, W.M. Bray, J.K. Durbin, S.C. Nisam, A.K. Michael, E. Glassey, J.M. Stuart, R.S. Lokey, Molecular BioSystems 9 (2013).
2012 | Journal Article | IST-REx-ID: 10387 |
Mechanism of membrane tube formation induced by adhesive nanocomponents
A. Šarić, A. Cacciuto, Physical Review Letters 109 (2012).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
A. Šarić, A. Cacciuto, Physical Review Letters 109 (2012).
2012 | Journal Article | IST-REx-ID: 10388 |
Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles
A. Šarić, A. Cacciuto, Physical Review Letters 108 (2012).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
A. Šarić, A. Cacciuto, Physical Review Letters 108 (2012).
2012 | Journal Article | IST-REx-ID: 1055
Bulla in the lung
B. Erne, M. Graff, W. Klemm, J.G. Danzl, G. Leschber, The Lancet 380 (2012).
View
| DOI
B. Erne, M. Graff, W. Klemm, J.G. Danzl, G. Leschber, The Lancet 380 (2012).
2012 | Journal Article | IST-REx-ID: 1056 |
Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions
M. Mark, E. Haller, K. Lauber, J.G. Danzl, A. Janisch, H. Büchler, A. Daley, H. Nägerl, Physical Review Letters 108 (2012).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Mark, E. Haller, K. Lauber, J.G. Danzl, A. Janisch, H. Büchler, A. Daley, H. Nägerl, Physical Review Letters 108 (2012).
2012 | Conference Paper | IST-REx-ID: 10750 |
Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc
H. Polshyn, R. Budakian, in:, APS March Meeting 2012, American Physical Society, 2012.
[Published Version]
View
| Download Published Version (ext.)
H. Polshyn, R. Budakian, in:, APS March Meeting 2012, American Physical Society, 2012.
2012 | Book Chapter | IST-REx-ID: 10896
The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books
S. zur Nedden, A.S. Doney, B.G. Frenguelli, in:, S. Masino, D. Boison (Eds.), Adenosine, 1st ed., Springer, New York, 2012, pp. 109–129.
View
| DOI
S. zur Nedden, A.S. Doney, B.G. Frenguelli, in:, S. Masino, D. Boison (Eds.), Adenosine, 1st ed., Springer, New York, 2012, pp. 109–129.
2012 | Journal Article | IST-REx-ID: 11089
Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins
J.S. Gomez-Cavazos, M. Hetzer, Current Opinion in Cell Biology 24 (2012) 775–783.
View
| DOI
| PubMed | Europe PMC
J.S. Gomez-Cavazos, M. Hetzer, Current Opinion in Cell Biology 24 (2012) 775–783.
2012 | Journal Article | IST-REx-ID: 11091
Transient nuclear envelope rupturing during interphase in human cancer cells
J.D. Vargas, E.M. Hatch, D.J. Anderson, M. Hetzer, Nucleus 3 (2012) 88–100.
View
| DOI
| PubMed | Europe PMC
J.D. Vargas, E.M. Hatch, D.J. Anderson, M. Hetzer, Nucleus 3 (2012) 88–100.
2012 | Journal Article | IST-REx-ID: 11093 |
A change in nuclear pore complex composition regulates cell differentiation
M.A. D’Angelo, J.S. Gomez-Cavazos, A. Mei, D.H. Lackner, M. Hetzer, Developmental Cell 22 (2012) 446–458.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M.A. D’Angelo, J.S. Gomez-Cavazos, A. Mei, D.H. Lackner, M. Hetzer, Developmental Cell 22 (2012) 446–458.
2012 | Journal Article | IST-REx-ID: 11092
Extremely long-lived nuclear pore proteins in the rat brain
J.N. Savas, B.H. Toyama, T. Xu, J.R. Yates, M. Hetzer, Science 335 (2012) 942–942.
View
| DOI
| PubMed | Europe PMC
J.N. Savas, B.H. Toyama, T. Xu, J.R. Yates, M. Hetzer, Science 335 (2012) 942–942.
2012 | Journal Article | IST-REx-ID: 11090 |
RNP export by nuclear envelope budding
E.M. Hatch, M. Hetzer, Cell 149 (2012) 733–735.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E.M. Hatch, M. Hetzer, Cell 149 (2012) 733–735.
2012 | Journal Article | IST-REx-ID: 113
Impact-activated solidification of dense suspensions via dynamic jamming fronts
S.R. Waitukaitis, H. Jaeger, Nature 487 (2012) 205–209.
View
| DOI
S.R. Waitukaitis, H. Jaeger, Nature 487 (2012) 205–209.
2012 | Journal Article | IST-REx-ID: 114 |
Solidification of a cornstarch and water suspension
S.R. Waitukaitis, H. Jaeger, Revista Cubana de Fisica 29 (2012) 1E31-1E33.
[Published Version]
View
| Files available
S.R. Waitukaitis, H. Jaeger, Revista Cubana de Fisica 29 (2012) 1E31-1E33.
2012 | Conference Paper | IST-REx-ID: 11656
Maximizing revenue from strategic recommendations under decaying trust
P. Dütting, M.H. Henzinger, I. Weber, in:, Proceedings of the 21st ACM International Conference on Information and Knowledge Management, Association for Computing Machinery, 2012, pp. 2268–2286.
View
| DOI
P. Dütting, M.H. Henzinger, I. Weber, in:, Proceedings of the 21st ACM International Conference on Information and Knowledge Management, Association for Computing Machinery, 2012, pp. 2268–2286.
2012 | Journal Article | IST-REx-ID: 11751
Thermoelectric properties of Ho-doped Bi0.88Sb0.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
[Preprint]
View
| DOI
| arXiv
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
2012 | Conference Paper | IST-REx-ID: 11794 |
Auctions with heterogeneous items and budget limits
P. Dütting, M.H. Henzinger, M. Starnberger, in:, 8th International Workshop on Internet and Network Economics, Springer Nature, 2012, pp. 44–57.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
P. Dütting, M.H. Henzinger, M. Starnberger, in:, 8th International Workshop on Internet and Network Economics, Springer Nature, 2012, pp. 44–57.
2012 | Conference Paper | IST-REx-ID: 11795
On multiple keyword sponsored search auctions with budgets
R. Colini-Baldeschi, M.H. Henzinger, S. Leonardi, M. Starnberger, in:, 39th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2012, pp. 1–12.
View
| Files available
| DOI
R. Colini-Baldeschi, M.H. Henzinger, S. Leonardi, M. Starnberger, in:, 39th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2012, pp. 1–12.
2012 | Journal Article | IST-REx-ID: 11964
Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry
B. Pieber, D. Cantillo, C.O. Kappe, Chemistry – A European Journal 18 (2012) 5047–5055.
View
| DOI
| PubMed | Europe PMC
B. Pieber, D. Cantillo, C.O. Kappe, Chemistry – A European Journal 18 (2012) 5047–5055.
2012 | Journal Article | IST-REx-ID: 11963
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
G.S. Kumar, B. Pieber, K.R. Reddy, C.O. Kappe, Chemistry - A European Journal 18 (2012) 6124–6128.
View
| DOI
| PubMed | Europe PMC
G.S. Kumar, B. Pieber, K.R. Reddy, C.O. Kappe, Chemistry - A European Journal 18 (2012) 6124–6128.
2012 | Journal Article | IST-REx-ID: 12644 |
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
S. Ragettli, F. Pellicciotti, Water Resources Research 48 (2012).
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Ragettli, F. Pellicciotti, Water Resources Research 48 (2012).
2012 | Journal Article | IST-REx-ID: 12646 |
Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies
F. Pellicciotti, C. Buergi, W.W. Immerzeel, M. Konz, A.B. Shrestha, Mountain Research and Development 32 (2012) 39–50.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Pellicciotti, C. Buergi, W.W. Immerzeel, M. Konz, A.B. Shrestha, Mountain Research and Development 32 (2012) 39–50.
2012 | Journal Article | IST-REx-ID: 12647 |
Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin
W.W. Immerzeel, F. Pellicciotti, A.B. Shrestha, Mountain Research and Development 32 (2012) 30–38.
[Published Version]
View
| DOI
| Download Published Version (ext.)
W.W. Immerzeel, F. Pellicciotti, A.B. Shrestha, Mountain Research and Development 32 (2012) 30–38.
2012 | Journal Article | IST-REx-ID: 12648 |
Including debris cover effects in a distributed model of glacier ablation
T.D. Reid, M. Carenzo, F. Pellicciotti, B.W. Brock, Journal of Geophysical Research: Atmospheres 117 (2012).
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.D. Reid, M. Carenzo, F. Pellicciotti, B.W. Brock, Journal of Geophysical Research: Atmospheres 117 (2012).
2012 | Conference Paper | IST-REx-ID: 1384 |
Conditional model checking: A technique to pass information between verifiers
D. Beyer, T.A. Henzinger, M. Keremoglu, P. Wendler, in:, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, ACM, 2012.
[Preprint]
View
| DOI
| Download Preprint (ext.)
D. Beyer, T.A. Henzinger, M. Keremoglu, P. Wendler, in:, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, ACM, 2012.
2012 | Journal Article | IST-REx-ID: 1472 |
Topology of hitchin systems and Hodge theory of character varieties: The case A 1
M. De Cataldo, T. Hausel, L. Migliorini, Annals of Mathematics 175 (2012) 1329–1407.
View
| DOI
| Download (ext.)
M. De Cataldo, T. Hausel, L. Migliorini, Annals of Mathematics 175 (2012) 1329–1407.
2012 | Journal Article | IST-REx-ID: 1471 |
Prym varieties of spectral covers
T. Hausel, C. Pauly, Geometry and Topology 16 (2012) 1609–1638.
View
| DOI
| Download (ext.)
T. Hausel, C. Pauly, Geometry and Topology 16 (2012) 1609–1638.
2012 | Journal Article | IST-REx-ID: 171 |
Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
T.D. Browning, S. Baier, Journal Fur Die Reine Und Angewandte Mathematik 2013 (2012) 1–65.
View
| DOI
| Download (ext.)
T.D. Browning, S. Baier, Journal Fur Die Reine Und Angewandte Mathematik 2013 (2012) 1–65.
2012 | Journal Article | IST-REx-ID: 1725
Developmental pattern formation: Insights from physics and biology
A. Kicheva, M. Cohen, J. Briscoe, Science 338 (2012) 210–212.
View
| DOI
A. Kicheva, M. Cohen, J. Briscoe, Science 338 (2012) 210–212.
2012 | Journal Article | IST-REx-ID: 1757 |
Monolithic growth of ultrathin Ge nanowires on Si(001)
J. Zhang, G. Katsaros, F. Montalenti, D. Scopece, R. Rezaev, C. Mickel, B. Rellinghaus, L. Miglio, S. De Franceschi, A. Rastelli, O. Schmidt, Physical Review Letters 109 (2012).
View
| DOI
| Download (ext.)
J. Zhang, G. Katsaros, F. Montalenti, D. Scopece, R. Rezaev, C. Mickel, B. Rellinghaus, L. Miglio, S. De Franceschi, A. Rastelli, O. Schmidt, Physical Review Letters 109 (2012).
2012 | Journal Article | IST-REx-ID: 1758 |
Zero-bias anomaly in a nanowire quantum dot coupled to superconductors
E. Lee, X. Jiang, R. Aguado, G. Katsaros, C. Lieber, S. De Franceschi, Physical Review Letters 109 (2012).
View
| DOI
| Download (ext.)
E. Lee, X. Jiang, R. Aguado, G. Katsaros, C. Lieber, S. De Franceschi, Physical Review Letters 109 (2012).
2012 | Journal Article | IST-REx-ID: 1756 |
Multifunctional devices and logic gates with undoped silicon nanowires
M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, S. De Franceschi, Nano Letters 12 (2012) 3074–3079.
View
| DOI
| Download (ext.)
M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, S. De Franceschi, Nano Letters 12 (2012) 3074–3079.
2012 | Journal Article | IST-REx-ID: 1783 |
Demonstrating W-type entanglement of Dicke states in resonant cavity quantum electrodynamics
J. Mlynek, A. Abdumalikov, J.M. Fink, L. Steffen, M. Baur, C. Lang, A. Van Loo, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 86 (2012).
View
| DOI
| Download (ext.)
J. Mlynek, A. Abdumalikov, J.M. Fink, L. Steffen, M. Baur, C. Lang, A. Van Loo, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 86 (2012).
2012 | Journal Article | IST-REx-ID: 1782 |
Geometric phase and nonadiabatic effects in an electronic harmonic oscillator
M. Pechal, S. Berger, A. Abdumalikov, J.M. Fink, J. Mlynek, L. Steffen, A. Wallraff, S. Filipp, Physical Review Letters 108 (2012).
View
| DOI
| Download (ext.)
M. Pechal, S. Berger, A. Abdumalikov, J.M. Fink, J. Mlynek, L. Steffen, A. Wallraff, S. Filipp, Physical Review Letters 108 (2012).
2012 | Journal Article | IST-REx-ID: 1784
Observation of entanglement between itinerant microwave photons and a superconducting qubit
C. Eichler, C. Lang, J.M. Fink, J. Govenius, S. Filipp, A. Wallraff, Physical Review Letters 109 (2012).
View
| DOI
| Download (ext.)
C. Eichler, C. Lang, J.M. Fink, J. Govenius, S. Filipp, A. Wallraff, Physical Review Letters 109 (2012).
2012 | Journal Article | IST-REx-ID: 1801
Transcriptional code and disease map for adult retinal cell types
S. Siegert, E. Cabuy, B. Scherf, H. Kohler, S. Panda, Y. Le, H. Fehling, D. Gaidatzis, M. Stadler, B. Roska, Nature Neuroscience 15 (2012) 487–495.
View
| DOI
S. Siegert, E. Cabuy, B. Scherf, H. Kohler, S. Panda, Y. Le, H. Fehling, D. Gaidatzis, M. Stadler, B. Roska, Nature Neuroscience 15 (2012) 487–495.
2012 | Book Review | IST-REx-ID: 1976
The coupling mechanism of respiratory complex i - A structural and evolutionary perspective
R. Efremov, L.A. Sazanov, Biochimica et Biophysica Acta - Bioenergetics 1817 (2012) 1785–1795.
View
| DOI
R. Efremov, L.A. Sazanov, Biochimica et Biophysica Acta - Bioenergetics 1817 (2012) 1785–1795.
2012 | Journal Article | IST-REx-ID: 1972
Structure of Escherichia coli OmpF porin from lipidic mesophase
R. Efremov, L.A. Sazanov, Journal of Structural Biology 178 (2012) 311–318.
View
| DOI
R. Efremov, L.A. Sazanov, Journal of Structural Biology 178 (2012) 311–318.
2012 | Journal Article | IST-REx-ID: 1987
Geometry sensing by self-organized protein patterns
J. Schweizer, M. Loose, M. Bonny, K. Kruse, I. Mönch, P. Schwille, PNAS 109 (2012) 15283–15288.
View
| DOI
J. Schweizer, M. Loose, M. Bonny, K. Kruse, I. Mönch, P. Schwille, PNAS 109 (2012) 15283–15288.
2012 | Conference Paper | IST-REx-ID: 2048 |
Practical leakage-resilient symmetric cryptography
S. Faust, K.Z. Pietrzak, J. Schipper, in:, Conference Proceedings CHES 2012, Springer, 2012, pp. 213–232.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Faust, K.Z. Pietrzak, J. Schipper, in:, Conference Proceedings CHES 2012, Springer, 2012, pp. 213–232.