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.
308 Publications
2011 | Technical Report | IST-REx-ID: 5386 | 
C. Chen, D. Freedman, and C. Lampert, Enforcing topological constraints in random field image segmentation. IST Austria, 2011.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5383 |
T. Wies, M. Muñiz, and V. Kuncak, On an efficient decision procedure for imperative tree data structures. IST Austria, 2011.
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5384 |
K. Chatterjee and M. Tracol, Decidable problems for probabilistic automata on infinite words. IST Austria, 2011.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3336
C. Chen, D. Freedman, and C. Lampert, “Enforcing topological constraints in random field image segmentation,” in CVPR: Computer Vision and Pattern Recognition, Colorado Springs, CO, United States, 2011, pp. 2089–2096.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3323
T. Wies, M. Muñiz, and V. Kuncak, “An efficient decision procedure for imperative tree data structures,” presented at the CADE 23: Automated Deduction , Wrocław, Poland, 2011, vol. 6803, pp. 476–491.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3366 |
P. Cerny, K. Chatterjee, T. A. Henzinger, A. Radhakrishna, and R. Singh, “Quantitative synthesis for concurrent programs,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 243–259.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3345 |
K. Chatterjee and L. Doyen, “Energy and mean-payoff parity Markov Decision Processes,” presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland, 2011, vol. 6907, pp. 206–218.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Technical Report | IST-REx-ID: 5387 |
K. Chatterjee and L. Doyen, Energy and mean-payoff parity Markov decision processes. IST Austria, 2011.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 6140 |
F. Arellano-Carbajal, L. Briseño-Roa, A. Couto, B. H. H. Cheung, M. Labouesse, and M. de Bono, “Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability,” PLoS Genetics, vol. 7, no. 3. Public Library of Science, 2011.
View
| Files available
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 6137 |
K. Milward, K. E. Busch, R. J. Murphy, M. de Bono, and B. Olofsson, “Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans,” Proceedings of the National Academy of Sciences, vol. 108, no. 51. National Academy of Sciences, pp. 20672–20677, 2011.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 6138 |
A. J. Bretscher et al., “Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior,” Neuron, vol. 69, no. 6. Elsevier BV, pp. 1099–1113, 2011.
View
| Files available
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 6298 |
N. S. Baranova et al., “The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers,” Journal of Biological Chemistry, vol. 286, no. 29. American Society for Biochemistry & Molecular Biology, pp. 25675–25686, 2011.
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 6496 |
H. Park, P. Oikonomou, C. C. Guet, and P. Cluzel, “Noise underlies switching behavior of the bacterial flagellum,” Biophysical Journal, vol. 101, no. 10. Elsevier, pp. 2336–2340, 2011.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 6749 |
M. Mondelli and A. Ciomaga, “Finite difference schemes for MCM and AMSS,” Image Processing On Line, vol. 1. IPOL Image Processing On Line, pp. 127–177, 2011.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 7077
J. Capps et al., “The effect of Ag concentration on the structural, electrical and thermal transport behavior of Pb:Te:Ag:Se mixtures and improvement of thermoelectric performance via Cu doping,” Journal of Alloys and Compounds, vol. 509, no. 5. Elsevier, pp. 1544–1549, 2011.
View
| DOI
2011 | Journal Article | IST-REx-ID: 7313
P. G. Bruce, S. A. Freunberger, L. J. Hardwick, and J.-M. Tarascon, “Li–O2 and Li–S batteries with high energy storage,” Nature Materials, vol. 11, no. 1. Springer Nature, pp. 19–29, 2011.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 8025 |
A. R. Woodruff, L. M. McGarry, T. P. Vogels, M. Inan, S. A. Anderson, and R. Yuste, “State-dependent function of neocortical chandelier cells,” Journal of Neuroscience, vol. 31, no. 49. Society for Neuroscience, pp. 17872–17886, 2011.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 8074
T. P. Vogels, H. Sprekeler, F. Zenke, C. Clopath, and W. Gerstner, “Inhibitory plasticity balances excitation and inhibition in sensory pathways and memory networks,” Science, vol. 334, no. 6062. American Association for the Advancement of Science, pp. 1569–1573, 2011.
View
| Files available
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 8464
P. Schanda, M. Huber, J. Boisbouvier, B. H. Meier, and M. Ernst, “Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion,” Angewandte Chemie International Edition, vol. 50, no. 46. Wiley, pp. 11005–11009, 2011.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 90
A. P. Higginbotham, A. Guillen, N. Jones, T. Donnelly, and A. Bernoff, “Evidence of the harmonic Faraday instability in ultrasonic atomization experiments with a deep, inviscid fluid,” Journal of the Acoustical Society of America, vol. 130, no. 5. Acoustical Society of America, pp. 2694–2699, 2011.
View
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 9144 |
C. J. Muller, P. A. O’Gorman, and L. E. Back, “Intensification of precipitation extremes with warming in a cloud-resolving model,” Journal of Climate, vol. 24, no. 11. American Meteorological Society, pp. 2784–2800, 2011.
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 923 |
S. Fré et al., “Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice,” PLoS One, vol. 6, no. 10. Public Library of Science, 2011.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 9483 |
T.-F. Hsieh et al., “Regulation of imprinted gene expression in Arabidopsis endosperm,” Proceedings of the National Academy of Sciences, vol. 108, no. 5. National Academy of Sciences, pp. 1755–1762, 2011.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 967 |
M. Serbyn, T. Senthil, and P. Lee, “Exotic S=1 spin-liquid state with fermionic excitations on the triangular lattice,” Physical Review B - Condensed Matter and Materials Physics, vol. 84, no. 18. American Physical Society, 2011.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 969 |
M. Serbyn and P. Lee, “Isotope effect on the superfluid density in conventional and high-temperature superconductors,” Physical Review B - Condensed Matter and Materials Physics, vol. 83, no. 2. American Physical Society, 2011.
View
| DOI
| Download (ext.)