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.
8166 Publications
2018 | 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.
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer, 2018, pp. 53–70.
2018 | Journal Article | IST-REx-ID: 7983 |
Elektrochemische Oxidation von Lithiumcarbonat generiert Singulett-Sauerstoff
N. Mahne, S.E. Renfrew, B.D. McCloskey, S.A. Freunberger, Angewandte Chemie 130 (2018) 5627–5631.
View
| Files available
| DOI
N. Mahne, S.E. Renfrew, B.D. McCloskey, S.A. Freunberger, Angewandte Chemie 130 (2018) 5627–5631.
2018 | Journal Article | IST-REx-ID: 23 |
Single-shot readout of hole spins in Ge
L. Vukušić, J. Kukucka, H. Watzinger, J.M. Milem, F. Schäffler, G. Katsaros, Nano Letters 18 (2018) 7141–7145.
View
| Files available
| DOI
| PubMed | Europe PMC
L. Vukušić, J. Kukucka, H. Watzinger, J.M. Milem, F. Schäffler, G. Katsaros, Nano Letters 18 (2018) 7141–7145.
2018 | 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).
View
| Files available
| DOI
H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).
2018 | Journal Article | IST-REx-ID: 8015 |
Cortical signal propagation: Balance, amplify, transmit
J.P. Stroud, T.P. Vogels, Neuron 98 (2018) 8–9.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J.P. Stroud, T.P. Vogels, Neuron 98 (2018) 8–9.
2018 | Journal Article | IST-REx-ID: 8073 |
Motor primitives in space and time via targeted gain modulation in cortical networks
J.P. Stroud, M.A. Porter, G. Hennequin, T.P. Vogels, Nature Neuroscience 21 (2018) 1774–1783.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
J.P. Stroud, M.A. Porter, G. Hennequin, T.P. Vogels, Nature Neuroscience 21 (2018) 1774–1783.
2018 | 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.
View
| Files available
| DOI
A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
2018 | Journal Article | IST-REx-ID: 6355 |
Any cyclic quadrilateral can be inscribed in any closed convex smooth curve
A. Akopyan, S. Avvakumov, Forum of Mathematics, Sigma 6 (2018).
View
| Files available
| DOI
| arXiv
A. Akopyan, S. Avvakumov, Forum of Mathematics, Sigma 6 (2018).
2018 | Preprint | IST-REx-ID: 75 |
Convex fair partitions into arbitrary number of pieces
A. Akopyan, S. Avvakumov, R. Karasev, (2018).
View
| Files available
| Download Preprint (ext.)
| arXiv
A. Akopyan, S. Avvakumov, R. Karasev, (2018).
2018 | Journal Article | IST-REx-ID: 616 |
Destructive disinfection of infected brood prevents systemic disease spread in ant colonies
C. Pull, L.V. Ugelvig, F. Wiesenhofer, A.V. Grasse, S. Tragust, T. Schmitt, M. Brown, S. Cremer, ELife 7 (2018).
View
| Files available
| DOI
C. Pull, L.V. Ugelvig, F. Wiesenhofer, A.V. Grasse, S. Tragust, T. Schmitt, M. Brown, S. Cremer, ELife 7 (2018).
2018 | Journal Article | IST-REx-ID: 806
Social immunity: Emergence and evolution of colony-level disease protection
S. Cremer, C. Pull, M. Fürst, Annual Review of Entomology 63 (2018) 105–123.
View
| Files available
| DOI
S. Cremer, C. Pull, M. Fürst, Annual Review of Entomology 63 (2018) 105–123.
2018 | Journal Article | IST-REx-ID: 8231 |
AllergoOncology: Generating a canine anticancer IgE against the epidermal growth factor receptor
J. Singer, J. Singer, K.M. Ilieva, M. Matz, I. Herrmann, E. Spillner, S.N. Karagiannis, E. Jensen-Jarolim, Journal of Allergy and Clinical Immunology 142 (2018) 973–976.e11.
View
| DOI
| Download Published Version (ext.)
J. Singer, J. Singer, K.M. Ilieva, M. Matz, I. Herrmann, E. Spillner, S.N. Karagiannis, E. Jensen-Jarolim, Journal of Allergy and Clinical Immunology 142 (2018) 973–976.e11.
2018 | Journal Article | IST-REx-ID: 8234 |
Preclinical in vitro and in vivo evaluation of [18F]FE@SUPPY for cancer PET imaging: Limitations of a xenograft model for colorectal cancer
T. Balber, J. Singer, N. Berroterán-Infante, M. Dumanic, L. Fetty, J. Fazekas-Singer, C. Vraka, L. Nics, M. Bergmann, K. Pallitsch, H. Spreitzer, W. Wadsak, M. Hacker, E. Jensen-Jarolim, H. Viernstein, M. Mitterhauser, Contrast Media & Molecular Imaging 2018 (2018).
View
| DOI
| Download Published Version (ext.)
T. Balber, J. Singer, N. Berroterán-Infante, M. Dumanic, L. Fetty, J. Fazekas-Singer, C. Vraka, L. Nics, M. Bergmann, K. Pallitsch, H. Spreitzer, W. Wadsak, M. Hacker, E. Jensen-Jarolim, H. Viernstein, M. Mitterhauser, Contrast Media & Molecular Imaging 2018 (2018).
2018 | 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.
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 | Journal Article | IST-REx-ID: 8233 |
Canine macrophages can like human macrophages be in vitro activated toward the M2a subtype relevant in allergy
I. Herrmann, J. Gotovina, J. Singer, M.B. Fischer, K. Hufnagl, R. Bianchini, E. Jensen-Jarolim, Developmental & Comparative Immunology 82 (2018) 118–127.
View
| DOI
| Download Published Version (ext.)
I. Herrmann, J. Gotovina, J. Singer, M.B. Fischer, K. Hufnagl, R. Bianchini, E. Jensen-Jarolim, Developmental & Comparative Immunology 82 (2018) 118–127.
2018 | 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).
View
| DOI
| Download Published Version (ext.)
O. Bochkareva, E.V. Moroz, I.I. Davydov, M.S. Gelfand, BMC Genomics 19 (2018).
2018 | Journal Article | IST-REx-ID: 8265 |
Genome rearrangements and phylogeny reconstruction in Yersinia pestis
O. Bochkareva, N.O. Dranenko, E.S. Ocheredko, G.M. Kanevsky, Y.N. Lozinsky, V.A. Khalaycheva, I.I. Artamonova, M.S. Gelfand, PeerJ 6 (2018).
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
O. Bochkareva, N.O. Dranenko, E.S. Ocheredko, G.M. Kanevsky, Y.N. Lozinsky, V.A. Khalaycheva, I.I. Artamonova, M.S. Gelfand, PeerJ 6 (2018).
2018 | Journal Article | IST-REx-ID: 8274
Bidirectional regulation of COX-2 expression between cancer cells and macrophages
M.I. Carvalho, R. Bianchini, J. Singer, I. Herrmann, I. Flickinger, J.G. Thalhammer, I. Pires, E. Jensen-Jarolim, F.L. Queiroga, Anticancer Research 38 (2018) 2811–2817.
View
| DOI
M.I. Carvalho, R. Bianchini, J. Singer, I. Herrmann, I. Flickinger, J.G. Thalhammer, I. Pires, E. Jensen-Jarolim, F.L. Queiroga, Anticancer Research 38 (2018) 2811–2817.
2018 | Thesis | IST-REx-ID: 83 |
Proof systems for sustainable decentralized cryptocurrencies
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, IST Austria, 2018.
View
| Files available
| DOI
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, IST Austria, 2018.
2018 | 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.