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.

3789 Publications


2023 | Conference Paper | IST-REx-ID: 12467 | OA
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.
View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 13179 | OA
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).
View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13212 | OA
Distinct functions of TIR1 and AFB1 receptors in auxin signalling.
H. Chen, L. Li, M. Zou, L. Qi, J. Friml, Molecular Plant (2023).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 13209 | OA
Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen
J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications (2023).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 13180 | OA
Local solubility for a family of quadrics over a split quadric surface
T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.
View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 13188 | OA
The design space of Kirchhoff rods
C. Hafner, B. Bickel, ACM Transactions on Graphics (2023).
View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13236 | OA
Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M.H. Henzinger, in:, International Conference on Integer Programming and Combinatorial Optimization, Springer Nature, 2023, pp. 453–465.
View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 13228 | OA
Runtime monitoring of dynamic fairness properties
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.
View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 13225 | OA
Correlation energy of a weakly interacting Fermi gas with large interaction potential
N.P. Benedikter, M. Porta, B. Schlein, R. Seiringer, Archive for Rational Mechanics and Analysis 247 (2023).
View | DOI | Download Published Version (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 13226 | OA
Weak Edgeworth expansion for the mean-field Bose gas
L. Bossmann, S.P. Petrat, Letters in Mathematical Physics 113 (2023).
View | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 13227 | OA
Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours
F. Hassani, M. Peruzzo, L. Kapoor, A. Trioni, M. Zemlicka, J.M. Fink, Nature Communications 14 (2023).
View | Files available | DOI | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 13221 | OA
Safety and liveness of quantitative automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, n.d.
View | Files available | arXiv
 

2023 | Conference Abstract | IST-REx-ID: 13162 | OA
Cryo-EM software packages: A sys-admins point of view
S. Elefante, S. Stadlbauer, M.F. Alexander, A. Schlögl, in:, ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC, n.d., pp. 42–42.
View | Files available
 

2023 | Conference Abstract | IST-REx-ID: 13161 | OA
Running Windows-applications on a Linux HPC cluster using WINE
A. Schlögl, S. Elefante, V.-V. Hodirnau, in:, ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC, n.d., pp. 59–59.
View | Files available
 

2023 | Journal Article | IST-REx-ID: 13251 | OA
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.
View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13271 | OA
Some convexity and monotonicity results of trace functionals
H. Zhang, Annales Henri Poincare (2023).
View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 13268 | OA
On type II degenerations of hyperkähler manifolds
D. Huybrechts, M. Mauri, Mathematical Research Letters 30 (2023) 125–141.
View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 13265 | OA
As-Continuous-As-Possible extrusion-based fabrication of surface models
F. Zhong, Y. Xu, H. Zhao, L. Lu, ACM Transactions on Graphics 42 (2023).
View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 13269 | OA
Codes for the Z-channel
N. Polyanskii, Y. Zhang, IEEE Transactions on Information Theory (2023).
View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 13315 | OA
Fundamental limits in structured principal component analysis and how to reach them
J. Barbier, F. Camilli, M. Mondelli, M. Sáenz, Proceedings of the National Academy of Sciences of the United States of America 120 (2023).
View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications