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.
4922 Publications
2023 | Conference Paper | IST-REx-ID: 12467 | 
Quantitative safety and liveness
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
2023 | Journal Article | IST-REx-ID: 13179 |
CQS: A formally-verified framework for fair and abortable synchronization
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).
[Published Version]
View
| Files available
| DOI
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).
2023 | Journal Article | IST-REx-ID: 13180 |
Local solubility for a family of quadrics over a split quadric surface
T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.
2023 | Journal Article | IST-REx-ID: 13251 |
Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites
Y. Wei, A. Volosniev, D. Lorenc, A.A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, The Journal of Physical Chemistry Letters 14 (2023) 6309–6314.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
Y. Wei, A. Volosniev, D. Lorenc, A.A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, The Journal of Physical Chemistry Letters 14 (2023) 6309–6314.
2023 | Conference Paper | IST-REx-ID: 13292 |
Regular methods for operator precedence languages
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.
2023 | Journal Article | IST-REx-ID: 13277 |
Stochastic representation of the quantum quartic oscillator
G. Tucci, S. De Nicola, S. Wald, A. Gambassi, SciPost Physics Core 6 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
G. Tucci, S. De Nicola, S. Wald, A. Gambassi, SciPost Physics Core 6 (2023).
2023 | Journal Article | IST-REx-ID: 13276 |
A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D
L. Rammelmüller, D. Huber, A. Volosniev, SciPost Physics Codebases (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
L. Rammelmüller, D. Huber, A. Volosniev, SciPost Physics Codebases (2023).
2023 | Research Data Reference | IST-REx-ID: 13275 |
Codebase release 1.0 for FermiFCI
L. Rammelmüller, D. Huber, A. Volosniev, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
L. Rammelmüller, D. Huber, A. Volosniev, (2023).
2023 | Journal Article | IST-REx-ID: 11479 |
Ten years of demographic modelling of divergence and speciation in the sea
A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlović, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.
[Published Version]
View
| Files available
| DOI
| WoS
A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlović, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.
2023 | Journal Article | IST-REx-ID: 12329 |
New approaches to epidemic modeling on networks
A. Gómez, G. Oliveira, Scientific Reports 13 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
A. Gómez, G. Oliveira, Scientific Reports 13 (2023).