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.
2023 Publications
2010 |Published| Journal Article | IST-REx-ID: 2763
Erdös L, Ramírez J, Schlein B, Tao T, Van V, Yau H. 2010. Bulk universality for Wigner Hermitian matrices with subexponential decay. Mathematical Research Letters. 17(4), 667–674.
View
2010 |Published| Conference Paper | IST-REx-ID: 2978 |
Bangerter E, Camenisch J, Krenn S. 2010. Efficiency Limitations for Σ-Protocols for Group Homomorphisms. TCC: Theory of Cryptography Conference, LNCS, vol. 5978, 553–571.
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3075
Robert S, Kleine Vehn J, Barbez E, Sauer M, Paciorek T, Baster P, Vanneste S, Zhang J, Simon S, Čovanová M, Hayashi K, Dhonukshe P, Yang Z, Bednarek S, Jones A, Luschnig C, Aniento F, Zažímalová E, Friml J. 2010. ABP1 mediates auxin inhibition of clathrin-dependent endocytosis in Arabidopsis. Cell. 143(1), 111–121.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 10909
Chen C, Freedman D. 2010. Hardness results for homology localization. Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1594–1604.
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3702
Kober J, Mülling K, Krömer O, Lampert C, Schölkopf B, Peters J. 2010. Movement templates for learning of hitting and batting. ICRA: International Conference on Robotics and Automation, 853–858.
View
| DOI
| Download (ext.)
2010 |Published| Conference (Editor) | IST-REx-ID: 3859
Chatterjee K, Henzinger TA eds. 2010. Formal modeling and analysis of timed systems, Springer,p.
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3866 |
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. 2010. Robustness in the presence of liveness. CAV: Computer Aided Verification, LNCS, vol. 6174, 410–424.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3868 |
Chatterjee K, De Alfaro L, Majumdar R, Raman V. 2010. Algorithms for game metrics. Logical Methods in Computer Science. 6(3), 1–27.
[Published Version]
View
| Files available
| DOI
2010 |Published| Book | IST-REx-ID: 3899
Edelsbrunner H, Harer J. 2010. Computational Topology: An Introduction, American Mathematical Society, XII, 241p.
View
| Files available
| DOI
| Download None (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3958
Mohan H, Krumbholz M, Sharma R, Eisele S, Junker A, Sixt MK, Newcombe J, Wekerle H, Hohlfeld R, Lassmann H, Meinl E. 2010. Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells. Brain Pathology. 20(5), 966–975.
View
| DOI
2010 |Published| Book (Editor) | IST-REx-ID: 4346 |
Danowski P, Bergmann J eds. 2010. Handbuch Bibliothek 2.0, De Gruyter, 405p.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 3201
Vicente S, Kolmogorov V, Rother C. 2010. Cosegmentation revisited: Models and optimization. ECCV: European Conference on Computer Vision, LNCS, vol. 6312, 465–479.
View
| DOI
| Download (ext.)