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.
8015 Publications
2012 | Journal Article | IST-REx-ID: 506 | 
Sixt MK. 2012. Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. 197(3), 347–349.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 10905 |
Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. 2012. Polynomial-time algorithms for energy games with special weight structures. Algorithms – ESA 2012. ESA: European Symposium on Algorithms, LNCS, vol. 7501, 301–312.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 497 |
Chatterjee K, Chaubal S, Kamath P. 2012. Faster algorithms for alternating refinement relations. EACSL: European Association for Computer Science Logic, LIPIcs, vol. 16, 167–182.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3165 |
Chatterjee K, Henzinger MH. 2012. An O(n2) time algorithm for alternating Büchi games. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1386–1399.
View
| Files available
| DOI
| Download None (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 2956
Chatterjee K, Velner Y. 2012. Mean payoff pushdown games. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 6280438.
View
| Files available
| DOI
2012 | Technical Report | IST-REx-ID: 5377 |
Chatterjee K, Velner Y. 2012. Mean-payoff pushdown games, IST Austria, 33p.
View
| Files available
| DOI
2012 | Technical Report | IST-REx-ID: 5378 |
Chatterjee K, Chaubal S, Kamath P. 2012. Faster algorithms for alternating refinement relations, IST Austria, 21p.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2955 |
Chatterjee K, Doyen L. 2012. Partial-observation stochastic games: How to win when belief fails. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 6280436.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 3341 |
Chatterjee K. 2012. Robustness of structurally equivalent concurrent parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 7213, 270–285.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 2957 |
Chatterjee K, Tracol M. 2012. Decidable problems for probabilistic automata on infinite words. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 6280437.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 3249
Cerny P, Henzinger TA, Radhakrishna A. 2012. Simulation distances. Theoretical Computer Science. 413(1), 21–35.
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3124 |
Korc F, Kolmogorov V, Lampert C. 2012. Approximating marginals using discrete energy minimization. ICML: International Conference on Machine Learning, Inferning 2012, .
View
| Files available
2012 | Technical Report | IST-REx-ID: 5396 |
Korc F, Kolmogorov V, Lampert C. 2012. Approximating marginals using discrete energy minimization, IST Austria, 13p.
View
| Files available
| DOI
2012 | Report | IST-REx-ID: 5398 |
Porsche J. 2012. Actual state of research data @ ISTAustria, IST Austria,p.
View
| Files available
2012 | Book Chapter | IST-REx-ID: 5745 |
Gupta A. 2012.Improved Single Pass Algorithms for Resolution Proof Reduction. In: Automated Technology for Verification and Analysis. vol. 7561, 107–121.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 5839 |
Biswas R, Sil J. 2012. An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets. Procedia Technology. 4, 820–824.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 596 |
Bernecky C, Taatjes D. 2012. Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly. Journal of Molecular Biology. 417(5), 387–394.
View
| DOI
| Download None (ext.)
2012 | Journal Article | IST-REx-ID: 6136 |
Busch KE, Laurent P, Soltesz Z, Murphy RJ, Faivre O, Hedwig B, Thomas M, Smith HL, de Bono M. 2012. Tonic signaling from O2 sensors sets neural circuit activity and behavioral state. Nature Neuroscience. 15(4), 581–591.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 6588 |
Pausinger F. 2012. Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. 8(1), 63–78.
View
| Download Published Version (ext.)
| WoS
2012 | Conference Paper | IST-REx-ID: 6746
Mondelli M, Zhou Q, Ma X, Lottici V. 2012. A cooperative approach for amplify-and-forward differential transmitted reference IR-UWB relay systems. 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). ICASSP: International Conference on Acoustics, Speech and Signal Processing, 2905–2908.
View
| DOI
2012 | Journal Article | IST-REx-ID: 801
Engel J, Schmalhorst PS, Routier F. 2012. Biosynthesis of the fungal cell wall polysaccharide galactomannan requires intraluminal GDP-mannose. Journal of Biological Chemistry. 287(53), 44418–44424.
View
| DOI
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 8024
Hennequin G, Vogels TP, Gerstner W. 2012. Non-normal amplification in random balanced neuronal networks. Physical Review E. 86(1), 011909.
View
| DOI
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 808 |
Vinzenz M, Nemethova M, Schur FK, Mueller J, Narita A, Urban E, Winkler C, Schmeiser C, Koestler S, Rottner K, Resch G, Maéda Y, Small J. 2012. Actin branching in the initiation and maintenance of lamellipodia. Journal of Cell Science. 125(11), 2775–2785.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 8246
Dengler V, Meier PS, Heusser R, Kupferschmied P, Singer J, Friebe S, Staufer SB, Majcherczyk PA, Moreillon P, Berger-Bächi B, McCallum N. 2012. Deletion of hypothetical wall teichoic acid ligases in Staphylococcus aureus activates the cell wall stress response. FEMS Microbiology Letters. 333(2), 109–120.
View
| DOI
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 8465
Tollinger M, Sivertsen AC, Meier BH, Ernst M, Schanda P. 2012. Site-resolved measurement of microsecond-to-millisecond conformational-exchange processes in proteins by solid-state NMR spectroscopy. Journal of the American Chemical Society. 134(36), 14800–14807.
View
| DOI
2012 | Journal Article | IST-REx-ID: 9014 |
Theurkauff I, Cottin-Bizonne C, Palacci JA, Ybert C, Bocquet L. 2012. Dynamic clustering in active colloidal suspensions with chemical signaling. Physical Review Letters. 108(26), 268303.
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2012 | Journal Article | IST-REx-ID: 9142 |
Muller CJ, Held IM. 2012. Detailed investigation of the self-aggregation of convection in cloud-resolving simulations. Journal of the Atmospheric Sciences. 69(8), 2551–2565.
View
| DOI
| Download Published Version (ext.)
2012 | Journal Article | IST-REx-ID: 9451 |
Ibarra CA, Feng X, Schoft VK, Hsieh T-F, Uzawa R, Rodrigues JA, Zemach A, Chumak N, Machlicova A, Nishimura T, Rojas D, Fischer RL, Tamaru H, Zilberman D. 2012. Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes. Science. 337(6100), 1360–1364.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 9535 |
Coleman-Derr D, Zilberman D. 2012. DNA methylation, H2A.Z, and the regulation of constitutive expression. Cold Spring Harbor Symposia on Quantitative Biology. 77, 147–154.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 3246
Barone V, Heisenberg C-PJ. 2012. Cell adhesion in embryo morphogenesis. Current Opinion in Cell Biology. 24(1), 148–153.
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3242 |
Konrad M, Vyleta M, Theis F, Stock M, Tragust S, Klatt M, Drescher V, Marr C, Ugelvig LV, Cremer S. 2012. Social transfer of pathogenic fungus promotes active immunisation in ant colonies. PLoS Biology. 10(4), e1001300.
View
| Files available
| DOI
2012 | Research Data Reference | IST-REx-ID: 9755 |
Konrad M, Vyleta M, Theis F, Stock M, Klatt M, Drescher V, Marr C, Ugelvig LV, Cremer S. 2012. Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies, Dryad, 10.5061/dryad.sv37s.
View
| Files available
| DOI
| Download Published Version (ext.)
2012 | Research Data Reference | IST-REx-ID: 9758 |
Aeschbacher S, Futschik A, Beaumont M. 2012. Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates, Dryad, 10.5061/dryad.274b1.
View
| Files available
| DOI
| Download Published Version (ext.)
2012 | Research Data Reference | IST-REx-ID: 9757 |
Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. 2012. Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison, Dryad, 10.5061/dryad.61649.
View
| Files available
| DOI
| Download Published Version (ext.)
2012 | Journal Article | IST-REx-ID: 922 |
Hannezo EB, Prost J, Joanny J. 2012. Mechanical instabilities of biological tubes. Physical Review Letters. 109(1).
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 9499 |
Kim SY, Lee J, Eshed-Williams L, Zilberman D, Sung ZR. 2012. EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development. PLoS Genetics. 8(3), e1002512.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 9497 |
Coleman-Derr D, Zilberman D. 2012. Deposition of histone variant H2A.Z within gene bodies regulates responsive genes. PLoS Genetics. 8(10), e1002988.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 9528
Huff JT, Zilberman D. 2012. Regulation of biological accuracy, precision, and memory by plant chromatin organization. Current Opinion in Genetics and Development. 22(2), 132–138.
View
| DOI
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 966 |
Bieri S, Serbyn M, Senthil T, Lee P. 2012. Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. 86(22).
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 10389 |
Šarić A, Cacciuto A. 2011. Soft elastic surfaces as a platform for particle self-assembly. Soft Matter. 7(18), 8324.
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 1050 |
Bai J, Ahmed E, Beser B, Guan Y, Kotochigova S, Lyyra M, Ashman S, Wolfe C, Huennekens J, Xie F, Li D, Li L, Tamanis M, Ferber R, Drozdova A, Pazyuk E, Stolyarov A, Danzl JG, Nägerl H, Bouloufa N, Dulieu O, Amiot C, Salami H, Bergeman T. 2011. Global analysis of data on the spin-orbit-coupled A 1Σu+ and b 3Πu inf states of Cs2. Physical Review A - Atomic, Molecular, and Optical Physics. 83(3).
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 1048 |
Nägerl H, Mark M, Haller E, Gustavsson M, Hart R, Danzl JG. 2011. Ultracold and dense samples of ground-state molecules in lattice potentials. Journal of Physics: Conference Series. 264(1).
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 1052 |
Vexiau R, Bouloufa N, Aymar M, Danzl JG, Mark M, Nägerl H, Dulieu O. 2011. Optimal trapping wavelengths of Cs 2 molecules in an optical lattice. European Physical Journal D. 65(1–2), 243–250.
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 1053 |
Mark M, Haller E, Lauber K, Danzl JG, Daley A, Nägerl H. 2011. Precision measurements on a tunable Mott insulator of ultracold atoms. Physical Review Letters. 107(17).
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 1054 |
Haller E, Rabie M, Mark M, Danzl JG, Hart R, Lauber K, Pupillo G, Nägerl H. 2011. Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension. Physical Review Letters. 107(23).
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 10907
Artner NM, Ion A, Kropatsch WG. 2011. Spatio-temporal extraction of articulated models in a graph pyramid. Graph-Based Representations in Pattern Recognition. GbRPR: Graph-based Representations in Pattern RecognitionLNIP, LNCS, vol. 6658, 215–224.
View
| DOI
2011 | Journal Article | IST-REx-ID: 11094 |
Talamas JA, Hetzer M. 2011. POM121 and Sun1 play a role in early steps of interphase NPC assembly. Journal of Cell Biology. 194(1), 27–37.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 11096
Liang Y, Hetzer M. 2011. Functional interactions between nucleoporins and chromatin. Current Opinion in Cell Biology. 23(1), 65–70.
View
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 11095
Hetzer M, Cavalli G. 2011. Editorial overview. Current Opinion in Cell Biology. 23(3), 255–257.
View
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 11100
Capelson M, Doucet C, Hetzer M. 2011. Nuclear pore complexes: Guardians of the nuclear genome. Cold Spring Harbor Symposia on Quantitative Biology. 75, 585–597.
View
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 112 |
Waitukaitis SR, Grütjen H, Royer J, Jaeger H. 2011. Droplet and cluster formation in freely falling granular streams. Physical Review E. 83(5), 051302.
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 12651 |
Petersen L, Pellicciotti F. 2011. Spatial and temporal variability of air temperature on a melting glacier: Atmospheric controls, extrapolation methods and their effect on melt modeling, Juncal Norte Glacier, Chile. Journal of Geophysical Research: Atmospheres. 116(D23), D23109.
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 12649 |
Finger D, Pellicciotti F, Konz M, Rimkus S, Burlando P. 2011. The value of glacier mass balance, satellite snow cover images, and hourly discharge for improving the performance of a physically based distributed hydrological model. Water Resources Research. 47(7), W07519.
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 12652 |
Pellicciotti F, Raschle T, Huerlimann T, Carenzo M, Burlando P. 2011. Transmission of solar radiation through clouds on melting glaciers: A comparison of parameterizations and their impact on melt modelling. Journal of Glaciology. 57(202), 367–381.
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 1467 |
Hausel T, Letellier E, Rodríguez Villegas F. 2011. Arithmetic harmonic analysis on character and quiver varieties. Duke Mathematical Journal. 160(2), 323–400.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 1754 |
Mongillo M, Spathis P, Katsaros G, Gentile P, Sanquer M, De Franceschi S. 2011. Joule-assisted silicidation for short-channel silicon nanowire devices. ACS Nano. 5(9), 7117–7123.
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 1755 |
Katsaros G, Golovach V, Spathis P, Ares N, Stoffel M, Fournel F, Schmidt O, Glazman L, De Franceschi S. 2011. Observation of spin-selective tunneling in sige nanocrystals. Physical Review Letters. 107(24).
View
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 1776
Bozyigit D, Lang C, Steffen L, Fink JM, Eichler C, Baur M, Bianchetti R, Leek P, Filipp S, Wallraff A, Da Silva M, Blais A. 2011. Correlation measurements of individual microwave photons emitted from a symmetric cavity. International Conference on Atomic Physics, Journal of Physics: Conference Series, vol. 264.
View
| DOI
2011 | Journal Article | IST-REx-ID: 1777 |
Eichler C, Bozyigit D, Lang C, Steffen L, Fink JM, Wallraff A. 2011. Experimental state tomography of itinerant single microwave photons. Physical Review Letters. 106(22).
View
| Files available
| DOI
| Download None (ext.)
2011 | Journal Article | IST-REx-ID: 1778 |
Lang C, Bozyigit D, Eichler C, Steffen L, Fink JM, Abdumalikov A, Baur M, Filipp S, Da Silva M, Blais A, Wallraff A. 2011. Observation of resonant photon blockade at microwave frequencies using correlation function measurements. Physical Review Letters. 106(24).
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 1775
Bozyigit D, Lang C, Steffen L, Fink JM, Eichler C, Baur M, Bianchetti R, Leek P, Filipp S, Da Silva M, Blais A, Wallraff A. 2011. Antibunching of microwave-frequency photons observed in correlation measurements using linear detectors. Nature Physics. 7(2), 154–158.
View
| DOI
2011 | Journal Article | IST-REx-ID: 1781
Filipp S, Göppl M, Fink JM, Baur M, Bianchetti R, Steffen L, Wallraff A. 2011. Multimode mediated qubit-qubit coupling and dark-state symmetries in circuit quantum electrodynamics. Physical Review A - Atomic, Molecular, and Optical Physics. 83(6).
View
| DOI