Concepedia

Yufei Cai

YC

10

Publications

312

Citations

10

H-Index

2014

Active since

Affiliations

Zhejiang University(Current)

Philipps University of Marburg

University of Tübingen

Yufei Cai is an author at Zhejiang University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisChemical EngineeringEnvironmental EngineeringSyntaxGrammarLanguageChemistry

Publications per year

2014–2024

10

Publications

10

Incompressibility of $$H$$ H -Free Edge Modification Problems

Leizhen Cai, Yufei Cai · Algorithmica · 2014 · 65 citations

Numerical Analysis, Boundary Element Method, Incompressible Flow +1

Denotational validation of higher-order Bayesian inference

Adam Ścibior, Ohad Kammar, Matthijs Vákár et al. · Proceedings of the ACM on Programming Languages · 2017 · 62 citations · Full text

Engineering, Machine Learning, Probabilistic Computation +17

A theory of changes for higher-order languages

Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel et al. · 2014 · 49 citations

Engineering, Chomsky Hierarchy, Computer Architecture +22

Life-cycle-based reconfiguration of sustainable carbon black production: Integrated conventional technique with waste tire pyrolysis and its future improvement potentials

Shucheng Wu, Zhentao Wang, Shanshan Guo et al. · Journal of Cleaner Production · 2024 · 25 citations

Chemical Engineering, Sustainable Chemical Production, Engineering +12

Directed regulation of anammox communities based on exogenous siderophores for highly efficient nitrogen removal

Ziyang Dong, Mengwen Yu, Yufei Cai et al. · Water Research · 2023 · 23 citations

Engineering, Anammox Communities, Reactive Nitrogen Specie +14

Rows per page

1–5 of 10