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.

440 Publications


2015 | Published | Journal Article | IST-REx-ID: 6120 | OA
Laurent P, Soltesz Z, Nelson GM, Chen C, Arellano-Carbajal F, Levy E, de Bono M. 2015. Decoding a neural circuit controlling global animal state in C. elegans. eLife. 4, e04241.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 6507
Zhou L, Hinerman JM, Blaszczyk M, Miller JLC, Conrady DG, Barrow AD, Chirgadze DY, Bihan D, Farndale RW, Herr AB. 2015. Structural basis for collagen recognition by the immune receptor OSCAR. Blood. 127(5), 529–537.
View | DOI | PubMed | Europe PMC
 

2015 | Published | Book Review | IST-REx-ID: 1473 | OA
Hausel T, Rodríguez Villegas F. 2015. Cohomology of large semiprojective hyperkähler varieties. Asterisque. 2015(370), 113–156.
View | Download (ext.)
 

2015 | Published | Conference Paper | IST-REx-ID: 1474 | OA
Ferrara A, Fuchsbauer G, Liu B, Warinschi B. 2015. Policy privacy in cryptographic access control. CSF: Computer Security Foundations, 46–60.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2015 | Published | Conference Paper | IST-REx-ID: 1481 | OA
Ahmed U, Chatterjee K, Gulwani S. 2015. Automatic generation of alternative starting positions for simple traditional board games. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 2, 745–752.
View | Files available | Download None (ext.)
 

2015 | Published | Conference Paper | IST-REx-ID: 1483 | OA
Reininghaus J, Huber S, Bauer U, Kwitt R. 2015. A stable multi-scale kernel for topological machine learning. CVPR: Computer Vision and Pattern Recognition, 4741–4748.
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Published | Conference Paper | IST-REx-ID: 1495 | OA
Edelsbrunner H, Iglesias Ham M, Kurlin V. 2015. Relaxed disk packing. Proceedings of the 27th Canadian Conference on Computational Geometry. CCCG: Canadian Conference on Computational Geometry vol. 2015–August, 128–135.
[Submitted Version] View | Download Submitted Version (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 1497 | OA
Andergassen D, Dotter C, Kulinski T, Guenzl P, Bammer P, Barlow D, Pauler F, Hudson Q. 2015. Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data. Nucleic Acids Research. 43(21), e146.
[Published Version] View | Files available | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 1498 | OA
Dragoi C, Henzinger TA, Zufferey D. 2015. The need for language support for fault-tolerant distributed systems. 32, 90–102.
[Published Version] View | Files available | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 1499 | OA
Kretinsky J, Larsen K, Laursen S, Srba J. 2015. Polynomial time decidability of weighted synchronization under partial observability. CONCUR: Concurrency Theory, LIPIcs, vol. 42, 142–154.
[Published Version] View | Files available | DOI
 

2015 | Published | Conference Poster | IST-REx-ID: 1500
Nguyen L, Schilling C, Bogomolov S, Johnson T. 2015. Poster: HyRG: A random generation tool for affine hybrid automata, Springer,p.
View | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 1501 | OA
Chatterjee K, Chmelik M, Daca P. 2015. CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design. 47(2), 230–264.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Published | Conference Paper | IST-REx-ID: 1502 | OA
Beneš N, Daca P, Henzinger TA, Kretinsky J, Nickovic D. 2015. Complete composition operators for IOCO-testing theory. CBSE: Component-Based Software Engineering , Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering , , 101–110.
[Submitted Version] View | Files available | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 1503 | OA
Sadel C. 2015. A Herman-Avila-Bochi formula for higher-dimensional pseudo-unitary and Hermitian-symplectic-cocycles. Ergodic Theory and Dynamical Systems. 35(5), 1582–1591.
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 1504 | OA
Bao Z, Lin L, Pan G, Zhou W. 2015. Spectral statistics of large dimensional spearman s rank correlation matrix and its application. Annals of Statistics. 43(6), 2588–2623.
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 1505 | OA
Bao Z, Pan G, Zhou W. 2015. Universality for the largest eigenvalue of sample covariance matrices with general population. Annals of Statistics. 43(1), 382–421.
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 1506 | OA
Bao Z, Pan G, Zhou W. 2015. The logarithmic law of random determinant. Bernoulli. 21(3), 1600–1628.
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 1508 | OA
Erdös L, Yau H. 2015. Gap universality of generalized Wigner and β ensembles. Journal of the European Mathematical Society. 17(8), 1927–2036.
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 1509 | OA
Michalko J, Lukacisinova M, Bollenbach MT, Friml J. 2015. Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene. F1000 Research . 4.
[Published Version] View | Files available | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 1510 | OA
Franek P, Krcál M. 2015. On computability and triviality of well groups. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 34, 842–856.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed