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.
6742 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 22006 |
Chalupa M, Henzinger TA, Sarac NE, Yu E. Quantitative monitoring of Signal First-Order logic. In: 27th International Symposium on Formal Methods. Vol 16557. Springer Nature; 2026:214-233. doi:10.1007/978-3-032-26220-2_11
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 22100 |
| 
|
Li J, Koutentakis G, Hrast M, Lemeshko M, Schindewolf A, Al Hyder R. Tunable field-linked s-wave interactions in dipolar fermi mixtures. Communications Physics. 2026;9. doi:10.1038/s42005-026-02578-8
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 20840 |
|
|
Agafonova S, Rosello P, Mekonnen M, Hosten O. One-milligram torsional pendulum toward experiments at the quantum-gravity interface. Communications Physics. 2026;9. doi:10.1038/s42005-026-02514-w
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 20865 |
|
|
Quattrocchi F. Variational structures for the Fokker-Planck equation with general Dirichlet boundary conditions. Calculus of Variations and Partial Differential Equations. 2026;65(1). doi:10.1007/s00526-025-03193-1
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Thesis | MS |
IST-REx-ID: 20964
Vladimirtsev D. Armadillo repeat only proteins are master regulators of plant cyclic-nucleotide gated channels. 2026. doi:10.15479/AT-ISTA-20964
[Published Version]
View
| Files available
| DOI