ISTA Research Explorer

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

2024 | Published | Journal Article | IST-REx-ID: 18630 |

Stochastic processes with expected stopping time
K. Chatterjee, L. Doyen, Logical Methods in Computer Science 20 (2024) 11:1-11:34.

[Published Version] View | Files available | DOI | WoS | arXiv

2024 | Published | Journal Article | IST-REx-ID: 18923 |

Solving nonnative combinatorial optimization problems using hybrid quantum–classical algorithms
J. Wurtz, S. Sack, S.-T. Wang, IEEE Transactions on Quantum Engineering 5 (2024) 1–14.

[Published Version] View | Files available | DOI

2024 | Published | Journal Article | IST-REx-ID: 17481 |

Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, Annales de l’Institut Henri Poincaré C 41 (2024) 1117–1178.

[Published Version] View | Files available | DOI | WoS

2024 | Research Data Reference | IST-REx-ID: 22234 |

Data and code for: Integral points on cubic surfaces: heuristics and numerics
T.D. Browning, A. Sutherland, (2024).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2024 | Submitted | Preprint | IST-REx-ID: 19063 |

Can LLMs separate instructions from data? And what do we even mean by that?
E. Zverev, S. Abdelnabi, S. Tabesh, M. Fritz, C. Lampert, ArXiv (n.d.).

[Preprint] View | Files available | DOI | arXiv

2024 | Published | Journal Article | IST-REx-ID: 14826 |

RAF-like protein kinases mediate a deeply conserved, rapid auxin response
A. Kuhn, M. Roosjen, S. Mutte, S.M. Dubey, V.P. Carrillo Carrasco, S. Boeren, A. Monzer, J. Koehorst, T. Kohchi, R. Nishihama, M. Fendrych, J. Sprakel, J. Friml, D. Weijers, Cell 187 (2024) 130–148.e17.

2024 | Published | Journal Article | IST-REx-ID: 17373 |

Beyond the blur: Using experimentally determined point spread functions to improve scanning Kelvin probe imaging
I.C. Lenton, F. Pertl, L.B. Shafeek, S.R. Waitukaitis, Journal of Applied Physics 136 (2024).

[Published Version] View | Files available | DOI | WoS

2024 | Published | Conference Paper | IST-REx-ID: 18155 |

Sound and complete witnesses for template-based verification of LTL properties on polynomial programs
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, D. Zikelic, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 600–619.

[Published Version] View | Files available | DOI | WoS | arXiv

2024 | Research Data Reference | IST-REx-ID: 22798 |

Data for Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
K. Chatterjee, A. Kafshdar Goharshady, E. Kafshdar Goharshady, M. Karrabi, Ð. Žikelić, (2024).

View | Files available | DOI | Download None (ext.)

2024 | Published | Journal Article | IST-REx-ID: 18528 |

Unveiling complex magnetic field configurations in red giant stars
S.B. Das, L. Einramhof, L.A. Bugnet, Astronomy & Astrophysics 690 (2024).

[Published Version] View | Files available | DOI | WoS | arXiv

2024 | Research Data Reference | IST-REx-ID: 22802 |

MESA inlist file
S.B. Das, L. Einramhof, L. Bugnet, (2024).

View | Files available | DOI | Download None (ext.)

2024 | Published | Conference Paper | IST-REx-ID: 18702 |

The cost of maintaining keys in dynamic groups with applications to multicast encryption and group messaging
M. Anastos, B. Auerbach, M.A. Baig, M. Cueto Noval, M.A. Kwan, G. Pascual Perez, K.Z. Pietrzak, in:, 22nd International Conference on Theory of Cryptography, Springer Nature, 2024, pp. 413–443.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS

2024 | Published | Journal Article | IST-REx-ID: 18480 |

Calorie restriction increases insulin sensitivity to promote beta cell homeostasis and longevity in mice
C. Dos Santos, A. Cambraia, S. Shrestha, M. Cutler, M. Cottam, G. Perkins, V. Lev-Ram, B. Roy, C. Acree, K.Y. Kim, T. Deerinck, D. Dean, J.P. Cartailler, P.E. Macdonald, M. Hetzer, M. Ellisman, R. Arrojo E Drigo, Nature Communications 15 (2024).

2024 | Research Data Reference | IST-REx-ID: 22865 |

Calorie restriction increases insulin sensitivity to promote beta cell homeostasis and longevity
R. Arrojo e Drigo, (2024).

View | Files available | DOI | Download None (ext.)

2024 | Research Data Reference | IST-REx-ID: 22866 |

Data for: Ab initio Auger spectrum of the ultrafast dissociating 2p3/2−1σ* resonance in HCl
M. Hrast, (2024).

View | Files available | DOI | Download None (ext.)

2024 | Published | Journal Article | IST-REx-ID: 14850 |

Too much information? Males convey parasite levels using more signal modalities than females utilise
A. Pal, M. Joshi, M. Thaker, Journal of Experimental Biology 227 (2024).

2024 | Published | Journal Article | IST-REx-ID: 18908 |

Coupling of twelve putative chromosomal inversions maintains a strong barrier to gene flow between snail ecotypes
A. Le Moan, S. Stankowski, M. Rafajlović, O. Ortega-Martinez, R. Faria, R.K. Butlin, K. Johannesson, Evolution Letters 8 (2024) 575–586.

Predicting rapid adaptation in time from adaptation in space: A 30-year field experiment in marine snails
D.F. Garcia Castillo, N.H. Barton, R. Faria, J. Larsson, S. Stankowski, R. Butlin, K. Johannesson, A.M. Westram, Science Advances 10 (2024).

[Published Version] View | Files available | DOI | WoS

2024 | Published | Journal Article | IST-REx-ID: 17237 |

Temporal genomics help in deciphering neutral and adaptive patterns in the contemporary evolution of kelp populations
L. Reynes, L. Fouqueau, D. Aurelle, S. Mauger, C. Destombe, M. Valero, Journal of Evolutionary Biology 37 (2024) 677–692.

2024 | Research Data Reference | IST-REx-ID: 22870 |

Coupling of twelve putative chromosomal inversions maintains a strong barrier to gene flow between snail ecotypes
A. Le Moan, (2024).

View | Files available | DOI | Download None (ext.)

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6713 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6713 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options