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.
7704 Publications
2018 | Journal Article | IST-REx-ID: 295 |

Fermionic behavior of ideal anyons
D. Lundholm, R. Seiringer, Letters in Mathematical Physics 108 (2018) 2523–2541.
View
| Files available
| DOI
| arXiv
D. Lundholm, R. Seiringer, Letters in Mathematical Physics 108 (2018) 2523–2541.
2018 | Journal Article | IST-REx-ID: 296 |

Weak ergodicity breaking from quantum many-body scars
C. Turner, A. Michailidis, D. Abanin, M. Serbyn, Z. Papić, Nature Physics 14 (2018) 745–749.
View
| DOI
| Download Submitted Version (ext.)
C. Turner, A. Michailidis, D. Abanin, M. Serbyn, Z. Papić, Nature Physics 14 (2018) 745–749.
2018 | Conference Paper | IST-REx-ID: 297 |

Strategy representation by decision trees in reactive synthesis
T. Brázdil, K. Chatterjee, J. Kretinsky, V. Toman, in:, Springer, 2018, pp. 385–407.
View
| Files available
| DOI
T. Brázdil, K. Chatterjee, J. Kretinsky, V. Toman, in:, Springer, 2018, pp. 385–407.
2018 | Conference Paper | IST-REx-ID: 298 |

Sustained space complexity
J.F. Alwen, J. Blocki, K.Z. Pietrzak, in:, Springer, 2018, pp. 99–130.
View
| DOI
| Download Preprint (ext.)
| arXiv
J.F. Alwen, J. Blocki, K.Z. Pietrzak, in:, Springer, 2018, pp. 99–130.
2018 | Conference Paper | IST-REx-ID: 299 |

AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M. Huisman (Eds.), Springer, 2018, pp. 303–319.
View
| Files available
| DOI
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M. Huisman (Eds.), Springer, 2018, pp. 303–319.
2018 | Conference Paper | IST-REx-ID: 300 |

On the bit security of cryptographic primitives
D. Micciancio, M. Walter, in:, Springer, 2018, pp. 3–28.
View
| DOI
| Download Submitted Version (ext.)
D. Micciancio, M. Walter, in:, Springer, 2018, pp. 3–28.
2018 | Conference Paper | IST-REx-ID: 302 |

Simple proofs of sequential work
B. Cohen, K.Z. Pietrzak, in:, Springer, 2018, pp. 451–467.
View
| DOI
| Download Submitted Version (ext.)
B. Cohen, K.Z. Pietrzak, in:, Springer, 2018, pp. 451–467.
2018 | Journal Article | IST-REx-ID: 303 |

Introduction to tropical series and wave dynamic on them
N. Kalinin, M. Shkolnikov, Discrete and Continuous Dynamical Systems- Series A 38 (2018) 2827–2849.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
N. Kalinin, M. Shkolnikov, Discrete and Continuous Dynamical Systems- Series A 38 (2018) 2827–2849.
2018 | Journal Article | IST-REx-ID: 304 |

Computational design of nanostructural color for additive manufacturing
T. Auzinger, W. Heidrich, B. Bickel, ACM Transactions on Graphics 37 (2018).
View
| Files available
| DOI
T. Auzinger, W. Heidrich, B. Bickel, ACM Transactions on Graphics 37 (2018).
2018 | Journal Article | IST-REx-ID: 305
Fabrication and operation of microfluidic hanging drop networks
P. Misun, A. Birchler, M. Lang, A. Hierlemann, O. Frey, Methods in Molecular Biology 1771 (2018) 183–202.
View
| DOI
P. Misun, A. Birchler, M. Lang, A. Hierlemann, O. Frey, Methods in Molecular Biology 1771 (2018) 183–202.
2018 | Journal Article | IST-REx-ID: 306 |

An introduction to the maximum entropy approach and its application to inference problems in biology
A. De Martino, D. De Martino, Heliyon 4 (2018).
View
| Files available
| DOI
A. De Martino, D. De Martino, Heliyon 4 (2018).
2018 | Journal Article | IST-REx-ID: 307 |

Nanoscopy of pairs of atoms by fluorescence in a magnetic field
E. Redchenko, A. Makarov, V. Yudson, Physical Review A - Atomic, Molecular, and Optical Physics 97 (2018).
View
| DOI
| Download Submitted Version (ext.)
| arXiv
E. Redchenko, A. Makarov, V. Yudson, Physical Review A - Atomic, Molecular, and Optical Physics 97 (2018).
2018 | Journal Article | IST-REx-ID: 308 |

Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage invasive migration
A. Ratheesh, J. Biebl, M. Smutny, J. Veselá, E. Papusheva, G. Krens, W. Kaufmann, A. György, A.M. Casano, D.E. Siekhaus, Developmental Cell 45 (2018) 331–346.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Ratheesh, J. Biebl, M. Smutny, J. Veselá, E. Papusheva, G. Krens, W. Kaufmann, A. György, A.M. Casano, D.E. Siekhaus, Developmental Cell 45 (2018) 331–346.
2018 | Conference Paper | IST-REx-ID: 309 |

Recognizing weak embeddings of graphs
H. Akitaya, R. Fulek, C. Tóth, in:, ACM, 2018, pp. 274–292.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
H. Akitaya, R. Fulek, C. Tóth, in:, ACM, 2018, pp. 274–292.
2018 | Journal Article | IST-REx-ID: 31 |

Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons
U. Ferrari, S. Deny, M.J. Chalk, G. Tkačik, O. Marre, T. Mora, Physical Review E 98 (2018).
View
| DOI
| Download Preprint (ext.)
U. Ferrari, S. Deny, M.J. Chalk, G. Tkačik, O. Marre, T. Mora, Physical Review E 98 (2018).
2018 | Journal Article | IST-REx-ID: 312 |

On the optimality of the FCC lattice for soft sphere packing
H. Edelsbrunner, M. Iglesias Ham, SIAM J Discrete Math 32 (2018) 750–782.
View
| DOI
| Download Submitted Version (ext.)
H. Edelsbrunner, M. Iglesias Ham, SIAM J Discrete Math 32 (2018) 750–782.
2018 | Journal Article | IST-REx-ID: 314 |

The science of living matter for tomorrow
G. Bauer, N. Fakhri, A. Kicheva, J. Kondev, K. Kruse, H. Noji, D. Riveline, T. Saunders, M. Thatta, E. Wieschaus, Cell Systems 6 (2018) 400–402.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
G. Bauer, N. Fakhri, A. Kicheva, J. Kondev, K. Kruse, H. Noji, D. Riveline, T. Saunders, M. Thatta, E. Wieschaus, Cell Systems 6 (2018) 400–402.
2018 | Journal Article | IST-REx-ID: 317 |

Palladium gates for reproducible quantum dots in silicon
M. Brauns, S. Amitonov, P. Spruijtenburg, F. Zwanenburg, Scientific Reports 8 (2018).
View
| Files available
| DOI
M. Brauns, S. Amitonov, P. Spruijtenburg, F. Zwanenburg, Scientific Reports 8 (2018).
2018 | Journal Article | IST-REx-ID: 318 |

A fat lot of good for wound healing
A.M. Casano, M.K. Sixt, Developmental Cell 44 (2018) 405–406.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A.M. Casano, M.K. Sixt, Developmental Cell 44 (2018) 405–406.
2018 | Journal Article | IST-REx-ID: 32 |

In Vivo regulation of Oligodendrocyte processor cell proliferation and differentiation by the AMPA-receptor Subunit GluA2
T. Chen, B. Kula, B. Nagy, R. Barzan, A. Gall, I. Ehrlich, M. Kukley, Cell Reports 25 (2018) 852–861.e7.
View
| Files available
| DOI
T. Chen, B. Kula, B. Nagy, R. Barzan, A. Gall, I. Ehrlich, M. Kukley, Cell Reports 25 (2018) 852–861.e7.
2018 | Journal Article | IST-REx-ID: 320 |

Complementary tuning of Na+ and K+ channel gating underlies fast and energy-efficient action potentials in GABAergic interneuron axons
H. Hu, F. Roth, D.H. Vandael, P.M. Jonas, Neuron 98 (2018) 156–165.
View
| Files available
| DOI
H. Hu, F. Roth, D.H. Vandael, P.M. Jonas, Neuron 98 (2018) 156–165.
2018 | Journal Article | IST-REx-ID: 321 |

Guest editors' introduction to the special section on learning with Shared information for computer vision and multimedia analysis
T. Darrell, C. Lampert, N. Sebe, Y. Wu, Y. Yan, IEEE Transactions on Pattern Analysis and Machine Intelligence 40 (2018) 1029–1031.
View
| Files available
| DOI
T. Darrell, C. Lampert, N. Sebe, Y. Wu, Y. Yan, IEEE Transactions on Pattern Analysis and Machine Intelligence 40 (2018) 1029–1031.
2018 | Journal Article | IST-REx-ID: 322 |

Quantizations of multiplicative hypertoric varieties at a root of unity
I.V. Ganev, Journal of Algebra 506 (2018) 92–128.
View
| DOI
| Download Preprint (ext.)
| arXiv
I.V. Ganev, Journal of Algebra 506 (2018) 92–128.
2018 | Thesis | IST-REx-ID: 324 |

Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release
C. Chen, Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release, IST Austria, 2018.
View
| Files available
| DOI
C. Chen, Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release, IST Austria, 2018.
2018 | Conference Paper | IST-REx-ID: 325 |

Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
S. Agrawal, K. Chatterjee, P. Novotný, in:, ACM, 2018.
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Agrawal, K. Chatterjee, P. Novotný, in:, ACM, 2018.
2018 | Journal Article | IST-REx-ID: 326 |

Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices
K. Sawada, R. Kawakami, R. Shigemoto, T. Nemoto, European Journal of Neuroscience 47 (2018) 1033–1042.
View
| Files available
| DOI
K. Sawada, R. Kawakami, R. Shigemoto, T. Nemoto, European Journal of Neuroscience 47 (2018) 1033–1042.
2018 | Journal Article | IST-REx-ID: 327 |

Slow dynamics in translation-invariant quantum lattice models
A. Michailidis, M. Žnidarič, M. Medvedyeva, D. Abanin, T. Prosen, Z. Papić, Physical Review B 97 (2018).
View
| DOI
| Download Preprint (ext.)
A. Michailidis, M. Žnidarič, M. Medvedyeva, D. Abanin, T. Prosen, Z. Papić, Physical Review B 97 (2018).
2018 | Journal Article | IST-REx-ID: 328 |

Exceeding the asymptotic limit of polymer drag reduction
G.H. Choueiri, J.M. Lopez Alonso, B. Hof, Physical Review Letters 120 (2018).
View
| DOI
| Download Preprint (ext.)
G.H. Choueiri, J.M. Lopez Alonso, B. Hof, Physical Review Letters 120 (2018).
2018 | Journal Article | IST-REx-ID: 33 |

Can secondary contact following range expansion be distinguished from barriers to gene flow?
J. Bertl, H. Ringbauer, M. Blum, PeerJ 2018 (2018).
View
| Files available
| DOI
| PubMed | Europe PMC
J. Bertl, H. Ringbauer, M. Blum, PeerJ 2018 (2018).
2018 | Book | IST-REx-ID: 3300
Handbook of Model Checking
E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking, 1st ed., Springer Nature, Cham, 2018.
View
| DOI
E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking, 1st ed., Springer Nature, Cham, 2018.
2018 | Conference Paper | IST-REx-ID: 34 |

Sensor synthesis for POMDPs with reachability objectives
K. Chatterjee, M. Chemlík, U. Topcu, in:, AAAI Press, 2018, pp. 47–55.
View
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Chemlík, U. Topcu, in:, AAAI Press, 2018, pp. 47–55.
2018 | Preprint | IST-REx-ID: 7783 |

Extensive mitochondrial population structure and haplotype-specific phenotypic variation in the Drosophila Genetic Reference Panel
R.P.J. Bevers, M. Litovchenko, A. Kapopoulou, V.S. Braman, M.R. Robinson, J. Auwerx, B. Hollis, B. Deplancke, BioRxiv (2018).
View
| Download Preprint (ext.)
R.P.J. Bevers, M. Litovchenko, A. Kapopoulou, V.S. Braman, M.R. Robinson, J. Auwerx, B. Hollis, B. Deplancke, BioRxiv (2018).
2018 | 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.
View
| Files available
| DOI
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.
2018 | Conference Paper | IST-REx-ID: 7812 |

Model compression via distillation and quantization
A. Polino, R. Pascanu, D.-A. Alistarh, in:, 6th International Conference on Learning Representations, 2018.
View
| Files available
| arXiv
A. Polino, R. Pascanu, D.-A. Alistarh, in:, 6th International Conference on Learning Representations, 2018.
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: 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: 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: 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: 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).
View
| Files available
| DOI
W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, PLoS Biology 16 (2018).
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: 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: 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: 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 | 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.
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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 8420 |

Density of convex billiards with rational caustics
V. Kaloshin, K. Zhang, Nonlinearity 31 (2018) 5214–5234.
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kaloshin, K. Zhang, Nonlinearity 31 (2018) 5214–5234.
2018 | 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.
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kaloshin, A. Sorrentino, Annals of Mathematics 188 (2018) 315–380.
2018 | 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.
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Huang, V. Kaloshin, A. Sorrentino, Geometric and Functional Analysis 28 (2018) 334–392.
2018 | 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.
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Buhovsky, V. Kaloshin, Regular and Chaotic Dynamics 23 (2018) 54–59.
2018 | 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 | Journal Article | IST-REx-ID: 8438
Dynamics and interactions of AAC3 in DPC are not functionally relevant
V. Kurauskas, A. Hessel, F. Dehez, C. Chipot, B. Bersch, P. Schanda, Nature Structural & Molecular Biology 25 (2018) 745–747.
View
| DOI
V. Kurauskas, A. Hessel, F. Dehez, C. Chipot, B. Bersch, P. Schanda, Nature Structural & Molecular Biology 25 (2018) 745–747.
2018 | Journal Article | IST-REx-ID: 8439
Solid state NMR studies of intact lipopolysaccharide endotoxin
C. Laguri, A. Silipo, A.M. Martorana, P. Schanda, R. Marchetti, A. Polissi, A. Molinaro, J.-P. Simorre, ACS Chemical Biology 13 (2018) 2106–2113.
View
| DOI
C. Laguri, A. Silipo, A.M. Martorana, P. Schanda, R. Marchetti, A. Polissi, A. Molinaro, J.-P. Simorre, ACS Chemical Biology 13 (2018) 2106–2113.
2018 | Journal Article | IST-REx-ID: 8440
The antibiotic cyclomarin blocks arginine-phosphate–induced millisecond dynamics in the N-terminal domain of ClpC1 from Mycobacterium tuberculosis
K. Weinhäupl, M. Brennich, U. Kazmaier, J. Lelievre, L. Ballell, A. Goldberg, P. Schanda, H. Fraga, Journal of Biological Chemistry 293 (2018) 8379–8393.
View
| DOI
K. Weinhäupl, M. Brennich, U. Kazmaier, J. Lelievre, L. Ballell, A. Goldberg, P. Schanda, H. Fraga, Journal of Biological Chemistry 293 (2018) 8379–8393.
2018 | Journal Article | IST-REx-ID: 8441
Microsecond motions probed by near-rotary-resonance R1ρ 15N MAS NMR experiments: The model case of protein overall-rocking in crystals
A. Krushelnitsky, D. Gauto, D.C. Rodriguez Camargo, P. Schanda, K. Saalwächter, Journal of Biomolecular NMR 71 (2018) 53–67.
View
| DOI
A. Krushelnitsky, D. Gauto, D.C. Rodriguez Camargo, P. Schanda, K. Saalwächter, Journal of Biomolecular NMR 71 (2018) 53–67.
2018 | Journal Article | IST-REx-ID: 8442
Perturbations of native membrane protein structure in alkyl phosphocholine detergents: A critical assessment of NMR and biophysical studies
C. Chipot, F. Dehez, J.R. Schnell, N. Zitzmann, E. Pebay-Peyroula, L.J. Catoire, B. Miroux, E.R.S. Kunji, G. Veglia, T.A. Cross, P. Schanda, Chemical Reviews 118 (2018) 3559–3607.
View
| DOI
C. Chipot, F. Dehez, J.R. Schnell, N. Zitzmann, E. Pebay-Peyroula, L.J. Catoire, B. Miroux, E.R.S. Kunji, G. Veglia, T.A. Cross, P. Schanda, Chemical Reviews 118 (2018) 3559–3607.
2018 | Journal Article | IST-REx-ID: 8443
How detergent impacts membrane proteins: Atomic-level views of mitochondrial carriers in dodecylphosphocholine
V. Kurauskas, A. Hessel, P. Ma, P. Lunetti, K. Weinhäupl, L. Imbert, B. Brutscher, M.S. King, R. Sounier, V. Dolce, E.R.S. Kunji, L. Capobianco, C. Chipot, F. Dehez, B. Bersch, P. Schanda, The Journal of Physical Chemistry Letters 9 (2018) 933–938.
View
| DOI
V. Kurauskas, A. Hessel, P. Ma, P. Lunetti, K. Weinhäupl, L. Imbert, B. Brutscher, M.S. King, R. Sounier, V. Dolce, E.R.S. Kunji, L. Capobianco, C. Chipot, F. Dehez, B. Bersch, P. Schanda, The Journal of Physical Chemistry Letters 9 (2018) 933–938.
2018 | 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.
View
| Files available
| DOI
E. Gilad, T.A. Brown, M. Oskin, Y. Etsion, in:, Springer, 2018, pp. 465–479.
2018 | Preprint | IST-REx-ID: 8547 |

Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture
A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, BioRxiv (n.d.).
View
| DOI
| Download Preprint (ext.)
A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, BioRxiv (n.d.).
2018 | 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.
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 | 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).
View
| Files available
| DOI
| PubMed | Europe PMC
C. Gregor, S.C. Sidenstein, M. Andresen, S.J. Sahl, J.G. Danzl, S.W. Hell, Scientific Reports 8 (2018).
2018 | Journal Article | IST-REx-ID: 446 |

The ionization conjecture in Thomas–Fermi–Dirac–von Weizsäcker theory
R. Frank, P. Nam, H. Van Den Bosch, Communications on Pure and Applied Mathematics 71 (2018) 577–614.
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Frank, P. Nam, H. Van Den Bosch, Communications on Pure and Applied Mathematics 71 (2018) 577–614.
2018 | Journal Article | IST-REx-ID: 454 |

Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness
J. Reiter, C. Hilbe, D. Rand, K. Chatterjee, M. Nowak, Nature Communications 9 (2018).
View
| Files available
| DOI
J. Reiter, C. Hilbe, D. Rand, K. Chatterjee, M. Nowak, Nature Communications 9 (2018).
2018 | Journal Article | IST-REx-ID: 455 |

The Dirac–Frenkel principle for reduced density matrices and the Bogoliubov–de Gennes equations
N.P. Benedikter, J. Sok, J. Solovej, Annales Henri Poincare 19 (2018) 1167–1214.
View
| Files available
| DOI
N.P. Benedikter, J. Sok, J. Solovej, Annales Henri Poincare 19 (2018) 1167–1214.
2018 | Journal Article | IST-REx-ID: 456
Zika-associated microcephaly: Reduce the stress and race for the treatment
G. Novarino, Science Translational Medicine 10 (2018).
View
| DOI
G. Novarino, Science Translational Medicine 10 (2018).
2018 | Journal Article | IST-REx-ID: 457
Phage-host population dynamics promotes prophage acquisition in bacteria with innate immunity
M. Pleska, M. Lang, D. Refardt, B. Levin, C.C. Guet, Nature Ecology and Evolution 2 (2018) 359–366.
View
| Files available
| DOI
M. Pleska, M. Lang, D. Refardt, B. Levin, C.C. Guet, Nature Ecology and Evolution 2 (2018) 359–366.
2018 | Journal Article | IST-REx-ID: 458 |

Incircular nets and confocal conics
A. Akopyan, A. Bobenko, Transactions of the American Mathematical Society 370 (2018) 2825–2854.
View
| DOI
| Download Preprint (ext.)
A. Akopyan, A. Bobenko, Transactions of the American Mathematical Society 370 (2018) 2825–2854.
2018 | Journal Article | IST-REx-ID: 46 |

Detection and characterization of many-body localization in central spin models
D. Hetterich, N. Yao, M. Serbyn, F. Pollmann, B. Trauzettel, Physical Review B 98 (2018).
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Hetterich, N. Yao, M. Serbyn, F. Pollmann, B. Trauzettel, Physical Review B 98 (2018).
2018 | Journal Article | IST-REx-ID: 462 |

NHX antiporters regulate the pH of endoplasmic reticulum and auxin-mediated development
L. Fan, L. Zhao, W. Hu, W. Li, O. Novák, M. Strnad, S. Simon, J. Friml, J. Shen, L. Jiang, Q. Qiu, Plant, Cell and Environment 41 (2018) 850–864.
View
| Files available
| DOI
| PubMed | Europe PMC
L. Fan, L. Zhao, W. Hu, W. Li, O. Novák, M. Strnad, S. Simon, J. Friml, J. Shen, L. Jiang, Q. Qiu, Plant, Cell and Environment 41 (2018) 850–864.
2018 | Thesis | IST-REx-ID: 49 |

Ge hut wires - from growth to hole spin resonance
H. Watzinger, Ge Hut Wires - from Growth to Hole Spin Resonance, IST Austria, 2018.
View
| Files available
| DOI
H. Watzinger, Ge Hut Wires - from Growth to Hole Spin Resonance, IST Austria, 2018.
2018 | Journal Article | IST-REx-ID: 503
Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains
K. Tomasek, T. Bergmiller, C.C. Guet, Journal of Biotechnology 268 (2018) 40–52.
View
| DOI
K. Tomasek, T. Bergmiller, C.C. Guet, Journal of Biotechnology 268 (2018) 40–52.
2018 | Journal Article | IST-REx-ID: 519 |

Non-linear dynamics and alternating ‘flip’ solutions in ferrofluidic Taylor-Couette flow
S. Altmeyer, Journal of Magnetism and Magnetic Materials 452 (2018) 427–441.
View
| Files available
| DOI
S. Altmeyer, Journal of Magnetism and Magnetic Materials 452 (2018) 427–441.
2018 | Thesis | IST-REx-ID: 52 |

Point interactions in systems of fermions
T. Moser, Point Interactions in Systems of Fermions, IST Austria, 2018.
View
| Files available
| DOI
T. Moser, Point Interactions in Systems of Fermions, IST Austria, 2018.
2018 | Journal Article | IST-REx-ID: 53 |

IST PubRep and IST DataRep: the institutional repositories at IST Austria
B. Petritsch, J. Porsche, VÖB Mitteilungen 71 (2018) 199–206.
View
| Files available
| DOI
B. Petritsch, J. Porsche, VÖB Mitteilungen 71 (2018) 199–206.
2018 | Journal Article | IST-REx-ID: 530 |

Multiple covers with balls I: Inclusion–exclusion
H. Edelsbrunner, M. Iglesias Ham, Computational Geometry: Theory and Applications 68 (2018) 119–133.
View
| Files available
| DOI
H. Edelsbrunner, M. Iglesias Ham, Computational Geometry: Theory and Applications 68 (2018) 119–133.
2018 | Journal Article | IST-REx-ID: 536 |

Communication-efficient randomized consensus
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, Distributed Computing 31 (2018) 489–501.
View
| Files available
| DOI
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, Distributed Computing 31 (2018) 489–501.
2018 | Journal Article | IST-REx-ID: 54
Mechanical force-driven adherents junction remodeling and epithelial dynamics
D.C. Nunes Pinheiro, Y. Bellaïche, Developmental Cell 47 (2018) 3–19.
View
| DOI
| Download Published Version (ext.)
D.C. Nunes Pinheiro, Y. Bellaïche, Developmental Cell 47 (2018) 3–19.
2018 | Journal Article | IST-REx-ID: 542 |

Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver
R.K. Kelemen, B. Vicoso, Genetics 208 (2018) 365–375.
View
| Files available
| DOI
R.K. Kelemen, B. Vicoso, Genetics 208 (2018) 365–375.
2018 | Journal Article | IST-REx-ID: 543 |

Toward a unified theory of efficient, predictive, and sparse coding
M.J. Chalk, O. Marre, G. Tkačik, PNAS 115 (2018) 186–191.
View
| DOI
| Download Submitted Version (ext.)
M.J. Chalk, O. Marre, G. Tkačik, PNAS 115 (2018) 186–191.
2018 | Technical Report | IST-REx-ID: 5457 |

Cost analysis of nondeterministic probabilistic programs
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, 6 Anonymous, Cost Analysis of Nondeterministic Probabilistic Programs, IST Austria, 2018.
View
| Files available
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, 6 Anonymous, Cost Analysis of Nondeterministic Probabilistic Programs, IST Austria, 2018.
2018 | Journal Article | IST-REx-ID: 546
Neural stem cells in neuropsychiatric disorders
R. Sacco, E. Cacci, G. Novarino, Current Opinion in Neurobiology 48 (2018) 131–138.
View
| DOI
R. Sacco, E. Cacci, G. Novarino, Current Opinion in Neurobiology 48 (2018) 131–138.
2018 | Journal Article | IST-REx-ID: 547
Mutations in Vps15 perturb neuronal migration in mice and are associated with neurodevelopmental disease in humans
Gstrein T, Edwards A, Přistoupilová A, Leca I, Breuss M, Pilat Carotta S, Hansen AH, Tripathy R, Traunbauer A, Hochstoeger T, Rosoklija G, Repic M, Landler L, Stránecký V, Dürnberger G, Keane T, Zuber J, Adams D, Flint J, Honzik T, Gut M, Beltran S, Mechtler K, Sherr E, Kmoch S, Gut I, Keays D. 2018. Mutations in Vps15 perturb neuronal migration in mice and are associated with neurodevelopmental disease in humans. Nature Neuroscience. 21(2), 207–217.
View
| DOI
Gstrein T, Edwards A, Přistoupilová A, Leca I, Breuss M, Pilat Carotta S, Hansen AH, Tripathy R, Traunbauer A, Hochstoeger T, Rosoklija G, Repic M, Landler L, Stránecký V, Dürnberger G, Keane T, Zuber J, Adams D, Flint J, Honzik T, Gut M, Beltran S, Mechtler K, Sherr E, Kmoch S, Gut I, Keays D. 2018. Mutations in Vps15 perturb neuronal migration in mice and are associated with neurodevelopmental disease in humans. Nature Neuroscience. 21(2), 207–217.
2018 | Journal Article | IST-REx-ID: 55 |

Protection against the lethal side effects of social immunity in ants
C. Pull, S. Metzler, E. Naderlinger, S. Cremer, Current Biology 28 (2018) R1139–R1140.
View
| DOI
| Download Published Version (ext.)
C. Pull, S. Metzler, E. Naderlinger, S. Cremer, Current Biology 28 (2018) R1139–R1140.
2018 | Journal Article | IST-REx-ID: 554 |

The Bogoliubov free energy functional II: The dilute Limit
M.M. Napiórkowski, R. Reuvers, J. Solovej, Communications in Mathematical Physics 360 (2018) 347–403.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
M.M. Napiórkowski, R. Reuvers, J. Solovej, Communications in Mathematical Physics 360 (2018) 347–403.
2018 | Journal Article | IST-REx-ID: 555 |

Glycosaminoglycans in extracellular matrix organisation: Are concepts from soft matter physics key to understanding the formation of perineuronal nets?
R. Richter, N.S. Baranova, A. Day, J. Kwok, Current Opinion in Structural Biology 50 (2018) 65–74.
View
| DOI
| Download Submitted Version (ext.)
R. Richter, N.S. Baranova, A. Day, J. Kwok, Current Opinion in Structural Biology 50 (2018) 65–74.
2018 | Journal Article | IST-REx-ID: 556 |

The free boundary Schur process and applications I
D. Betea, J. Bouttier, P. Nejjar, M. Vuletic, Annales Henri Poincare 19 (2018) 3663–3742.
View
| Files available
| DOI
D. Betea, J. Bouttier, P. Nejjar, M. Vuletic, Annales Henri Poincare 19 (2018) 3663–3742.
2018 | Research Data | IST-REx-ID: 5569 |

Time-lapse microscopy data
T. Bergmiller, N. Nikolic, (2018).
View
| Files available
| DOI
T. Bergmiller, N. Nikolic, (2018).
2018 | Research Data | IST-REx-ID: 5573 |

Graph matching problems for GraphFlow – 6D Large Displacement Scene Flow
H. Alhaija, A. Sellent, D. Kondermann, C. Rother, (2018).
View
| Files available
| DOI
H. Alhaija, A. Sellent, D. Kondermann, C. Rother, (2018).
2018 | Research Data | IST-REx-ID: 5574 |

Data Check IOP Scopus vs. Publisher
M. Villányi, (2018).
View
| Files available
| DOI
M. Villányi, (2018).
2018 | Research Data | IST-REx-ID: 5575 |

Data Check RSC Scopus vs. FWF
M. Villányi, (2018).
View
| Files available
| DOI
M. Villányi, (2018).
2018 | Research Data | IST-REx-ID: 5576 |

Data Check T&F Scopus vs. FWF
M. Villányi, (2018).
View
| Files available
| DOI
M. Villányi, (2018).
2018 | Research Data | IST-REx-ID: 5577 |

Emerald Austrian Publications 2013-2017
M. Villányi, (2018).
View
| Files available
| DOI
M. Villányi, (2018).
2018 | Research Data | IST-REx-ID: 5578 |

IOP Austrian Publications 2012-2015
M. Villányi, (2018).
View
| Files available
| DOI
M. Villányi, (2018).