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.

6487 Publications

2021 | Published | Journal Article | IST-REx-ID: 10000 |

Schmitt, H. M., Fehrman, R. L., Maes, M. E., Yang, H., Guo, L. W., Schlamp, C. L., … Nickells, R. W. (2021). Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology and Visual Science. Association for Research in Vision and Ophthalmology. https://doi.org/10.1167/IOVS.62.10.14

2021 | Published | Conference Paper | IST-REx-ID: 10002 |

Chatterjee, K., Dvorak, W., Henzinger, M., & Svozil, A. (2021). Symbolic time and space tradeoffs for probabilistic verification. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470739

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

2021 | Published | Conference Paper | IST-REx-ID: 10004 |

Chatterjee, K., & Doyen, L. (2021). Stochastic processes with expected stopping time. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470595

2021 | Published | Journal Article | IST-REx-ID: 10005 |

Bulíček, M., Maringová, E., & Málek, J. (2021). On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. World Scientific Publishing. https://doi.org/10.1142/S0218202521500457

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

2021 | Published | Journal Article | IST-REx-ID: 10023 |

Karatzas, I., Maas, J., & Schachermayer, W. (2021). Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. International Press. https://doi.org/10.4310/CIS.2021.v21.n4.a1

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

2021 | Published | Journal Article | IST-REx-ID: 10024 |

Floreani, S., Redig, F., & Sau, F. (2021). Hydrodynamics for the partial exclusion process in random environment. Stochastic Processes and Their Applications. Elsevier. https://doi.org/10.1016/j.spa.2021.08.006

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

2021 | Published | Journal Article | IST-REx-ID: 10025 |

Zhou, H., Xie, T., Ghazaryan, A., Holder, T., Ehrets, J. R., Spanton, E. M., … Young, A. F. (2021). Half and quarter metals in rhombohedral trilayer graphene. Nature. Springer Nature. https://doi.org/10.1038/s41586-021-03938-w

2021 | Draft | Preprint | IST-REx-ID: 10029 |

Phan, D. T., Senior, J. L., Ghazaryan, A., Hatefipour, M., Strickland, W. M., Shabani, J., … Higginbotham, A. P. (n.d.). Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid. arXiv. https://doi.org/10.48550/arXiv.2107.03695

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

2021 | Published | Journal Article | IST-REx-ID: 10033 |

Ho, Q. P. (2021). The Atiyah-Bott formula and connectivity in chiral Koszul duality. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2021.107992

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

2021 | Published | Journal Article | IST-REx-ID: 10051 |

Butola, T., Alvanos, T., Hintze, A., Koppensteiner, P., Kleindienst, D., Shigemoto, R., … Moser, T. (2021). RIM-binding protein 2 organizes Ca²¹ channel topography and regulates release probability and vesicle replenishment at a fast central synapse. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.0586-21.2021

2021 | Published | Conference Paper | IST-REx-ID: 10052 |

Jecker, I. R., Mazzocchi, N., & Wolf, P. (2021). Decomposing permutation automata. In 32nd International Conference on Concurrency Theory (Vol. 203). Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2021.18

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

2021 | Published | Conference Paper | IST-REx-ID: 10053 |

Hashemi, S. A., Mondelli, M., Fazeli, A., Vardy, A., Cioffi, J., & Goldsmith, A. (2021). Parallelism versus latency in simplified successive-cancellation decoding of polar codes. In 2021 IEEE International Symposium on Information Theory (pp. 2369–2374). Melbourne, Australia: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ISIT45174.2021.9518153

2021 | Published | Conference Paper | IST-REx-ID: 10054 |

Chatterjee, K., Henzinger, M., Kale, S. S., & Svozil, A. (2021). Faster algorithms for bounded liveness in graphs and game graphs. In 48th International Colloquium on Automata, Languages, and Programming (Vol. 198). Glasgow, Scotland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2021.124

[Published Version] View | Files available | DOI

2021 | Published | Conference Paper | IST-REx-ID: 10055 |

Jecker, I. R. (2021). A Ramsey theorem for finite monoids. In 38th International Symposium on Theoretical Aspects of Computer Science (Vol. 187). Saarbrücken, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.STACS.2021.44

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

2021 | Published | Journal Article | IST-REx-ID: 10069 |

Robinson, M. R., Patxot, M., Stojanov, M., Blum, S., & Baud, D. (2021). Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-021-98411-z

2021 | Published | Journal Article | IST-REx-ID: 10070 |

Dello Schiavo, L., & Suzuki, K. (2021). Rademacher-type theorems and Sobolev-to-Lipschitz properties for strongly local Dirichlet spaces. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2021.109234

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

2021 | Published | Journal Article | IST-REx-ID: 10071 |

Adams, H., Kourimska, H., Heiss, T., Percival, S., & Ziegelmeier, L. (2021). How to tutorial-a-thon. Notices of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/noti2349

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

2021 | Published | Conference Paper | IST-REx-ID: 10072 |

Harris, D. G., Iliopoulos, F., & Kolmogorov, V. (2021). A new notion of commutativity for the algorithmic Lovász Local Lemma. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (Vol. 207). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.31

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

2021 | Published | Journal Article | IST-REx-ID: 10073 |

Chang, C., & Ibáñez, M. (2021). Enhanced thermoelectric performance by surface engineering in SnTe-PbS nanocomposites. Materials. MDPI. https://doi.org/10.3390/ma14185416

2021 | Published | Conference Paper | IST-REx-ID: 10075 |

Guha, S., Jecker, I. R., Lehtinen, K., & Zimmermann, M. (2021). A bit of nondeterminism makes pushdown automata expressive and succinct. In 46th International Symposium on Mathematical Foundations of Computer Science (Vol. 202). Tallinn, Estonia: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2021.53

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

Institute of Science and Technology Austria (ISTA)

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

6487 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

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

6487 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options