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.




6551 Publications

earlier version | 2022 | Published | Conference Paper | IST-REx-ID: 12508 | OA
Henzinger TA, Lehtinen K, Totzke P. 2022. History-deterministic timed automata. 33rd International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 243, 14:1-14:21.
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 12236
Wang X, Zuo Y, Horta S, He R, Yang L, Ostovari Moghaddam A, Ibáñez M, Qi X, Cabot A. 2022. CoFeNiMnZnB as a high-entropy metal boride to boost the oxygen evolution reaction. ACS Applied Materials and Interfaces. 14(42), 48212–48219.
View | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 17076 | OA
Hillary RF, Gadd DA, McCartney DL, Shi L, Campbell A, Walker RM, Ritchie CW, Deary IJ, Evans KL, Nevado‐Holgado AJ, Hayward C, Porteous DJ, McIntosh AM, Lovestone S, Robinson MR, Marioni RE. 2022. Genome‐ and epigenome‐wide studies of plasma protein biomarkers for Alzheimer’s disease implicate TBCA and TREM2 in disease risk. Alzheimer’s & Dementia. 14(1), e12280.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 11705 | OA
Chang C, Liu Y, Lee S, Spadaro M, Koskela KM, Kleinhanns T, Costanzo T, Arbiol J, Brutchey RL, Ibáñez M. 2022. Surface functionalization of surfactant-free particles: A strategy to tailor the properties of nanocomposites for enhanced thermoelectric performance. Angewandte Chemie International Edition. 61(35), e202207002.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 11451 | OA
Parvizian M, Duràn Balsa A, Pokratath R, Kalha C, Lee S, Van Den Eynden D, Ibáñez M, Regoutz A, De Roo J. 2022. The chemistry of Cu₃N and Cu₃PdN nanocrystals. Angewandte Chemie International Edition. 61(31), e202207013.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Research Data Reference | IST-REx-ID: 11695 | OA
Parvizian M, Duran Balsa A, Pokratath R, Kalha C, Lee S, Van den Eynden D, Ibáñez M, Regoutz A, De Roo J. 2022. Data for ‘The chemistry of Cu3N and Cu3PdN nanocrystals’, Zenodo, 10.5281/ZENODO.6542908.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2022 | Published | Journal Article | IST-REx-ID: 10652 | OA
Hosten O. 2022. Constraints on probing quantum coherence to infer gravitational entanglement. Physical Review Research. 4(1), 013023.
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 11438 | OA
Li V, Diorico FR, Hosten O. 2022. Laser frequency-offset locking at 10-Hz-level instability using hybrid electronic filters. Physical Review Applied. 17(5), 054031.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 11839 | OA
Prach B, Lampert C. 2022. Almost-orthogonal layers for efficient general-purpose Lipschitz networks. Computer Vision – ECCV 2022. ECCV: European Conference on Computer Vision, LNCS, vol. 13681, 350–365.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
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
 
earlier version | 2022 | Draft | Preprint | IST-REx-ID: 18293 | OA
Glas J, Hochfilzer L. On a question of Davenport and diagonal cubic forms over Fq(t). arXiv, 2208.05422.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
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 | Thesis | PhD | IST-REx-ID: 12072 | OA
Shute AL. 2022. Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
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
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed