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.
9096 Publications
2011 | Technical Report | IST-REx-ID: 5381 |
K. Chatterjee and L. Doyen, Partial-observation stochastic games: How to win when belief fails. IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5380 |
K. Chatterjee, Bounded rationality in concurrent parity games. IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5382 |
K. Chatterjee, Robustness of structurally equivalent concurrent parity games. IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
2011 | Preprint | IST-REx-ID: 3338 |
K. Chatterjee, “Bounded rationality in concurrent parity games,” arXiv. ArXiv, pp. 1–51, 2011.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3356 |
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, “Temporal specifications with accumulative values,” presented at the LICS: Logic in Computer Science, Toronto, Canada, 2011.
[Submitted Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5385 |
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, Temporal specifications with accumulative values. IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
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.
[Published Version]
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.
[Published Version]
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.
[Published Version]
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.
[Submitted Version]
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.
[Preprint]
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.
[Published Version]
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.
[Published Version]
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.
[Submitted Version]
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.
[Published Version]
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.
[Published Version]
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.
[Published Version]
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.
[Published Version]
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.
[Published Version]
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.
[Published Version]
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.
[Published Version]
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.
[Published Version]
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.)
2011 | Journal Article | IST-REx-ID: 919
T. Angelini, E. B. Hannezo, X. Trepatc, M. Marquez, J. Fredberg, and D. Weitz, “Glass-like dynamics of collective cell migration,” Proceedings of the National Academy of Sciences of the United States of America, vol. 108, no. 12. PNAS, pp. 4714–4719, 2011.
View
| DOI
2011 | Other Publication | IST-REx-ID: 9522 |
D. Zilberman, Balancing parental contributions in plant embryonic gene activation, vol. 20, no. 6. Elsevier, 2011, pp. 735–736.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Conference Paper | IST-REx-ID: 9648 |
R. Gonzalez-Diaz, A. Ion, M. J. Jimenez, and R. Poyatos, “Incremental-decremental algorithm for computing AT-models and persistent homology,” in Computer Analysis of Images and Patterns, Seville, Spain, 2011, vol. 6854, pp. 286–293.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3395
F. Palero, P. Abello, E. Macpherson, M. Beaumont, and M. Pascual, “Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas,” Biological Journal of the Linnean Society, vol. 104, no. 2. Wiley-Blackwell, pp. 407–418, 2011.
View
| Files available
| DOI
2011 | Research Data Reference | IST-REx-ID: 9762 |
F. Palero, P. Abello, E. Macpherson, M. Beaumont, and M. Pascual, “Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas).” IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2011 | Conference Paper | IST-REx-ID: 9943 |
C. M. Sommer, C. Straehle, U. Köthe, and F. A. Hamprecht, “Ilastik: Interactive learning and segmentation toolkit,” in 2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro, Chicago, Illinois, USA, 2011.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2011 | Thesis | IST-REx-ID: 3275 |
K. Schumann, “The role of chemotactic gradients in dendritic cell migration,” Institute of Science and Technology Austria, 2011.
[Published Version]
View
| Files available
2011 | Thesis | IST-REx-ID: 3273
J.-L. Maître, “Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors,” Institute of Science and Technology Austria, 2011.
View
2011 | Conference Paper | IST-REx-ID: 3238
E. Kiltz, K. Z. Pietrzak, D. Cash, A. Jain, and D. Venturi, “Efficient authentication from hard learning problems,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, 2011, vol. 6632, pp. 7–26.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3163
C. Lampert, “Maximum margin multi-label structured prediction,” presented at the NIPS: Neural Information Processing Systems, Granada, Spain, 2011.
View
| Files available
2011 | Conference Poster | IST-REx-ID: 3322
C. Lampert, Maximum margin multi label structured prediction. Neural Information Processing Systems Foundation, 2011.
View
| Files available
2011 | Journal Article | IST-REx-ID: 3320 |
S. Nowozin and C. Lampert, “Structured learning and prediction in computer vision,” Foundations and Trends in Computer Graphics and Vision, vol. 6, no. 3–4. Now Publishers, pp. 185–365, 2011.
[Published Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3319
N. Quadrianto and C. Lampert, “Learning multi-view neighborhood preserving projections,” presented at the ICML: International Conference on Machine Learning, Bellevue, United States, 2011, pp. 425–432.
View
2011 | Journal Article | IST-REx-ID: 3373 |
M. Jahnel, M. Behrndt, A. Jannasch, E. Schaeffer, and S. Grill, “Measuring the complete force field of an optical trap,” Optics Letters, vol. 36, no. 7. Optica Publishing Group, pp. 1260–1262, 2011.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3375 |
H. de Vladar and N. H. Barton, “The statistical mechanics of a polygenic character under stabilizing selection mutation and drift,” Journal of the Royal Society Interface, vol. 8, no. 58. The Royal Society, pp. 720–739, 2011.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3393 |
N. H. Barton and M. Turelli, “Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects,” American Naturalist, vol. 178, no. 3. The University of Chicago Press, pp. E48–E75, 2011.
[Submitted Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 14305 |
A. Bachmann, D. Wildemann, F. M. Praetorius, G. Fischer, and T. Kiefhaber, “Mapping backbone and side-chain interactions in the transition state of a coupled protein folding and binding reaction,” PNAS, vol. 108, no. 10. Proceedings of the National Academy of Sciences, pp. 3952–3957, 2011.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 10128
A. Šarić, T. Hrenar, M. Mališ, and N. Došlić, “Quantum mechanical study of secondary structure formation in protected dipeptides,” Physical Chemistry Chemical Physics, vol. 12, no. 18. Royal Society of Chemistry , pp. 4678–4685, 2010.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 10127 |
A. Šarić and A. Cacciuto, “Particle self-assembly on soft elastic shells,” Soft Matter, vol. 7, no. 5. Royal Society of Chemistry (RSC), pp. 1874–1878, 2010.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 10390 |
A. Šarić, B. Bozorgui, and A. Cacciuto, “Packing of soft asymmetric dumbbells,” The Journal of Physical Chemistry B, vol. 115, no. 22. American Chemical Society, pp. 7182–7189, 2010.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 | Journal Article | IST-REx-ID: 10391 |
A. Šarić, J. C. Pàmies, and A. Cacciuto, “Effective elasticity of a flexible filament bound to a deformable cylindrical surface,” Physical Review Letters, vol. 104, no. 22. American Physical Society, 2010.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 | Conference Paper | IST-REx-ID: 1042
J. G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, and H. Nägerl, “Production of a quantum gas of rovibronic ground-state molecules in an optical lattice,” presented at the ICOLS: International Conference on Laser Spectroscopy, 2010, pp. 256–269.
View
| DOI
2010 | Journal Article | IST-REx-ID: 1044 |
J. G. Danzl et al., “An ultracold high-density sample of rovibronic ground-state molecules in an optical lattice,” Nature Physics, vol. 6, no. 4. Nature Publishing Group, pp. 265–270, 2010.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 1045 |
E. Haller et al., “Confinement-induced resonances in low-dimensional quantum systems,” Physical Review Letters, vol. 104, no. 15. American Physical Society, 2010.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 1049 |
E. Haller et al., “Pinning quantum phase transition for a Luttinger liquid of strongly interacting bosons,” Nature, vol. 466, no. 7306. Nature Publishing Group, pp. 597–600, 2010.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 1047 |
E. Haller, R. Hart, M. Mark, J. G. Danzl, L. Reichsöllner, and H. Nägerl, “Inducing transport in a dissipation-free lattice with super bloch oscillations,” Physical Review Letters, vol. 104, no. 20. American Physical Society, 2010.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Conference Paper | IST-REx-ID: 10908 |
R. Blanc, T. A. Henzinger, T. Hottelier, and L. Kovács, “ABC: Algebraic Bound Computation for loops,” in Logic for Programming, Artificial Intelligence, and Reasoning, Dakar, Senegal, 2010, vol. 6355, pp. 103–118.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Journal Article | IST-REx-ID: 11097
M. Hetzer, “The nuclear envelope,” Cold Spring Harbor Perspectives in Biology, vol. 2, no. 3. Cold Spring Harbor Laboratory, pp. a000539–a000539, 2010.
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 11099
C. M. Doucet and M. Hetzer, “Nuclear pore biogenesis into an intact nuclear envelope,” Chromosoma, vol. 119. Springer Nature, pp. 469–477, 2010.
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 11102 |
M. Capelson, Y. Liang, R. Schulte, W. Mair, U. Wagner, and M. Hetzer, “Chromatin-bound nuclear pore components regulate gene expression in higher eukaryotes,” Cell, vol. 140, no. 3. Elsevier, pp. 372–383, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 11101 |
C. M. Doucet, J. A. Talamas, and M. Hetzer, “Cell cycle-dependent differences in nuclear pore complex assembly in metazoa,” Cell, vol. 141, no. 6. Elsevier, pp. 1030–1041, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 11098 |
M. Hetzer, “The role of the nuclear pore complex in aging of post-mitotic cells,” Aging, vol. 2, no. 2. Impact Journals, pp. 74–75, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Conference Paper | IST-REx-ID: 11753
S. B. Lang, J. C. Lashley, K. A. Modic, R. A. Fisher, W. M. Zhu, and Z. G. Ye, “Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary,” in Proceedings of the 2010 IEEE International Conference on Solid Dielectrics, Potsdam, Germany, 2010.
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 11754
S. B. Lang, J. C. Lashley, K. A. Modic, R. A. Fisher, W. M. Zhu, and Z. G. Ye, “Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary,” in 15th IEEE Mediterranean Electrotechnical Conference, Valletta, Malta, 2010.
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 11797 |
J. Feldman, M. H. Henzinger, N. Korula, V. S. Mirrokni, and C. Stein, “Online stochastic packing applied to display ad allocation,” in 18th Annual European Symposium on Algorithms, Liverpool, United Kingdom, 2010, vol. 6346, pp. 182–194.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Conference Paper | IST-REx-ID: 11838 |
P. Dütting, M. H. Henzinger, and I. Weber, “Sponsored search, market equilibria, and the Hungarian Method,” in 27th International Symposium on Theoretical Aspects of Computer Science, Nancy, France, 2010, vol. 5, pp. 287–298.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv