ISTA Research Explorer

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.

1606 Publications

2024 | Journal Article | IST-REx-ID: 15311 |

Zeng, Z., Shen, X., Cheng, R., Perez, O., Ouyang, N., Fan, Z., … Chen, Y. (2024). Pushing thermal conductivity to its lower limit in crystals with simple structures. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-46799-3

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

2024 | Journal Article | IST-REx-ID: 15312 |

Browning, T. D., & Shparlinski, I. E. (2024). Square-free values of random polynomials. Journal of Number Theory. Elsevier. https://doi.org/10.1016/j.jnt.2024.02.013

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

2024 | Conference Paper | IST-REx-ID: 15333 |

Chalupa, M., & Richter, C. (2024). Bubaak-SpLit: Split what you cannot verify (Competition contribution). In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 353–358). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_20

[Published Version] View | Files available | DOI

2024 | Journal Article | IST-REx-ID: 15348

Mahato, N., Singh, S., Sreekanth, T. V. M., Yoo, K., & Kim, J. (2024). In-situ engineered highly crystalline polythiophene empowered electrochemical capacitor-I: Synthesis, characterization, and electrochemical charge storage. Materials Letters. Elsevier. https://doi.org/10.1016/j.matlet.2024.136483

View | DOI

2023 | Journal Article | IST-REx-ID: 12158 |

Zeller, P., Yeung, J., Viñas Gaza, H., de Barbanson, B. A., Bhardwaj, V., Florescu, M., … van Oudenaarden, A. (2023). Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. Springer Nature. https://doi.org/10.1038/s41588-022-01260-3

[Published Version] View | Files available | DOI

2023 | Book Chapter | IST-REx-ID: 12720

Arroyo-Urea, S., Watson, J., & García-Nafría, J. (2023). Molecular Cloning Using In Vivo DNA Assembly. In G. Scarlett (Ed.), DNA Manipulation and Analysis (Vol. 2633, pp. 33–44). New York, NY, United States: Springer Nature. https://doi.org/10.1007/978-1-0716-3004-4_3

View | DOI | PubMed | Europe PMC

2023 | Conference Poster | IST-REx-ID: 12736 |

Aksenov, V., Brown, T. A., Fedorov, A., & Kokorin, I. (2023). Unexpected scaling in path copying trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 438–440). Montreal, QB, Canada: Association for Computing Machinery. https://doi.org/10.1145/3572848.3577512

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

2023 | Conference Paper | IST-REx-ID: 12854 |

Chalupa, M., & Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_32

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 12856 |

Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30826-0_15

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 13143 |

Hoffmann, C., Hubáček, P., Kamath, C., & Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-31368-4_19

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

2023 | Conference Paper | IST-REx-ID: 13142 |

Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 3–25). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_1

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 13141 |

Anand, A., Mallik, K., Nayak, S. P., & Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_15

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 12467 |

Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30829-1_17

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

2023 | Journal Article | IST-REx-ID: 12737

García-Romero, Á., Waters, J. E., Jethwa, R. B., Bond, A. D., Colebatch, A. L., García-Rodríguez, R., & Wright, D. S. (2023). Highly adaptive nature of group 15 tris(quinolyl) ligands─studies with coinage metals. Inorganic Chemistry. American Chemical Society. https://doi.org/10.1021/acs.inorgchem.3c00057

View | DOI | WoS | PubMed | Europe PMC

2023 | Journal Article | IST-REx-ID: 12788 |

Karle, V., Ghazaryan, A., & Lemeshko, M. (2023). Topological charges of periodically kicked molecules. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.130.103202

2023 | Journal Article | IST-REx-ID: 12839 |

Ljubotina, M., Desaules, J. Y., Serbyn, M., & Papić, Z. (2023). Superdiffusive energy transport in kinetically constrained models. Physical Review X. American Physical Society. https://doi.org/10.1103/PhysRevX.13.011033

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

2023 | Journal Article | IST-REx-ID: 13129 |

Clozeau, N., Josien, M., Otto, F., & Xu, Q. (2023). Bias in the representative volume element method: Periodize the ensemble instead of its realizations. Foundations of Computational Mathematics. Springer Nature. https://doi.org/10.1007/s10208-023-09613-y

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

2023 | Thesis | IST-REx-ID: 12964

Boocock, D. R. (2023). Mechanochemical pattern formation across biological scales. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12964

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 13970 |

Madani, A., Sletten, E. T., Cavedon, C., Seeberger, P. H., & Pieber, B. (2023). Visible-light-mediated oxidative debenzylation of 3-O-Benzyl-1,2:5,6-di-O-isopropylidene-α-D-glucofuranose. Organic Syntheses. Organic Syntheses. https://doi.org/10.15227/orgsyn.100.0271

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

2023 | Thesis | IST-REx-ID: 12885 |

Calcabrini, M. (2023). Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12885

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 12331 |

Wang, S., Chang, C., Bai, S., Qin, B., Zhu, Y., Zhan, S., … Zhao, L. D. (2023). Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry of Materials. American Chemical Society. https://doi.org/10.1021/acs.chemmater.2c03542

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

2023 | Journal Article | IST-REx-ID: 12106 |

Yeung, J., Florescu, M., Zeller, P., De Barbanson, B. A., Wellenstein, M. D., & Van Oudenaarden, A. (2023). scChIX-seq infers dynamic relationships between histone modifications in single cells. Nature Biotechnology. Springer Nature. https://doi.org/10.1038/s41587-022-01560-3

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

2023 | Journal Article | IST-REx-ID: 12183 |

Boccato, C., & Seiringer, R. (2023). The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-022-01252-3

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

2023 | Journal Article | IST-REx-ID: 13989 |

Hales, J., Bajpai, U., Liu, T., Baykusheva, D. R., Li, M., Mitrano, M., & Wang, Y. (2023). Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-38540-3

2023 | Thesis | IST-REx-ID: 13175 |

Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13175

[Published Version] View | Files available | DOI

2023 | Thesis | IST-REx-ID: 12900

Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12900

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 13310 |

Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37703-7_17

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

2023 | Journal Article | IST-REx-ID: 12205 |

Glajzer, J., Castillo-Tong, D. C., Richter, R., Vergote, I., Kulbe, H., Vanderstichele, A., … Braicu, E. I. (2023). 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. Springer Nature. https://doi.org/10.1245/s10434-022-12459-3

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

2023 | Conference Paper | IST-REx-ID: 14259 |

Kretinsky, J., Meggendorfer, T., Prokop, M., & Rieder, S. (2023). Guessing winning policies in LTL synthesis by semantic learning. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 390–414). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_20

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 14318 |

Sun, Y., Fu, H., Chatterjee, K., & Goharshady, A. K. (2023). Automated tail bound analysis for probabilistic recurrence relations. In Computer Aided Verification (Vol. 13966, pp. 16–39). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_2

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 14317 |

Akshay, S., Chatterjee, K., Meggendorfer, T., & Zikelic, D. (2023). MDPs as distribution transformers: Affine invariant synthesis for safety objectives. In International Conference on Computer Aided Verification (Vol. 13966, pp. 86–112). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_5

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 13120 |

Dvorak, M., & Blanchette, J. (2023). Closure properties of general grammars - formally verified. In 14th International Conference on Interactive Theorem Proving (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITP.2023.15

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

2023 | Journal Article | IST-REx-ID: 10770 |

Graham, T., Kleshnina, M., & Filar, J. A. (2023). Where do mistakes lead? A survey of games with incompetent players. Dynamic Games and Applications. Springer Nature. https://doi.org/10.1007/s13235-022-00425-3

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

2023 | Journal Article | IST-REx-ID: 12961

Wagner, B., Šlipogor, V., Oh, J., Varga, M., & Hoeschele, M. (2023). 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. Wiley. https://doi.org/10.1111/desc.13395

View | DOI | PubMed | Europe PMC

2023 | Journal Article | IST-REx-ID: 12709 |

Corbet, R., Kerber, M., Lesnick, M., & Osang, G. F. (2023). Computing the multicover bifiltration. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-022-00476-8

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

2023 | Journal Article | IST-REx-ID: 12763 |

Boissonnat, J. D., & Wintraecken, M. (2023). The reach of subsets of manifolds. Journal of Applied and Computational Topology. Springer Nature. https://doi.org/10.1007/s41468-023-00116-x

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

2023 | Conference Paper | IST-REx-ID: 14410

Tomaszewska, P., & Lampert, C. (2023). On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift. In International Workshop on Reproducible Research in Pattern Recognition (Vol. 14068, pp. 67–73). Montreal, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-40773-4_6

View | DOI

2023 | Conference Paper | IST-REx-ID: 14428 |

Dodis, Y., Ferguson, N., Goldin, E., Hall, P., & Pietrzak, K. Z. (2023). Random oracle combiners: Breaking the concatenation barrier for collision-resistance. In 43rd Annual International Cryptology Conference (Vol. 14082, pp. 514–546). Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-38545-2_17

[Preprint] View | DOI | Download Preprint (ext.)

2023 | Journal Article | IST-REx-ID: 13200 |

Qiu, L., Sahu, R., Hease, W. J., Arnold, G. M., & Fink, J. M. (2023). Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action. Nature Communications. Nature Research. https://doi.org/10.1038/s41467-023-39493-3

2023 | Journal Article | IST-REx-ID: 12683 |

Dubach, G., & Erdös, L. (2023). Dynamics of a rank-one perturbation of a Hermitian matrix. Electronic Communications in Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/23-ECP516

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

2023 | Journal Article | IST-REx-ID: 8682 |

Browning, T. D., Boudec, P. L., & Sawin, W. (2023). The Hasse principle for random Fano hypersurfaces. Annals of Mathematics. Princeton University. https://doi.org/10.4007/annals.2023.197.3.3

2023 | Conference Paper | IST-REx-ID: 14457 |

Hoffmann, C., & Simkin, M. (2023). Stronger lower bounds for leakage-resilient secret sharing. In 8th International Conference on Cryptology and Information Security in Latin America (Vol. 14168, pp. 215–228). Quito, Ecuador: Springer Nature. https://doi.org/10.1007/978-3-031-44469-2_11

[Preprint] View | DOI | Download Preprint (ext.)

2023 | Conference Paper | IST-REx-ID: 14454 |

Henzinger, T. A., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness under partial observations. In 23rd International Conference on Runtime Verification (Vol. 14245, pp. 291–311). Thessaloniki, Greece: Springer Nature. https://doi.org/10.1007/978-3-031-44267-4_15

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

2023 | Journal Article | IST-REx-ID: 14441 |

Brooks, M., & Seiringer, R. (2023). The Fröhlich Polaron at strong coupling: Part I - The quantum correction to the classical energy. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-023-04841-3

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

2023 | Journal Article | IST-REx-ID: 14488 |

Rao, P., Mallikarjun, B. R., Fox, G., Weyrich, T., Bickel, B., Pfister, H., … Elgharib, M. (2023). A deeper analysis of volumetric relightiable faces. International Journal of Computer Vision. Springer Nature. https://doi.org/10.1007/s11263-023-01899-3

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

2023 | Conference Paper | IST-REx-ID: 14516 |

Beaver, D., Kelkar, M., Lewi, K., Nikolaenko, V., Sonnino, A., Chalkias, K., … Roy, A. (2023). STROBE: Streaming Threshold Random Beacons. In 5th Conference on Advances in Financial Technologies (Vol. 282). Princeton, NJ, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.AFT.2023.7

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

2023 | Journal Article | IST-REx-ID: 13119 |

Helson, V., Zwettler, T., Mivehvar, F., Colella, E., Roux, K. E. R., Konishi, H., … Brantut, J. P. (2023). Density-wave ordering in a unitary Fermi gas with photon-mediated interactions. Nature. Springer Nature. https://doi.org/10.1038/s41586-023-06018-3

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

2023 | Journal Article | IST-REx-ID: 14558

Bhattacharya, S., Henzinger, M. H., Nanongkai, D., & Wu, X. (2023). Deterministic near-optimal approximation algorithms for dynamic set cover. SIAM Journal on Computing. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/21M1428649

View | DOI

2023 | Conference Paper | IST-REx-ID: 14559

Ansaripour, M., Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). Learning provably stabilizing neural controllers for discrete-time stochastic systems. In 21st International Symposium on Automated Technology for Verification and Analysis (Vol. 14215, pp. 357–379). Singapore, Singapore: Springer Nature. https://doi.org/10.1007/978-3-031-45329-8_17

View | DOI

2023 | Journal Article | IST-REx-ID: 12334 |

Fäßler, F., Javoor, M., Datler, J., Döring, H., Hofer, F., Dimchev, G. A., … Schur, F. K. (2023). ArpC5 isoforms regulate Arp2/3 complex–dependent protrusion through differential Ena/VASP positioning. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.add6495

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

2023 | Research Data | IST-REx-ID: 14562 |

Schur, F. K. (2023). Research data of the publication “ArpC5 isoforms regulate Arp2/3 complex-dependent protrusion through differential Ena/VASP positioning.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:14562

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 14610 |

Bussi, C., Mangiarotti, A., Vanhille-Campos, C. E., Aylan, B., Pellegrino, E., Athanasiadi, N., … Gutierrez, M. G. (2023). Stress granules plug and stabilize damaged endolysosomal membranes. Nature. Springer Nature. https://doi.org/10.1038/s41586-023-06726-w

2023 | Conference Paper | IST-REx-ID: 13238 |

Schmid, S., Svoboda, J., & Yeo, M. X. (2023). Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. In SIROCCO 2023: Structural Information and Communication Complexity (Vol. 13892, pp. 576–594). Alcala de Henares, Spain: Springer Nature. https://doi.org/10.1007/978-3-031-32733-9_26

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

2023 | Journal Article | IST-REx-ID: 12487 |

Scarpetta, S., Morrisi, N., Mutti, C., Azzi, N., Trippi, I., Ciliento, R., … Vaudano, A. E. (2023). Criticality of neuronal avalanches in human sleep and their relationship with sleep macro- and micro-architecture. IScience. Elsevier. https://doi.org/10.1016/j.isci.2023.107840

2023 | Journal Article | IST-REx-ID: 13227 |

Hassani, F., Peruzzo, M., Kapoor, L., Trioni, A., Zemlicka, M., & Fink, J. M. (2023). Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-39656-2

2023 | Journal Article | IST-REx-ID: 13271 |

Zhang, H. (2023). Some convexity and monotonicity results of trace functionals. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-023-01345-7

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

2023 | Journal Article | IST-REx-ID: 13317 |

Sugimoto, S., Henheik, S. J., Riabov, V., & Erdös, L. (2023). Eigenstate thermalisation hypothesis for translation invariant spin systems. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-023-03132-4

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

2023 | Journal Article | IST-REx-ID: 13974 |

Fulek, R., Gärtner, B., Kupavskii, A., Valtr, P., & Wagner, U. (2023). The crossing Tverberg theorem. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-023-00532-x

2023 | Journal Article | IST-REx-ID: 14041 |

Méhes, E., Mones, E., Varga, M., Zsigmond, Á., Biri-Kovács, B., Nyitray, L., … Vicsek, T. (2023). 3D cell segregation geometry and dynamics are governed by tissue surface tension regulation. Communications Biology. Springer Nature. https://doi.org/10.1038/s42003-023-05181-7

2023 | Thesis | IST-REx-ID: 14058 |

Puixeu Sala, G. (2023). 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. https://doi.org/10.15479/at:ista:14058

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 14077 |

Puixeu Sala, G., Macon, A., & Vicoso, B. (2023). Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. G3: Genes, Genomes, Genetics. Oxford University Press. https://doi.org/10.1093/g3journal/jkad121

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

2023 | Journal Article | IST-REx-ID: 14435

Zeng, G., Sun, Q., Horta, S., Wang, S., Lu, X., Zhang, C., … Cabot, A. (n.d.). A layered Bi2Te3@PPy cathode for aqueous zinc ion batteries: Mechanism and application in printed flexible batteries. Advanced Materials. Wiley. https://doi.org/10.1002/adma.202305128

View | DOI | WoS | PubMed | Europe PMC

2023 | Conference Paper | IST-REx-ID: 14693 |

Hoffmann, C., Hubáček, P., Kamath, C., & Krňák, T. (2023). (Verifiable) delay functions from Lucas sequences. In 21st International Conference on Theory of Cryptography (Vol. 14372, pp. 336–362). Taipei, Taiwan: Springer Nature. https://doi.org/10.1007/978-3-031-48624-1_13

[Preprint] View | DOI | Download Preprint (ext.)

2023 | Conference Paper | IST-REx-ID: 14691 |

Auerbach, B., Cueto Noval, M., Pascual Perez, G., & Pietrzak, K. Z. (2023). On the cost of post-compromise security in concurrent Continuous Group-Key Agreement. In 21st International Conference on Theory of Cryptography (Vol. 14371, pp. 271–300). Taipei, Taiwan: Springer Nature. https://doi.org/10.1007/978-3-031-48621-0_10

[Preprint] View | DOI | Download Preprint (ext.)

2023 | Conference Paper | IST-REx-ID: 14692 |

Auerbach, B., Hoffmann, C., & Pascual Perez, G. (2023). Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing. In 21st International Conference on Theory of Cryptography (Vol. 14371, pp. 301–330). Springer Nature. https://doi.org/10.1007/978-3-031-48621-0_11

[Preprint] View | DOI | Download Preprint (ext.)

2023 | Thesis | IST-REx-ID: 14697

Stopp, J. A. (2023). Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14697

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 14718 |

Pastva, S., & Henzinger, T. A. (2023). Binary decision diagrams on modern hardware. In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design (pp. 122–131). Ames, IA, United States: TU Vienna Academic Press. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 14726 |

Zhou, L.-Z., Wang, L., Chen, X., Ge, Z., Mergner, J., Li, X., … Dresselhaus, T. (2023). The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize. The Plant Cell. Oxford University Press. https://doi.org/10.1093/plcell/koad324

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

2023 | Journal Article | IST-REx-ID: 12833 |

Biniaz, A., Jain, K., Lubiw, A., Masárová, Z., Miltzow, T., Mondal, D., … Turcotte, A. (2023). Token swapping on trees. Discrete Mathematics and Theoretical Computer Science. EPI Sciences. https://doi.org/10.46298/DMTCS.8383

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

2023 | Conference Paper | IST-REx-ID: 14735 |

Stefo, C., Xiang, Z., & Kokoris Kogias, E. (2023). Executing and proving over dirty ledgers. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 3–20). Bol, Brac, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-47754-6_1

[Preprint] View | DOI | Download Preprint (ext.)

2023 | Conference Paper | IST-REx-ID: 14736

Bastankhah, M., Chatterjee, K., Maddah-Ali, M. A., Schmid, S., Svoboda, J., & Yeo, M. X. (2023). R2: Boosting liquidity in payment channel networks with online admission control. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 309–325). Bol, Brac, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-47754-6_18

View | DOI

2023 | Conference Paper | IST-REx-ID: 14744

Avarikioti, Z., Desjardins, A., Kokoris Kogias, E., & Wattenhofer, R. (2023). Divide & Scale: Formalization and roadmap to robust sharding. In 30th International Colloquium on Structural Information and Communication Complexity (Vol. 13892, pp. 199–245). Alcalá de Henares, Spain: Springer Nature. https://doi.org/10.1007/978-3-031-32733-9_10

View | DOI

2023 | Journal Article | IST-REx-ID: 14751 |

Zhang, Y. (2023). Zero-error communication over adversarial MACs. IEEE Transactions on Information Theory. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/tit.2023.3257239

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

2023 | Journal Article | IST-REx-ID: 14776 |

Teplova, A., Pigidanov, A. A., Serebryakova, M. V., Golyshev, S. A., Galiullina, R. A., Chichkova, N. V., & Vartapetian, A. B. (2023). Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms242216527

2023 | Journal Article | IST-REx-ID: 14775 |

Schnelli, K., & Xu, Y. (2023). Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices. The Annals of Applied Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/22-aap1826

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

2023 | Journal Article | IST-REx-ID: 9651 |

Dymond, M., & Kaluza, V. (2023). Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. Springer Nature. https://doi.org/10.1007/s10711-023-00862-3

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

2023 | Conference Paper | IST-REx-ID: 14768 |

Cohen-Addad, V., Saulpic, D., & Schwiegelshohn, C. (2023). Deterministic clustering in high dimensional spaces: Sketches and approximation. In 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (pp. 1105–1130). Santa Cruz, CA, United States: IEEE. https://doi.org/10.1109/focs57990.2023.00066

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

2023 | Journal Article | IST-REx-ID: 14782 |

Baldauf, L., Frey, F. F., Arribas Perez, M., Idema, T., & Koenderink, G. H. (2023). Branched actin cortices reconstituted in vesicles sense membrane curvature. Biophysical Journal. Elsevier. https://doi.org/10.1016/j.bpj.2023.02.018

2023 | Thesis | IST-REx-ID: 14539 |

Zikelic, D. (2023). Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria. https://doi.org/10.15479/14539

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 14456 |

Křišťan, J. M., & Svoboda, J. (2023). Shortest dominating set reconfiguration under token sliding. In 24th International Symposium on Fundamentals of Computation Theory (Vol. 14292, pp. 333–347). Trier, Germany: Springer Nature. https://doi.org/10.1007/978-3-031-43587-4_24

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

2023 | Conference Paper | IST-REx-ID: 14829 |

Cohen, S., Goren, G., Kokoris Kogias, E., Sonnino, A., & Spiegelman, A. (2023). Proof of availability and retrieval in a modular blockchain architecture. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13951, pp. 36–53). Bol, Brac, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-47751-5_3

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

2023 | Conference Paper | IST-REx-ID: 14830

Zikelic, D., Lechner, M., Henzinger, T. A., & Chatterjee, K. (2023). Learning control policies for stochastic systems with reach-avoid guarantees. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 11926–11935). Washington, DC, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v37i10.26407

[Preprint] View | Files available | DOI | arXiv

2023 | Conference Paper | IST-REx-ID: 14872

Sahu, R., Qiu, L., Hease, W. J., Arnold, G. M., Minoguchi, Y., Rabl, P., & Fink, J. M. (2023). Entangling microwaves and telecom wavelength light. In Frontiers in Optics + Laser Science 2023. Tacoma, WA, United States: Optica Publishing Group. https://doi.org/10.1364/ls.2023.lm1f.3

View | DOI

2023 | Journal Article | IST-REx-ID: 13266 |

Qi, L., & Friml, J. (2023). Tale of cAMP as a second messenger in auxin signaling and beyond. New Phytologist. Wiley. https://doi.org/10.1111/nph.19123

2023 | Journal Article | IST-REx-ID: 13269 |

Polyanskii, N., & Zhang, Y. (2023). Codes for the Z-channel. IEEE Transactions on Information Theory. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/TIT.2023.3292219

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

2023 | Journal Article | IST-REx-ID: 13128 |

Mohammadi, A., Pham, T., & Wang, Y. (2023). An energy decomposition theorem for matrices and related questions. Canadian Mathematical Bulletin. Cambridge University Press. https://doi.org/10.4153/S000843952300036X

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

2023 | Journal Article | IST-REx-ID: 13209 |

Xia, J., Kong, M., Yang, Z., Sun, L., Peng, Y., Mao, Y., … Tan, S. (2023). Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. Plant Communications. Elsevier . https://doi.org/10.1016/j.xplc.2023.100632

2023 | Journal Article | IST-REx-ID: 13165 |

Fang, L., Huang, H., Pach, J., Tardos, G., & Zuo, J. (2023). Successive vertex orderings of fully regular graphs. Journal of Combinatorial Theory. Series A. Elsevier. https://doi.org/10.1016/j.jcta.2023.105776

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

2023 | Journal Article | IST-REx-ID: 14379

Mahato, N., Singh, S., Faisal, M., Sreekanth, T. V. M., Majumder, S., Yoo, K., & Kim, J. (2023). Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite. Synthetic Metals. Elsevier. https://doi.org/10.1016/j.synthmet.2023.117463

View | DOI | WoS

2023 | Journal Article | IST-REx-ID: 14920 |

Banerjee, T., Majumdar, R., Mallik, K., Schmuck, A.-K., & Soudjani, S. (2023). Fast symbolic algorithms for mega-regular games under strong transition fairness. TheoretiCS. EPI Sciences. https://doi.org/10.46298/theoretics.23.4

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

2023 | Preprint | IST-REx-ID: 14961 |

Montagna, F., Noceti, N., Rosasco, L., & Locatello, F. (n.d.). Shortcuts for causal discovery of nonlinear models by score matching. arXiv. https://doi.org/10.48550/arXiv.2310.14246

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

2023 | Conference Paper | IST-REx-ID: 14411 |

Beneš, N., Brim, L., Pastva, S., Šafránek, D., & Šmijáková, E. (2023). Phenotype control of partially specified boolean networks. In 21st International Conference on Computational Methods in Systems Biology (Vol. 14137, pp. 18–35). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-42697-1_2

[Submitted Version] View | Files available | DOI

2023 | Book Chapter | IST-REx-ID: 14992 |

Lewin, M., Lieb, E. H., & Seiringer, R. (2023). Universal Functionals in Density Functional Theory. In E. Cances & G. Friesecke (Eds.), Density Functional Theory (1st ed., pp. 115–182). Springer. https://doi.org/10.1007/978-3-031-22340-2_3

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

2023 | Thesis | IST-REx-ID: 14280

Radler, P. (2023). Spatiotemporal signaling during assembly of the bacterial divisome. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14280

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 14758 |

Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In 35th International Conference on Computer Aided Verification (Vol. 13966, pp. 3–15). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_1

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 13139 |

Meggendorfer, T. (2023). Correct approximation of stationary distributions. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 489–507). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_25

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

2023 | Conference Paper | IST-REx-ID: 14260 |

Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 156–169). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_8

[Published Version] View | Files available | DOI

2023 | Research Data Reference | IST-REx-ID: 14995 |

Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. Zenodo. https://doi.org/10.5281/ZENODO.7877757

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

2023 | Conference Paper | IST-REx-ID: 14076 |

Chalupa, M., & Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. In 23nd International Conference on Runtime Verification (Vol. 14245, pp. 168–190). Thessaloniki, Greek: Springer Nature. https://doi.org/10.1007/978-3-031-44267-4_9

[Published Version] View | Files available | DOI

2023 | Thesis | IST-REx-ID: 13984

Franschitz, A. (2023). Individual and social immunity against viral infections in ants. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13984

[Published Version] View | Files available | DOI

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

1606 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

1606 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options