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.
361 Publications
2014 | Thesis | IST-REx-ID: 1404
Stock M. 2014. Evolution of a fungal pathogen towards individual versus social immunity in ants. IST Austria.
View
2014 | Journal Article | IST-REx-ID: 1923 | 
Berthoumieux H, Maître J-L, Heisenberg C-PJ, Paluch E, Julicher F, Salbreux G. 2014. Active elastic thin shell theory for cellular deformations. New Journal of Physics. 16, 065005.
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2022 |
Gao P, Postiglione MP, Krieger T, Hernandez L, Wang C, Han Z, Streicher C, Papusheva E, Insolera R, Chugh K, Kodish O, Huang K, Simons B, Luo L, Hippenmeyer S, Shi S. 2014. Deterministic progenitor behavior and unitary production of neurons in the neocortex. Cell. 159(4), 775–788.
[Published Version]
View
| Files available
| DOI
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: 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: 2227
Cires Rodriguez E, Baltisberger M, Cuesta C, Vargas P, Prieto J. 2014. Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences. Organisms Diversity and Evolution. 14(1), 1–10.
View
| DOI
2014 | Journal Article | IST-REx-ID: 2716 |
Chatterjee K, Randour M, Raskin J. 2014. Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. 51(3–4), 129–163.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
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 | Book | IST-REx-ID: 2306 |
Danowski P, Pohl A. 2013. (Open) Linked Data in Bibliotheken, De Gruyter,p.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2837 |
Erdös L, Knowles A, Yau H, Yin J. 2013. The local semicircle law for a general class of random matrices. Electronic Journal of Probability. 18(59), 1–58.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2836 |
Chatterjee K, Raman V. 2013. Assume-guarantee synthesis for digital contract signing. Formal Aspects of Computing. 26(4), 825–859.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 352
Cadavid D, Ibáñez M, Shavel A, Durá O, López De La Torre M, Cabot A. 2013. Organic ligand displacement by metal salts to enhance nanoparticle functionality: Thermoelectric properties of Ag inf 2 inf Te. Journal of Materials Chemistry A. 1(15), 4864–4870.
View
| DOI
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
2013 | Journal Article | IST-REx-ID: 8461
Haller JD, Schanda P. 2013. 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. 57(3), 263–280.
View
| DOI
2013 | Journal Article | IST-REx-ID: 894
Derelle R, Kondrashov F, Arkhipov V, Corbel H, Frantz A, Gasparini J, Jacquin L, Jacob G, Thibault S, Baudry E. 2013. 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. 6(1).
View
| DOI
2012 | Journal Article | IST-REx-ID: 3166 |
de Vladar H. 2012. Amino acid fermentation at the origin of the genetic code. Biology Direct. 7, 6.
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3111
Lin D, Nagawa S, Chen J, Cao L, Chen X, Xu T, Li H, Dhonukshe P, Yamamuro C, Friml J, Scheres B, Fu Y, Yang Z. 2012. A ROP GTPase dependent auxin signaling pathway regulates the subcellular distribution of PIN2 in Arabidopsis roots. Current Biology. 22(14), 1319–1325.
View
| DOI
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 | 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.
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 2200 |
Lemeshko M, Mustafa M, Kais S, Friedrich B. 2011. Supersymmetry identifies molecular Stark states whose eigenproperties can be obtained analytically. New Journal of Physics. 13.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2393 |
Seiringer R. 2011. The excitation spectrum for weakly interacting Bosons. Communications in Mathematical Physics. 306(2), 565–578.
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 | Journal Article | IST-REx-ID: 3286
Weghuber J, Aichinger M, Brameshuber M, Wieser S, Ruprecht V, Plochberger B, Madl J, Horner A, Reipert S, Lohner K, Henics T, Schuetz G. 2011. Cationic amphipathic peptides accumulate sialylated proteins and lipids in the plasma membrane of eukaryotic host cells. Biochimica et Biophysica Acta (BBA) - Biomembranes. 1808(10), 2581–2590.
View
| DOI
2011 | Journal Article | IST-REx-ID: 6298 |
Baranova NS, Nilebäck E, Haller FM, Briggs DC, Svedhem S, Day AJ, Richter RP. 2011. The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers. Journal of Biological Chemistry. 286(29), 25675–25686.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Journal Article | IST-REx-ID: 1753 |
Songmuang R, Katsaros G, Monroy E, Spathis P, Bougerol C, Mongillo M, De Franceschi S. 2010. Quantum transport in GaN/AlN double-barrier heterostructure nanowires. Nano Letters. 10(9), 3545–3550.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2701 |
Erdös L, Schlein B, Yau H. 2010. Wegner estimate and level repulsion for Wigner random matrices. International Mathematics Research Notices. (3), 436–479.
View
| DOI
| Download (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 | Journal Article | IST-REx-ID: 3402
Guerraoui R, Henzinger TA, Singh V. 2010. Model checking transactional memories. Distributed Computing. 22(3), 129–145.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3867 |
Chatterjee K, Doyen L, Henzinger TA. 2010. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 6(3), 1–23.
[Published Version]
View
| Files available
| DOI
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.)
2008 | Journal Article | IST-REx-ID: 2382 |
Seiringer R, Yin J. 2008. The Lieb-Liniger model as a limit of dilute bosons in three dimensions. Communications in Mathematical Physics. 284(2), 459–479.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2379 |
Frank R, Lieb É, Seiringer R. 2008. Hardy-Lieb-Thirring inequalities for fractional Schrödinger operators. Journal of the American Mathematical Society. 21(4), 925–950.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 3544
Mallet N, Pogosyan A, Sharott A, Csicsvari JL, Bolam J, Brown P, Magill P. 2008. Disrupted dopamine transmission and the emergence of exaggerated beta oscillations in subthalamic nucleus and cerebral cortex. Journal of Neuroscience. 28(18), 4795–4806.
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: 222 |
De La Bretèche R, Browning TD. 2007. On Manin’s conjecture for singular del Pezzo surfaces of degree four, II. Mathematical Proceedings of the Cambridge Philosophical Society. 143(3), 579–605.
View
| DOI
| Download (ext.)
2006 | Journal Article | IST-REx-ID: 2134
Ehresmann A, Werner L, Klumpp S, Demekhin P, Lemeshko M, Sukhorukov V, Schartner K, Schmoranzer H. 2006. Predissociation of the N+2(C 2Σ+u) state observed via C 2Σ+u → X 2Σ+g fluorescence after resonant 1s−1π* excitation of N2 molecule. Journal of Physics B: Atomic, Molecular and Optical Physics. 39(6), L119–L126.
View
| DOI
2006 | Journal Article | IST-REx-ID: 4173 |
Link V, Shevchenko A, Heisenberg C-PJ. 2006. Proteomics of early zebrafish embryos. BMC Developmental Biology. 6, 1–9.
View
| DOI
| Download None (ext.)
2005 | Journal Article | IST-REx-ID: 11904
Henzinger MH, Chang B-W, Milch B, Brin S. 2005. Query-free news search. World Wide Web. 8(2), 101–126.
View
| Files available
| DOI
2005 | Conference Paper | IST-REx-ID: 3183
Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. 2005. Bi-layer segmentation of binocular stereo video. CVPR: Computer Vision and Pattern Recognition vol. 2, 407–414.
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 3721 |
Janovjak HL, Mueller D, Humphris A. 2005. Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins. Biophysical Journal. 88(2), 1423–1431.
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 9514 |
Tran RK, Zilberman D, de Bustos C, Ditt RF, Henikoff JG, Lindroth AM, Delrow J, Boyle T, Kwong S, Bryson TD, Jacobsen SE, Henikoff S. 2005. Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis. Genome Biology. 6(11), R90.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2004 | Journal Article | IST-REx-ID: 11762 |
Henzinger MH. 2004. Algorithmic challenges in web search engines. Internet Mathematics. 1(1), 115–123.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2004 | Journal Article | IST-REx-ID: 2644
Kogo N, Dalezios Y, Capogna M, Ferraguti F, Shigemoto R, Somogyi P. 2004. Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat. European Journal of Neuroscience. 19(10), 2727–2740.
View
| DOI
2003 | Journal Article | IST-REx-ID: 11122
Walther TC, Alves A, Pickersgill H, Loı̈odice I, Hetzer M, Galy V, Hülsmann BB, Köcher T, Wilm M, Allen T, Mattaj IW, Doye V. 2003. The conserved Nup107-160 complex is critical for nuclear pore complex assembly. Cell. 113(2), 195–206.
[Published Version]
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 11766 |
Henzinger MH, Leonardi S. 2003. Scheduling multicasts on unit-capacity trees and meshes. Journal of Computer and System Sciences. 66(3), 567–611.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2003 | Journal Article | IST-REx-ID: 2631
Higashida H, Zhang J, Mochida S, Chen X, Shin Y, Noda M, Hossain K, Hoshi N, Hashii M, Shigemoto R, Nakanishi S, Fukuda Y, Yokoyama S. 2003. Subtype-specific coupling with ADP-ribosyl cyclase of metabotropic glutamate receptors in retina, cervical superior ganglion and NG108-15 cells. Journal of Neurochemistry. 85(5), 1148–1158.
View
| DOI
2002 | Journal Article | IST-REx-ID: 11124 |
Bilbao-Cortés D, Hetzer M, Längst G, Becker PB, Mattaj IW. 2002. Ran binds to chromatin by two distinct mechanisms. Current Biology. 12(13), 1151–1156.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC