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.

6385 Publications


2024 | Published | Conference Paper | IST-REx-ID: 18599
Monitoring extended hypernode logic
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.
View | DOI | WoS
 

2024 | Published | Conference Paper | IST-REx-ID: 18600 | OA
Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report
Andriushchenko R, Bork A, Budde CE, Češka M, Grover K, Hahn EM, Hartmanns A, Israelsen B, Jansen N, Jeppson J, Junges S, Köhl MA, Könighofer B, Kretinsky J, Meggendorfer T, Parker D, Pranger S, Quatmann T, Ruijters E, Taylor L, Volk M, Weininger M, Zhang Z. 2024. Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. TOOLympics Challenge 2023. , LNCS, vol. 14550, 90–146.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18602 | OA
Strong hole-photon coupling in planar Ge for probing charge degree and strongly correlated states
F. De Palma, F. Oppliger, W. Jang, S. Bosco, M. Janik, S. Calcaterra, G. Katsaros, G. Isella, D. Loss, P. Scarlino, Nature Communications 15 (2024).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 18604 | OA
Removing popular faces in curve arrangements
P. De Nooijer, S. Terziadis, A. Weinberger, Z. Masárová, T. Mchedlidze, M. Löffler, G. Rote, Journal of Graph Algorithms and Applications 28 (2024) 47–82.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18616
Quantum scars make their mark in graphene
D. Abanin, M. Serbyn, Nature 635 (2024) 825–826.
View | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 18617 | OA
Separation of variables for scalar-valued polynomials in the non-stable range
D. Beďatš, Journal of Algebra 651 (2024) 281–304.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18627 | OA
Enhanced many-body quantum scars from the non-hermitian fock skin effect
R. Shen, F. Qin, J.-Y.M. Desaules, Z. Papić, C.H. Lee, Physical Review Letters 133 (2024).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18628 | OA
The importance of solving Subglaciar hydrology in modeling glacier retreat: A case study of Hansbreen, Svalbard
E. De Andrés, J.M. Muñoz Hermosilla, K. Shahateet, J. Otero, Hydrology 11 (2024).
[Published Version] View | Files available | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 18629 | OA
Anisotropic potential immersed in a dipolar Bose-Einstein condensate
N. Shukla, A. Volosniev, J.R. Armstrong, Physical Review A 110 (2024).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18630 | OA
Stochastic processes with expected stopping time
K. Chatterjee, L. Doyen, Logical Methods in Computer Science 20 (2024) 11:1-11:34.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18651
Development: Turing mechanics
N. Hino, C. Santos Fernandes Lasbarrères Camelo, C.-P.J. Heisenberg, Current Biology 34 (2024) R1230–R1232.
View | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 18652
Codes for adversaries: Between worst-case and average-case jamming
B.K. Dey, S. Jaggi, M. Langberg, A.D. Sarwate, Y. Zhang, Foundations and Trends in Communications and Information Theory 21 (2024) 300–588.
View | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 18653 | OA
Automated long-range compensation of an rf quantum dot sensor
J. Hickie, B. Van Straaten, F. Fedele, D. Jirovec, A. Ballabio, D. Chrastina, G. Isella, G. Katsaros, N. Ares, Physical Review Applied 22 (2024).
[Published Version] View | Files available | DOI | WoS
 

2024 | Published | Journal Article | IST-REx-ID: 18654 | OA
Scale-invariant magnetic anisotropy in α-RuCl3: A quantum Monte Carlo study
T. Sato, B.J. Ramshaw, K.A. Modic, F.F. Assaad, Physical Review B 110 (2024).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18655 | OA
Climbing up a random subgraph of the hypercube
M. Anastos, S. Diskin, D. Elboim, M. Krivelevich, Electronic Communications in Probability 29 (2024).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18702 | OA
The cost of maintaining keys in dynamic groups with applications to multicast encryption and group messaging
M. Anastos, B. Auerbach, M.A. Baig, M. Cueto Noval, M.A. Kwan, G. Pascual Perez, K.Z. Pietrzak, in:, 22nd International Conference on Theory of Cryptography, Springer Nature, 2024, pp. 413–443.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2024 | Published | Journal Article | IST-REx-ID: 18704 | OA
Coat stiffening can explain invagination of clathrin-coated membranes
F.F. Frey, U.S. Schwarz, Physical Review E 110 (2024).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18708 | OA
Exploring causes of distinct regional and subseasonal Indian summer monsoon precipitation responses to CO2 removal
S. Paik, D. Kim, S.I. An, H. Oh, J. Shin, B.B. GOSWAMI, S.K. Min, S.K. Mondal, Npj Climate and Atmospheric Science 7 (2024).
[Published Version] View | Files available | DOI | WoS
 

2024 | Published | Journal Article | IST-REx-ID: 18709 | OA
The companion mass distribution of post common envelope hot subdwarf binaries: Evidence for boosted and disrupted magnetic braking?
L. Blomberg, K. El-Badry, K. Breivik, I. Caiazzo, P. Nagarajan, A. Rodriguez, J. Van Roestel, Z.P. Vanderbosch, N. Yamaguchi, Publications of the Astronomical Society of the Pacific 136 (2024).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Research Data Reference | IST-REx-ID: 18716 | OA
Data for: Ab initio Auger spectrum of the ultrafast dissociating 2p3/2−1σ* resonance in HCl
M. Hrast, (2024).
View | Files available | DOI | Download None (ext.)
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed