Concepedia

Lin Xu

LX

5

Publications

693

Citations

5

H-Index

2005

Active since

Affiliations

East China Normal University(Current)

University of California, Berkeley

Lin Xu is an author at East China Normal University specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringData ScienceSemantic WebFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning

Publications per year

2005–2024

5

Publications

5

Jungloid mining

David Mandelin, Lin Xu, Rastislav Bodík et al. · ACM SIGPLAN Notices · 2005 · 388 citations

Engineering, Software Engineering, Source Code Analysis +16

Jungloid mining

David Mandelin, Lin Xu, Rastislav Bodík et al. · 2005 · 260 citations

Engineering, Software Engineering, Source Code Analysis +16

PriVeriFL: Privacy-Preserving and Aggregation-Verifiable Federated Learning

Lulu Wang, Mirko Polato, Alessandro Brighente et al. · IEEE Transactions on Services Computing · 2024 · 19 citations

Privacy-Preserving Serverless Federated Learning Scheme for Internet of Things

Changti Wu, Lei Zhang, Lin Xu et al. · IEEE Internet of Things Journal · 2024 · 15 citations

MPC-Based Privacy-Preserving Serverless Federated Learning

Liangyu Zhong, Lei Zhang, Lin Xu et al. · 2022 3rd International Conference on Big Data, Artificial Intelligence and Internet of Things Engineering (ICBAIE) · 2022 · 11 citations

Rows per page

1–5 of 5