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.

11357 Publications

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

An SMT theory of fixed-point arithmetic
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.

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

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

Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.

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

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

Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps
T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).

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

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

Zero field splitting of heavy-hole states in quantum dots
G. Katsaros, J. Kukucka, L. Vukušić, H. Watzinger, F. Gao, T. Wang, J.-J. Zhang, K. Held, Nano Letters 20 (2020) 5201–5206.

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

Stem cell lineage survival as a noisy competition for niche access
B. Corominas-Murtra, C.L.G.J. Scheele, K. Kishi, S.I.J. Ellenbroek, B.D. Simons, J. Van Rheenen, E.B. Hannezo, Proceedings of the National Academy of Sciences of the United States of America 117 (2020) 16969–16975.

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

Filling the antibody pipeline in allergy: PIPE cloning of IgE, IgG1 and IgG4 against the major birch pollen allergen Bet v 1
V.K. Köhler, S. Crescioli, J. Singer, H.J. Bax, G. Hofer, C.L. Pranger, K. Hufnagl, R. Bianchini, S. Flicker, W. Keller, S.N. Karagiannis, E. Jensen-Jarolim, International Journal of Molecular Sciences 21 (2020).

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2020 | Epub ahead of print | Journal Article | IST-REx-ID: 8226 |

Epinephrine drives human M2a allergic macrophages to a regulatory phenotype reducing mast cell degranulation in vitro
J. Gotovina, R. Bianchini, J. Singer, I. Herrmann, G. Pellizzari, I.D. Haidl, K. Hufnagl, S.N. Karagiannis, J.S. Marshall, E. Jensen‐Jarolim, Allergy (2020).

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

2020 | Research Data | IST-REx-ID: 8254 |

Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus)
L.S. Arathoon, (2020).

[Published Version] View | Files available | DOI

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

Selective routing of spatial information flow from input to output in hippocampal granule cells
X. Zhang, A. Schlögl, P.M. Jonas, Neuron 107 (2020) 1212–1225.

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

Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications
N.M. Gurel, K. Kara, A. Stojanov, T. Smith, T. Lemmin, D.-A. Alistarh, M. Puschel, C. Zhang, IEEE Transactions on Signal Processing 68 (2020) 4268–4282.

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

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

Origin of a subgenome and genome evolution of allotetraploid cotton species
P. He, Y. Zhang, G. Xiao, Molecular Plant 13 (2020) 1238–1240.

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

Stochastic games with lexicographic reachability-safety objectives
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.

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

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

Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter
J. Steiner, L.A. Sazanov, ELife 9 (2020).

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

Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit
B.K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, M.A. Kasevich, Physical Review Letters 125 (2020).

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

Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, 2020.

[Preprint] View | Files available | WoS | arXiv

2020 | Scientific Software | IST-REx-ID: 8294 |

RGtracker
R. Hauschild, (2020).

View | Files available | DOI

2020 | Submitted | Preprint | IST-REx-ID: 8307 |

GRANDPA: A Byzantine finality gadget
A. Stewart, E. Kokoris Kogias, ArXiv (n.d.).

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

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

Stability of mobility edges in disordered interacting systems
P. Brighi, D.A. Abanin, M. Serbyn, Physical Review B 102 (2020).

[Preprint] View | Files available | DOI | WoS | arXiv

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

Key role of quinone in the mechanism of respiratory complex I
J. Gutierrez-Fernandez, K. Kaszuba, G.S. Minhas, R. Baradaran, M. Tambalo, D.T. Gallagher, L.A. Sazanov, Nature Communications 11 (2020).

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

Retrieval of cavity-generated atomic spin squeezing after free-space release
Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B.K. Malia, O. Hosten, M.A. Kasevich, Physical Review A 102 (2020).

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

ISTA Research Explorer

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

11357 Publications

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).

11357 Publications

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options