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.

7090 Publications


2022 | Published | Journal Article | IST-REx-ID: 10772 | OA
Arguez NH. Mirror symmetry for the Tate curve via tropical and log corals. Journal of the London Mathematical Society. 2022;105(1):343-411. doi:10.1112/jlms.12515
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10773 | OA
Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Continuous and discrete radius functions on Voronoi tessellations and Delaunay mosaics. Discrete and Computational Geometry. 2022;67:811-842. doi:10.1007/s00454-022-00371-2
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 10776 | OA
Patakova Z, Tancer M, Wagner U. Barycentric cuts through a convex body. Discrete and Computational Geometry. 2022;68:1133-1154. doi:10.1007/s00454-021-00364-7
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Submitted | Preprint | IST-REx-ID: 10792 | OA
Schaaf Z, Tat L, Cannizzaro N, et al. WDFY3 cell autonomously controls neuronal migration. doi:10.21203/rs.3.rs-1316167/v1
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10813 | OA
Cao D, Shen X, Wang A, et al. Threshold potentials for fast kinetics during mediated redox catalysis of insulators in Li–O2 and Li–S batteries. Nature Catalysis. 2022;5:193-201. doi:10.1038/s41929-022-00752-z
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 9336 | OA
Sarabipour S, Hainer SJ, Arslan FN, et al. Building and sustaining mentor interactions as a mentee. FEBS Journal. 2022;289(6):1374-1384. doi:10.1111/febs.15823
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 9364 | OA
Bonolis D. On the size of the maximum of incomplete Kloosterman sums. Mathematical Proceedings of the Cambridge Philosophical Society. 2022;172(3):563-590. doi:10.1017/S030500412100030X
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12168 | OA
Cohen S, Gelashvili R, Kokoris Kogias E, et al. Be aware of your leaders. In: International Conference on Financial Cryptography and Data Security. Vol 13411. Springer Nature; 2022:279-295. doi:10.1007/978-3-031-18283-9_13
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12333 | OA
Tomanek I, Guet CC. Adaptation dynamics between copynumber and point mutations. eLife. 2022;11. doi:10.7554/ELIFE.82240
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Research Data Reference | IST-REx-ID: 12339 | OA
Tomanek I, Guet CC. Flow cytometry YFP and CFP data and deep sequencing data of populations evolving in galactose. 2022. doi:10.5061/dryad.rfj6q57ds
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 11638 | OA
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 | PubMed | Europe PMC | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 19491 | OA
Chan, Yik Tung, The 8-rank of the narrow class group and the negative Pell equation. Forum of Mathematics, Sigma 10. 2022
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 19490 | OA
Chan, Yik Tung, Integral points on the congruent number curve. Transactions of the American Mathematical Society 375 (9). 2022
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 18876 | OA
Kocsis, Peter, The unreasonable effectiveness of fully-connected layers for low-data regimes. 36th Conference on Neural Information Processing Systems 35. 2022
[Published Version] View | Files available | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 11636 | OA
Kmentt, Philip, The Bertini irreducibility theorem for higher codimensional slices. Finite Fields and their Applications 83 (10). 2022
[Published Version] View | Files available | DOI | WoS | arXiv
 

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

2022 | Published | Conference Paper | IST-REx-ID: 12229 | OA
Spiegelman, Alexander, Bullshark: DAG BFT protocols made practical. Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. 2022
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12176 | OA
Hoffmann, Charlotte, Practical statistically-sound proofs of exponentiation in any group. Advances in Cryptology – CRYPTO 2022 13508. 2022
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 11145 | OA
Ferber, Asaf, List-decodability with large radius for Reed-Solomon codes. 62nd Annual IEEE Symposium on Foundations of Computer Science 2022. 2022
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10775 | OA
Ferber A, Kwan MA, Sauermann L. List-decodability with large radius for Reed-Solomon codes. IEEE Transactions on Information Theory. 2022;68(6):3823-3828. doi:10.1109/TIT.2022.3148779
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12664 | OA
Súkeník, Peter, Intriguing properties of input-dependent randomized smoothing. Proceedings of the 39th International Conference on Machine Learning 162. 2022
[Published Version] View | Files available | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12012 | OA
Torkamani, Sahel, Heterogeneous differential privacy via graphs. 2022 IEEE International Symposium on Information Theory 2022. 2022
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12011 | OA
Zhang, Yihan, The capacity of causal adversarial channels. 2022 IEEE International Symposium on Information Theory 2022. 2022
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 11997 | OA
Bighin G, Burchianti A, Minardi F, Macrì T. Impurity in a heteronuclear two-component Bose mixture. Physical Review A. 2022;106(2). doi:10.1103/PhysRevA.106.023301
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 11438 | OA
Li V, Diorico FR, Hosten O. Laser frequency-offset locking at 10-Hz-level instability using hybrid electronic filters. Physical Review Applied. 2022;17(5). doi:10.1103/physrevapplied.17.054031
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 8538 | OA
Akopyan A, Schwartz R, Tabachnikov S. Billiards in ellipses revisited. European Journal of Mathematics. 2022;8(4):1313-1327. doi:10.1007/s40879-020-00426-9
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Book Chapter | IST-REx-ID: 11440 | OA
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 | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 10828 | OA
Heiss T, Tymochko S, Story B, et al. The impact of changes in resolution on the persistent homology of images. In: 2021 IEEE International Conference on Big Data. IEEE; 2022:3824-3834. doi:10.1109/BigData52589.2021.9671483
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10537 | OA
Benedikter NP, Nam PT, Porta M, Schlein B, Seiringer R. Bosonization of fermionic many-body dynamics. Annales Henri Poincaré. 2022;23(5):1725-1764. doi:10.1007/s00023-021-01136-y
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12246 | OA
Lewin M, Lieb EH, Seiringer R. Improved Lieb–Oxford bound on the indirect and exchange energies. Letters in Mathematical Physics. 2022;112(5). doi:10.1007/s11005-022-01584-5
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Thesis | IST-REx-ID: 12390 | OA
Brooks M. Translation-invariant quantum systems with effectively broken symmetry. 2022. doi:10.15479/at:ista:12390
[Published Version] View | Files available | DOI
 

2022 | Published | Book Chapter | IST-REx-ID: 12303 | OA
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 | Published | Journal Article | IST-REx-ID: 11713 | OA
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 | Published | Journal Article | IST-REx-ID: 11432 | OA
Schreck C, Wojtan C. Coupling 3D liquid simulation with 2D wave propagation for large scale water surface animation using the equivalent sources method. Computer Graphics Forum. 2022;41(2):343-353. doi:10.1111/cgf.14478
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2022 | Published | Thesis | IST-REx-ID: 12358 | OA
Sperl G. Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting. 2022. doi:10.15479/at:ista:12103
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 11736 | OA
Sperl G, Sánchez-Banderas RM, Li M, Wojtan C, Otaduy MA. Estimation of yarn-level simulation models for production fabrics. ACM Transactions on Graphics. 2022;41(4). doi:10.1145/3528223.3530167
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

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

2022 | Published | Journal Article | IST-REx-ID: 11842 | OA
Hensel S, Marveggio A. Weak-strong uniqueness for the Navier–Stokes equation for two fluids with ninety degree contact angle and same viscosities. Journal of Mathematical Fluid Mechanics. 2022;24(3). doi:10.1007/s00021-022-00722-2
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Draft | Preprint | IST-REx-ID: 14597 | OA
Fischer JL, Marveggio A. Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. arXiv. doi:10.48550/ARXIV.2203.17143
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10656 | OA
Muller CJ, Yang D, Craig G, et al. Spontaneous aggregation of convective storms. Annual Review of Fluid Mechanics. 2022;54:133-157. doi:10.1146/annurev-fluid-022421-011319
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 10653 | OA
Abramian S, Muller CJ, Risi C. Shear-convection interactions and orientation of tropical squall lines. Geophysical Research Letters. 2022;49(1). doi:10.1029/2021GL095184
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Conference Paper | IST-REx-ID: 12302 | OA
Doveri K, Ganty P, Mazzocchi NA. FORQ-based language inclusion formal testing. In: Computer Aided Verification. Vol 13372. Springer Nature; 2022:109-129. doi:10.1007/978-3-031-13188-2_6
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 11775 | OA
Henzinger TA, Mazzocchi NA, Sarac NE. Abstract monitors for quantitative specifications. In: 22nd International Conference on Runtime Verification. Vol 13498. Springer Nature; 2022:200-220. doi:10.1007/978-3-031-17196-3_11
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 12171 | OA
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 | Published | Conference Paper | IST-REx-ID: 12175 | OA
Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. History-deterministic timed automata are not determinizable. In: 16th International Conference on Reachability Problems. Vol 13608. Springer Nature; 2022:67-76. doi:10.1007/978-3-031-19135-0_5
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 | Published | Conference Paper | IST-REx-ID: 12508 | OA
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 | Published | Conference Paper | IST-REx-ID: 12509 | OA
Avni, Guy, An updated survey of bidding games on graphs. 47th International Symposium on Mathematical Foundations of Computer Science 241. 2022
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 11187 | OA
Knyazev S, Chhugani K, Sarwal V, Ayyala R, Singh H, Karthikeyan S, Deshpande D, Baykal PI, Comarova Z, Lu A, Porozov Y, Vasylyeva TI, Wertheim JO, Tierney BT, Chiu CY, Sun R, Wu A, Abedalthagafi MS, Pak VM, Nagaraj SH, Smith AL, Skums P, Pasaniuc B, Komissarov A, Mason CE, Bortz E, Lemey P, Kondrashov F, Beerenwinkel N, Lam TTY, Wu NC, Zelikovsky A, Knight R, Crandall KA, Mangul S. 2022. Unlocking capacities of genomics for the COVID-19 response and future pandemics. Nature Methods. 19(4), 374–380.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 12431 | OA
Ishida S, Wojtan C, Chern A. Hidden degrees of freedom in implicit vortex filaments. ACM Transactions on Graphics. 2022;41(6). doi:10.1145/3550454.3555459
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 12182 | OA
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 | Published | Conference Paper | IST-REx-ID: 11707 | OA
Balliu A, Hirvonen J, Melnyk D, Olivetti D, Rybicki J, Suomela J. Local mending. In: Parter M, ed. International Colloquium on Structural Information and Communication Complexity. Vol 13298. LNCS. Springer Nature; 2022:1-20. doi:10.1007/978-3-031-09993-9_1
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12216 | OA
Carlen EA, Zhang H. Monotonicity versions of Epstein’s concavity theorem and related inequalities. Linear Algebra and its Applications. 2022;654:289-310. doi:10.1016/j.laa.2022.09.001
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 10825 | OA
Yanagida, Ayaka, Cell surface fluctuations regulate early embryonic lineage sorting. Cell 185 (5). 2022
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 12274 | OA
Azkanaz M, Corominas-Murtra B, Ellenbroek SIJ, Bruens L, Webb AT, Laskaris D, Oost KC, Lafirenze SJA, Annusver K, Messal HA, Iqbal S, Flanagan DJ, Huels DJ, Rojas-Rodríguez F, Vizoso M, Kasper M, Sansom OJ, Snippert HJ, Liberali P, Simons BD, Katajisto P, Hannezo EB, van Rheenen J. 2022. Retrograde movements determine effective stem cell numbers in the intestine. Nature. 607(7919), 548–554.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 12253 | OA
Stock J, Kazmar T, Schlumm F, Hannezo EB, Pauli A. A self-generated Toddler gradient guides mesodermal cell migration. Science Advances. 2022;8(37). doi:10.1126/sciadv.add2488
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Conference Paper | IST-REx-ID: 11183 | OA
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 | Published | Conference Paper | IST-REx-ID: 11180 | OA
Postnikova A, Koval N, Nadiradze G, Alistarh D-A. Multi-queues can be state-of-the-art priority schedulers. In: Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery; 2022:353-367. doi:10.1145/3503221.3508432
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Research Data Reference | IST-REx-ID: 13076 | OA
Postnikova A, Koval N, Nadiradze G, Alistarh D-A. Multi-queues can be state-of-the-art priority schedulers. 2022. doi:10.5281/ZENODO.5733408
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2022 | Published | Conference Paper | IST-REx-ID: 11844 | OA
Alistarh D-A, Rybicki J, Voitovych S. Near-optimal leader election in population protocols on graphs. In: Proceedings of the Annual ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery; 2022:246-256. doi:10.1145/3519270.3538435
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 17087 | OA
Frantar E, Singh SP, Alistarh D-A. Optimal brain compression: A framework for accurate post-training quantization and pruning. In: 36th Conference on Neural Information Processing Systems. Vol 35. ML Research Press; 2022.
[Submitted Version] View | Files available | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 17059 | OA
Frantar E, Alistarh D-A. SPDY: Accurate pruning with speedup guarantees. In: 39th International Conference on Machine Learning. Vol 162. ML Research Press; 2022:6726-6743.
[Published Version] View | Files available | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 11184 | OA
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 | Published | Journal Article | IST-REx-ID: 11593 | OA
Fulek R, Kynčl J. The Z2-Genus of Kuratowski minors. Discrete and Computational Geometry. 2022;68:425-447. doi:10.1007/s00454-022-00412-w
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10284 | OA
Casillas Perez BE, Pull C, Naiser F, Naderlinger E, Matas J, Cremer S. Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies. Ecology Letters. 2022;25(1):89-100. doi:10.1111/ele.13907
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10731 | OA
Svoboda J, Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. Infection dynamics of COVID-19 virus under lockdown and reopening. Scientific Reports. 2022;12(1). doi:10.1038/s41598-022-05333-5
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 11459 | OA
Zikelic D, Chang B-YE, Bolignano P, Raimondi F. Differential cost analysis with simultaneous potentials and anti-potentials. In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2022:442-457. doi:10.1145/3519939.3523435
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12280 | OA
Schmid L, Hilbe C, Chatterjee K, Nowak M. Direct reciprocity between individuals that use different strategy spaces. PLOS Computational Biology. 2022;18(6). doi:10.1371/journal.pcbi.1010149
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Submitted | Preprint | IST-REx-ID: 12677 | OA
Chatterjee K, Mohammadi M, Saona Urmeneta RJ. Repeated prophet inequality with near-optimal bounds. arXiv. doi:10.48550/ARXIV.2209.14368
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12101 | OA
Chatterjee, Krishnendu, Complexity of spatial games. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 250. 2022
[Published Version] View | Files available | DOI
 

2022 | Published | Conference Paper | IST-REx-ID: 10774 | OA
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 | Published | Journal Article | IST-REx-ID: 12147 | OA
Hasani R, Lechner M, Amini A, et al. Closed-form continuous-time neural networks. Nature Machine Intelligence. 2022;4(11):992-1003. doi:10.1038/s42256-022-00556-7
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12510 | OA
Gruenbacher SA, Lechner M, Hasani R, et al. GoTube: Scalable statistical verification of continuous-depth models. Proceedings of the AAAI Conference on Artificial Intelligence. 2022;36(6):6755-6764. doi:10.1609/aaai.v36i6.20631
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12010 | OA
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 | Draft | Preprint | IST-REx-ID: 11366 | OA
Lechner M, Amini A, Rus D, Henzinger TA. Revisiting the adversarial robustness-accuracy tradeoff in robot learning. arXiv. doi:10.48550/arXiv.2204.07373
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 9311 | OA
Chatterjee K, Saona Urmeneta RJ, Ziliotto B. Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. 2022;47(1):100-119. doi:10.1287/moor.2020.1116
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 11402 | OA
Chatterjee K, Doyen L. Graph planning with expected finite horizon. Journal of Computer and System Sciences. 2022;129:1-21. doi:10.1016/j.jcss.2022.04.003
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12214 | OA
Gehér GP, Titkos T, Virosztek D. The isometry group of Wasserstein spaces: The Hilbertian case. Journal of the London Mathematical Society. 2022;106(4):3865-3894. doi:10.1112/jlms.12676
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 11353 | OA
Qiu L, Huang G, Shomroni I, Pan J, Seidler P, Kippenberg TJ. Dissipative quantum feedback in measurements using a parametrically coupled microcavity. PRX Quantum. 2022;3(2). doi:10.1103/PRXQuantum.3.020309
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Thesis | IST-REx-ID: 12368 | OA
Arslan FN. Remodeling of E-cadherin-mediated contacts via cortical  flows. 2022. doi:10.15479/at:ista:12153
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 12209 | OA
Nunes Pinheiro DC, Kardos R, Hannezo EB, Heisenberg C-PJ. Morphogen gradient orchestrates pattern-preserving tissue morphogenesis via motility-driven unjamming. Nature Physics. 2022;18(12):1482-1493. doi:10.1038/s41567-022-01787-6
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 11355 | OA
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. Information-flow interfaces. In: Fundamental Approaches to Software Engineering. Vol 13241. Springer Nature; 2022:3-22. doi:10.1007/978-3-030-99429-7_1
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Thesis | IST-REx-ID: 12072 | OA
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 | Published | Journal Article | IST-REx-ID: 12226 | OA
Pokusaeva V, Diez AR, Espinar L, Pérez AT, Filion GJ. Strand asymmetry influences mismatch resolution during single-strand annealing. Genome Biology. 2022;23. doi:10.1186/s13059-022-02665-3
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 11552 | OA
Qiang J, Zhou L, Lu P, et al. Femtosecond rotational dynamics of D2 molecules in superfluid helium nanodroplets. Physical Review Letters. 2022;128(24). doi:10.1103/PhysRevLett.128.243201
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12150 | OA
Rzadkowski W, Lemeshko M, Mentink JH. Artificial neural network states for nonadditive systems. Physical Review B. 2022;106(15). doi:10.1103/physrevb.106.155127
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10802 | OA
Konstantinov NH, Lampert C. Fairness-aware PAC learning from corrupted data. Journal of Machine Learning Research. 2022;23:1-60.
[Published Version] View | Files available | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12102 | OA
Ahmadi, Ali, Algorithms and hardness results for computing cores of Markov chains. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 250. 2022
[Published Version] View | Files available | DOI
 

2022 | Published | Conference Paper | IST-REx-ID: 12000 | OA
Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. Sound and complete certificates for auantitative termination analysis of probabilistic programs. In: Proceedings of the 34th International Conference on Computer Aided Verification. Vol 13371. Springer; 2022:55-78. doi:10.1007/978-3-031-13185-1_4
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 12511 | OA
Lechner M, Zikelic D, Chatterjee K, Henzinger TA. Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. 2022;36(7):7326-7336. doi:10.1609/aaai.v36i7.20695
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Draft | Preprint | IST-REx-ID: 14600 | OA
Zikelic D, Lechner M, Henzinger TA, Chatterjee K. Learning control policies for stochastic systems with reach-avoid guarantees. arXiv. doi:10.48550/ARXIV.2210.05308
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Draft | Preprint | IST-REx-ID: 14601 | OA
Zikelic D, Lechner M, Chatterjee K, Henzinger TA. Learning stabilizing policies in stochastic control systems. arXiv. doi:10.48550/arXiv.2205.11991
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 12237 | OA
Fiedler C, Kleinhanns T, Garcia M, Lee S, Calcabrini M, Ibáñez M. Solution-processed inorganic thermoelectric materials: Opportunities and challenges ∇. Chemistry of Materials. 2022;34(19):8471-8489. doi:10.1021/acs.chemmater.2c01967
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10758 | OA
Dubini RCA, Korytiaková E, Schinkel T, Heinrichs P, Carell T, Rovo P. 1H NMR chemical exchange techniques reveal local and global effects of oxidized cytosine derivatives. ACS Physical Chemistry Au. 2022;2(3):237-246. doi:10.1021/acsphyschemau.1c00050
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10211 | OA
Mondelli M, Thrampoulidis C, Venkataramanan R. Optimal combination of linear and spectral estimators for generalized linear models. Foundations of Computational Mathematics. 2022;22(5):1513-1566. doi:10.1007/s10208-021-09531-x
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10704 | OA
Hausel T, Hitchin N. Very stable Higgs bundles, equivariant multiplicity and mirror symmetry. Inventiones Mathematicae. 2022;228:893-989. doi:10.1007/s00222-021-01093-7
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10602 | OA
Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record with preorders. Acta Informatica. 2022;59:585-618. doi:10.1007/s00236-021-00412-y
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 7791 | OA
Akopyan A, Karasev R. When different norms lead to same billiard trajectories? European Journal of Mathematics. 2022;8(4):1309-1312. doi:10.1007/s40879-020-00405-0
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 8286 | OA
Alistarh, Dan-Adrian, Dynamic averaging load balancing on cycles. Algorithmica 84 (4). 2022
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Thesis | IST-REx-ID: 11473 | OA
Mysliwy K. Polarons in Bose gases and polar crystals: Some rigorous energy estimates. 2022. doi:10.15479/at:ista:11473
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 10564 | OA
Mysliwy K, Seiringer R. Polaron models with regular interactions at strong coupling. Journal of Statistical Physics. 2022;186(1). doi:10.1007/s10955-021-02851-w
[Published Version] View | Files available | DOI | WoS | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed