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.
5939 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14259 | 
Kretinsky, Jan, et al. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” 35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 390–414, doi:10.1007/978-3-031-37706-8_20.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14260 |
Koval, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” 35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 156–69, doi:10.1007/978-3-031-37706-8_8.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14261 |
Gamper, Jakob, et al. “Accessing Position Space Wave Functions in Band Structure Calculations of Periodic Systems - a Generalized, Adapted Numerov Implementation for One-, Two-, and Three-Dimensional Quantum Problems.” Journal of Physical Chemistry Letters, vol. 14, no. 33, American Chemical Society, 2023, pp. 7395–403, doi:10.1021/acs.jpclett.3c01707.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14313 |
Fiedler, Lukas, and Jiří Friml. “Rapid Auxin Signaling: Unknowns Old and New.” Current Opinion in Plant Biology, vol. 75, no. 10, 102443, Elsevier, 2023, doi:10.1016/j.pbi.2023.102443.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14315 |
Cho, Ukrae H., and Martin Hetzer. “Caspase-Mediated Nuclear Pore Complex Trimming in Cell Differentiation and Endoplasmic Reticulum Stress.” ELife, vol. 12, RP89066, eLife Sciences Publications, 2023, doi:10.7554/eLife.89066.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14316 |
Nagano, Makoto, et al. “Distinct Role of TGN-Resident Clathrin Adaptors for Vps21p Activation in the TGN-Endosome Trafficking Pathway.” Journal of Cell Science, vol. 136, no. 17, jcs261448, The Company of Biologists, 2023, doi:10.1242/jcs.261448.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14320 |
Henderson, Paul M., et al. “Deep Learning Extraction of Band Structure Parameters from Density of States: A Case Study on Trilayer Graphene.” Physical Review B, vol. 108, no. 12, 125411, American Physical Society, 2023, doi:10.1103/physrevb.108.125411.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Submitted | Preprint | IST-REx-ID: 14333 |
Faller, Philipp M., et al. “Self-Compatibility: Evaluating Causal Discovery without Ground Truth.” ArXiv, 2307.09552, doi:10.48550/arXiv.2307.09552.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14339 |
Roychoudhry, S., et al. “Antigravitropic PIN Polarization Maintains Non-Vertical Growth in Lateral Roots.” Nature Plants, vol. 9, Springer Nature, 2023, pp. 1500–13, doi:10.1038/s41477-023-01478-x.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14342 |
Lorenc, Dusan, and Zhanybek Alpichshev. “Mid-Infrared Kerr Index Evaluation via Cross-Phase Modulation with a near-Infrared Probe Beam.” Applied Physics Letters, vol. 123, no. 9, 091104, AIP Publishing, 2023, doi:10.1063/5.0161713.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14344 |
Anastos, Michael. “Fast Algorithms for Solving the Hamilton Cycle Problem with High Probability.” Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, vol. 2023, Society for Industrial and Applied Mathematics, 2023, pp. 2286–323, doi:10.1137/1.9781611977554.ch88.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14362 |
Castellano, Ilaria, et al. “Weakly Weighted Generalised Quasi-Metric Spaces and Semilattices.” Theoretical Computer Science, vol. 977, 114129, Elsevier, 2023, doi:10.1016/j.tcs.2023.114129.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14363 |
Maes, Margaret E., et al. “Mitochondrial Network Adaptations of Microglia Reveal Sex-Specific Stress Response after Injury and UCP2 Knockout.” IScience, vol. 26, no. 10, 107780, Elsevier, 2023, doi:10.1016/j.isci.2023.107780.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14379
Mahato, Neelima, et al. “Polycrystalline Phases Grown In-Situ Engendering Unique Mechanism of Charge Storage in Polyaniline-Graphite Composite.” Synthetic Metals, vol. 299, 117463, Elsevier, 2023, doi:10.1016/j.synthmet.2023.117463.
View
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 14406 |
Babkin, Serafim, et al. “Generalized Surface Multifractality in Two-Dimensional Disordered Systems.” Physical Review B, vol. 108, no. 10, 104205, American Physical Society, 2023, doi:10.1103/PhysRevB.108.104205.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14409 |
Baunis, Haralds, and Bartholomäus Pieber. “Formal Radical Deoxyfluorination of Oxalate-Activated Alcohols Triggered by the Selectfluor-DMAP Charge-Transfer Complex.” European Journal of Organic Chemistry, vol. 26, no. 42, e202300769, Wiley, 2023, doi:10.1002/ejoc.202300769.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 14410
Tomaszewska, Paulina, and Christoph Lampert. “On the Implementation of Baselines and Lightweight Conditional Model Extrapolation (LIMES) under Class-Prior Shift.” International Workshop on Reproducible Research in Pattern Recognition, vol. 14068, Springer Nature, 2023, pp. 67–73, doi:10.1007/978-3-031-40773-4_6.
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14428 |
Dodis, Yevgeniy, et al. “Random Oracle Combiners: Breaking the Concatenation Barrier for Collision-Resistance.” 43rd Annual International Cryptology Conference, vol. 14082, Springer Nature, 2023, pp. 514–46, doi:10.1007/978-3-031-38545-2_17.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Published | Journal Article | IST-REx-ID: 14443
Schumann G, Andreassen OA, Banaschewski T, Calhoun VD, Clinton N, Desrivieres S, Brandlistuen RE, Feng J, Hese S, Hitchen E, Hoffmann P, Jia T, Jirsa V, Marquand AF, Nees F, Nöthen MM, Novarino G, Polemiti E, Ralser M, Rapp M, Schepanski K, Schikowski T, Slater M, Sommer P, Stahl BC, Thompson PM, Twardziok S, Van Der Meer D, Walter H, Westlye L. 2023. Addressing global environmental challenges to mental health using population neuroscience: A review. JAMA Psychiatry. 80(10), 1066–1074.
View
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14444 |
Kwan, Matthew Alan, et al. “Substructures in Latin Squares.” Israel Journal of Mathematics, vol. 256, no. 2, Springer Nature, 2023, pp. 363–416, doi:10.1007/s11856-023-2513-9.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv