ISTA Research Explorer

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.

550 Publications

2020 | Published | Journal Article | IST-REx-ID: 8402 |

The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments
H. Rampelt, I. Sucec, B. Bersch, P. Horten, I. Perschil, J.-C. Martinou, M. van der Laan, N. Wiedemann, P. Schanda, N. Pfanner, BMC Biology 18 (2020).

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2020 | Published | Journal Article | IST-REx-ID: 8568 |

Persistent and reversible solid iodine electrodeposition in nanoporous carbons
C. Prehal, H. Fitzek, G. Kothleitner, V. Presser, B. Gollas, S.A. Freunberger, Q. Abbas, Nature Communications 11 (2020).

2020 | Published | Journal Article | IST-REx-ID: 8973 |

Symmetric simple exclusion process in dynamic environment: Hydrodynamics
F. Redig, E. Saada, F. Sau, Electronic Journal of Probability 25 (2020).

[Published Version] View | Files available | DOI | WoS | arXiv

2020 | Published | Conference Paper | IST-REx-ID: 9040 |

Formal methods with a touch of magic
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.

[Published Version] View | Files available | DOI

2020 | Published | Journal Article | IST-REx-ID: 7207 |

Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease
A. Martín-Belmonte, C. Aguado, R. Alfaro-Ruíz, A.E. Moreno-Martínez, L. De La Ossa, J. Martínez-Hernández, A. Buisson, S. Früh, B. Bettler, R. Shigemoto, Y. Fukazawa, R. Luján, Brain Pathology 30 (2020) 554–575.

2020 | Published | Book (Editor) | IST-REx-ID: 7474 |

Austrian High-Performance-Computing meeting (AHPC2020)
A. Schlögl, J. Kiss, S. Elefante, eds., Austrian High-Performance-Computing Meeting (AHPC2020), IST Austria, Klosterneuburg, Austria, 2020.

[Published Version] View | Files available | DOI

2020 | Published | Journal Article | IST-REx-ID: 7632 |

Action representation in the mouse parieto-frontal network
T. Tombaz, B.A. Dunn, K. Hovde, R.J. Cubero, B. Mimica, P. Mamidanna, Y. Roudi, J.R. Whitlock, Scientific Reports 10 (2020).

[Published Version] View | Files available | DOI | WoS

2020 | Research Data Reference | IST-REx-ID: 9885

MURL_Dataz
M.C. Ucar, R. Lipowsky, (2020).

[Published Version] View | Files available | DOI

2020 | Published | Conference Paper | IST-REx-ID: 8571 |

ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics
L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.

[Published Version] View | DOI | Download Published Version (ext.)

2020 | Published | Journal Article | IST-REx-ID: 7161 |

Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces
Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications 184 (2020) 877–894.

[Submitted Version] View | Files available | DOI | WoS

2019 | Published | Journal Article | IST-REx-ID: 11505 |

Faint end of the z ∼ 3–7 luminosity function of Lyman-alpha emitters behind lensing clusters observed with MUSE
de La Vieuville G, Bina D, Pello R, Mahler G, Richard J, Drake AB, Herenz EC, Bauer FE, Clément B, Lagattuta D, Laporte N, Martinez J, Patrício V, Wisotzki L, Zabl J, Bouwens RJ, Contini T, Garel T, Guiderdoni B, Marino RA, Maseda MV, Matthee JJ, Schaye J, Soucail G. 2019. Faint end of the z ∼ 3–7 luminosity function of Lyman-alpha emitters behind lensing clusters observed with MUSE. Astronomy & Astrophysics. 628, A3.

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2019 | Published | Journal Article | IST-REx-ID: 11535 |

The clustering of typical Ly α emitters from z ∼ 2.5–6: Host halo masses depend on Ly α and UV luminosities
A.A. Khostovan, D. Sobral, B. Mobasher, J.J. Matthee, R.K. Cochrane, N. Chartab, M. Jafariyazani, A. Paulino-Afonso, S. Santos, J. Calhau, Monthly Notices of the Royal Astronomical Society 489 (2019) 555–573.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2019 | Published | Conference Paper | IST-REx-ID: 11850 |

Efficient distributed workload (re-)embedding
M. Henzinger, S. Neumann, S. Schmid, in:, SIGMETRICS’19: International Conference on Measurement and Modeling of Computer Systems, Association for Computing Machinery, 2019, pp. 43–44.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

earlier version | 2019 | Published | Conference Paper | IST-REx-ID: 11851

Shared-memory exact minimum cuts
M. Henzinger, A. Noe, C. Schulz, in:, 33rd International Parallel and Distributed Processing Symposium, Institute of Electrical and Electronics Engineers, 2019.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2019 | Published | Journal Article | IST-REx-ID: 17924 |

Enhanced coupling through π-stacking in imidazole-based molecular junctions
T. Fu, S. Smith, M. Camarasa-Gómez, X. Yu, J. Xue, C. Nuckolls, F. Evers, L. Venkataraman, S. Wei, Chemical Science 10 (2019) 9998–10002.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2019 | Published | Journal Article | IST-REx-ID: 15230 |

A massive magnetic helium atmosphere white dwarf binary in a young star cluster
H.B. Richer, R. Kerr, J. Heyl, I. Caiazzo, J. Cummings, P. Bergeron, P. Dufour, The Astrophysical Journal 880 (2019).

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2019 | Published | Journal Article | IST-REx-ID: 10874 |

Modular invariants for genus 3 hyperelliptic curves
S. Ionica, P. Kılıçer, K. Lauter, E. Lorenzo García, M.-A. Manzateanu, M. Massierer, C. Vincent, Research in Number Theory 5 (2019).

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2019 | Published | Journal Article | IST-REx-ID: 170 |

Counting rational points on quartic del Pezzo surfaces with a rational conic
T.D. Browning, E. Sofos, Mathematische Annalen 373 (2019) 977–1016.

[Published Version] View | Files available | DOI | arXiv

2019 | Published | Journal Article | IST-REx-ID: 8228 |

AllergoOncology: High innate IgE levels are decisive for the survival of cancer-bearing mice
J. Singer, G. Achatz-Straussberger, A. Bentley-Lukschal, J. Singer, G. Achatz, S.N. Karagiannis, E. Jensen-Jarolim, World Allergy Organization Journal 12 (2019).

[Published Version] View | DOI | Download Published Version (ext.)

2019 | Published | Journal Article | IST-REx-ID: 8263 |

Micro-evolution of three Streptococcus species: Selection, antigenic variation, and horizontal gene inflow
P.V. Shelyakin, O. Bochkareva, A.A. Karan, M.S. Gelfand, BMC Evolutionary Biology 19 (2019).

[Published Version] View | DOI | Download Published Version (ext.)

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

550 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

550 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options