Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4962 Publications
2023 | Research Data Reference | IST-REx-ID: 14990 | 
Meggendorfer T. Artefact for: Correct Approximation of Stationary Distributions. 2023. doi:10.5281/ZENODO.7548214
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14260 |
Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. In: 35th International Conference on Computer Aided Verification . Vol 13964. Springer Nature; 2023:156-169. doi: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. Lincheck: A practical framework for testing concurrent data structures on JVM. 2023. doi:10.5281/ZENODO.7877757
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14994 |
Majumdar R, Mallik K, Rychlicki M, Schmuck A-K, Soudjani S. A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. 2023. doi:10.5281/ZENODO.7877790
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 15023 |
Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. Compositional policy learning in stochastic control systems with formal guarantees. In: 37th Conference on Neural Information Processing Systems. ; 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14993 |
Currin C, Asiedu MN, Fourie C, et al. A framework for grassroots research collaboration in machine learning and global health. In: 1st Workshop on Machine Learning & Global Health. OpenReview; 2023.
[Published Version]
View
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 14076 |
Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. In: 23nd International Conference on Runtime Verification. Vol 14245. Springer Nature; 2023:168-190. doi:10.1007/978-3-031-44267-4_9
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14743 |
Tennage P, Basescu C, Kokoris Kogias E, et al. QuePaxa: Escaping the tyranny of timeouts in consensus. In: Proceedings of the 29th Symposium on Operating Systems Principles. Association for Computing Machinery; 2023:281-297. doi:10.1145/3600006.3613150
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Abstract | IST-REx-ID: 14748
Chen Y-L, Ly M, Wojtan C. Unified treatment of contact, friction and shock-propagation in rigid body animation. In: Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Association for Computing Machinery; 2023. doi:10.1145/3606037.3606836
View
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. 2023. doi:10.5281/ZENODO.8191723
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Thesis | IST-REx-ID: 13984
Franschitz A. Individual and social immunity against viral infections in ants. 2023. doi:10.15479/at:ista:13984
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 15039 |
Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv. doi:10.48550/ARXIV.2311.06103
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14812 |
Stankowski S. Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails. 2023. doi:10.5281/ZENODO.8318995
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 13214 |
Abualia R, Riegler S, Benková E. Nitrate, auxin and cytokinin - a trio to tango. Cells. 2023;12(12). doi:10.3390/cells12121613
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14323
Kuzmicz-Kowalska K. Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. 2023. doi:10.15479/at:ista:14323
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14974 |
Zhang C, Janzing D, van der Schaar M, et al. Causality in the time of LLMs: Round table discussion results of CLeaR 2023. In: 2nd Conference on Causal Learning and Reasoning. ; 2023.
[Submitted Version]
View
| Files available
2023 | Research Data | IST-REx-ID: 13173 |
Shigemoto R. Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. 2023. doi:10.15479/AT:ISTA:13173
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13236 |
Zheng DW, Henzinger MH. Multiplicative auction algorithm for approximate maximum weight bipartite matching. In: International Conference on Integer Programming and Combinatorial Optimization. Vol 13904. Springer Nature; 2023:453-465. doi:10.1007/978-3-031-32726-1_32
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13182 |
Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology. 2023. doi:10.1007/s41468-023-00126-9
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13044 |
Mondal S, Jethwa RB, Pant B, Hauschild R, Freunberger SA. Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes. Faraday Discussions. 2023. doi:10.1039/d3fd00088e
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Thesis | IST-REx-ID: 14587 |
Marveggio A. Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. 2023. doi:10.15479/at:ista:14587
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14922 |
Esposito AR, Mondelli M. Concentration without independence via information measures. In: Proceedings of 2023 IEEE International Symposium on Information Theory. IEEE; 2023:400-405. doi:10.1109/isit54713.2023.10206899
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 15173 |
Kwan MA, Sah A, Sawhney M. Enumerating matroids and linear spaces. Comptes Rendus Mathematique. 2023;361(G2):565-575. doi:10.5802/crmath.423
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14772 |
Agresti A, Hussein A. Maximal Lp-regularity and H∞-calculus for block operator matrices and applications. Journal of Functional Analysis. 2023;285(11). doi:10.1016/j.jfa.2023.110146
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Preprint | IST-REx-ID: 15128 |
Riabov V. Mesoscopic eigenvalue statistics for Wigner-type matrices. arXiv. doi:10.48550/arXiv.2301.01712
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Preprint | IST-REx-ID: 14732 |
Olusanya OO, Khudiakova K, Sachdeva H. Genetic load, eco-evolutionary feedback and extinction in a metapopulation. bioRxiv. doi:10.1101/2023.12.02.569702
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2023 | Conference Paper | IST-REx-ID: 13262 |
Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. Provably-efficient and internally-deterministic parallel Union-Find. In: Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery; 2023:261-271. doi:10.1145/3558481.3591082
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 12979 |
Condor J, Piovarci M, Bickel B, Didyk P. Gloss-aware color correction for 3D printing. In: SIGGRAPH ’23 Conference Proceedings. Association for Computing Machinery; 2023. doi:10.1145/3588432.3591546
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Conference Paper | IST-REx-ID: 13228 |
Henzinger TA, Karimi M, Kueffner K, Mallik K. Runtime monitoring of dynamic fairness properties. In: FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. Association for Computing Machinery; 2023:604-614. doi:10.1145/3593013.3594028
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12984 |
Piovarci M, Chapiro A, Bickel B. Skin-Screen: A computational fabrication framework for color tattoos. Transactions on Graphics. 2023;42(4). doi:10.1145/3592432
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14833 |
Stankowski S, Zagrodzka ZB, Galindo J, et al. Whole-genome phylogeography of the intertidal snail Littorina saxatilis. Evolutionary Journal of the Linnean Society. 2023;2(1). doi:10.1093/evolinnean/kzad002
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14613 |
Lasne C, Elkrewi MN, Toups MA, Layana Franco LA, Macon A, Vicoso B. The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome. Molecular Biology and Evolution. 2023;40(12). doi:10.1093/molbev/msad245
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Research Data | IST-REx-ID: 14614 |
Lasne C, Elkrewi MN. The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome. 2023. doi:10.15479/AT:ISTA:14614
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14641
Hennessey-Wesen M. Adaptive mutation in E. coli modulated by luxS. 2023. doi:10.15479/at:ista:14641
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 14591 |
Gnyliukh N, Johnson AJ, Nagel M-K, et al. Role of dynamin-related proteins 2 and SH3P2 in clathrin-mediated endocytosis in plants. bioRxiv. doi:10.1101/2023.10.09.561523
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2023 | Thesis | IST-REx-ID: 12491 |
Zens B. Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. 2023. doi:10.15479/at:ista:12491
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12891 |
Schauer A. Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. 2023. doi:10.15479/at:ista:12891
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12809 |
Alcarva C. Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. 2023. doi:10.15479/at:ista:12809
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12781 |
Kravchuk V. Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog. 2023. doi:10.15479/at:ista:12781
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13201 |
Wang Y, Yuan Z, Wang J, et al. The nitrate transporter NRT2.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation. Proceedings of the National Academy of Sciences of the United States of America. 2023;120(25). doi:10.1073/pnas.2221313120
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14226 |
Stephenson ER. Generalizing medial axes with homology switches. 2023. doi:10.15479/at:ista:14226
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12531 |
Kirillova K. Panoramic functional gradients across the mouse retina. 2023. doi:10.15479/at:ista:12531
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12800 |
Julseth M. The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone. 2023. doi:10.15479/at:ista:12800
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14510
Gnyliukh N. Mechanism of clathrin-coated vesicle formation during endocytosis in plants. 2023. doi:10.15479/at:ista:14510
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12897 |
Hafner C. Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models. 2023. doi:10.15479/at:ista:12897
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13188 |
Hafner C, Bickel B. The design space of Kirchhoff rods. ACM Transactions on Graphics. 2023;42(5). doi:10.1145/3606033
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Thesis | IST-REx-ID: 12470 |
Michalska JM. A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy. 2023. doi:10.15479/at:ista:12470
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 10652 |
Hosten O. Constraints on probing quantum coherence to infer gravitational entanglement. Physical Review Research. 2022;4(1). doi:10.1103/PhysRevResearch.4.013023
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 10774 |
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. Flavors of sequential information flow. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 13182. Springer Nature; 2022:1-19. doi:10.1007/978-3-030-94583-1_1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 10769 |
Daguerre L, Torroba G, Medina Ramos RA, Solís M. Non relativistic quantum field theory: Dynamics and irreversibility. Anales de la Asociacion Fisica Argentina. 2022;32(4):93-98. doi:10.31527/analesafa.2021.32.4.93
[Published Version]
View
| Files available
| DOI
2022 | Preprint | IST-REx-ID: 10821 |
Lombardi F, Herrmann HJ, Parrino L, et al. Alpha rhythm induces attenuation-amplification dynamics in neural activity cascades. bioRxiv. 2022. doi:10.1101/2022.03.03.482657
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Journal Article | IST-REx-ID: 10845 |
Maslov M, Lemeshko M, Volosniev A. Impurity with a resonance in the vicinity of the Fermi energy. Physical Review Research. 2022;4. doi:10.1103/PhysRevResearch.4.013160
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Journal Article | IST-REx-ID: 10939 |
Davidović A, Chait RP, Batt G, Ruess J. Parameter inference for stochastic biochemical models from perturbation experiments parallelised at the single cell level. PLoS Computational Biology. 2022;18(3). doi:10.1371/journal.pcbi.1009950
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 11184 |
Alistarh D-A, Gelashvili R, Rybicki J. Fast graphical population protocols. In: Bramas Q, Gramoli V, Milani A, eds. 25th International Conference on Principles of Distributed Systems. Vol 217. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.OPODIS.2021.14
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Conference Paper | IST-REx-ID: 11183 |
Nikabadi A, Korhonen J. Beyond distributed subgraph detection: Induced subgraphs, multicolored problems and graph parameters. In: Bramas Q, Gramoli V, Milani A, eds. 25th International Conference on Principles of Distributed Systems. Vol 217. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.OPODIS.2021.15
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 11428 |
Chambers E, Fillmore CD, Stephenson ER, Wintraecken M. A cautionary tale: Burning the medial axis is unstable. In: Goaoc X, Kerber M, eds. 38th International Symposium on Computational Geometry. Vol 224. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022:66:1-66:9. doi:10.4230/LIPIcs.SoCG.2022.66
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 11420 |
Shevchenko A, Kungurtsev V, Mondelli M. Mean-field analysis of piecewise linear solutions for wide ReLU networks. Journal of Machine Learning Research. 2022;23(130):1-55.
[Published Version]
View
| Files available
| arXiv
2022 | Book (Editor) | IST-REx-ID: 11429
Karimipour F, Storandt S, eds. Web and Wireless Geographical Information Systems. Vol 13238. 1st ed. Cham: Springer Nature; 2022. doi:10.1007/978-3-031-06245-2
View
| DOI
2022 | Book Chapter | IST-REx-ID: 11440 |
Bleile B, Garin A, Heiss T, Maggs K, Robins V. The persistent homology of dual digital image constructions. In: Gasparovic E, Robins V, Turner K, eds. Research in Computational Topology 2. Vol 30. 1st ed. AWMS. Cham: Springer Nature; 2022:1-26. doi:10.1007/978-3-030-95519-9_1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Book Chapter | IST-REx-ID: 11456
Artan M, de Bono M. Proteomic Analysis of C. Elegans Neurons Using TurboID-Based Proximity Labeling. In: Yamamoto D, ed. Behavioral Neurogenetics. Vol 181. NM. New York: Springer Nature; 2022:277-294. doi:10.1007/978-1-0716-2321-3_15
View
| DOI
2022 | Journal Article | IST-REx-ID: 11553 |
Clark T, Drach K, Kozlovski O, Strien SV. The dynamics of complex box mappings. Arnold Mathematical Journal. 2022;8(2):319-410. doi:10.1007/s40598-022-00200-7
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 11638 |
Ngampruetikorn V, Sachdeva V, Torrence J, Humplik J, Schwab DJ, Palmer SE. Inferring couplings in networks across order-disorder phase transitions. Physical Review Research. 2022;4(2). doi:10.1103/PhysRevResearch.4.023240
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Journal Article | IST-REx-ID: 11702 |
Barton NH. The “New Synthesis.” Proceedings of the National Academy of Sciences of the United States of America. 2022;119(30). doi:10.1073/pnas.2122147119
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 11713 |
Nikolic N, Sauert M, Albanese TG, Moll I. Quantifying heterologous gene expression during ectopic MazF production in Escherichia coli. BMC Research Notes. 2022;15. doi:10.1186/s13104-022-06061-9
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 11916 |
Wirth M. Kac regularity and domination of quadratic forms. Advances in Operator Theory. 2022;7(3). doi:10.1007/s43036-022-00199-w
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 11991 |
Krokhin A, Opršal J. An invitation to the promise constraint satisfaction problem. ACM SIGLOG News. 2022;9(3):30-59. doi:10.1145/3559736.3559740
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 11996
Palacci JA. A soft active matter that can climb walls. Science. 2022;377(6607):710-711. doi:10.1126/science.adc9202
View
| DOI
| PubMed | Europe PMC
2022 | Conference Paper | IST-REx-ID: 12010 |
Brunnbauer A, Berducci L, Brandstatter A, et al. Latent imagination facilitates zero-shot transfer in autonomous racing. In: 2022 International Conference on Robotics and Automation. IEEE; 2022:7513-7520. doi:10.1109/ICRA46639.2022.9811650
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12011 |
Zhang Y, Jaggi S, Langberg M, Sarwate AD. The capacity of causal adversarial channels. In: 2022 IEEE International Symposium on Information Theory. Vol 2022. IEEE; 2022:2523-2528. doi:10.1109/ISIT50566.2022.9834709
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12017
Yadav AK, Alimohammadi M, Zhang Y, Budkuley AJ, Jaggi S. New results on AVCs with omniscient and myopic adversaries. In: 2022 IEEE International Symposium on Information Theory. Vol 2022. Institute of Electrical and Electronics Engineers; 2022:2535-2540. doi:10.1109/ISIT50566.2022.9834632
View
| DOI
2022 | Conference Paper | IST-REx-ID: 12013
Joshi P, Purkayastha A, Zhang Y, Budkuley AJ, Jaggi S. On the capacity of additive AVCs with feedback. In: 2022 IEEE International Symposium on Information Theory. Vol 2022. IEEE; 2022:504-509. doi:10.1109/ISIT50566.2022.9834850
View
| DOI
2022 | Conference Paper | IST-REx-ID: 12016 |
Fathollahi D, Mondelli M. Polar coded computing: The role of the scaling exponent. In: 2022 IEEE International Symposium on Information Theory. Vol 2022. IEEE; 2022:2154-2159. doi:10.1109/ISIT50566.2022.9834712
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12012 |
Torkamani S, Ebrahimi JB, Sadeghi P, D’Oliveira RGL, Médard M. Heterogeneous differential privacy via graphs. In: 2022 IEEE International Symposium on Information Theory. Vol 2022. IEEE; 2022:1623-1628. doi:10.1109/ISIT50566.2022.9834711
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12018
Zhang Y, Vatedka S. Lower bounds on list decoding capacity using error exponents. In: 2022 IEEE International Symposium on Information Theory. Vol 2022. Institute of Electrical and Electronics Engineers; 2022:1324-1329. doi:10.1109/ISIT50566.2022.9834815
View
| DOI
2022 | Conference Paper | IST-REx-ID: 12015
Zhang Y, Vatedka S. Lower bounds for multiple packing. In: 2022 IEEE International Symposium on Information Theory. Vol 2022. IEEE; 2022:3085-3090. doi:10.1109/ISIT50566.2022.9834443
View
| DOI
2022 | Conference Paper | IST-REx-ID: 12014
Zhang Y, Vatedka S. List-decodability of Poisson Point Processes. In: 2022 IEEE International Symposium on Information Theory. Vol 2022. IEEE; 2022:2559-2564. doi:10.1109/ISIT50566.2022.9834512
View
| DOI
2022 | Conference Paper | IST-REx-ID: 12019
Polyanskii N, Zhang Y. List-decodable zero-rate codes for the Z-channel. In: 2022 IEEE International Symposium on Information Theory. Vol 2022. Institute of Electrical and Electronics Engineers; 2022:2553-2558. doi:10.1109/ISIT50566.2022.9834829
View
| DOI
2022 | Thesis | IST-REx-ID: 12072 |
Shute AL. Existence and density problems in Diophantine geometry: From norm forms to Campana points. 2022. doi:10.15479/at:ista:12072
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12088
Sahu R, Hease WJ, Rueda Sanchez AR, Arnold GM, Qiu L, Fink JM. Realizing a quantum-enabled interconnect between microwave and telecom light. In: Conference on Lasers and Electro-Optics. Optica Publishing Group; 2022. doi:10.1364/CLEO_QELS.2022.FW4D.4
View
| DOI
2022 | Conference Paper | IST-REx-ID: 12102 |
Ahmadi A, Chatterjee K, Goharshady AK, Meggendorfer T, Safavi Hemami R, Zikelic D. Algorithms and hardness results for computing cores of Markov chains. In: 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Vol 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.FSTTCS.2022.29
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12101 |
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. Complexity of spatial games. In: 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Vol 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.FSTTCS.2022.11
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12111 |
Stocker L, Sack S, Ferguson MS, Zilberberg O. Entanglement-based observables for quantum impurities. Physical Review Research. 2022;4(4). doi:10.1103/PhysRevResearch.4.043177
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12135 |
Chen B, Piovarci M, Wang C, et al. Gloss management for consistent reproduction of real and virtual objects. In: SIGGRAPH Asia 2022 Conference Papers. Vol 2022. Association for Computing Machinery; 2022. doi:10.1145/3550469.3555406
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12134 |
Börner G, Schröder M, Scarselli D, Budanur NB, Hof B, Timme M. Explosive transitions in epidemic dynamics. Journal of Physics: Complexity. 2022;3(4). doi:10.1088/2632-072x/ac99cd
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12156 |
Zoller B, Gregor T, Tkačik G. Eukaryotic gene regulation at equilibrium, or non? Current Opinion in Systems Biology. 2022;31(9). doi:10.1016/j.coisb.2022.100435
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12171 |
Garcia Soto M, Henzinger TA, Schilling C. Synthesis of parametric hybrid automata from time series. In: 20th International Symposium on Automated Technology for Verification and Analysis. Vol 13505. Springer Nature; 2022:337-353. doi:10.1007/978-3-031-19992-9_22
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12182 |
Pacut M, Parham M, Rybicki J, Schmid S, Suomela J, Tereshchenko A. Brief announcement: Temporal locality in online algorithms. In: 36th International Symposium on Distributed Computing. Vol 246. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.DISC.2022.52
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12177 |
Cremaschi T, Dello Schiavo L. Effective contraction of Skinning maps. Proceedings of the American Mathematical Society, Series B. 2022;9(43):445-459. doi:10.1090/bproc/134
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12179 |
Cipolloni G, Erdös L, Schröder DJ. On the condition number of the shifted real Ginibre ensemble. SIAM Journal on Matrix Analysis and Applications. 2022;43(3):1469-1487. doi:10.1137/21m1424408
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12229 |
Spiegelman A, Giridharan N, Sonnino A, Kokoris Kogias E. Bullshark: DAG BFT protocols made practical. In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery; 2022:2705–2718. doi:10.1145/3548606.3559361
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12276 |
Ljubotina M, Roos B, Abanin DA, Serbyn M. Optimal steering of matrix product states and quantum many-body scars. PRX Quantum. 2022;3(3). doi:10.1103/prxquantum.3.030343
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Conference Paper | IST-REx-ID: 12300 |
Das S, Yurek T, Xiang Z, Miller A, Kokoris Kogias E, Ren L. Practical asynchronous distributed key generation. In: 2022 IEEE Symposium on Security and Privacy. Institute of Electrical and Electronics Engineers; 2022:2518-2534. doi:10.1109/sp46214.2022.9833584
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 | Book Chapter | IST-REx-ID: 12303 |
Mirković I, Yang Y, Zhao G. Loop Grassmannians of Quivers and Affine Quantum Groups. In: Baranovskky V, Guay N, Schedler T, eds. Representation Theory and Algebraic Geometry. 1st ed. TM. Cham: Springer Nature; Birkhäuser; 2022:347-392. doi:10.1007/978-3-030-82007-7_8
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 12307
Shipman BA, Stephenson ER. Tangible topology through the lens of limits. PRIMUS. 2022;32(5):593-609. doi:10.1080/10511970.2021.1872750
View
| DOI
2022 | Conference Paper | IST-REx-ID: 12508 |
Henzinger TA, Lehtinen K, Totzke P. History-deterministic timed automata. In: 33rd International Conference on Concurrency Theory. Vol 243. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022:14:1-14:21. doi:10.4230/LIPIcs.CONCUR.2022.14
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12509 |
Avni G, Henzinger TA. An updated survey of bidding games on graphs. In: 47th International Symposium on Mathematical Foundations of Computer Science. Vol 241. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022:3:1-3:6. doi:10.4230/LIPIcs.MFCS.2022.3
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12540 |
Venkataramanan R, Kögler K, Mondelli M. Estimation in rotationally invariant generalized linear models via approximate message passing. In: Proceedings of the 39th International Conference on Machine Learning. Vol 162. ML Research Press; 2022.
[Published Version]
View
| Files available
2022 | Preprint | IST-REx-ID: 12536 |
Barbier J, Hou T, Mondelli M, Saenz M. The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation? arXiv. doi:10.48550/arXiv.2205.10009
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 12568 |
Meggendorfer T. Risk-aware stochastic shortest path. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022. Vol 36. Association for the Advancement of Artificial Intelligence; 2022:9858-9867. doi:10.1609/aaai.v36i9.21222
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Preprint | IST-REx-ID: 12660 |
Scott JA, Yeo MX, Lampert C. Cross-client Label Propagation for transductive federated learning. arXiv. doi:10.48550/arXiv.2210.06434
[Preprint]
View
| Files available
| DOI
| arXiv