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.

5148 Publications


2024 |Published| Conference Paper | IST-REx-ID: 17413 | OA
Certifying phase abstraction
N. Froleyks, E. Yu, A. Biere, K. Heljanko, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 284–303.
[Published Version] View | Files available | DOI | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 17410 | OA
Remote sensing of a levitated superconductor with a flux-tunable microwave cavity
P. Schmidt, R. Claessen, G. Higgins, J. Hofer, J.J. Hansen, P. Asenbaum, M. Zemlicka, K. Uhl, R. Kleiner, R. Gross, H. Huebl, M. Trupke, M. Aspelmeyer, Physical Review Applied 22 (2024).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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
Rational singularities for moment maps of totally negative quivers
T. Vernet, Transformation Groups (2024).
[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
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications