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.
4950 Publications
2023 |Published| Conference Paper | IST-REx-ID: 13141 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Computing adequately permissive assumptions for synthesis
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
[Published Version]
View
| Files available
| DOI
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
2023 |Published| Thesis | IST-REx-ID: 12826 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Neural control of optic flow-based navigation in Drosophila melanogaster
V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.
2023 |Published| Journal Article | IST-REx-ID: 12086 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A simple algorithm for higher-order Delaunay mosaics and alpha shapes
H. Edelsbrunner, G.F. Osang, Algorithmica 85 (2023) 277–295.
[Published Version]
View
| Files available
| DOI
| WoS
H. Edelsbrunner, G.F. Osang, Algorithmica 85 (2023) 277–295.
2023 |Published| Journal Article | IST-REx-ID: 12104 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ergodic decompositions of Dirichlet forms under order isomorphisms
L. Dello Schiavo, M. Wirth, Journal of Evolution Equations 23 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
L. Dello Schiavo, M. Wirth, Journal of Evolution Equations 23 (2023).
2023 |Published| Journal Article | IST-REx-ID: 11434
Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend
B.B. GOSWAMI, Climate Dynamics 60 (2023) 427–442.
View
| Files available
| DOI
| WoS
B.B. GOSWAMI, Climate Dynamics 60 (2023) 427–442.
2023 |Published| Conference Paper | IST-REx-ID: 12467 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 13179 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 13180 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 13251 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Conference Paper | IST-REx-ID: 13292 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 13277 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 13276 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 11479 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 12329 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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).
2023 |Published| Journal Article | IST-REx-ID: 9034 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Integral points of bounded height on a log Fano threefold
F.A. Wilsch, International Mathematics Research Notices 2023 (2023) 6780–6808.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
F.A. Wilsch, International Mathematics Research Notices 2023 (2023) 6780–6808.
2023 |Published| Journal Article | IST-REx-ID: 12469 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Antiviral immune response reveals host-specific virus infections in natural ant populations
L. Viljakainen, M. Fürst, A.V. Grasse, J. Jurvansuu, J. Oh, L. Tolonen, T. Eder, T. Rattei, S. Cremer, Frontiers in Microbiology 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Viljakainen, M. Fürst, A.V. Grasse, J. Jurvansuu, J. Oh, L. Tolonen, T. Eder, T. Rattei, S. Cremer, Frontiers in Microbiology 14 (2023).
2023 |Published| Journal Article | IST-REx-ID: 12287 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Local criteria for triangulating general manifolds
J.-D. Boissonnat, R. Dyer, A. Ghosh, M. Wintraecken, Discrete & Computational Geometry 69 (2023) 156–191.
[Published Version]
View
| Files available
| DOI
| WoS
J.-D. Boissonnat, R. Dyer, A. Ghosh, M. Wintraecken, Discrete & Computational Geometry 69 (2023) 156–191.
2023 |Published| Journal Article | IST-REx-ID: 12165
Directed percolation and the transition to turbulence
B. Hof, Nature Reviews Physics 5 (2023) 62–72.
View
| DOI
| WoS
B. Hof, Nature Reviews Physics 5 (2023) 62–72.
2023 |Published| Journal Article | IST-REx-ID: 12421 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM
F. Fäßler, M. Javoor, F.K. Schur, Biochemical Society Transactions 51 (2023) 87–99.
[Published Version]
View
| Files available
| DOI
| WoS
F. Fäßler, M. Javoor, F.K. Schur, Biochemical Society Transactions 51 (2023) 87–99.