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.

1621 Publications


2011 |Published| Conference Paper | IST-REx-ID: 757
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. 2011. Generating fast indulgent algorithms. ICDCN: International Conference on Distributed Computing and Networking, LNCS, vol. 6522 LNCS, 41–52.
View | DOI
 

2011 |Published| Conference Paper | IST-REx-ID: 760
Alistarh D-A, Aspnes J. 2011. Sub-logarithmic test-and-set against a weak adversary. DISC: Distributed Computing, LNCS, vol. 6950 LNCS, 97–109.
View | DOI
 

2011 |Published| Journal Article | IST-REx-ID: 8025 | OA
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| Conference Paper | IST-REx-ID: 9648 | OA
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 |Published| Conference Paper | IST-REx-ID: 9943 | OA
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 |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| 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
 

2010 |Published| Conference Paper | IST-REx-ID: 10908 | OA
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 |Published| 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 |Published| Conference Paper | IST-REx-ID: 11797 | OA
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 |Published| Conference Paper | IST-REx-ID: 11798
Dütting P, Henzinger MH. 2010. Mechanisms for the marriage and the assignment game. 7th International Conference on Algorithms and Complexity. CIAC: International Conference on Algorithms and Complexity, LNCS, vol. 6078, 6–12.
View | DOI
 

2010 |Published| Conference Paper | IST-REx-ID: 11838 | OA
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
 

2010 |Published| Journal Article | IST-REx-ID: 1465 | OA
Hausel T. 2010. Kac’s conjecture from Nakajima quiver varieties. Inventiones Mathematicae. 181(1), 21–37.
View | DOI | Download (ext.)
 

2010 |Published| Journal Article | IST-REx-ID: 2311
Rickheit G, Wartosch L, Schaffer S, Stobrawa S, Novarino G, Weinert S, Jentsch T. 2010. Role of ClC-5 in renal endocytosis is unique among ClC exchangers and does not require PY-motif-dependent ubiquitylation. Journal of Biological Chemistry. 285(23), 17595–17603.
View | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 2508
Atherton J, Kitano K, Baufreton J, Fan K, Wokosin D, Tkatch T, Shigemoto R, Surmeier J, Bevan M. 2010. Selective participation of somatodendritic HCN channels in inhibitory but not excitatory synaptic integration in neurons of the subthalamic nucleus. Journal of Neuroscience. 30(47), 16025–16040.
View | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 2506
Furuya S, Furuya K, Shigemoto R, Sokabe M. 2010. Localization of NK1 receptors and roles of substance-P in subepithelial fibroblasts of rat intestinal villi. Cell and Tissue Research. 342(2), 243–259.
View | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 2507
Parajuli L, Fukazawa Y, Watanabe M, Shigemoto R. 2010. Subcellular distribution of α1G subunit of T-type calcium channel in the mouse dorsal lateral geniculate nucleus. Journal of Comparative Neurology. 518(21), 4362–4374.
View | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 2761
Erdös L, Ramírez J, Schlein B, Yau H. 2010. Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation. Electronic Journal of Probability. 15(18), 526–603.
View | DOI
 

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: 2979 | OA
Almeida J, Bangerter E, Barbosa M, Krenn S, Sadeghi A, Schneider T. 2010. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. ESORICS: European Symposium on Research in Computer Security, LNCS, vol. 6345, 151–167.
View | DOI | Download (ext.)
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications