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.
2030 Publications
2018 |
Published |
Conference Paper |
IST-REx-ID: 10883 |
Quasipolynomial set-based symbolic algorithms for parity games
K. Chatterjee, W. Dvořák, M. Henzinger, A. Svozil, in:, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, EasyChair, 2018, pp. 233–253.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, W. Dvořák, M. Henzinger, A. Svozil, in:, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, EasyChair, 2018, pp. 233–253.
2018 |
Published |
Conference Paper |
IST-REx-ID: 11 |
Mean-field limits of particles in interaction with quantised radiation fields
N.K. Leopold, P. Pickl, in:, Springer, 2018, pp. 185–214.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
N.K. Leopold, P. Pickl, in:, Springer, 2018, pp. 185–214.
2018 |
Published |
Conference Paper |
IST-REx-ID: 25 |
Goal-HSVI: Heuristic search value iteration for goal-POMDPs
K. Horák, B. Bošanský, K. Chatterjee, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4764–4770.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
K. Horák, B. Bošanský, K. Chatterjee, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4764–4770.
2018 |
Published |
Conference Paper |
IST-REx-ID: 156 |
The compound interest in relaxing punctuality
T. Ferrere, in:, Springer, 2018, pp. 147–164.
[Submitted Version]
View
| Files available
| DOI
| WoS
T. Ferrere, in:, Springer, 2018, pp. 147–164.
2018 |
Published |
Conference Paper |
IST-REx-ID: 160 |
Layered Concurrent Programs
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
[Published Version]
View
| Files available
| DOI
| WoS
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
2018 |
Published |
Journal Article |
IST-REx-ID: 17575 |
Constraining stellar-mass black hole mergers in AGN disks detectable with LIGO
B. McKernan, K.E. Saavik Ford, J. Bellovary, N.W.C. Leigh, Z. Haiman, B. Kocsis, W. Lyra, M.-M. Mac Low, B. Metzger, M. O’Dowd, S. Endlich, D.J. Rosen, The Astrophysical Journal 866 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
B. McKernan, K.E. Saavik Ford, J. Bellovary, N.W.C. Leigh, Z. Haiman, B. Kocsis, W. Lyra, M.-M. Mac Low, B. Metzger, M. O’Dowd, S. Endlich, D.J. Rosen, The Astrophysical Journal 866 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 17640 |
Gravitational waves from supermassive black hole binaries in ultraluminous infrared galaxies
K. Inayoshi, K. Ichikawa, Z. Haiman, The Astrophysical Journal Letters 863 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Inayoshi, K. Ichikawa, Z. Haiman, The Astrophysical Journal Letters 863 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 17679 |
Low-density, radiatively inefficient rotating-accretion flow on to a black hole
K. Inayoshi, J.P. Ostriker, Z. Haiman, R. Kuiper, Monthly Notices of the Royal Astronomical Society 476 (2018) 1412–1426.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Inayoshi, J.P. Ostriker, Z. Haiman, R. Kuiper, Monthly Notices of the Royal Astronomical Society 476 (2018) 1412–1426.
2018 |
Published |
Journal Article |
IST-REx-ID: 17687 |
Massive black hole and Population III galaxy formation in overmassive dark-matter haloes with violent merger histories
K. Inayoshi, M. Li, Z. Haiman, Monthly Notices of the Royal Astronomical Society 479 (2018) 4017–4027.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Inayoshi, M. Li, Z. Haiman, Monthly Notices of the Royal Astronomical Society 479 (2018) 4017–4027.
2018 |
Published |
Journal Article |
IST-REx-ID: 77 |
A germanium hole spin qubit
H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 7715
Imprint of assortative mating on the human genome
L. Yengo, M.R. Robinson, M.C. Keller, K.E. Kemper, Y. Yang, M. Trzaskowski, J. Gratten, P. Turley, D. Cesarini, D.J. Benjamin, N.R. Wray, M.E. Goddard, J. Yang, P.M. Visscher, Nature Human Behaviour 2 (2018) 948–954.
View
| DOI
L. Yengo, M.R. Robinson, M.C. Keller, K.E. Kemper, Y. Yang, M. Trzaskowski, J. Gratten, P. Turley, D. Cesarini, D.J. Benjamin, N.R. Wray, M.E. Goddard, J. Yang, P.M. Visscher, Nature Human Behaviour 2 (2018) 948–954.
2018 |
Published |
Conference Paper |
IST-REx-ID: 78 |
Online timed pattern matching using automata
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.
2018 |
Published |
Conference Paper |
IST-REx-ID: 79 |
Parameter-independent strategies for pMDPs via POMDPs
S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer, 2018, pp. 53–70.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer, 2018, pp. 53–70.
2018 |
Published |
Conference Paper |
IST-REx-ID: 81 |
Monitoring temporal logic with clock variables
A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
2018 |
Published |
Journal Article |
IST-REx-ID: 8232 |
Near infrared photoimmunotherapy targeting bladder cancer with a canine anti-epidermal growth factor receptor (EGFR) antibody
T. Nagaya, S. Okuyama, F. Ogata, Y. Maruoka, D.W. Knapp, S.N. Karagiannis, J. Singer, P.L. Choyke, A.K. LeBlanc, E. Jensen-Jarolim, H. Kobayashi, Oncotarget 9 (2018) 19026–19038.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Nagaya, S. Okuyama, F. Ogata, Y. Maruoka, D.W. Knapp, S.N. Karagiannis, J. Singer, P.L. Choyke, A.K. LeBlanc, E. Jensen-Jarolim, H. Kobayashi, Oncotarget 9 (2018) 19026–19038.
2018 |
Published |
Journal Article |
IST-REx-ID: 8262 |
Genome rearrangements and selection in multi-chromosome bacteria Burkholderia spp.
O. Bochkareva, E.V. Moroz, I.I. Davydov, M.S. Gelfand, BMC Genomics 19 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
O. Bochkareva, E.V. Moroz, I.I. Davydov, M.S. Gelfand, BMC Genomics 19 (2018).
2018 |
Published |
Conference Paper |
IST-REx-ID: 8298
Channels: Horizontal scaling and confidentiality on permissioned blockchains
E. Androulaki, C. Cachin, A. De Caro, E. Kokoris Kogias, in:, Computer Security, Springer Nature, 2018, pp. 111–131.
View
| DOI
E. Androulaki, C. Cachin, A. De Caro, E. Kokoris Kogias, in:, Computer Security, Springer Nature, 2018, pp. 111–131.
2018 |
Published |
Conference Paper |
IST-REx-ID: 85 |
Snapshot based synchronization: A fast replacement for Hand-over-Hand locking
E. Gilad, T.A. Brown, M. Oskin, Y. Etsion, in:, Springer, 2018, pp. 465–479.
[Preprint]
View
| Files available
| DOI
| WoS
E. Gilad, T.A. Brown, M. Oskin, Y. Etsion, in:, Springer, 2018, pp. 465–479.
2018 |
Published |
Book Chapter |
IST-REx-ID: 86 |
Computing average response time
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
2018 |
Published |
Journal Article |
IST-REx-ID: 8618 |
Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA
C. Gregor, S.C. Sidenstein, M. Andresen, S.J. Sahl, J.G. Danzl, S.W. Hell, Scientific Reports 8 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Gregor, S.C. Sidenstein, M. Andresen, S.J. Sahl, J.G. Danzl, S.W. Hell, Scientific Reports 8 (2018).