Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




4528 Publications

2023 | Journal Article | IST-REx-ID: 13165 | OA
Fang, Lixing, et al. “Successive Vertex Orderings of Fully Regular Graphs.” Journal of Combinatorial Theory. Series A, vol. 199, no. 10, 105776, Elsevier, 2023, doi:10.1016/j.jcta.2023.105776.
View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Journal Article | IST-REx-ID: 12086 | OA
Edelsbrunner, Herbert, and Georg F. Osang. “A Simple Algorithm for Higher-Order Delaunay Mosaics and Alpha Shapes.” Algorithmica, vol. 85, Springer Nature, 2023, pp. 277–95, doi:10.1007/s00453-022-01027-6.
View | Files available | DOI | WoS
 
2023 | Journal Article | IST-REx-ID: 12104 | OA
Dello Schiavo, Lorenzo, and Melchior Wirth. “Ergodic Decompositions of Dirichlet Forms under Order Isomorphisms.” Journal of Evolution Equations, vol. 23, no. 1, 9, Springer Nature, 2023, doi:10.1007/s00028-022-00859-7.
View | Files available | DOI | WoS
 
2023 | Journal Article | IST-REx-ID: 11434
GOSWAMI, BIDYUT B. “Role of the Eastern Equatorial Indian Ocean Warming in the Indian Summer Monsoon Rainfall Trend.” Climate Dynamics, vol. 60, Springer Nature, 2023, pp. 427–42, doi:10.1007/s00382-022-06337-7.
View | Files available | DOI | WoS
 
2023 | Journal Article | IST-REx-ID: 13182 | OA
Biswas, Ranita, et al. “Geometric Characterization of the Persistence of 1D Maps.” Journal of Applied and Computational Topology, 2023, doi:10.1007/s41468-023-00126-9.
View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 13136 | OA
Minchington, Thomas, et al. “Control of Tissue Dimensions in the Developing Neural Tube and Somites.” Current Opinion in Systems Biology, vol. 35, 100459, Elsevier, 2023, doi:10.1016/j.coisb.2023.100459.
View | DOI | Download Published Version (ext.)
 
2023 | Conference Paper | IST-REx-ID: 12467 | OA
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 | OA
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 | OA
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 | OA
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
 

Search

Filter Publications