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.

11697 Publications


earlier version | 2014 | Published | Conference Paper | IST-REx-ID: 10885 | OA
Chatterjee K, Doyen L, Filiot E, Raskin J-F. 2014. Doomsday equilibria for omega-regular games. VMCAI 2014: Verification, Model Checking, and Abstract Interpretation. VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318, 78–97.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 2254 | OA
Pernia-Andrade A, Jonas PM. 2014. Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. Neuron. 81(1), 140–152.
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 2224
Altmeyer S. 2014. On secondary instabilities generating footbridges between spiral vortex flow. Fluid Dynamics Research. 46(2), 025503.
View | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 2249 | OA
Chen Y, Aung K, Rolčík J, Walicki K, Friml J, Brandizzí F. 2014. Inter-regulation of the unfolded protein response and auxin signaling. Plant Journal. 77(1), 97–107.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 2246 | OA
Grinshpun A, Phalitnonkiat P, Rubin S, Tarfulea A. 2014. Alternating traps in Muller and parity games. Theoretical Computer Science. 521, 73–91.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 2241
Beppu K, Sasaki T, Tanaka K, Yamanaka A, Fukazawa Y, Shigemoto R, Matsui K. 2014. Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage. Neuron. 81(2), 314–320.
View | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 2255 | OA
Edelsbrunner H, Pausinger F. 2014. Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision. 50(1), 164–177.
[Submitted Version] View | Files available | DOI | WoS
 

2014 | Published | Book Chapter | IST-REx-ID: 6178
Smutny M, Behrndt M, Campinho P, Ruprecht V, Heisenberg C-PJ. 2014.UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo. In: Tissue Morphogenesis. Methods in Molecular Biology, vol. 1189, 219–235.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 2165 | OA
Morvant E. 2014. Domain adaptation of weighted majority votes via perturbed variation-based self-labeling. Pattern Recognition Letters. 51, 37–43.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5428 | OA
Chatterjee K, Henzinger TA, Otop J, Velner Y. 2014. Quantitative fair simulation games, IST Austria, 26p.
[Published Version] View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 1393 | OA
Gordon A, Henzinger TA, Nori A, Rajamani S. 2014. Probabilistic programming. Proceedings of the on Future of Software Engineering. FOSE: Future of Software Engineering, 167–181.
[Published Version] View | DOI | Download Published Version (ext.)
 

earlier version | 2014 | Published | Conference Paper | IST-REx-ID: 10894
Bauer U, Kerber M, Reininghaus J, Wagner H. 2014. PHAT – Persistent Homology Algorithms Toolbox. ICMS 2014: International Congress on Mathematical Software. ICMS: International Congress on Mathematical SoftwareLNCS vol. 8592, 137–143.
View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1902 | OA
Hall B, Acar H, Nandipati A, Barlow M. 2014. Growth rates made easy. Molecular Biology and Evolution. 31(1), 232–238.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 1913 | OA
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.) | WoS | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 1912 | OA
Compagnon J, Barone V, Rajshekar S, Kottmeier R, Pranjic-Ferscha K, Behrndt M, Heisenberg C-PJ. 2014. The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ. Developmental Cell. 31(6), 774–783.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 1887 | OA
Cremer S. 2014. Gemeinsame Krankheitsabwehr in Ameisengesellschaften. Zoologie., 23–30.
[Published Version] View | Download Published Version (ext.)
 

2014 | Published | Conference Paper | IST-REx-ID: 2051 | OA
Marchand M, Hongyu S, Morvant E, Rousu J, Shawe Taylor J. 2014. Multilabel structured output learning with random spanning trees of max-margin Markov networks. Advances in Neural Information Processing Systems. NIPS: Neural Information Processing Systems vol. 27.
[Published Version] View | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 2253 | OA
Bailly A, Wang B, Zwiewka M, Pollmann S, Schenck D, Lüthen H, Schulz A, Friml J, Geisler M. 2014. Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. Plant Journal. 77(1), 108–118.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2014 | Published | Thesis | PhD | IST-REx-ID: 1403
Behrndt M. 2014. Forces driving epithelial spreading in zebrafish epiboly. IST Austria.
View | Files available
 

2014 | Published | Conference Paper | IST-REx-ID: 8044 | OA
Seiringer R. 2014. Structure of the excitation spectrum for many-body quantum systems. Proceeding of the International Congress of Mathematicans. ICM: International Congress of Mathematicans vol. 3, 1175–1194.
[Published Version] View | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed