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.

10152 Publications


2024 | Submitted | Preprint | IST-REx-ID: 18143 | OA
Room temperature, cavity-free capacitive strong coupling to mechanical motion
D. Puglia, R.H. Odessey, P.S. Burns, N. Luhmann, S. Schmid, A.P. Higginbotham, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Submitted | Preprint | IST-REx-ID: 18144 | OA
Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors
M. Janik, K.E.R. Roux, C.B. Espinosa, O. Sagi, A. Baghdadi, T. Adletzberger, S. Calcaterra, M. Botifoll, A.G. Manjón, J. Arbiol, D. Chrastina, G. Isella, I.M. Pop, G. Katsaros, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18153 | OA
Shifts in attention drive context-dependent subspace encoding in anterior cingulate cortex in mice during decision making
M.A. Hajnal, D. Tran, Z. Szabó, A. Albert, K. Safaryan, M. Einstein, M. Vallejo Martelo, P.-O. Polack, P. Golshani, G. Orbán, Nature Communications 15 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18154 | OA
On modulo ℓ cohomology of p-adic Deligne–Lusztig varieties for GLn
J. Löwit, Journal of Algebra 663 (2024) 81–118.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18155 | OA
Sound and complete witnesses for template-based verification of LTL properties on polynomial programs
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, D. Zikelic, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 600–619.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18156 | OA
Private counting of distinct elements in the turnstile model and extensions
M. Henzinger, A.R. Sricharan, T.A. Steiner, in:, International Conference on Approximation Algorithms for Combinatorial Optimization Problems , Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18157 | OA
Books, Hallways, and social butterflies: A note on sliding block puzzles
F.R. Brunck, M.A. Kwan, Mathematical Intelligencer (2024).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18158 | OA
Wasserstein geometry and Ricci curvature bounds for Poisson spaces
L. Dello Schiavo, R. Herry, K. Suzuki, Journal de l’Ecole Polytechnique - Mathematiques 11 (2024) 957–1010.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18159 | OA
Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 3–12.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18160 | OA
Solving long-run average reward robust MDPs via stochastic games
K. Chatterjee, E. Goharshady, M. Karrabi, P. Novotný, D. Zikelic, in:, 33rd International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 6707–6715.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2024 | In Press | Book Chapter | IST-REx-ID: 18167
Generation of TIM chaperone substrate complexes
U. Guillerm, I. Sučec, P. Schanda, in:, Methods in Enzymology, Elsevier, n.d.
View | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 18168 | OA
Unveiling the dynamic self-assembly of a recombinant dragline-silk-mimicking protein
D. Wu, A. Koscic, S. Schneider, R.C.A. Dubini, D.C. Rodriguez Camargo, S. Schneider, P. Rovo, Biomacromolecules 25 (2024) 1759–1774.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18169
VAMOS: Middleware for best-effort third-party monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, Science of Computer Programming 240 (2024).
[Published Version] View | Files available | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 18170 | OA
Bridging basic science and applied diagnostics: Comprehensive viral diagnostics enabled by graphene-based electronic biosensor technology advancements
A.N. Herdina, A. Bozdogan, P. Aspermair, J. Dostalek, M. Klausberger, N. Lingg, M. Cserjan-Puschmann, P.P. Aguilar, S. Auer, H. Demirtas, J. Andersson, F. Lötsch, B. Holzer, A. Steinrigl, F. Thalhammer, J. Schellnegger, M. Breuer, W. Knoll, R. Strassl, Biosensors and Bioelectronics 267 (2024).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 18171
Starvation increases susceptibility to bacterial infection and promotes systemic pathogen proliferation in Drosophila melanogaster females
A. Basu, A. Singh, S. Sehgal, T. Madaan, N.G. Prasad, Journal of Invertebrate Pathology 207 (2024).
View | DOI | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 18172 | OA | PlanS
Asteroseismic signatures of core magnetism and rotation in hundreds of low-luminosity red giants
E.J. Hatt, J.M.J. Ong, M.B. Nielsen, W.J. Chaplin, G.R. Davies, S. Deheuvels, J. Ballot, G. Li, L.A. Bugnet, Monthly Notices of the Royal Astronomical Society 534 (2024) 1060–1076.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18173 | OA
Rational points on complete intersections of cubic and quadric hypersurfaces over Fq(t)
J. Glas, Journal of the London Mathematical Society 110 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18174 | OA
Fingerprints of ordered self-assembled structures in the liquid phase of a hard-core, square-shoulder system
M. Wassermair, G. Kahl, R. Roth, A.J. Archer, The Journal of Chemical Physics 161 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18175 | OA
The fault in our stars: Designing reproducible large-scale code analysis experiments
P. Maj, S. Muroya Lei, K. Siek, L. Di Grazia, J. Vitek, in:, 38th European Conference on Object-Oriented Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version] View | Files available | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 18176 | OA
Quantum many-body spin ratchets
L. Zadnik, M. Ljubotina, Ž. Krajnik, E. Ilievski, T. Prosen, PRX Quantum 5 (2024).
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed