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.
506 Publications
2014 | Journal Article | IST-REx-ID: 2028 | 
Bodova K, Paydarfar D, Forger D. 2014. Characterizing spiking in noisy type II neurons. Journal of Theoretical Biology. 365, 40–54.
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2059 |
Dubas E, Moravčíková J, Libantová J, Matušíková I, Benková E, Zur I, Krzewska M. 2014. The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos. Protoplasma. 251(5), 1077–1087.
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2064 |
Rubio M, Fukazawa Y, Kamasawa N, Clarkson C, Molnár E, Shigemoto R. 2014. Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus. Journal of Comparative Neurology. 522(18), 4023–4042.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2153 |
Bauer U, Lesnick M. 2014. Induced matchings of barcodes and the algebraic stability of persistence. Proceedings of the Annual Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, 355–364.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2178 |
Haws D, Martin del Campo Sanchez A, Takemura A, Yoshida R. 2014. Markov degree of the three-state toric homogeneous Markov chain model. Beitrage zur Algebra und Geometrie. 55(1), 161–188.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2187 |
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Hofferek G, Jobstmann B, Könighofer B, Könighofer R. 2014. Synthesizing robust systems. Acta Informatica. 51(3–4), 193–220.
[Submitted Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 350 |
Li W, Ibáñez M, Cadavid D, Zamani R, Rubio Garcia J, Gorsse S, Morante J, Arbiol J, Cabot A. 2014. Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4. Journal of Nanoparticle Research. 16(3).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 6126 |
Gross E, Soltesz Z, Oda S, Zelmanovich V, Abergel Z, de Bono M. 2014. GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings. Journal of Neuroscience. 34(50), 16726–16738.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Thesis | IST-REx-ID: 1402
Marhavá P. 2014. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. Institute of Science and Technology Austria.
View
2014 | Journal Article | IST-REx-ID: 1913 |
Milenković I, Petrov T, Kovács G. 2014. Patterns of hippocampal tau pathology differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders. 38(5–6), 375–388.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 10898
Haas A, Lippautz M, Henzinger TA, Payer H, Sokolova A, Kirsch CM, Sezgin A. 2013. Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation. Proceedings of the ACM International Conference on Computing Frontiers - CF ’13. CF: Conference on Computing Frontiers, 17.
View
| DOI
2013 | Conference Paper | IST-REx-ID: 11856 |
Henzinger MH, Krinninger S, Nanongkai D. 2013. Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. 54th Annual Symposium on Foundations of Computer Science. FOCS: Symposium on Foundations of Computer Science, 538–547.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 12641 |
Heynen M, Pellicciotti F, Carenzo M. 2013. Parameter sensitivity of a distributed enhanced temperature-index melt model. Annals of Glaciology. 54(63), 311–321.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 2297 |
Seiringer R. 2013. Hot topics in cold gases: A mathematical physics perspective. Japanese Journal of Mathematics. 8(2), 185–232.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2443 |
Simon S, Kubeš M, Baster P, Robert S, Dobrev P, Friml J, Petrášek J, Zažímalová E. 2013. Defining the selectivity of processes along the auxin response chain: A study using auxin analogues. New Phytologist. 200(4), 1034–1048.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 2697 |
Erdös L, Knowles A, Yau H, Yin J. 2013. Delocalization and diffusion profile for random band matrices. Communications in Mathematical Physics. 323(1), 367–416.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2831 |
Chatterjee K, Henzinger MH, Joglekar M, Shah N. 2013. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design. 42(3), 301–327.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 6128 |
Kodama-Namba E, Fenk LA, Bretscher AJ, Gross E, Busch KE, de Bono M. 2013. Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans. PLoS Genetics. 9(12), e1004011.
[Published Version]
View
| Files available
| 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. 45(7), 549–560.
View
| DOI
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2396 |
Landon B, Seiringer R. 2012. The scattering length at positive temperature. Letters in Mathematical Physics. 100(3), 237–243.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 3115 |
Berberich E, Halperin D, Kerber M, Pogalnikova R. 2012. Deconstructing approximate offsets. Discrete & Computational Geometry. 48(4), 964–989.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 493 |
Tangermann M, Müller K, Aertsen A, Birbaumer N, Braun C, Brunner C, Leeb R, Mehring C, Miller K, Müller Putz G, Nolte G, Pfurtscheller G, Preissl H, Schalk G, Schlögl A, Vidaurre C, Waldert S, Blankertz B. 2012. Review of the BCI competition IV. Frontiers in Neuroscience. 6, 55.
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3157 |
Diaz Jr L, Williams R, Wu J, Kinde I, Hecht J, Berlin J, Allen B, Božić I, Reiter J, Nowak M, Kinzler K, Oliner K, Vogelstein B. 2012. The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature. 486(7404), 537–540.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 2123 |
Clément P, Maas J. 2011. A Trotter product formula for gradient flows in metric spaces. Journal of Evolution Equations. 11(2), 405–427.
View
| Files available
| DOI
| Download None (ext.)
2011 | Preprint | IST-REx-ID: 2138 |
Ağanoğlu R, Lemeshko M, Friedrich B, González Férez R, Koch C. 2011. Controlling a diatomic shape resonance with non-resonant light. Unknown, .
View
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2390 |
Frank R, Lieb É, Seiringer R, Thomas L. 2011. Stability and absence of binding for multi-polaron systems. Publications Mathematiques de l Institut des Hautes Etudes Scientifiques. 113(1), 39–67.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3090
Mravec J, Petrášek J, Li N, Boeren S, Karlova R, Kitakura S, Pařezová M, Naramoto S, Nodzyński T, Dhonukshe P, Bednarek S, Zažímalová E, De Vries S, Friml J. 2011. Cell plate restricted association of DRP1A and PIN proteins is required for cell polarity establishment in arabidopsis. Current Biology. 21(12), 1055–1060.
View
| DOI
2011 | Book Chapter | IST-REx-ID: 3796 |
Edelsbrunner H, Kerber M. 2011.Covering and packing with spheres by diagonal distortion in R^n. In: Rainbow of Computer Science. LNCS, vol. 6570, 20–35.
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3342 |
Chatterjee K, Henzinger MH, Joglekar M, Nisarg S. 2011. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. CAV: Computer Aided Verification, LNCS, vol. 6806, 260–276.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 6767
Mondelli M, Ciomaga A. 2011. On finite difference schemes for curvature motions. Proceedings of the International Student Conference on Pure and Applied Mathematics. ISCOPAM: International Student Conference on Pure and Applied Mathematics, 137–156.
View
| DOI
2010 | Journal Article | IST-REx-ID: 11975
Pieber B, Schober S, Goebl C, Mittelbach M. 2010. Novel sensitive determination of steryl glycosides in biodiesel by gas chromatography-mass spectroscopy. Journal of Chromatography A. 1217(42), 6555–6561.
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 1773 |
Fink JM, Steffen L, Studer P, Bishop L, Baur M, Bianchetti R, Bozyigit D, Lang C, Filipp S, Leek P, Wallraff A. 2010. Quantum-to-classical transition in cavity quantum electrodynamics. Physical Review Letters. 105(16).
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2196 |
Lemeshko M, Friedrich B. 2010. Fine-tuning molecular energy levels by nonresonant laser pulses. Journal of Physical Chemistry A. 114(36), 9848–9854.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2311
Rickheit G, Wartosch L, Schaffer S, Stobrawa S, Novarino G, Weinert S, Jentsch T. 2010. Role of ClC-5 in renal endocytosis is unique among ClC exchangers and does not require PY-motif-dependent ubiquitylation. Journal of Biological Chemistry. 285(23), 17595–17603.
View
| DOI
2010 | Journal Article | IST-REx-ID: 2409 |
Kupczok A, Schmidt H, Von Haeseler A. 2010. Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology. 5(1), 37.
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 2980 |
Bangerter E, Briner T, Henecka W, Krenn S, Sadeghi A, Schneider T. 2010. Automatic Generation of Sigma-Protocols. EuroPKI: Public Key Infrastructures, Services and Applications, LNCS, vol. 6391, 67–82.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3538 |
Jiruska P, Csicsvari JL, Powell A, Fox J, Chang W, Vreugdenhil M, Li X, Palus M, Bujan A, Dearden R, Jefferys J. 2010. High-frequency network activity, global increase in neuronal activity, and synchrony expansion precede epileptic seizures in vitro. Journal of Neuroscience. 30(16), 5690–5701.
View
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3868 |
Chatterjee K, De Alfaro L, Majumdar R, Raman V. 2010. Algorithms for game metrics. Logical Methods in Computer Science. 6(3), 1–27.
[Published Version]
View
| Files available
| DOI
2010 | Book | IST-REx-ID: 3899
Edelsbrunner H, Harer J. 2010. Computational Topology: An Introduction, American Mathematical Society, XII, 241p.
View
| Files available
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3774
Senn H, Swanson G, Goodman S, Barton NH, Pemberton J. 2010. Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. 79(2), 414–425.
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 9146 |
O’Gorman PA, Muller CJ. 2010. How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. 5(2), 025207.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Journal Article | IST-REx-ID: 1041 |
Danzl JG, Mark M, Haller E, Gustavsson M, Hart R, Liem A, Zellmer H, Nägerl H. 2009. Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. 11.
View
| DOI
| Download None (ext.)
| arXiv
2009 | Conference Paper | IST-REx-ID: 11912 |
Baykan Eda, Henzinger MH, Keller SF, de Castelberg S, Kinzler M. 2009. A comparison of techniques for sampling web pages. 26th International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 3, 13–30.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2009 | Journal Article | IST-REx-ID: 2386 |
Seiringer R, Ueltschi D. 2009. Rigorous upper bound on the critical temperature of dilute Bose gases. Physical Review B - Condensed Matter and Materials Physics. 80(1).
View
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 2433 |
Matoušek J, Tancer M, Wagner U. 2009. Hardness of embedding simplicial complexes in ℝd. SODA: Symposium on Discrete Algorithms, 855–864.
View
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 3055
Naramoto S, Sawa S, Koizumi K, Uemura T, Ueda T, Friml J, Nakano A, Fukuda H. 2009. Phosphoinositide-dependent regulation of VAN3 ARF-GAP localization and activity essential for vascular tissue continuity in plants. Development. 136(9), 1529–1538.
View
| DOI
2009 | Journal Article | IST-REx-ID: 4223
Swoboda J, Meredith T, Campbell J, Brown S, Suzuki T, Bollenbach MT, Malhowski A, Kishony R, Gilmore M, Walker S. 2009. Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus. ACS Chemical Biology. 4(10), 875–883.
View
| DOI
| Download None (ext.)
2009 | Journal Article | IST-REx-ID: 3953
Wolf A, Eller K, Zeiser R, Dürr C, Gerlach U, Sixt MK, Markut L, Gastl G, Rosenkranz A, Wolf D. 2009. The sphingosine 1-phosphate receptor agonist FTY720 potently inhibits regulatory T cell proliferation in vitro and in vivo. Journal of Immunology. 183(6), 3751–3760.
View
| DOI
2009 | Journal Article | IST-REx-ID: 6144
Persson A, Gross E, Laurent P, Busch KE, Bretes H, de Bono M. 2009. Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. 458(7241), 1030–1033.
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 2679
Antal M, Fukazawa Y, Eördögh M, Muszil D, Molnár E, Itakura M, Takahashi M, Shigemoto R. 2008. Numbers, densities, and colocalization of AMPA- and NMDA-type glutamate receptors at individual synapses in the superficial spinal dorsal horn of rats. Journal of Neuroscience. 28(39), 9692–9701.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3504 |
Chatterjee K, De Alfaro L, Majumdar R, Raman V. 2008. Algorithms for game metrics. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 2, 107–118.
[Published Version]
View
| Files available
| DOI
2008 | Journal Article | IST-REx-ID: 4548
Chatterjee K, Majumdar R, Henzinger TA. 2008. Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. 37(2), 219–234.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 8481
Bersch B, Favier A, Schanda P, van Aelst S, Vallaeys T, Covès J, Mergeay M, Wattiez R. 2008. Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans CH34 during copper challenge. Journal of Molecular Biology. 380(2), 386–403.
View
| DOI
2008 | Journal Article | IST-REx-ID: 9457 |
Zilberman D, Coleman-Derr D, Ballinger T, Henikoff S. 2008. Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks. Nature. 456(7218), 125–129.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2007 | Journal Article | IST-REx-ID: 223 |
Browning TD. 2007. Density of integer solutions to diagonal quadratic forms. Monatshefte fur Mathematik. 152(1), 13–38.
View
| DOI
| Download (ext.)
2007 | Conference Paper | IST-REx-ID: 3192
Rother C, Kolmogorov V, Lempitsky V, Szummer M. 2007. Optimizing binary MRFs via extended roof duality. CVPR: Computer Vision and Pattern Recognition.
View
| DOI
| Download (ext.)
2007 | Conference Paper | IST-REx-ID: 3191
Kolmogorov V, Boykov Y, Rother C. 2007. Applications of parametric maxflow in computer vision. ICCV: International Conference on Computer Vision.
View
| DOI
| Download (ext.)