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.

5660 Publications


2016 | Conference Paper | IST-REx-ID: 1437 | OA
Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Algorithms for algebraic path properties in concurrent systems of constant treewidth components (Vol. 20–22, pp. 733–747). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837624
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee, K., Fu, H., & Goharshady, A. K. (2016). Termination analysis of probabilistic programs through Positivstellensatz’s (Vol. 9779, pp. 3–22). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41528-4_1
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 10748 | OA
Polshyn, H., Zhang, C., Naibert, T., Eckstein, J., & Budakian, R. (2015). Study of Fe (Se, Te) micron-sized rings by magnetic force microscopy. In APS March Meeting 2015 (Vol. 60). San Antonio, TX, United States: American Physical Society.
[Published Version] View | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 10794 | OA
Parise, F., Lygeros, J., & Ruess, J. (2015). Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study. Frontiers in Environmental Science. Frontiers. https://doi.org/10.3389/fenvs.2015.00042
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 11079 | OA
Mertens, J., Paquola, A. C. M., Ku, M., Hatch, E., Böhnke, L., Ladjevardi, S., … Gage, F. H. (2015). Directly reprogrammed human neurons retain aging-associated transcriptomic signatures and reveal age-related nucleocytoplasmic defects. Cell Stem Cell. Elsevier. https://doi.org/10.1016/j.stem.2015.09.001
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11077 | OA
Jacinto, F. V., Benner, C., & Hetzer, M. (2015). The nucleoporin Nup153 regulates embryonic stem cell pluripotency through gene silencing. Genes & Development. Cold Spring Harbor Laboratory. https://doi.org/10.1101/gad.260919.115
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11078 | OA
Ori, A., Toyama, B. H., Harris, M. S., Bock, T., Iskar, M., Bork, P., … Beck, M. (2015). Integrated transcriptome and proteome analyses reveal organ-specific proteome deterioration in old rats. Cell Systems. Elsevier. https://doi.org/10.1016/j.cels.2015.08.012
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11076 | OA
Ibarra, A., & Hetzer, M. (2015). Nuclear pore proteins and the control of genome functions. Genes & Development. Cold Spring Harbor Laboratory. https://doi.org/10.1101/gad.256495.114
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11073 | OA
Hatch, E. M., & Hetzer, M. (2015). Linking micronuclei to chromosome fragmentation. Cell. Elsevier. https://doi.org/10.1016/j.cell.2015.06.005
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11074 | OA
Hatch, E. M., & Hetzer, M. (2015). Chromothripsis. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2015.02.033
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11519 | OA
Sobral, D., Matthee, J. J., Darvish, B., Schaerer, D., Mobasher, B., Röttgering, H., … Hemmati, S. (2015). Evidence for PopIII-like stellar populations in the most luminous Lyα emitters at the epoch of reionisation: Spectroscopic confirmation. The Astrophysical Journal. IOP Publishing. https://doi.org/10.1088/0004-637X/808/2/139
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 11580 | OA
Sobral, D., Matthee, J. J., Best, P. N., Smail, I., Khostovan, A. A., Milvang-Jensen, B., … Mobasher, B. (2015). CF-HiZELS, an ∼10 deg2 emission-line survey with spectroscopic follow-up: Hα, [O III] + Hβ and [O II] luminosity functions at z = 0.8, 1.4 and 2.2 . Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stv1076
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 11581 | OA
Matthee, J. J., Sobral, D., Santos, S., Röttgering, H., Darvish, B., & Mobasher, B. (2015). Identification of the brightest Lyα emitters at z = 6.6: implications for the evolution of the luminosity function in the reionization era. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stv947
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 11579 | OA
Pallottini, A., Ferrara, A., Pacucci, F., Gallerani, S., Salvadori, S., Schneider, R., … Matthee, J. J. (2015). The brightest Lyα emitter: Pop III or black hole? Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stv1795
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 11668 | OA
Colini-Baldeschi, R., Leonardi, S., Henzinger, M. H., & Starnberger, M. (2015). On multiple keyword sponsored search auctions with budgets. ACM Transactions on Economics and Computation. Association for Computing Machinery. https://doi.org/10.1145/2818357
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 11669 | OA
Dütting, P., Henzinger, M. H., & Starnberger, M. (2015). Auctions for heterogeneous items and budget limits. ACM Transactions on Economics and Computation. Association for Computing Machinery. https://doi.org/10.1145/2818351
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11774 | OA
Cheung, Y. K., Henzinger, M. H., Hoefer, M., & Starnberger, M. (2015). Combinatorial auctions with conflict-based externalities. In 11th International Conference on Web and Internet Economics (Vol. 9470, pp. 230–243). Amsterdam, Netherlands: Springer Nature. https://doi.org/10.1007/978-3-662-48995-6_17
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11773 | OA
Ben-Zwi, O., Henzinger, M. H., & Loitzenbauer, V. (2015). Ad exchange: Envy-free auctions with mediators. In 11th International Conference on Web and Internet Economics (Vol. 9470, pp. 104–117). Amsterdam, Netherlands: Springer Nature. https://doi.org/10.1007/978-3-662-48995-6_8
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11785 | OA
Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2015). Improved algorithms for decremental single-source reachability on directed graphs. In 42nd International Colloquium on Automata, Languages and Programming (Vol. 9134, pp. 725–736). Kyoto, Japan: Springer Nature. https://doi.org/10.1007/978-3-662-47672-7_59
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11787 | OA
Henzinger, M. H., Krinninger, S., & Loitzenbauer, V. (2015). Finding 2-edge and 2-vertex strongly connected components in quadratic time. In 2nd International Colloquium on Automata, Languages and Programming (Vol. 9134, pp. 713–724). Kyoto, Japan: Springer Nature. https://doi.org/10.1007/978-3-662-47672-7_58
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications