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.




6713 Publications

2022 | Published | Conference Paper | IST-REx-ID: 11775 | OA
Henzinger TA, Mazzocchi NA, Sarac NE. 2022. Abstract monitors for quantitative specifications. 22nd International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 13498, 200–220.
[Published Version] View | Files available | DOI | WoS
 
2022 | Published | Conference Paper | IST-REx-ID: 12101 | OA
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. 2022. Complexity of spatial games. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Foundations of Software Technology and Theoretical Computer Science vol. 250, 11:1-11:14.
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 12257 | OA
Chatterjee K, Svoboda J, Zikelic D, Pavlogiannis A, Tkadlec J. 2022. Social balance on networks: Local minima and best-edge dynamics. Physical Review E. 106(3), 034321.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10583 | OA
Struk S, Braem L, Matthys C, Walton A, Vangheluwe N, Van Praet S, Jiang L, Baster P, De Cuyper C, Boyer F-D, Stes E, Beeckman T, Friml J, Gevaert K, Goormachtig S. 2022. Transcriptional analysis in the Arabidopsis roots reveals new regulators that link rac-GR24 treatment with changes in flavonol accumulation, root hair elongation and lateral root density. Plant & Cell Physiology. 63(1), 104–119.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 10282 | OA
Kashkan I, Hrtyan M, Retzer K, Humpolíčková J, Jayasree A, Filepová R, Vondráková Z, Simon S, Rombaut D, Jacobs TB, Frilander MJ, Hejátko J, Friml J, Petrášek J, Růžička K. 2022. Mutually opposing activity of PIN7 splicing isoforms is required for auxin-mediated tropic responses in Arabidopsis thaliana. New Phytologist. 233(1), 329–343.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC | bioRxiv
 
2022 | Published | Journal Article | IST-REx-ID: 10656 | OA
Muller CJ, Yang D, Craig G, Cronin T, Fildier B, Haerter JO, Hohenegger C, Mapes B, Randall D, Shamekh S, Sherwood SC. 2022. Spontaneous aggregation of convective storms. Annual Review of Fluid Mechanics. 54, 133–157.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2022 | Published | Journal Article | IST-REx-ID: 10846 | OA
Artan M, Sohn J, Lee C, Park SY, Lee SJV. 2022. MON-2, a Golgi protein, promotes longevity by upregulating autophagy through mediating inter-organelle communications. Autophagy. 18(5), 1208–1210.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 11636 | OA
Kmentt P, Shute AL. 2022. The Bertini irreducibility theorem for higher codimensional slices. Finite Fields and their Applications. 83(10), 102085.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12684 | OA
Horesh T, Paulin F. 2022. Effective equidistribution of lattice points in positive characteristic. Journal de Theorie des Nombres de Bordeaux. 34(3), 679–703.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12065 | OA
Prehal C, Mondal S, Lovicar L, Freunberger SA. 2022. Exclusive solution discharge in Li-O₂ batteries? ACS Energy Letters. 7(9), 3112–3119.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 12109 | OA
Pertl F, Sobarzo Ponce JCA, Shafeek LB, Cramer T, Waitukaitis SR. 2022. Quantifying nanoscale charge density features of contact-charged surfaces with an FEM/KPFM-hybrid approach. Physical Review Materials. 6(12), 125605.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 9311 | OA
Chatterjee K, Saona Urmeneta RJ, Ziliotto B. 2022. Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. 47(1), 100–119.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 11732 | OA
Henheik SJ, Lauritsen AB. 2022. The BCS energy gap at high density. Journal of Statistical Physics. 189, 5.
[Published Version] View | Files available | DOI | WoS
 
2022 | Published | Journal Article | IST-REx-ID: 10642 | OA
Henheik SJ, Teufel S, Wessel T. 2022. Local stability of ground states in locally gapped and weakly interacting quantum spin systems. Letters in Mathematical Physics. 112(1), 9.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10623 | OA
Henheik SJ. 2022. The BCS critical temperature at high density. Mathematical Physics, Analysis and Geometry. 25(1), 3.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12184 | OA
Henheik SJ, Wessel T. 2022. On adiabatic theory for extended fermionic lattice systems. Journal of Mathematical Physics. 63(12), 121101.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 17087 | OA
Frantar E, Singh SP, Alistarh D-A. 2022. Optimal brain compression: A framework for accurate post-training quantization and pruning. 36th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, NeurIPS, vol. 35.
[Submitted Version] View | Files available | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12286 | OA
Cooley O, Kang M, Zalla J. 2022. Loose cores and cycles in random hypergraphs. The Electronic Journal of Combinatorics. 29(4), P4.13.
[Published Version] View | Files available | DOI | WoS
 
2022 | Published | Journal Article | IST-REx-ID: 10765 | OA
Cao Y, Huang Z. 2022. Arithmetic purity of the Hardy-Littlewood property and geometric sieve for affine quadrics. Advances in Mathematics. 398(3), 108236.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Submitted | Preprint | IST-REx-ID: 10788 | OA
Wilsch FA. Integral points of bounded height on a certain toric variety. arXiv, 2202.10909.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed