ISTA Research Explorer

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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6293 Publications

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

Chatterjee, K., Chmelik, M., Karkhanis, D., Novotný, P., & Royer, A. (2020). Multiple-environment Markov decision processes: Efficient analysis and applications. In Proceedings of the 30th International Conference on Automated Planning and Scheduling (Vol. 30, pp. 48–56). Nancy, France: Association for the Advancement of Artificial Intelligence.

View | Files available

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

Baranowski, M., He, S., Lechner, M., Nguyen, T. S., & Rakamarić, Z. (2020). An SMT theory of fixed-point arithmetic. In Automated Reasoning (Vol. 12166, pp. 13–31). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-030-51074-9_2

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

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

Kragl, B., Qadeer, S., & Henzinger, T. A. (2020). Refinement for structured concurrent programs. In Computer Aided Verification (Vol. 12224, pp. 275–298). Springer Nature. https://doi.org/10.1007/978-3-030-53288-8_14

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

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

Gulden, T., Berg, E., Rudner, M. S., & Lindner, N. (2020). Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost Physics. SciPost Foundation. https://doi.org/10.21468/scipostphys.9.1.015

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

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

Katsaros, G., Kukucka, J., Vukušić, L., Watzinger, H., Gao, F., Wang, T., … Held, K. (2020). Zero field splitting of heavy-hole states in quantum dots. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.0c01466

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

Corominas-Murtra, B., Scheele, C. L. G. J., Kishi, K., Ellenbroek, S. I. J., Simons, B. D., Van Rheenen, J., & Hannezo, E. B. (2020). Stem cell lineage survival as a noisy competition for niche access. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.1921205117

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

Arathoon, L. S. (2020). Estimating inbreeding and its effects in a long-term study of snapdragons (Antirrhinum majus). Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8254

[Published Version] View | Files available | DOI

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

Zhang, X., Schlögl, A., & Jonas, P. M. (2020). Selective routing of spatial information flow from input to output in hippocampal granule cells. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2020.07.006

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

Gurel, N. M., Kara, K., Stojanov, A., Smith, T., Lemmin, T., Alistarh, D.-A., … Zhang, C. (2020). Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications. IEEE Transactions on Signal Processing. IEEE. https://doi.org/10.1109/TSP.2020.3010355

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

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

He, P., Zhang, Y., & Xiao, G. (2020). Origin of a subgenome and genome evolution of allotetraploid cotton species. Molecular Plant. Elsevier. https://doi.org/10.1016/j.molp.2020.07.006

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

Chatterjee, K., Katoen, J. P., Weininger, M., & Winkler, T. (2020). Stochastic games with lexicographic reachability-safety objectives. In International Conference on Computer Aided Verification (Vol. 12225, pp. 398–420). Springer Nature. https://doi.org/10.1007/978-3-030-53291-8_21

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

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

Steiner, J., & Sazanov, L. A. (2020). Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.59407

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

Malia, B. K., Martínez-Rincón, J., Wu, Y., Hosten, O., & Kasevich, M. A. (2020). Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.125.043202

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

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

[Preprint] View | Files available | WoS | arXiv

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

Brighi, P., Abanin, D. A., & Serbyn, M. (2020). Stability of mobility edges in disordered interacting systems. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.102.060202

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

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

Gutierrez-Fernandez, J., Kaszuba, K., Minhas, G. S., Baradaran, R., Tambalo, M., Gallagher, D. T., & Sazanov, L. A. (2020). Key role of quinone in the mechanism of respiratory complex I. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-17957-0

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

Wu, Y., Krishnakumar, R., Martínez-Rincón, J., Malia, B. K., Hosten, O., & Kasevich, M. A. (2020). Retrieval of cavity-generated atomic spin squeezing after free-space release. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.102.012224

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

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

Mukba, S. A., Vlasov, P., Kolosov, P. M., Shuvalova, E. Y., Egorova, T. V., & Alkalaeva, E. Z. (2020). Expanding the genetic code: Unnatural base pairs in biological systems. Molecular Biology. Springer Nature. https://doi.org/10.1134/S0026893320040111

View | Files available | DOI | WoS

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

Mukba, S. A., Vlasov, P., Kolosov, P. M., Shuvalova, E. Y., Egorova, T. V., & Alkalaeva, E. Z. (2020). Expanding the genetic code: Unnatural base pairs in biological systems. Molekuliarnaia biologiia. Russian Academy of Sciences. https://doi.org/10.31857/S0026898420040126

View | Files available | DOI | PubMed | Europe PMC

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

Chakraborty, S., Dziembowski, S., & Nielsen, J. B. (2020). Reverse firewalls for actively secure MPCs. In Advances in Cryptology – CRYPTO 2020 (Vol. 12171, pp. 732–762). Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-56880-1_26

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

Research Groups

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

6293 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

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

6293 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options