Not finding it? Sign in to also search OpenAlex live.
-
Caesar: A Deductive Verifier for Probabilistic Programs2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more
0citations -
Is ChatGPT Good at Search? Investigating Large Language Models as Re-Ranking Agents2023 Conference on Empirical Methods in Natural Language Processing (EMNLP) conference-paper Computer Science Information Retrieval and Search Behavior Open access
Weiwei Sun, Lingyong Yan, Xinyu Ma, Shuaiqiang Wang, Pengjie Ren, Zhumin Chen, +2 more
235citations -
Results from part A of the multi-center, double-blind, randomized, placebo-controlled NefIgArd trial, which evaluated targeted-release formulation of budesonide for the treatment of primary immunoglobulin A nephropathy
Jonathan Barratt, Richard A. Lafayette, Jens Halkjaer Kristensen, Andrew M. Stone, Daniel Cattran, Jürgen Floege, +90 more
226citations -
Genome assembly of wild tea tree DASZ reveals pedigree and selection history of tea varieties2020 Nature Communications article Biochemistry, Genetics and Molecular Biology Genetic Mapping and Diversity in Plants and Animals Open access cited by 1 patent
Weiyi Zhang, Youjun Zhang, Haiji Qiu, Yafei Guo, Haoliang Wan, Federico Scossa, +14 more
220citations -
Battery Thermal Runaway Fault Prognosis in Electric Vehicles Based on Abnormal Heat Generation and Deep Learning Algorithms2022 IEEE Transactions on Power Electronics article Engineering Advanced Battery Technologies Research cited by 2 patents
Da Li, Peng Liu, Zhaosheng Zhang, Lei Zhang, Junjun Deng, Zhenpo Wang, +3 more
220citations -
Attribution of the accelerating increase in atmospheric methane during 2010–2018 by inverse analysis of GOSAT observations2021 Atmospheric chemistry and physics article Environmental Science Atmospheric and Environmental Gas Dynamics Open access
Yuzhong Zhang, Daniel J. Jacob, Xiao Hui Lu, Joannes D. Maasakkers, Tia R. Scarpelli, Jian‐Xiong Sheng, +9 more
180citations -
State Estimation for Medium- and Low-Voltage Distribution Systems Considering Measurement Characteristics and Grounded Slack Bus2022 IEEE Transactions on Instrumentation and Measurement article Engineering Power System Optimization and Stability
Zhengmei Lu, Wei Yan, Dezhi Huang, Junjie Tang, Ferdinanda Ponci, Antonello Monti
121citations -
Genome-enabled insights into the biology of thrips as crop pests2020 BMC Biology article Biochemistry, Genetics and Molecular Biology Insect Resistance and Genetics Open access
Dorith Rotenberg, Aaron A. Baumann, Sulley K. Ben-Mahmoud, Olivier Christiaens, Wannes Dermauw, Panagiotis Ioannidis, +51 more
106citations -
An Extremely Massive Quiescent Galaxy at z = 3.493: Evidence of Insufficiently Rapid Quenching Mechanisms in Theoretical Models*2020 The Astrophysical Journal Letters article Physics and Astronomy Galaxies: Formation, Evolution, Phenomena Open access
Ben Forrest, Marianna Annunziatella, Gillian Wilson, Danilo Marchesini, Adam Muzzin, Michael C. Cooper, +14 more
100citations -
Gut microbiota alteration in adolescent anorexia nervosa does not normalize with short‐term weight restoration2020 International Journal of Eating Disorders article Biochemistry, Genetics and Molecular Biology Gut microbiota and health Open access
Nina Schulz, Meriem Belheouane, Brigitte Dahmen, Vanessa Ruan, Hannah E. Specht, Astrid Dempfle, +3 more
94citations