Wei Yi
Wei Yi
Chair of Software Engineering, ETH Zurich
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα inf.ethz.ch - Αρχική σελίδα
Παρατίθεται από
Παρατίθεται από
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
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
Programs that test themselves
B Meyer, A Fiva, I Ciupa, A Leitner, Y Wei, E Stapf
Computer 42 (9), 46-55, 2009
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
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
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
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
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
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
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
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
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
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
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
Universal Teichmüller space and BMO
Y Shen, H Wei
Advances in Mathematics 234, 129-148, 2013
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20