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: 11839 | OA
Prach B, Lampert C. 2022. Almost-orthogonal layers for efficient general-purpose Lipschitz networks. Computer Vision – ECCV 2022. ECCV: European Conference on Computer Vision, LNCS, vol. 13681, 350–365.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 11858 | OA
Agresti A, Veraar M. 2022. Nonlinear parabolic stochastic evolution equations in critical spaces part II. Journal of Evolution Equations. 22(2), 56.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 11918
Henzinger M, Lincoln A, Saha B. 2022. The complexity of average-case dynamic subgraph counting. 33rd Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 459–498.
View | DOI
 

2022 | Published | Conference Paper | IST-REx-ID: 12000 | OA
Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. 2022. Sound and complete certificates for auantitative termination analysis of probabilistic programs. Proceedings of the 34th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13371, 55–78.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 12019
Polyanskii N, Zhang Y. 2022. List-decodable zero-rate codes for the Z-channel. 2022 IEEE International Symposium on Information Theory. ISIT: International Symposium on Information Theory vol. 2022, 2553–2558.
View | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 12052 | OA
Konstantinova N, Hörmayer L, Glanc M, Keshkeih R, Tan S, Di Donato M, Retzer K, Moulinier-Anzola J, Schwihla M, Korbei B, Geisler M, Friml J, Luschnig C. 2022. WAVY GROWTH Arabidopsis E3 ubiquitin ligases affect apical PIN sorting decisions. Nature Communications. 13, 5147.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 12054 | OA
Yang Z, Xia J, Hong J, Zhang C, Wei H, Ying W, Sun C, Sun L, Mao Y, Gao Y, Tan S, Friml J, Li D, Liu X, Sun L. 2022. Structural insights into auxin recognition and efflux by Arabidopsis PIN1. Nature. 609(7927), 611–615.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Thesis | PhD | IST-REx-ID: 12072 | OA
Shute AL. 2022. Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 12079 | OA
Hensel S, Moser M. 2022. Convergence rates for the Allen–Cahn equation with boundary contact energy: The non-perturbative regime. Calculus of Variations and Partial Differential Equations. 61(6), 201.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 12107 | OA
Roca R, De Meyer V, Muller CJ. 2022. Precipitating fraction, not intensity, explains extreme coarse-grained precipitation Clausius-Clapeyron scaling with sea surface temperature over tropical oceans. Geophysical Research Letters. 49(24), e2022GL100624.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 12110 | OA
Henheik SJ, Tumulka R. 2022. Interior-boundary conditions for the Dirac equation at point sources in three dimensions. Journal of Mathematical Physics. 63(12), 122302.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 12129 | OA
Wagner U, Welzl E. 2022. Connectivity of triangulation flip graphs in the plane. Discrete & Computational Geometry. 68(4), 1227–1284.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 12142 | OA
Ojavee SE, Kutalik Z, Robinson MR. 2022. Liability-scale heritability estimation for biobank studies of low-prevalence disease. The American Journal of Human Genetics. 109(11), 2009–2017.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 12151 | OA
Cooley O, Kang M, Pikhurko O. 2022. On a question of Vera T. Sós about size forcing of graphons. Acta Mathematica Hungarica. 168, 1–26.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12167 | OA
Avarikioti G, Pietrzak KZ, Salem I, Schmid S, Tiwari S, Yeo MX. 2022. Hide & Seek: Privacy-preserving rebalancing on payment channel networks. Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13411, 358–373.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12168 | OA
Cohen S, Gelashvili R, Kokoris Kogias E, Li Z, Malkhi D, Sonnino A, Spiegelman A. 2022. Be aware of your leaders. International Conference on Financial Cryptography and Data Security. FC: Financial Cryptography and Data Security, LNCS, vol. 13411, 279–295.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12170
Meggendorfer T. 2022. PET – A partial exploration tool for probabilistic verification. 20th International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 13505, 320–326.
View | DOI | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 12171 | OA
Garcia Soto M, Henzinger TA, Schilling C. 2022. Synthesis of parametric hybrid automata from time series. 20th International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 13505, 337–353.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12175 | OA
Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. 2022. History-deterministic timed automata are not determinizable. 16th International Conference on Reachability Problems. RC: Reachability Problems, LNCS, vol. 13608, 67–76.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 12176 | OA
Hoffmann C, Hubáček P, Kamath C, Klein K, Pietrzak KZ. 2022. Practical statistically-sound proofs of exponentiation in any group. Advances in Cryptology – CRYPTO 2022. CRYPTO: International Cryptology Conference, LNCS, vol. 13508, 370–399.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed