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.

9789 Publications


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
 

2015 | Published | Journal Article | IST-REx-ID: 11077 | OA
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
 

2015 | Published | Journal Article | IST-REx-ID: 11078 | OA
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
 

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
 

2015 | Published | Journal Article | IST-REx-ID: 11076 | OA
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
 

2015 | Published | Journal Article | IST-REx-ID: 11073 | OA
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
 

2015 | Published | Journal Article | IST-REx-ID: 11074 | OA
Chromothripsis
E.M. Hatch, M. Hetzer, Current Biology 25 (2015) PR397-R399.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 11580 | OA
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
 

2015 | Published | Journal Article | IST-REx-ID: 11581 | OA
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
 

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
 

2015 | Published | Technical Report | IST-REx-ID: 5436 | OA
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2015.
[Published Version] View | Files available | DOI
 

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

2015 | Published | Conference Paper | IST-REx-ID: 1657
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komárková, J. Kretinsky, (2015) 244–256.
View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5435 | OA
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5429 | OA
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.
[Published Version] View | Files available | DOI
 

2015 | Published | Technical Report | IST-REx-ID: 5439 | OA
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
 

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.)
 

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
 

2015 | Published | Conference Paper | IST-REx-ID: 1690
HYST: A source transformation and translation tool for hybrid automaton models
S. Bak, S. Bogomolov, T. Johnson, in:, Springer, 2015, pp. 128–133.
View | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 1680
On the decidability of elementary modal logics
J. Michaliszyn, J. Otop, E. Kieroňski, ACM Transactions on Computational Logic 17 (2015).
View | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed