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.
536 Publications
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: 82 |
Leaky resistance and the conditions for the existence of lytic bacteriophage
W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, PLoS Biology 16 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, PLoS Biology 16 (2018).
2018 | Published | 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.
[Published Version]
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 | 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: 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.
[Published Version]
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 | Published | 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).
[Published Version]
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 | 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 | 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).
[Published Version]
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 | Published | 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 | Published | Conference Paper | IST-REx-ID: 8297 |
OmniLedger: A secure, scale-out, decentralized ledger via sharding
E. Kokoris Kogias, P. Jovanovic, L. Gasser, N. Gailly, E. Syta, B. Ford, in:, 2018 IEEE Symposium on Security and Privacy, IEEE, 2018, pp. 583–598.
[Preprint]
View
| DOI
| Download Preprint (ext.)
E. Kokoris Kogias, P. Jovanovic, L. Gasser, N. Gailly, E. Syta, B. Ford, in:, 2018 IEEE Symposium on Security and Privacy, IEEE, 2018, pp. 583–598.
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 | Thesis | IST-REx-ID: 83 |
Proof systems for sustainable decentralized cryptocurrencies
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, Institute of Science and Technology Austria, 2018.
2018 | Published | Journal Article | IST-REx-ID: 8417
Global instability in the restricted planar elliptic three body problem
A. Delshams, V. Kaloshin, A. de la Rosa, T.M. Seara, Communications in Mathematical Physics 366 (2018) 1173–1228.
View
| DOI
A. Delshams, V. Kaloshin, A. de la Rosa, T.M. Seara, Communications in Mathematical Physics 366 (2018) 1173–1228.
2018 | Published | Journal Article | IST-REx-ID: 8419
On the integrability of Birkhoff billiards
V. Kaloshin, A. Sorrentino, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 376 (2018).
View
| DOI
V. Kaloshin, A. Sorrentino, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 376 (2018).
2018 | Published | Journal Article | IST-REx-ID: 8420 |
Density of convex billiards with rational caustics
V. Kaloshin, K. Zhang, Nonlinearity 31 (2018) 5214–5234.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kaloshin, K. Zhang, Nonlinearity 31 (2018) 5214–5234.
2018 | Published | Journal Article | IST-REx-ID: 8421 |
On the local Birkhoff conjecture for convex billiards
V. Kaloshin, A. Sorrentino, Annals of Mathematics 188 (2018) 315–380.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kaloshin, A. Sorrentino, Annals of Mathematics 188 (2018) 315–380.
2018 | Published | Journal Article | IST-REx-ID: 8422 |
Nearly circular domains which are integrable close to the boundary are ellipses
G. Huang, V. Kaloshin, A. Sorrentino, Geometric and Functional Analysis 28 (2018) 334–392.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Huang, V. Kaloshin, A. Sorrentino, Geometric and Functional Analysis 28 (2018) 334–392.
2018 | Published | Journal Article | IST-REx-ID: 8426 |
Nonisometric domains with the same Marvizi-Melrose invariants
L. Buhovsky, V. Kaloshin, Regular and Chaotic Dynamics 23 (2018) 54–59.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Buhovsky, V. Kaloshin, Regular and Chaotic Dynamics 23 (2018) 54–59.
2018 | Published | Journal Article | IST-REx-ID: 8436
Structural basis of membrane protein chaperoning through the mitochondrial intermembrane space
K. Weinhäupl, C. Lindau, A. Hessel, Y. Wang, C. Schütze, T. Jores, L. Melchionda, B. Schönfisch, H. Kalbacher, B. Bersch, D. Rapaport, M. Brennich, K. Lindorff-Larsen, N. Wiedemann, P. Schanda, Cell 175 (2018) 1365–1379.e25.
View
| DOI
K. Weinhäupl, C. Lindau, A. Hessel, Y. Wang, C. Schütze, T. Jores, L. Melchionda, B. Schönfisch, H. Kalbacher, B. Bersch, D. Rapaport, M. Brennich, K. Lindorff-Larsen, N. Wiedemann, P. Schanda, Cell 175 (2018) 1365–1379.e25.
2018 | Published | Journal Article | IST-REx-ID: 8437
Structural investigation of a chaperonin in action reveals how nucleotide binding regulates the functional cycle
G. Mas, J.-Y. Guan, E. Crublet, E.C. Debled, C. Moriscot, P. Gans, G. Schoehn, P. Macek, P. Schanda, J. Boisbouvier, Science Advances 4 (2018).
View
| DOI
G. Mas, J.-Y. Guan, E. Crublet, E.C. Debled, C. Moriscot, P. Gans, G. Schoehn, P. Macek, P. Schanda, J. Boisbouvier, Science Advances 4 (2018).