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.
2033 Publications
2022 |
Published |
Conference Paper |
IST-REx-ID: 11812 |
K. Hanauer, M. Henzinger, and Q. C. Hua, “Fully dynamic four-vertex subgraph counting,” in 1st Symposium on Algorithmic Foundations of Dynamic Networks, Virtual, 2022, vol. 221.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 |
Published |
Conference Paper |
IST-REx-ID: 11839 |
B. Prach and C. Lampert, “Almost-orthogonal layers for efficient general-purpose Lipschitz networks,” in Computer Vision – ECCV 2022, Tel Aviv, Israel, 2022, vol. 13681, pp. 350–365.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Journal Article |
IST-REx-ID: 11858 |
A. Agresti and M. Veraar, “Nonlinear parabolic stochastic evolution equations in critical spaces part II,” Journal of Evolution Equations, vol. 22, no. 2. Springer Nature, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Conference Paper |
IST-REx-ID: 12000 |
K. Chatterjee, A. K. Goharshady, T. Meggendorfer, and D. Zikelic, “Sound and complete certificates for auantitative termination analysis of probabilistic programs,” in Proceedings of the 34th International Conference on Computer Aided Verification, Haifa, Israel, 2022, vol. 13371, pp. 55–78.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Journal Article |
IST-REx-ID: 12052 |
N. Konstantinova et al., “WAVY GROWTH Arabidopsis E3 ubiquitin ligases affect apical PIN sorting decisions,” Nature Communications, vol. 13. Springer Nature, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |
Published |
Journal Article |
IST-REx-ID: 12054 |
Z. Yang et al., “Structural insights into auxin recognition and efflux by Arabidopsis PIN1,” Nature, vol. 609, no. 7927. Springer Nature, pp. 611–615, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12072 |
A. L. Shute, “Existence and density problems in Diophantine geometry: From norm forms to Campana points,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Journal Article |
IST-REx-ID: 12079 |
S. Hensel and M. Moser, “Convergence rates for the Allen–Cahn equation with boundary contact energy: The non-perturbative regime,” Calculus of Variations and Partial Differential Equations, vol. 61, no. 6. Springer Nature, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Journal Article |
IST-REx-ID: 12107 |
R. Roca, V. De Meyer, and C. J. Muller, “Precipitating fraction, not intensity, explains extreme coarse-grained precipitation Clausius-Clapeyron scaling with sea surface temperature over tropical oceans,” Geophysical Research Letters, vol. 49, no. 24. Wiley, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Journal Article |
IST-REx-ID: 12110 |
S. J. Henheik and R. Tumulka, “Interior-boundary conditions for the Dirac equation at point sources in three dimensions,” Journal of Mathematical Physics, vol. 63, no. 12. AIP Publishing, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Journal Article |
IST-REx-ID: 12129 |
U. Wagner and E. Welzl, “Connectivity of triangulation flip graphs in the plane,” Discrete & Computational Geometry, vol. 68, no. 4. Springer Nature, pp. 1227–1284, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Journal Article |
IST-REx-ID: 12142 |
S. E. Ojavee, Z. Kutalik, and M. R. Robinson, “Liability-scale heritability estimation for biobank studies of low-prevalence disease,” The American Journal of Human Genetics, vol. 109, no. 11. Elsevier, pp. 2009–2017, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |
Published |
Journal Article |
IST-REx-ID: 12151 |
O. Cooley, M. Kang, and O. Pikhurko, “On a question of Vera T. Sós about size forcing of graphons,” Acta Mathematica Hungarica, vol. 168. Springer Nature, pp. 1–26, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Conference Paper |
IST-REx-ID: 12167 |
G. Avarikioti, K. Z. Pietrzak, I. Salem, S. Schmid, S. Tiwari, and M. X. Yeo, “Hide & Seek: Privacy-preserving rebalancing on payment channel networks,” in Financial Cryptography and Data Security, Grenada, 2022, vol. 13411, pp. 358–373.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Conference Paper |
IST-REx-ID: 12168 |
S. Cohen et al., “Be aware of your leaders,” in International Conference on Financial Cryptography and Data Security, Grenada, 2022, vol. 13411, pp. 279–295.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Conference Paper |
IST-REx-ID: 12171 |
M. Garcia Soto, T. A. Henzinger, and C. Schilling, “Synthesis of parametric hybrid automata from time series,” in 20th International Symposium on Automated Technology for Verification and Analysis, Virtual, 2022, vol. 13505, pp. 337–353.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Conference Paper |
IST-REx-ID: 12175 |
S. Bose, T. A. Henzinger, K. Lehtinen, S. Schewe, and P. Totzke, “History-deterministic timed automata are not determinizable,” in 16th International Conference on Reachability Problems, Kaiserslautern, Germany, 2022, vol. 13608, pp. 67–76.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS