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.
8566 Publications
2023 | Conference Paper | IST-REx-ID: 12467 | 
Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” 26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17.
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13179 |
Koval, Nikita, et al. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” Proceedings of the ACM on Programming Languages, vol. 7, 116, Association for Computing Machinery , 2023, doi:10.1145/3591230.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13212 |
Chen, Huihuang, et al. “Distinct Functions of TIR1 and AFB1 Receptors in Auxin Signalling.” Molecular Plant, Elsevier , 2023, doi:10.1016/j.molp.2023.06.007.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13209 |
Xia, Jing, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” Plant Communications, 100632, Elsevier , 2023, doi:10.1016/j.xplc.2023.100632.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13180 |
Browning, Timothy D., et al. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve, vol. 16, no. 2, Mathematical Sciences Publishers, 2023, pp. 331–42, doi:10.2140/involve.2023.16.331.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13188 |
Hafner, Christian, and Bernd Bickel. “The Design Space of Kirchhoff Rods.” ACM Transactions on Graphics, Association for Computing Machinery, 2023, doi:10.1145/3606033.
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13238
Schmid, Stefan, et al. “Weighted Packet Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation.” SIROCCO 2023: Structural Information and Communication Complexity , vol. 13892, Springer Nature, 2023, pp. 576–94, doi:10.1007/978-3-031-32733-9_26.
View
| DOI
2023 | Conference Paper | IST-REx-ID: 13236 |
Zheng, Da Wei, and Monika H. Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.” International Conference on Integer Programming and Combinatorial Optimization, vol. 13904, Springer Nature, 2023, pp. 453–65, doi:10.1007/978-3-031-32726-1_32.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13228 |
Henzinger, Thomas A., et al. “Runtime Monitoring of Dynamic Fairness Properties.” FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–14, doi:10.1145/3593013.3594028.
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13225 |
Benedikter, Niels P., et al. “Correlation Energy of a Weakly Interacting Fermi Gas with Large Interaction Potential.” Archive for Rational Mechanics and Analysis, vol. 247, no. 4, 65, Springer Nature, 2023, doi:10.1007/s00205-023-01893-6.
View
| DOI
| Download Published Version (ext.)
| arXiv