Wei Yi
Wei Yi
Chair of Software Engineering, ETH Zurich
Verified email at inf.ethz.ch - Homepage
Cited by
Cited by
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
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
Programs that test themselves
B Meyer, A Fiva, I Ciupa, A Leitner, Y Wei, E Stapf
Computer 42 (9), 46-55, 2009
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
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
Inferring better contracts
Y Wei, CA Furia, N Kazmin, B Meyer
Proceedings of the 33rd International Conference on Software Engineering …, 2011
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
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
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
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
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
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
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
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
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
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
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
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
Is branch coverage a good measure of testing effectiveness?
Y Wei, B Meyer, M Oriol
Empirical Software Engineering and Verification, 194-212, 2010
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
The system can't perform the operation now. Try again later.
Articles 1–20