Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1952 Publications
2023 | Journal Article | IST-REx-ID: 12158 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis
P. Zeller, J. Yeung, H. Viñas Gaza, B.A. de Barbanson, V. Bhardwaj, M. Florescu, R. van der Linden, A. van Oudenaarden, Nature Genetics 55 (2023) 333–345.
[Published Version]
View
| Files available
| DOI
P. Zeller, J. Yeung, H. Viñas Gaza, B.A. de Barbanson, V. Bhardwaj, M. Florescu, R. van der Linden, A. van Oudenaarden, Nature Genetics 55 (2023) 333–345.
2023 | Book Chapter | IST-REx-ID: 12720
Molecular Cloning Using In Vivo DNA Assembly
S. Arroyo-Urea, J. Watson, J. García-Nafría, in:, G. Scarlett (Ed.), DNA Manipulation and Analysis, Springer Nature, New York, NY, United States, 2023, pp. 33–44.
View
| DOI
| PubMed | Europe PMC
S. Arroyo-Urea, J. Watson, J. García-Nafría, in:, G. Scarlett (Ed.), DNA Manipulation and Analysis, Springer Nature, New York, NY, United States, 2023, pp. 33–44.
2023 | Conference Poster | IST-REx-ID: 12736 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Unexpected scaling in path copying trees
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.
2023 | Conference Paper | IST-REx-ID: 12854 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bubaak: Runtime monitoring of program verifiers
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
[Published Version]
View
| Files available
| DOI
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
2023 | Conference Paper | IST-REx-ID: 12856 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vamos: Middleware for best-effort third-party monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.
[Published Version]
View
| Files available
| DOI
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.
2023 | Conference Paper | IST-REx-ID: 13143 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Certifying giant nonprimes
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
2023 | Conference Paper | IST-REx-ID: 13142 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
2023 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 12737
Highly adaptive nature of group 15 tris(quinolyl) ligands─studies with coinage metals
Á. García-Romero, J.E. Waters, R.B. Jethwa, A.D. Bond, A.L. Colebatch, R. García-Rodríguez, D.S. Wright, Inorganic Chemistry 62 (2023) 4625–4636.
View
| DOI
| WoS
| PubMed | Europe PMC
Á. García-Romero, J.E. Waters, R.B. Jethwa, A.D. Bond, A.L. Colebatch, R. García-Rodríguez, D.S. Wright, Inorganic Chemistry 62 (2023) 4625–4636.
2023 | Journal Article | IST-REx-ID: 12788 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Topological charges of periodically kicked molecules
V. Karle, A. Ghazaryan, M. Lemeshko, Physical Review Letters 130 (2023).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Karle, A. Ghazaryan, M. Lemeshko, Physical Review Letters 130 (2023).
2023 | Journal Article | IST-REx-ID: 12839 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Superdiffusive energy transport in kinetically constrained models
M. Ljubotina, J.Y. Desaules, M. Serbyn, Z. Papić, Physical Review X 13 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
M. Ljubotina, J.Y. Desaules, M. Serbyn, Z. Papić, Physical Review X 13 (2023).
2023 | Journal Article | IST-REx-ID: 12972 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Directionality-aware design of embroidery patterns
Z. Liu, M. Piovarci, C. Hafner, R. Charrondiere, B. Bickel, Computer Graphics Forum 42 (2023) 397–409.
[Published Version]
View
| Files available
| DOI
| WoS
Z. Liu, M. Piovarci, C. Hafner, R. Charrondiere, B. Bickel, Computer Graphics Forum 42 (2023) 397–409.
2023 | Journal Article | IST-REx-ID: 13117 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tunable directional photon scattering from a pair of superconducting qubits
E. Redchenko, A.V. Poshakinskiy, R. Sett, M. Zemlicka, A.N. Poddubny, J.M. Fink, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
E. Redchenko, A.V. Poshakinskiy, R. Sett, M. Zemlicka, A.N. Poddubny, J.M. Fink, Nature Communications 14 (2023).
2023 | Journal Article | IST-REx-ID: 13129 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bias in the representative volume element method: Periodize the ensemble instead of its realizations
N. Clozeau, M. Josien, F. Otto, Q. Xu, Foundations of Computational Mathematics (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
N. Clozeau, M. Josien, F. Otto, Q. Xu, Foundations of Computational Mathematics (2023).
2023 | Journal Article | IST-REx-ID: 13970 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Visible-light-mediated oxidative debenzylation of 3-O-Benzyl-1,2:5,6-di-O-isopropylidene-α-D-glucofuranose
A. Madani, E.T. Sletten, C. Cavedon, P.H. Seeberger, B. Pieber, Organic Syntheses 100 (2023) 271–286.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Madani, E.T. Sletten, C. Cavedon, P.H. Seeberger, B. Pieber, Organic Syntheses 100 (2023) 271–286.
2023 | Journal Article | IST-REx-ID: 9652 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Highly irregular separated nets
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
2023 | Journal Article | IST-REx-ID: 12331 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe
S. Wang, C. Chang, S. Bai, B. Qin, Y. Zhu, S. Zhan, J. Zheng, S. Tang, L.D. Zhao, Chemistry of Materials 35 (2023) 755–763.
[Published Version]
View
| Files available
| DOI
| WoS
S. Wang, C. Chang, S. Bai, B. Qin, Y. Zhu, S. Zhan, J. Zheng, S. Tang, L.D. Zhao, Chemistry of Materials 35 (2023) 755–763.
2023 | Journal Article | IST-REx-ID: 12106 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
scChIX-seq infers dynamic relationships between histone modifications in single cells
J. Yeung, M. Florescu, P. Zeller, B.A. De Barbanson, M.D. Wellenstein, A. Van Oudenaarden, Nature Biotechnology 41 (2023) 813–823.
[Published Version]
View
| Files available
| DOI
| WoS
J. Yeung, M. Florescu, P. Zeller, B.A. De Barbanson, M.D. Wellenstein, A. Van Oudenaarden, Nature Biotechnology 41 (2023) 813–823.