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 | OA
Hanauer, Kathrin, et al. “Fully Dynamic Four-Vertex Subgraph Counting.” 1st Symposium on Algorithmic Foundations of Dynamic Networks, vol. 221, 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.SAND.2022.18.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 11839 | OA
Prach, Bernd, and Christoph Lampert. “Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks.” Computer Vision – ECCV 2022, vol. 13681, Springer Nature, 2022, pp. 350–65, doi:10.1007/978-3-031-19803-8_21.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 11858 | OA
Agresti, Antonio, and Mark Veraar. “Nonlinear Parabolic Stochastic Evolution Equations in Critical Spaces Part II.” Journal of Evolution Equations, vol. 22, no. 2, 56, Springer Nature, 2022, doi:10.1007/s00028-022-00786-7.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 11918
Henzinger, Monika, et al. “The Complexity of Average-Case Dynamic Subgraph Counting.” 33rd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2022, pp. 459–98, doi:10.1137/1.9781611977073.23.
View | DOI
 

2022 | Published | Conference Paper | IST-REx-ID: 12000 | OA
Chatterjee, Krishnendu, et al. “Sound and Complete Certificates for Auantitative Termination Analysis of Probabilistic Programs.” Proceedings of the 34th International Conference on Computer Aided Verification, vol. 13371, Springer, 2022, pp. 55–78, doi:10.1007/978-3-031-13185-1_4.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 12019
Polyanskii, Nikita, and Yihan Zhang. “List-Decodable Zero-Rate Codes for the Z-Channel.” 2022 IEEE International Symposium on Information Theory, vol. 2022, Institute of Electrical and Electronics Engineers, 2022, pp. 2553–58, doi:10.1109/ISIT50566.2022.9834829.
View | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 12052 | OA
Konstantinova, N., et al. “WAVY GROWTH Arabidopsis E3 Ubiquitin Ligases Affect Apical PIN Sorting Decisions.” Nature Communications, vol. 13, 5147, Springer Nature, 2022, doi:10.1038/s41467-022-32888-8.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 12054 | OA
Yang, Z., et al. “Structural Insights into Auxin Recognition and Efflux by Arabidopsis PIN1.” Nature, vol. 609, no. 7927, Springer Nature, 2022, pp. 611–15, doi:10.1038/s41586-022-05143-9.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Thesis | PhD | IST-REx-ID: 12072 | OA
Shute, Alec L. Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12072.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 12079 | OA
Hensel, Sebastian, and Maximilian 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, 201, Springer Nature, 2022, doi:10.1007/s00526-022-02307-3.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 12107 | OA
Roca, Rémy, et al. “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, e2022GL100624, Wiley, 2022, doi:10.1029/2022GL100624.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 12110 | OA
Henheik, Sven Joscha, and Roderich Tumulka. “Interior-Boundary Conditions for the Dirac Equation at Point Sources in Three Dimensions.” Journal of Mathematical Physics, vol. 63, no. 12, 122302, AIP Publishing, 2022, doi:10.1063/5.0104675.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 12129 | OA
Wagner, Uli, and Emo Welzl. “Connectivity of Triangulation Flip Graphs in the Plane.” Discrete & Computational Geometry, vol. 68, no. 4, Springer Nature, 2022, pp. 1227–84, doi:10.1007/s00454-022-00436-2.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 12142 | OA
Ojavee, Sven E., et al. “Liability-Scale Heritability Estimation for Biobank Studies of Low-Prevalence Disease.” The American Journal of Human Genetics, vol. 109, no. 11, Elsevier, 2022, pp. 2009–17, doi:10.1016/j.ajhg.2022.09.011.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 12151 | OA
Cooley, Oliver, et al. “On a Question of Vera T. Sós about Size Forcing of Graphons.” Acta Mathematica Hungarica, vol. 168, Springer Nature, 2022, pp. 1–26, doi:10.1007/s10474-022-01265-8.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12167 | OA
Avarikioti, Georgia, et al. “Hide & Seek: Privacy-Preserving Rebalancing on Payment Channel Networks.” Financial Cryptography and Data Security, vol. 13411, Springer Nature, 2022, pp. 358–73, doi:10.1007/978-3-031-18283-9_17.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12168 | OA
Cohen, Shir, et al. “Be Aware of Your Leaders.” International Conference on Financial Cryptography and Data Security, vol. 13411, Springer Nature, 2022, pp. 279–95, doi:10.1007/978-3-031-18283-9_13.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12170
Meggendorfer, Tobias. “PET – A Partial Exploration Tool for Probabilistic Verification.” 20th International Symposium on Automated Technology for Verification and Analysis, vol. 13505, Springer Nature, 2022, pp. 320–26, doi:10.1007/978-3-031-19992-9_20.
View | DOI | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 12171 | OA
Garcia Soto, Miriam, et al. “Synthesis of Parametric Hybrid Automata from Time Series.” 20th International Symposium on Automated Technology for Verification and Analysis, vol. 13505, Springer Nature, 2022, pp. 337–53, doi:10.1007/978-3-031-19992-9_22.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12175 | OA
Bose, Sougata, et al. “History-Deterministic Timed Automata Are Not Determinizable.” 16th International Conference on Reachability Problems, vol. 13608, Springer Nature, 2022, pp. 67–76, doi:10.1007/978-3-031-19135-0_5.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed