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.
1608 Publications
2024 | Journal Article | IST-REx-ID: 15311 | 
Z. Zeng et al., “Pushing thermal conductivity to its lower limit in crystals with simple structures,” Nature Communications, vol. 15. Springer Nature, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15312 |
T. D. Browning and I. E. Shparlinski, “Square-free values of random polynomials,” Journal of Number Theory, vol. 261. Elsevier, pp. 220–240, 2024.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Conference Paper | IST-REx-ID: 15333 |
M. Chalupa and C. Richter, “Bubaak-SpLit: Split what you cannot verify (Competition contribution),” in 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg, 2024, vol. 14572, pp. 353–358.
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 15348
N. Mahato, S. Singh, T. V. M. Sreekanth, K. Yoo, and J. Kim, “In-situ engineered highly crystalline polythiophene empowered electrochemical capacitor-I: Synthesis, characterization, and electrochemical charge storage,” Materials Letters, vol. 365. Elsevier, 2024.
View
| DOI
2024 | Journal Article | IST-REx-ID: 15358 |
N. H. Barton and H. Sachdeva, “Limits to selection on standing variation in an asexual population,” Theoretical Population Biology, vol. 157. Elsevier, pp. 129–137, 2024.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15372 |
G. N. Hibshman et al., “Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Cas9,” Nature Communications, vol. 15. Springer Nature, 2024.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12158 |
P. Zeller et al., “Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis,” Nature Genetics, vol. 55. Springer Nature, pp. 333–345, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Book Chapter | IST-REx-ID: 12720
S. Arroyo-Urea, J. Watson, and J. García-Nafría, “Molecular Cloning Using In Vivo DNA Assembly,” in DNA Manipulation and Analysis, vol. 2633, G. Scarlett, Ed. New York, NY, United States: Springer Nature, 2023, pp. 33–44.
View
| DOI
| PubMed | Europe PMC
2023 | Conference Poster | IST-REx-ID: 12736 |
V. Aksenov, T. A. Brown, A. Fedorov, and I. Kokorin, Unexpected scaling in path copying trees. Association for Computing Machinery, 2023, pp. 438–440.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12854 |
M. Chalupa and T. A. Henzinger, “Bubaak: Runtime monitoring of program verifiers,” in Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 535–540.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12856 |
M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, “Vamos: Middleware for best-effort third-party monitoring,” in Fundamental Approaches to Software Engineering, Paris, France, 2023, vol. 13991, pp. 260–281.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13143 |
C. Hoffmann, P. Hubáček, C. Kamath, and K. Z. Pietrzak, “Certifying giant nonprimes,” in Public-Key Cryptography - PKC 2023, Atlanta, GA, United States, 2023, vol. 13940, pp. 530–553.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Conference Paper | IST-REx-ID: 13142 |
K. Chatterjee, T. A. Henzinger, M. Lechner, and D. Zikelic, “A learner-verifier framework for neural network controllers and certificates of stochastic systems,” in Tools and Algorithms for the Construction and Analysis of Systems , Paris, France, 2023, vol. 13993, pp. 3–25.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13141 |
A. Anand, K. Mallik, S. P. Nayak, and A. K. Schmuck, “Computing adequately permissive assumptions for synthesis,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 211–228.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12467 |
T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Quantitative safety and liveness,” in 26th International Conference Foundations of Software Science and Computation Structures, Paris, France, 2023, vol. 13992, pp. 349–370.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12737
Á. García-Romero et al., “Highly adaptive nature of group 15 tris(quinolyl) ligands─studies with coinage metals,” Inorganic Chemistry, vol. 62, no. 11. American Chemical Society, pp. 4625–4636, 2023.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12788 |
V. Karle, A. Ghazaryan, and M. Lemeshko, “Topological charges of periodically kicked molecules,” Physical Review Letters, vol. 130, no. 10. American Physical Society, 2023.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12839 |
M. Ljubotina, J. Y. Desaules, M. Serbyn, and Z. Papić, “Superdiffusive energy transport in kinetically constrained models,” Physical Review X, vol. 13, no. 1. American Physical Society, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13129 |
N. Clozeau, M. Josien, F. Otto, and Q. Xu, “Bias in the representative volume element method: Periodize the ensemble instead of its realizations,” Foundations of Computational Mathematics. Springer Nature, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Journal Article | IST-REx-ID: 13970 |
A. Madani, E. T. Sletten, C. Cavedon, P. H. Seeberger, and B. Pieber, “Visible-light-mediated oxidative debenzylation of 3-O-Benzyl-1,2:5,6-di-O-isopropylidene-α-D-glucofuranose,” Organic Syntheses, vol. 100. Organic Syntheses, pp. 271–286, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12331 |
S. Wang et al., “Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe,” Chemistry of Materials, vol. 35, no. 2. American Chemical Society, pp. 755–763, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12106 |
J. Yeung, M. Florescu, P. Zeller, B. A. De Barbanson, M. D. Wellenstein, and A. Van Oudenaarden, “scChIX-seq infers dynamic relationships between histone modifications in single cells,” Nature Biotechnology, vol. 41. Springer Nature, pp. 813–823, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12183 |
C. Boccato and R. Seiringer, “The Bose Gas in a box with Neumann boundary conditions,” Annales Henri Poincare, vol. 24. Springer Nature, pp. 1505–1560, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13989 |
J. Hales et al., “Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
2023 | Thesis | IST-REx-ID: 13175 |
R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12900
R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13310 |
T. A. Henzinger, M. Karimi, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness,” in Computer Aided Verification, Paris, France, 2023, vol. 13965, pp. 358–382.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12205 |
J. Glajzer et al., “Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium,” Annals of Surgical Oncology, vol. 30. Springer Nature, pp. 35–45, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Conference Paper | IST-REx-ID: 14259 |
J. Kretinsky, T. Meggendorfer, M. Prokop, and S. Rieder, “Guessing winning policies in LTL synthesis by semantic learning,” in 35th International Conference on Computer Aided Verification , Paris, France, 2023, vol. 13964, pp. 390–414.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14318 |
Y. Sun, H. Fu, K. Chatterjee, and A. K. Goharshady, “Automated tail bound analysis for probabilistic recurrence relations,” in Computer Aided Verification, Paris, France, 2023, vol. 13966, pp. 16–39.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14317 |
S. Akshay, K. Chatterjee, T. Meggendorfer, and D. Zikelic, “MDPs as distribution transformers: Affine invariant synthesis for safety objectives,” in International Conference on Computer Aided Verification, Paris, France, 2023, vol. 13966, pp. 86–112.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13120 |
M. Dvorak and J. Blanchette, “Closure properties of general grammars - formally verified,” in 14th International Conference on Interactive Theorem Proving, Bialystok, Poland, 2023, vol. 268.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 10770 |
T. Graham, M. Kleshnina, and J. A. Filar, “Where do mistakes lead? A survey of games with incompetent players,” Dynamic Games and Applications, vol. 13. Springer Nature, pp. 231–264, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12961
B. Wagner, V. Šlipogor, J. Oh, M. Varga, and M. Hoeschele, “A comparison between common marmosets (Callithrix jacchus) and human infants sheds light on traits proposed to be at the root of human octave equivalence,” Developmental Science, vol. 26, no. 5. Wiley, 2023.
View
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12709 |
R. Corbet, M. Kerber, M. Lesnick, and G. F. Osang, “Computing the multicover bifiltration,” Discrete and Computational Geometry, vol. 70. Springer Nature, pp. 376–405, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12763 |
J. D. Boissonnat and M. Wintraecken, “The reach of subsets of manifolds,” Journal of Applied and Computational Topology, vol. 7. Springer Nature, pp. 619–641, 2023.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14410
P. Tomaszewska and C. Lampert, “On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift,” in International Workshop on Reproducible Research in Pattern Recognition, Montreal, Canada, 2023, vol. 14068, pp. 67–73.
View
| DOI
2023 | Conference Paper | IST-REx-ID: 14428 |
Y. Dodis, N. Ferguson, E. Goldin, P. Hall, and K. Z. Pietrzak, “Random oracle combiners: Breaking the concatenation barrier for collision-resistance,” in 43rd Annual International Cryptology Conference, Santa Barbara, CA, United States, 2023, vol. 14082, pp. 514–546.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Journal Article | IST-REx-ID: 13200 |
L. Qiu, R. Sahu, W. J. Hease, G. M. Arnold, and J. M. Fink, “Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action,” Nature Communications, vol. 14. Nature Research, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Journal Article | IST-REx-ID: 12683 |
G. Dubach and L. Erdös, “Dynamics of a rank-one perturbation of a Hermitian matrix,” Electronic Communications in Probability, vol. 28. Institute of Mathematical Statistics, pp. 1–13, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 8682 |
T. D. Browning, P. L. Boudec, and W. Sawin, “The Hasse principle for random Fano hypersurfaces,” Annals of Mathematics, vol. 197, no. 3. Princeton University, pp. 1115–1203, 2023.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Conference Paper | IST-REx-ID: 14457 |
C. Hoffmann and M. Simkin, “Stronger lower bounds for leakage-resilient secret sharing,” in 8th International Conference on Cryptology and Information Security in Latin America, Quito, Ecuador, 2023, vol. 14168, pp. 215–228.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Conference Paper | IST-REx-ID: 14454 |
T. A. Henzinger, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness under partial observations,” in 23rd International Conference on Runtime Verification, Thessaloniki, Greece, 2023, vol. 14245, pp. 291–311.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14441 |
M. Brooks and R. Seiringer, “The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy,” Communications in Mathematical Physics, vol. 404. Springer Nature, pp. 287–337, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14488 |
P. Rao et al., “A deeper analysis of volumetric relightiable faces,” International Journal of Computer Vision. Springer Nature, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14516 |
D. Beaver et al., “STROBE: Streaming Threshold Random Beacons,” in 5th Conference on Advances in Financial Technologies, Princeton, NJ, United States, 2023, vol. 282.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 13119 |
V. Helson et al., “Density-wave ordering in a unitary Fermi gas with photon-mediated interactions,” Nature, vol. 618. Springer Nature, pp. 716–720, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14558
S. Bhattacharya, M. H. Henzinger, D. Nanongkai, and X. Wu, “Deterministic near-optimal approximation algorithms for dynamic set cover,” SIAM Journal on Computing, vol. 52, no. 5. Society for Industrial and Applied Mathematics, pp. 1132–1192, 2023.
View
| DOI
2023 | Conference Paper | IST-REx-ID: 14559
M. Ansaripour, K. Chatterjee, T. A. Henzinger, M. Lechner, and D. Zikelic, “Learning provably stabilizing neural controllers for discrete-time stochastic systems,” in 21st International Symposium on Automated Technology for Verification and Analysis, Singapore, Singapore, 2023, vol. 14215, pp. 357–379.
View
| DOI
2023 | Journal Article | IST-REx-ID: 12334 |
F. Fäßler et al., “ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning,” Science Advances, vol. 9, no. 3. American Association for the Advancement of Science, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Research Data | IST-REx-ID: 14562 |
F. K. Schur, “Research data of the publication ‘ArpC5 isoforms regulate Arp2/3 complex-dependent protrusion through differential Ena/VASP positioning.’” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14610 |
C. Bussi et al., “Stress granules plug and stabilize damaged endolysosomal membranes,” Nature. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 13238 |
S. Schmid, J. Svoboda, and M. X. Yeo, “Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation,” in SIROCCO 2023: Structural Information and Communication Complexity , Alcala de Henares, Spain, 2023, vol. 13892, pp. 576–594.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12487 |
S. Scarpetta et al., “Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture,” iScience, vol. 26, no. 10. Elsevier, p. 107840, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13227 |
F. Hassani, M. Peruzzo, L. Kapoor, A. Trioni, M. Zemlicka, and J. M. Fink, “Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13271 |
H. Zhang, “Some convexity and monotonicity results of trace functionals,” Annales Henri Poincare. Springer Nature, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13317 |
S. Sugimoto, S. J. Henheik, V. Riabov, and L. Erdös, “Eigenstate thermalisation hypothesis for translation invariant spin systems,” Journal of Statistical Physics, vol. 190, no. 7. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13974 |
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, and U. Wagner, “The crossing Tverberg theorem,” Discrete and Computational Geometry. Springer Nature, 2023.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14041 |
E. Méhes et al., “3D cell segregation geometry and dynamics are governed by tissue surface tension regulation,” Communications Biology, vol. 6. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14058 |
G. Puixeu Sala, “The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14077 |
G. Puixeu Sala, A. Macon, and B. Vicoso, “Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster,” G3: Genes, Genomes, Genetics, vol. 13, no. 8. Oxford University Press, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14435
G. Zeng et al., “A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries,” Advanced Materials. Wiley.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14693 |
C. Hoffmann, P. Hubáček, C. Kamath, and T. Krňák, “(Verifiable) delay functions from Lucas sequences,” in 21st International Conference on Theory of Cryptography, Taipei, Taiwan, 2023, vol. 14372, pp. 336–362.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Conference Paper | IST-REx-ID: 14691 |
B. Auerbach, M. Cueto Noval, G. Pascual Perez, and K. Z. Pietrzak, “On the cost of post-compromise security in concurrent Continuous Group-Key Agreement,” in 21st International Conference on Theory of Cryptography, Taipei, Taiwan, 2023, vol. 14371, pp. 271–300.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Conference Paper | IST-REx-ID: 14692 |
B. Auerbach, C. Hoffmann, and G. Pascual Perez, “Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing,” in 21st International Conference on Theory of Cryptography, 2023, vol. 14371, pp. 301–330.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Thesis | IST-REx-ID: 14697
J. A. Stopp, “Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14718 |
S. Pastva and T. A. Henzinger, “Binary decision diagrams on modern hardware,” in Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, Ames, IA, United States, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14726 |
L.-Z. Zhou et al., “The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize,” The Plant Cell. Oxford University Press, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12833 |
A. Biniaz et al., “Token swapping on trees,” Discrete Mathematics and Theoretical Computer Science, vol. 24, no. 2. EPI Sciences, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14735 |
C. Stefo, Z. Xiang, and E. Kokoris Kogias, “Executing and proving over dirty ledgers,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13950, pp. 3–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Conference Paper | IST-REx-ID: 14736
M. Bastankhah, K. Chatterjee, M. A. Maddah-Ali, S. Schmid, J. Svoboda, and M. X. Yeo, “R2: Boosting liquidity in payment channel networks with online admission control,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13950, pp. 309–325.
View
| DOI
2023 | Conference Paper | IST-REx-ID: 14744
Z. Avarikioti, A. Desjardins, E. Kokoris Kogias, and R. Wattenhofer, “Divide & Scale: Formalization and roadmap to robust sharding,” in 30th International Colloquium on Structural Information and Communication Complexity, Alcalá de Henares, Spain, 2023, vol. 13892, pp. 199–245.
View
| DOI
2023 | Journal Article | IST-REx-ID: 14751 |
Y. Zhang, “Zero-error communication over adversarial MACs,” IEEE Transactions on Information Theory, vol. 69, no. 7. Institute of Electrical and Electronics Engineers, pp. 4093–4127, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14776 |
A. Teplova et al., “Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3,” International Journal of Molecular Sciences, vol. 24, no. 22. MDPI, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14775 |
K. Schnelli and Y. Xu, “Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices,” The Annals of Applied Probability, vol. 33, no. 1. Institute of Mathematical Statistics, pp. 677–725, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 9651 |
M. Dymond and V. Kaluza, “Divergence of separated nets with respect to displacement equivalence,” Geometriae Dedicata. Springer Nature, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2023 | Conference Paper | IST-REx-ID: 14768 |
V. Cohen-Addad, D. Saulpic, and C. Schwiegelshohn, “Deterministic clustering in high dimensional spaces: Sketches and approximation,” in 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, Santa Cruz, CA, United States, 2023, pp. 1105–1130.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14782 |
L. Baldauf, F. F. Frey, M. Arribas Perez, T. Idema, and G. H. Koenderink, “Branched actin cortices reconstituted in vesicles sense membrane curvature,” Biophysical Journal, vol. 122, no. 11. Elsevier, pp. 2311–2324, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14539 |
D. Zikelic, “Automated verification and control of infinite state stochastic systems,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14456 |
J. M. Křišťan and J. Svoboda, “Shortest dominating set reconfiguration under token sliding,” in 24th International Symposium on Fundamentals of Computation Theory, Trier, Germany, 2023, vol. 14292, pp. 333–347.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14829 |
S. Cohen, G. Goren, E. Kokoris Kogias, A. Sonnino, and A. Spiegelman, “Proof of availability and retrieval in a modular blockchain architecture,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13951, pp. 36–53.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14830
D. Zikelic, M. Lechner, T. A. Henzinger, and K. Chatterjee, “Learning control policies for stochastic systems with reach-avoid guarantees,” in Proceedings of the 37th AAAI Conference on Artificial Intelligence, Washington, DC, United States, 2023, vol. 37, no. 10, pp. 11926–11935.
[Preprint]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13266 |
L. Qi and J. Friml, “Tale of cAMP as a second messenger in auxin signaling and beyond,” New Phytologist, vol. 240, no. 2. Wiley, pp. 489–495, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13269 |
N. Polyanskii and Y. Zhang, “Codes for the Z-channel,” IEEE Transactions on Information Theory, vol. 69, no. 10. Institute of Electrical and Electronics Engineers, pp. 6340–6357, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13128 |
A. Mohammadi, T. Pham, and Y. Wang, “An energy decomposition theorem for matrices and related questions,” Canadian Mathematical Bulletin, vol. 66, no. 4. Cambridge University Press, pp. 1280–1295, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13209 |
J. Xia et al., “Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen,” Plant Communications, vol. 4, no. 6. Elsevier , 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13165 |
L. Fang, H. Huang, J. Pach, G. Tardos, and J. Zuo, “Successive vertex orderings of fully regular graphs,” Journal of Combinatorial Theory. Series A, vol. 199, no. 10. Elsevier, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14920 |
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, and S. Soudjani, “Fast symbolic algorithms for mega-regular games under strong transition fairness,” TheoretiCS, vol. 2. EPI Sciences, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Preprint | IST-REx-ID: 14961 |
F. Montagna, N. Noceti, L. Rosasco, and F. Locatello, “Shortcuts for causal discovery of nonlinear models by score matching,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14411 |
N. Beneš, L. Brim, S. Pastva, D. Šafránek, and E. Šmijáková, “Phenotype control of partially specified boolean networks,” in 21st International Conference on Computational Methods in Systems Biology, Luxembourg City, Luxembourg, 2023, vol. 14137, pp. 18–35.
[Submitted Version]
View
| Files available
| DOI
2023 | Book Chapter | IST-REx-ID: 14992 |
M. Lewin, E. H. Lieb, and R. Seiringer, “Universal Functionals in Density Functional Theory,” in Density Functional Theory, 1st ed., E. Cances and G. Friesecke, Eds. Springer, 2023, pp. 115–182.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 14280
P. Radler, “Spatiotemporal signaling during assembly of the bacterial divisome,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14758 |
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, and S. Soudjani, “A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties,” in 35th International Conference on Computer Aided Verification, Paris, France, 2023, vol. 13966, pp. 3–15.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13139 |
T. Meggendorfer, “Correct approximation of stationary distributions,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13993, pp. 489–507.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14260 |
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM,” in 35th International Conference on Computer Aided Verification , Paris, France, 2023, vol. 13964, pp. 156–169.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14995 |
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14076 |
M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers,” in 23nd International Conference on Runtime Verification, Thessaloniki, Greek, 2023, vol. 14245, pp. 168–190.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 13984
A. Franschitz, “Individual and social immunity against viral infections in ants,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI