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.




5280 Publications

2024 |Submitted| Conference Paper | IST-REx-ID: 17053
Ternary simulation as abstract interpretation (Work in Progress)
N. Froleyks, E. Yu, A. Biere, in:, 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, n.d., pp. 148–151.
View
 
2024 |Published| Journal Article | IST-REx-ID: 17326 | OA
Detectability of axisymmetric magnetic fields from the core to the surface of oscillating post-main-sequence stars
S. Bhattacharya, S.B. Das, L.A. Bugnet, S. Panda, S.M. Hanasoge, Astrophysical Journal 970 (2024).
[Published Version] View | Files available | DOI | arXiv
 
2024 |Published| Conference Paper | IST-REx-ID: 17402 | OA
Playing games with your PET: Extending the Partial Exploration Tool to stochastic games
T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.
[Published Version] View | Files available | DOI | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 17396 | OA
Wildfires impact on PM2.5 concentration in galicia Spain
C. Quishpe-Vásquez, P. Oliva, E.A. López-Barrera, A. Casallas Garcia, Journal of Environmental Management 367 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 |Published| Journal Article | IST-REx-ID: 17408 | OA
Highly regenerative species-specific genes improve age-associated features in the adult Drosophila midgut
H. NAGAI, Y. Adachi, T. Nakasugi, E. Takigawa, J. Ui, T. Makino, M. Miura, Y.I. Nakajima, BMC Biology 22 (2024).
[Published Version] View | Files available | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 17409 | OA
All-visible-light-driven salicylidene schiff-base-functionalized artificial molecular motors
S. Van Vliet, J. Sheng, C.N. Stindt, B.L. Feringa, Nature Communications 15 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 |Published| Conference Paper | IST-REx-ID: 17411 | OA
PEFLL: Personalized federated learning by learning to learn
J.A. Scott, H. Zakerinia, C. Lampert, in:, 12th International Conference on Learning Representations, OpenReview, 2024.
[Published Version] View | Files available | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 17407 | OA
Designing athermal disordered solids with automatic differentiation
M. Zu, C.P. Goodrich, Communications Materials 5 (2024).
[Published Version] View | Files available | DOI | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17412 | OA
Influence of the catalyst surface chemistry on the electrochemical self-coupling of biomass-derived benzaldehyde into hydrobenzoin
L. Gong, S. Zhao, J. Yu, J. Li, J. Arbiol, T. Kallio, M. Calcabrini, P.R. Martínez-Alanis, M. Ibáñez, A. Cabot, Energy Advances (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 |Published| Conference Paper | IST-REx-ID: 17214 | OA
Primal-dual non-smooth friction for rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24, Association for Computing Machinery, 2024.
[Published Version] View | Files available | DOI
 
2024 |Published| Thesis | IST-REx-ID: 17368
Bayesian linear regression for analyzing general omics data with time-to-event phenotypes
A. Villanueva Marijuan, Bayesian Linear Regression for Analyzing General Omics Data with Time-to-Event Phenotypes, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 |Published| Book Chapter | IST-REx-ID: 17425
Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers
O. Miranda, G.T. Cheung, S. Hippenmeyer, in:, K. Toyooka (Ed.), Neuronal Morphogenesis, 1st ed., Springer Nature, New York, NY, 2024, pp. 283–299.
View | DOI | PubMed | Europe PMC
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17437 | OA [Published Version] View | DOI | Download Published Version (ext.)
 
2024 |Published| Conference Paper | IST-REx-ID: 17426
1-Lipschitz layers compared: Memory, speed, and certifiable robustness
B. Prach, F. Brau, G. Buttazzo, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Computer Vision Foundation, 2024, pp. 24574–24583.
[Published Version] View | Files available
 
2024 |Published| Journal Article | IST-REx-ID: 17435 | OA
Regimes of precipitation change over Europe and the Mediterranean
J. André, F. D’Andrea, P. Drobinski, C.J. Muller, Journal of Geophysical Research: Atmospheres 129 (2024).
[Published Version] View | Files available | DOI
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17436 | OA
Quantitative imaging reveals the role of MpARF proteasomal degradation during gemma germination
S. Das, M. De Roij, S. Bellows, M.D. Alvarez, S. Mutte, W. Kohlen, E. Farcot, D. Weijers, J.W. Borst, Plant Communications (2024).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2024 |Published| Journal Article | IST-REx-ID: 15315 | OA
Learning dynamical models of single and collective cell migration: a review
D. Brückner, C.P. Broedersz, Reports on Progress in Physics 87 (2024).
[Published Version] View | Files available | DOI | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 15297 | OA
Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating
J. Svoboda, S.S. Joshi, J. Tkadlec, K. Chatterjee, PLoS Computational Biology 20 (2024).
[Published Version] View | Files available | DOI | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 15171 [Published Version] View | DOI | PubMed | Europe PMC
 
2024 |Published| Journal Article | IST-REx-ID: 15314 View | DOI
 

Search

Filter Publications