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.
8923 Publications
2011 |
Published |
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 |
Published |
Preprint |
IST-REx-ID: 3339 |
Chatterjee K, De Alfaro L, Pritam R. 2011. Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv, .
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2011 |
Published |
Conference Paper |
IST-REx-ID: 3342 |
Chatterjee K, Henzinger MH, Joglekar M, Nisarg S. 2011. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. CAV: Computer Aided Verification, LNCS, vol. 6806, 260–276.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 |
Published |
Conference Paper |
IST-REx-ID: 3343 |
Chatterjee K, Henzinger MH. 2011. Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification. SODA: Symposium on Discrete Algorithms, 1318–1336.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |
Published |
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 |
Published |
Journal Article |
IST-REx-ID: 11094 |
Talamas JA, Hetzer M. 2011. POM121 and Sun1 play a role in early steps of interphase NPC assembly. Journal of Cell Biology. 194(1), 27–37.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 |
Published |
Journal Article |
IST-REx-ID: 11095
Hetzer M, Cavalli G. 2011. Editorial overview. Current Opinion in Cell Biology. 23(3), 255–257.
View
| DOI
| PubMed | Europe PMC
2011 |
Published |
Journal Article |
IST-REx-ID: 11096
Liang Y, Hetzer M. 2011. Functional interactions between nucleoporins and chromatin. Current Opinion in Cell Biology. 23(1), 65–70.
View
| DOI
| PubMed | Europe PMC
2011 |
Published |
Journal Article |
IST-REx-ID: 11100
Capelson M, Doucet C, Hetzer M. 2011. Nuclear pore complexes: Guardians of the nuclear genome. Cold Spring Harbor Symposia on Quantitative Biology. 75, 585–597.
View
| DOI
| PubMed | Europe PMC
2011 |
Published |
Journal Article |
IST-REx-ID: 112 |
Waitukaitis SR, Grütjen H, Royer J, Jaeger H. 2011. Droplet and cluster formation in freely falling granular streams. Physical Review E. 83(5), 051302.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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