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 |
Chatterjee K, Doyen L. 2011. Partial-observation stochastic games: How to win when belief fails, IST Austria, 43p.
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5380 |
Chatterjee K. 2011. Bounded rationality in concurrent parity games, IST Austria, 53p.
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5382 |
Chatterjee K. 2011. Robustness of structurally equivalent concurrent parity games, IST Austria, 18p.
[Published Version]
View
| Files available
| DOI
2011 | Preprint | IST-REx-ID: 3338 |
Chatterjee K. 2011. Bounded rationality in concurrent parity games. arXiv, 1–51, .
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3356 |
Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values. LICS: Logic in Computer Science, 5970226.
[Submitted Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5385 |
Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values, IST Austria, 14p.
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5386 |
Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation, IST Austria, 69p.
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5383 |
Wies T, Muñiz M, Kuncak V. 2011. On an efficient decision procedure for imperative tree data structures, IST Austria, 25p.
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5384 |
Chatterjee K, Tracol M. 2011. Decidable problems for probabilistic automata on infinite words, IST Austria, 30p.
[Published Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3336
Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation. CVPR: Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition, 2089–2096.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3323
Wies T, Muñiz M, Kuncak V. 2011. An efficient decision procedure for imperative tree data structures. CADE 23: Automated Deduction , LNAI , vol. 6803, 476–491.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3366 |
Cerny P, Chatterjee K, Henzinger TA, Radhakrishna A, Singh R. 2011. Quantitative synthesis for concurrent programs. CAV: Computer Aided Verification, LNCS, vol. 6806, 243–259.
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3345 |
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6907, 206–218.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Technical Report | IST-REx-ID: 5387 |
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov decision processes, IST Austria, 20p.
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 6140 |
Arellano-Carbajal F, Briseño-Roa L, Couto A, Cheung BHH, Labouesse M, de Bono M. 2011. Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability. PLoS Genetics. 7(3), e1001341.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 6137 |
Milward K, Busch KE, Murphy RJ, de Bono M, Olofsson B. 2011. Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 108(51), 20672–20677.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 6138 |
Bretscher AJ, Kodama-Namba E, Busch KE, Murphy RJ, Soltesz Z, Laurent P, de Bono M. 2011. Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior. Neuron. 69(6), 1099–1113.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
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.)
2011 | Journal Article | IST-REx-ID: 6496 |
Park H, Oikonomou P, Guet CC, Cluzel P. 2011. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 101(10), 2336–2340.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 6749 |
Mondelli M, Ciomaga A. 2011. Finite difference schemes for MCM and AMSS. Image Processing On Line. 1, 127–177.
[Published Version]
View
| Files available
| DOI
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
2011 | Journal Article | IST-REx-ID: 7077
Capps J, Ma B, Drye T, Nucklos C, Lindsey S, Rhodes D, Zhang Q, Modic KA, Cawthorne S, Drymiotis F. 2011. 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. 509(5), 1544–1549.
View
| DOI
2011 | Journal Article | IST-REx-ID: 7313
Bruce PG, Freunberger SA, Hardwick LJ, Tarascon J-M. 2011. Li–O2 and Li–S batteries with high energy storage. Nature Materials. 11(1), 19–29.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 8025 |
Woodruff AR, McGarry LM, Vogels TP, Inan M, Anderson SA, Yuste R. 2011. State-dependent function of neocortical chandelier cells. Journal of Neuroscience. 31(49), 17872–17886.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 8074
Vogels TP, Sprekeler H, Zenke F, Clopath C, Gerstner W. 2011. Inhibitory plasticity balances excitation and inhibition in sensory pathways and memory networks. Science. 334(6062), 1569–1573.
View
| Files available
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 8464
Schanda P, Huber M, Boisbouvier J, Meier BH, Ernst M. 2011. Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion. Angewandte Chemie International Edition. 50(46), 11005–11009.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 8468
Lalli D, Schanda P, Chowdhury A, Retel J, Hiller M, Higman VA, Handel L, Agarwal V, Reif B, van Rossum B, Akbey Ü, Oschkinat H. 2011. Three-dimensional deuterium-carbon correlation experiments for high-resolution solid-state MAS NMR spectroscopy of large proteins. Journal of Biomolecular NMR. 51(4), 477–485.
View
| DOI
2011 | Journal Article | IST-REx-ID: 90
Higginbotham AP, Guillen A, Jones N, Donnelly T, Bernoff A. 2011. Evidence of the harmonic Faraday instability in ultrasonic atomization experiments with a deep, inviscid fluid. Journal of the Acoustical Society of America. 130(5), 2694–2699.
View
| DOI
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 9144 |
Muller CJ, O’Gorman PA, Back LE. 2011. Intensification of precipitation extremes with warming in a cloud-resolving model. Journal of Climate. 24(11), 2784–2800.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 923 |
Fré S, Hannezo EB, Šale S, Huyghe M, Lafkas D, Kissel H, Louvi A, Greve J, Louvard D, Artavanis Tsakonas S. 2011. Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice. PLoS One. 6(10), e25785.
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 9483 |
Hsieh T-F, Shin J, Uzawa R, Silva P, Cohen S, Bauer MJ, Hashimoto M, Kirkbride RC, Harada JJ, Zilberman D, Fischer RL. 2011. Regulation of imprinted gene expression in Arabidopsis endosperm. Proceedings of the National Academy of Sciences. 108(5), 1755–1762.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 967 |
Serbyn M, Senthil T, Lee P. 2011. Exotic S=1 spin-liquid state with fermionic excitations on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. 84(18).
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 969 |
Serbyn M, Lee P. 2011. Isotope effect on the superfluid density in conventional and high-temperature superconductors. Physical Review B - Condensed Matter and Materials Physics. 83(2).
View
| DOI
| Download (ext.)
2011 | Other Publication | IST-REx-ID: 9522 |
Zilberman D. 2011. Balancing parental contributions in plant embryonic gene activation, Elsevier,p.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Conference Paper | IST-REx-ID: 9648 |
Gonzalez-Diaz R, Ion A, Jimenez MJ, Poyatos R. 2011. Incremental-decremental algorithm for computing AT-models and persistent homology. Computer Analysis of Images and Patterns. CAIP: International Conference on Computer Analysis of Images and Patterns, LNCS, vol. 6854, 286–293.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3395
Palero F, Abello P, Macpherson E, Beaumont M, Pascual M. 2011. Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster Palinurus elephas. Biological Journal of the Linnean Society. 104(2), 407–418.
View
| Files available
| DOI
2011 | Research Data Reference | IST-REx-ID: 9762 |
Palero F, Abello P, Macpherson E, Beaumont M, Pascual M. 2011. Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas), IST Austria, 10.5061/dryad.299h8.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2011 | Conference Paper | IST-REx-ID: 9943 |
Sommer CM, Straehle C, Köthe U, Hamprecht FA. 2011. Ilastik: Interactive learning and segmentation toolkit. 2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro. ISBI: International Symposium on Biomedical Imaging.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2011 | Conference Paper | IST-REx-ID: 10907
Artner NM, Ion A, Kropatsch WG. 2011. Spatio-temporal extraction of articulated models in a graph pyramid. Graph-Based Representations in Pattern Recognition. GbRPR: Graph-based Representations in Pattern RecognitionLNIP, LNCS, vol. 6658, 215–224.
View
| DOI
2011 | Thesis | IST-REx-ID: 3275 |
Schumann K. 2011. The role of chemotactic gradients in dendritic cell migration. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2011 | Thesis | IST-REx-ID: 3273
Maître J-L. 2011. Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors. Institute of Science and Technology Austria.
View
2011 | Conference Paper | IST-REx-ID: 3238
Kiltz E, Pietrzak KZ, Cash D, Jain A, Venturi D. 2011. Efficient authentication from hard learning problems. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 6632, 7–26.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3163
Lampert C. 2011. Maximum margin multi-label structured prediction. NIPS: Neural Information Processing Systems.
View
| Files available
2011 | Conference Poster | IST-REx-ID: 3322
Lampert C. 2011. Maximum margin multi label structured prediction, Neural Information Processing Systems Foundation,p.
View
| Files available
2011 | Journal Article | IST-REx-ID: 3320 |
Nowozin S, Lampert C. 2011. Structured learning and prediction in computer vision. Foundations and Trends in Computer Graphics and Vision. 6(3–4), 185–365.
[Published Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3319
Quadrianto N, Lampert C. 2011. Learning multi-view neighborhood preserving projections. ICML: International Conference on Machine Learning, 425–432.
View
2011 | Journal Article | IST-REx-ID: 3373 |
Jahnel M, Behrndt M, Jannasch A, Schaeffer E, Grill S. 2011. Measuring the complete force field of an optical trap. Optics Letters. 36(7), 1260–1262.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3375 |
de Vladar H, Barton NH. 2011. The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface. 8(58), 720–739.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3393 |
Barton NH, Turelli M. 2011. Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist. 178(3), E48–E75.
[Submitted Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 14305 |
Bachmann A, Wildemann D, Praetorius FM, Fischer G, Kiefhaber T. 2011. Mapping backbone and side-chain interactions in the transition state of a coupled protein folding and binding reaction. PNAS. 108(10), 3952–3957.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 10128
Šarić A, Hrenar T, Mališ M, Došlić N. 2010. Quantum mechanical study of secondary structure formation in protected dipeptides. Physical Chemistry Chemical Physics. 12(18), 4678–4685.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 10127 |
Šarić A, Cacciuto A. 2010. Particle self-assembly on soft elastic shells. Soft Matter. 7(5), 1874–1878.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 10390 |
Šarić A, Bozorgui B, Cacciuto A. 2010. Packing of soft asymmetric dumbbells. The Journal of Physical Chemistry B. 115(22), 7182–7189.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 | Journal Article | IST-REx-ID: 10391 |
Šarić A, Pàmies JC, Cacciuto A. 2010. Effective elasticity of a flexible filament bound to a deformable cylindrical surface. Physical Review Letters. 104(22), 226101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 | Journal Article | IST-REx-ID: 1044 |
Danzl JG, Mark M, Haller E, Gustavsson M, Hart R, Aldegunde J, Hutson J, Nägerl H. 2010. An ultracold high-density sample of rovibronic ground-state molecules in an optical lattice. Nature Physics. 6(4), 265–270.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 1045 |
Haller E, Mark M, Hart R, Danzl JG, Reichsöllner L, Melezhik V, Schmelcher P, Nägerl H. 2010. Confinement-induced resonances in low-dimensional quantum systems. Physical Review Letters. 104(15).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 1049 |
Haller E, Hart R, Mark M, Danzl JG, Reichsöllner L, Gustavsson M, Dalmonte M, Pupillo G, Nägerl H. 2010. Pinning quantum phase transition for a Luttinger liquid of strongly interacting bosons. Nature. 466(7306), 597–600.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Journal Article | IST-REx-ID: 1047 |
Haller E, Hart R, Mark M, Danzl JG, Reichsöllner L, Nägerl H. 2010. Inducing transport in a dissipation-free lattice with super bloch oscillations. Physical Review Letters. 104(20).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Conference Paper | IST-REx-ID: 10908 |
Blanc R, Henzinger TA, Hottelier T, Kovács L. 2010. ABC: Algebraic Bound Computation for loops. Logic for Programming, Artificial Intelligence, and Reasoning. LPAR: Conference on Logic for Programming, Artificial Intelligence and ReasoningLNCS vol. 6355, 103–118.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Journal Article | IST-REx-ID: 11097
Hetzer M. 2010. The nuclear envelope. Cold Spring Harbor Perspectives in Biology. 2(3), a000539–a000539.
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 11099
Doucet CM, Hetzer M. 2010. Nuclear pore biogenesis into an intact nuclear envelope. Chromosoma. 119, 469–477.
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 11102 |
Capelson M, Liang Y, Schulte R, Mair W, Wagner U, Hetzer M. 2010. Chromatin-bound nuclear pore components regulate gene expression in higher eukaryotes. Cell. 140(3), 372–383.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 11101 |
Doucet CM, Talamas JA, Hetzer M. 2010. Cell cycle-dependent differences in nuclear pore complex assembly in metazoa. Cell. 141(6), 1030–1041.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 11098 |
Hetzer M. 2010. The role of the nuclear pore complex in aging of post-mitotic cells. Aging. 2(2), 74–75.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Conference Paper | IST-REx-ID: 11753
Lang SB, Lashley JC, Modic KA, Fisher RA, Zhu WM, Ye ZG. 2010. Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary. Proceedings of the 2010 IEEE International Conference on Solid Dielectrics. ICSD: International Conference on Solid Dielectrics, 5568033.
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 11754
Lang SB, Lashley JC, Modic KA, Fisher RA, Zhu WM, Ye ZG. 2010. Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary. 15th IEEE Mediterranean Electrotechnical Conference. MELECON: Mediterranean Electrotechnical Conference, 5476345.
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 11797 |
Feldman J, Henzinger MH, Korula N, Mirrokni VS, Stein C. 2010. Online stochastic packing applied to display ad allocation. 18th Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LNCS, vol. 6346, 182–194.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Conference Paper | IST-REx-ID: 11838 |
Dütting P, Henzinger MH, Weber I. 2010. Sponsored search, market equilibria, and the Hungarian Method. 27th International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 5, 287–298.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv