Wei Yi
Wei Yi
Chair of Software Engineering, ETH Zurich
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
Rationally designed 1D Ag@ AgVO 3 nanowire/graphene/protonated gC 3 N 4 nanosheet heterojunctions for enhanced photocatalysis via electrostatic self-assembly and photochemical …
S Zhang, J Li, X Wang, Y Huang, M Zeng, J Xu
Journal of Materials Chemistry A 3 (18), 10119-10126, 2015
324*2015
Automated fixing of programs with contracts
Y Wei, Y Pei, CA Furia, LS Silva, S Buchholz, B Meyer, A Zeller
Proceedings of the 19th international symposium on Software testing and …, 2010
2462010
Programs that test themselves
B Meyer, A Fiva, I Ciupa, A Leitner, Y Wei, E Stapf
Computer 42 (9), 46-55, 2009
1032009
Automated fixing of programs with contracts
Y Pei, CA Furia, M Nordio, Y Wei, B Meyer, A Zeller
Ieee transactions on software engineering 40 (5), 427-449, 2014
1022014
Characterization and analysis of carbon deposited during the dry reforming of methane over Ni/La2O3/Al2O3 catalysts
XU Junke, Z Wei, W Jihui, LI Zhaojing, MA Jianxin
Chinese Journal of Catalysis 30 (11), 1076-1084, 2009
962009
Inferring better contracts
Y Wei, CA Furia, N Kazmin, B Meyer
Proceedings of the 33rd International Conference on Software Engineering …, 2011
882011
A cross-layer optimization framework for multicast in multi-hop wireless networks
J Yuan, Z Li, W Yu, B Li
First International Conference on Wireless Internet (WICON'05), 47-54, 2005
842005
Integration of Hippo signalling and the unfolded protein response to restrain liver overgrowth and tumorigenesis
H Wu, L Wei, F Fan, S Ji, S Zhang, J Geng, L Hong, X Fan, Q Chen, J Tian, ...
Nature communications 6 (1), 1-15, 2015
832015
A Riccati-Bernoulli sub-ODE method for nonlinear partial differential equations and its application
XF Yang, ZC Deng, Y Wei
Advances in Difference Equations 2015 (1), 1-17, 2015
742015
Swim: Synthesizing what i mean-code search and idiomatic snippet synthesis
M Raghothaman, Y Wei, Y Hamadi
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016
732016
Independent measurement of the neutrino mixing angle via neutron capture on hydrogen at Daya Bay
FP An, AB Balantekin, HR Band, W Beriguete, M Bishai, S Blyth, I Butorov, ...
Physical Review D 90 (7), 071101, 2014
712014
Thermally expanded graphene nanoplates/polydimethylsiloxane composites with high dielectric constant, low dielectric loss and improved actuated strain
M Tian, Z Wei, X Zan, L Zhang, J Zhang, Q Ma, N Ning, T Nishi
Composites science and technology 99, 37-44, 2014
652014
What good are strong specifications?
N Polikarpova, CA Furia, Y Pei, Y Wei, B Meyer
2013 35th International Conference on Software Engineering (ICSE), 262-271, 2013
502013
Code-based automated program fixing
Y Pei, Y Wei, CA Furia, M Nordio, B Meyer
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
492011
Development of a mathematical model for evaluating the dynamics of normal and apoptotic Chinese hamster ovary cells
S Naderi, M Meshram, C Wei, B McConkey, B Ingalls, H Budman, ...
Biotechnology progress 27 (5), 1197-1205, 2011
492011
The muon system of the Daya Bay Reactor antineutrino experiment
FP An, AB Balantekin, HR Band, W Beriguete, M Bishai, S Blyth, ...
Nuclear Instruments and Methods in Physics Research Section A: Accelerators …, 2015
482015
Nuciferine, extracted from Nelumbo nucifera Gaertn, inhibits tumor-promoting effect of nicotine involving Wnt/β-catenin signaling in non-small cell lung cancer
W Liu, DD Yi, JL Guo, ZX Xiang, LF Deng, L He
Journal of ethnopharmacology 165, 83-93, 2015
422015
Improved empirical mode decomposition based denoising method for lidar signals
P Tian, X Cao, J Liang, L Zhang, N Yi, L Wang, X Cheng
Optics Communications 325, 54-59, 2014
392014
Is branch coverage a good measure of testing effectiveness?
Y Wei, B Meyer, M Oriol
Empirical Software Engineering and Verification, 194-212, 2010
382010
Symmetric cyanovinyl-pyridinium triphenylamine: a novel fluorescent switch-on probe for an antiparallel G-quadruplex
H Lai, Y Xiao, S Yan, F Tian, C Zhong, Y Liu, X Weng, X Zhou
Analyst 139 (8), 1834-1838, 2014
352014
The system can't perform the operation now. Try again later.
Articles 1–20