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 HM, Fehrman RL, Maes ME, et al. Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology and Visual Science. 2021;62(10). doi:10.1167/IOVS.62.10.14

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

Chatterjee K, Dvorak W, Henzinger M, Svozil A. Symbolic time and space tradeoffs for probabilistic verification. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021:1-13. doi: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. Stochastic processes with expected stopping time. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:10.1109/LICS52264.2021.9470595

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

Bulíček M, Maringová E, Málek J. On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. 2021;31(09). doi: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. Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. 2021;21(4):481-536. doi: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. Hydrodynamics for the partial exclusion process in random environment. Stochastic Processes and their Applications. 2021;142:124-158. doi: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, et al. Half and quarter metals in rhombohedral trilayer graphene. Nature. 2021. doi:10.1038/s41586-021-03938-w

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

Phan DT, Senior JL, Ghazaryan A, et al. Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid. arXiv. doi:10.48550/arXiv.2107.03695

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

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

Ho QP. The Atiyah-Bott formula and connectivity in chiral Koszul duality. Advances in Mathematics. 2021;392. doi: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, et al. RIM-binding protein 2 organizes Ca²¹ channel topography and regulates release probability and vesicle replenishment at a fast central synapse. Journal of Neuroscience. 2021;41(37):7742-7767. doi:10.1523/JNEUROSCI.0586-21.2021

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

Jecker IR, Mazzocchi N, Wolf P. Decomposing permutation automata. In: 32nd International Conference on Concurrency Theory. Vol 203. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.CONCUR.2021.18

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

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

Hashemi SA, Mondelli M, Fazeli A, Vardy A, Cioffi J, Goldsmith A. Parallelism versus latency in simplified successive-cancellation decoding of polar codes. In: 2021 IEEE International Symposium on Information Theory. Institute of Electrical and Electronics Engineers; 2021:2369-2374. doi:10.1109/ISIT45174.2021.9518153

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

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

[Published Version] View | Files available | DOI

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

Jecker IR. A Ramsey theorem for finite monoids. In: 38th International Symposium on Theoretical Aspects of Computer Science. Vol 187. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.STACS.2021.44

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

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

Robinson MR, Patxot M, Stojanov M, Blum S, Baud D. Postpartum hemorrhage risk is driven by changes in blood composition through pregnancy. Scientific Reports. 2021;11. doi:10.1038/s41598-021-98411-z

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

Dello Schiavo L, Suzuki K. Rademacher-type theorems and Sobolev-to-Lipschitz properties for strongly local Dirichlet spaces. Journal of Functional Analysis. 2021;281(11). doi: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. How to tutorial-a-thon. Notices of the American Mathematical Society. 2021;68(9):1511-1514. doi:10.1090/noti2349

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

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

Harris DG, Iliopoulos F, Kolmogorov V. A new notion of commutativity for the algorithmic Lovász Local Lemma. In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. Vol 207. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi: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. Enhanced thermoelectric performance by surface engineering in SnTe-PbS nanocomposites. Materials. 2021;14(18). doi:10.3390/ma14185416

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

Guha S, Jecker IR, Lehtinen K, Zimmermann M. A bit of nondeterminism makes pushdown automata expressive and succinct. In: 46th International Symposium on Mathematical Foundations of Computer Science. Vol 202. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi: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