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.

6372 Publications


2016 | Published | Journal Article | IST-REx-ID: 1183 | OA
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
[Submitted Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1100 | OA
Sako, Keisuke, Saurabh Pradhan, Vanessa Barone, Álvaro Inglés Prieto, Patrick Mueller, Verena Ruprecht, Daniel Capek, Sanjeev Galande, Harald L Janovjak, and Carl-Philipp J Heisenberg. “Optogenetic Control of Nodal Signaling Reveals a Temporal Pattern of Nodal Signaling Regulating Cell Fate Specification during Gastrulation.” Cell Reports. Cell Press, 2016. https://doi.org/10.1016/j.celrep.2016.06.036.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1437 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components,” 20–22:733–47. ACM, 2016. https://doi.org/10.1145/2837614.2837624.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Termination Analysis of Probabilistic Programs through Positivstellensatz’s,” 9779:3–22. Springer, 2016. https://doi.org/10.1007/978-3-319-41528-4_1.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1321 | OA
Leithner, Alexander F, Alexander Eichner, Jan Müller, Anne Reversat, Markus Brown, Jan Schwarz, Jack Merrin, et al. “Diversified Actin Protrusions Promote Environmental Exploration but Are Dispensable for Locomotion of Leukocytes.” Nature Cell Biology. Nature Publishing Group, 2016. https://doi.org/10.1038/ncb3426.
[Submitted Version] View | Files available | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 10748 | OA
Polshyn, Hryhoriy, Can Zhang, Tyler Naibert, James Eckstein, and Raffi Budakian. “Study of Fe (Se, Te) Micron-Sized Rings by Magnetic Force Microscopy.” In APS March Meeting 2015, Vol. 60. American Physical Society, 2015.
[Published Version] View | Download Published Version (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 10794 | OA
Parise, Francesca, John Lygeros, and Jakob Ruess. “Bayesian Inference for Stochastic Individual-Based Models of Ecological Systems: A Pest Control Simulation Study.” Frontiers in Environmental Science. Frontiers, 2015. https://doi.org/10.3389/fenvs.2015.00042.
[Published Version] View | Files available | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 11077 | OA
Jacinto, Filipe V., Chris Benner, and Martin Hetzer. “The Nucleoporin Nup153 Regulates Embryonic Stem Cell Pluripotency through Gene Silencing.” Genes & Development. Cold Spring Harbor Laboratory, 2015. https://doi.org/10.1101/gad.260919.115.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 11078 | OA
Ori, Alessandro, Brandon H. Toyama, Michael S. Harris, Thomas Bock, Murat Iskar, Peer Bork, Nicholas T. Ingolia, Martin Hetzer, and Martin Beck. “Integrated Transcriptome and Proteome Analyses Reveal Organ-Specific Proteome Deterioration in Old Rats.” Cell Systems. Elsevier, 2015. https://doi.org/10.1016/j.cels.2015.08.012.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 11076 | OA
Ibarra, Arkaitz, and Martin Hetzer. “Nuclear Pore Proteins and the Control of Genome Functions.” Genes & Development. Cold Spring Harbor Laboratory, 2015. https://doi.org/10.1101/gad.256495.114.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 11073 | OA
Hatch, Emily M., and Martin Hetzer. “Linking Micronuclei to Chromosome Fragmentation.” Cell. Elsevier, 2015. https://doi.org/10.1016/j.cell.2015.06.005.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2015 | Published | Journal Article | IST-REx-ID: 11580 | OA
Sobral, D., Jorryt J Matthee, P. N. Best, I. Smail, A. A. Khostovan, B. Milvang-Jensen, J.-W. Kim, et al. “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, 2015. https://doi.org/10.1093/mnras/stv1076.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 11581 | OA
Matthee, Jorryt J, David Sobral, Sérgio Santos, Huub Röttgering, Behnam Darvish, and Bahram Mobasher. “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, 2015. https://doi.org/10.1093/mnras/stv947.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Technical Report | IST-REx-ID: 5436 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-170-v2-2.
[Published Version] View | Files available | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 1659 | OA
Boker, Udi, Thomas A Henzinger, and Jan Otop. “The Target Discounted-Sum Problem.” In LICS, 750–61. Logic in Computer Science. IEEE, 2015. https://doi.org/10.1109/LICS.2015.74.
[Submitted Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5435 | OA
Chatterjee, Krishnendu, Zuzana Komarkova, and Jan Kretinsky. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-318-v2-1.
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5429 | OA
Chatterjee, Krishnendu, Zuzana Komarkova, and Jan Kretinsky. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-318-v1-1.
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5439 | OA
Boker, Udi, Thomas A Henzinger, and Jan Otop. The Target Discounted-Sum Problem. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-335-v1-1.
[Published Version] View | Files available | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 1501 | OA
Chatterjee, Krishnendu, Martin Chmelik, and Przemyslaw Daca. “CEGAR for Compositional Analysis of Qualitative Properties in Markov Decision Processes.” Formal Methods in System Design. Springer, 2015. https://doi.org/10.1007/s10703-015-0235-2.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed