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

Search

Filter Publications

Display / Sort

Export / Embed