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.
454 Publications
2015 | Published | Conference Paper | IST-REx-ID: 10748 | 
Study of Fe (Se, Te) micron-sized rings by magnetic force microscopy
H. Polshyn, C. Zhang, T. Naibert, J. Eckstein, R. Budakian, in:, APS March Meeting 2015, American Physical Society, 2015.
[Published Version]
View
| Download Published Version (ext.)
H. Polshyn, C. Zhang, T. Naibert, J. Eckstein, R. Budakian, in:, APS March Meeting 2015, American Physical Society, 2015.
2015 | Published | Journal Article | IST-REx-ID: 10794 |
Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study
F. Parise, J. Lygeros, J. Ruess, Frontiers in Environmental Science 3 (2015).
[Published Version]
View
| Files available
| DOI
F. Parise, J. Lygeros, J. Ruess, Frontiers in Environmental Science 3 (2015).
2015 | Published | Conference Paper | IST-REx-ID: 10796
The value 1 problem under finite-memory strategies for concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2015, pp. 1018–1029.
[Preprint]
View
| DOI
| arXiv
K. Chatterjee, R. Ibsen-Jensen, in:, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2015, pp. 1018–1029.
2015 | Published | Journal Article | IST-REx-ID: 11077 |
The nucleoporin Nup153 regulates embryonic stem cell pluripotency through gene silencing
F.V. Jacinto, C. Benner, M. Hetzer, Genes & Development 29 (2015) 1224–1238.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
F.V. Jacinto, C. Benner, M. Hetzer, Genes & Development 29 (2015) 1224–1238.
2015 | Published | Journal Article | IST-REx-ID: 11078 |
Integrated transcriptome and proteome analyses reveal organ-specific proteome deterioration in old rats
A. Ori, B.H. Toyama, M.S. Harris, T. Bock, M. Iskar, P. Bork, N.T. Ingolia, M. Hetzer, M. Beck, Cell Systems 1 (2015) P224-237.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Ori, B.H. Toyama, M.S. Harris, T. Bock, M. Iskar, P. Bork, N.T. Ingolia, M. Hetzer, M. Beck, Cell Systems 1 (2015) P224-237.
2015 | Published | Journal Article | IST-REx-ID: 11075
The nucleoporin gp210/Nup210 controls muscle differentiation by regulating nuclear envelope/ER homeostasis
J.S. Gomez-Cavazos, M. Hetzer, Journal of Cell Biology 208 (2015) 671–681.
[Published Version]
View
| DOI
| PubMed | Europe PMC
J.S. Gomez-Cavazos, M. Hetzer, Journal of Cell Biology 208 (2015) 671–681.
2015 | Published | Journal Article | IST-REx-ID: 11076 |
Nuclear pore proteins and the control of genome functions
A. Ibarra, M. Hetzer, Genes & Development 29 (2015) 337–349.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Ibarra, M. Hetzer, Genes & Development 29 (2015) 337–349.
2015 | Published | Journal Article | IST-REx-ID: 11073 |
Linking micronuclei to chromosome fragmentation
E.M. Hatch, M. Hetzer, Cell 161 (2015) 1502–1504.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E.M. Hatch, M. Hetzer, Cell 161 (2015) 1502–1504.
2015 | Published | Journal Article | IST-REx-ID: 11074 |
Chromothripsis
E.M. Hatch, M. Hetzer, Current Biology 25 (2015) PR397-R399.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E.M. Hatch, M. Hetzer, Current Biology 25 (2015) PR397-R399.
2015 | Published | Journal Article | IST-REx-ID: 11580 |
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
D. Sobral, J.J. Matthee, P.N. Best, I. Smail, A.A. Khostovan, B. Milvang-Jensen, J.-W. Kim, J. Stott, J. Calhau, H. Nayyeri, B. Mobasher, Monthly Notices of the Royal Astronomical Society 451 (2015) 2303–2323.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Sobral, J.J. Matthee, P.N. Best, I. Smail, A.A. Khostovan, B. Milvang-Jensen, J.-W. Kim, J. Stott, J. Calhau, H. Nayyeri, B. Mobasher, Monthly Notices of the Royal Astronomical Society 451 (2015) 2303–2323.
2015 | Published | Journal Article | IST-REx-ID: 11581 |
Identification of the brightest Lyα emitters at z = 6.6: implications for the evolution of the luminosity function in the reionization era
J.J. Matthee, D. Sobral, S. Santos, H. Röttgering, B. Darvish, B. Mobasher, Monthly Notices of the Royal Astronomical Society 451 (2015) 400–417.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, D. Sobral, S. Santos, H. Röttgering, B. Darvish, B. Mobasher, Monthly Notices of the Royal Astronomical Society 451 (2015) 400–417.
2015 | Published | Conference Paper | IST-REx-ID: 1656
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings - Symposium on Logic in Computer Science, IEEE, 2015.
View
| Files available
| DOI
| arXiv
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings - Symposium on Logic in Computer Science, IEEE, 2015.
2015 | Published | Technical Report | IST-REx-ID: 5436 |
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2015.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2015.
2015 | Published | Conference Paper | IST-REx-ID: 1659 |
The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, in:, LICS, IEEE, 2015, pp. 750–761.
[Submitted Version]
View
| Files available
| DOI
U. Boker, T.A. Henzinger, J. Otop, in:, LICS, IEEE, 2015, pp. 750–761.
2015 | Published | Technical Report | IST-REx-ID: 5439 |
The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, The Target Discounted-Sum Problem, IST Austria, 2015.
[Published Version]
View
| Files available
| DOI
U. Boker, T.A. Henzinger, J. Otop, The Target Discounted-Sum Problem, IST Austria, 2015.
2015 | Published | Conference Paper | IST-REx-ID: 1670
PDDL+ planning with hybrid automata: Foundations of translating must behavior
S. Bogomolov, D. Magazzeni, S. Minopoli, M. Wehrle, in:, AAAI Press, 2015, pp. 42–46.
View
| Download None (ext.)
S. Bogomolov, D. Magazzeni, S. Minopoli, M. Wehrle, in:, AAAI Press, 2015, pp. 42–46.
2015 | Published | Conference Paper | IST-REx-ID: 1692
Eliminating spurious transitions in reachability with support functions
G. Frehse, S. Bogomolov, M. Greitschus, T. Strump, A. Podelski, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 149–158.
View
| DOI
G. Frehse, S. Bogomolov, M. Greitschus, T. Strump, A. Podelski, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 149–158.
2015 | Published | Conference Paper | IST-REx-ID: 1658
Adaptive moment closure for parameter inference of biochemical reaction networks
S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, C. Schilling, 9308 (2015) 77–89.
View
| Files available
| DOI
S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, C. Schilling, 9308 (2015) 77–89.
2015 | Published | Journal Article | IST-REx-ID: 1501 |
CEGAR for compositional analysis of qualitative properties in Markov decision processes
K. Chatterjee, M. Chmelik, P. Daca, Formal Methods in System Design 47 (2015) 230–264.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, M. Chmelik, P. Daca, Formal Methods in System Design 47 (2015) 230–264.
2015 | Published | Conference Paper | IST-REx-ID: 1498 |
The need for language support for fault-tolerant distributed systems
C. Dragoi, T.A. Henzinger, D. Zufferey, 32 (2015) 90–102.
[Published Version]
View
| Files available
| DOI
C. Dragoi, T.A. Henzinger, D. Zufferey, 32 (2015) 90–102.