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.
6746 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 22006 |
Chalupa, Marek, Thomas A Henzinger, Naci E Sarac, and Emily Yu. “Quantitative Monitoring of Signal First-Order Logic.” In 27th International Symposium on Formal Methods, 16557:214–33. Springer Nature, 2026. https://doi.org/10.1007/978-3-032-26220-2_11.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 22100 |
| 
|
Li, Jinglun, Georgios Koutentakis, Mateja Hrast, Mikhail Lemeshko, Andreas Schindewolf, and Ragheed Al Hyder. “Tunable Field-Linked s-Wave Interactions in Dipolar Fermi Mixtures.” Communications Physics. Springer Nature, 2026. https://doi.org/10.1038/s42005-026-02578-8.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Research Data |
IST-REx-ID: 20833 |
Layana Franco, Lorena Alexandra, Melissa A Toups, and Beatriz Vicoso. “Research Data for ‘Causes and Consequences of Sex-Chromosome Turnovers in Diptera.’” Institute of Science and Technology Austria, 2026. https://doi.org/10.15479/AT-ISTA-20833.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Journal Article |
IST-REx-ID: 20840 |
|
|
Agafonova, Sofia, Pere Rosello, Manuel Mekonnen, and Onur Hosten. “One-Milligram Torsional Pendulum toward Experiments at the Quantum-Gravity Interface.” Communications Physics. Springer Nature, 2026. https://doi.org/10.1038/s42005-026-02514-w.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 20865 |
|
|
Quattrocchi, Filippo. “Variational Structures for the Fokker-Planck Equation with General Dirichlet Boundary Conditions.” Calculus of Variations and Partial Differential Equations. Springer Nature, 2026. https://doi.org/10.1007/s00526-025-03193-1.
[Published Version]
View
| Files available
| DOI
| arXiv