Edit Profile (opens in new tab) Becker, George Co-Author Distance Author ID: becker.george Published as: Becker, George Documents Indexed: 4 Publications since 1986, including 1 Book Co-Authors: 4 Co-Authors with 2 Joint Publications 11 Co-Co-Authors all top 5 Co-Authors 1 single-authored 1 Morris, Mary E. S. 1 Murray, Neil V. 1 Pironkov, P. 1 Ramesh, Anavai 1 Schäfer, Michael 1 Slattery, Kathy 1 Sternel, Dörte C. Serials 1 Journal of Automated Reasoning 1 Contributions to Atmospheric Physics Fields 2 Computer science (68-XX) 2 Fluid mechanics (76-XX) 1 Mechanics of deformable solids (74-XX) 1 Geophysics (86-XX) Publications by Year Citations contained in zbMATH Open 2 Publications have been cited 5 times in 5 Documents Cited by ▼ Year ▼ CNF and DNF considered harmful for computing prime implicants/implicates. Zbl 0881.68107 Ramesh, Anavai; Becker, George; Murray, Neil V. 5 1997 Efficient numerical simulation and optimization of fluid-structure interaction. Zbl 1215.74019 Schäfer, M.; Sternel, D. C.; Becker, G.; Pironkov, P. 3 2010 Efficient numerical simulation and optimization of fluid-structure interaction. Zbl 1215.74019 Schäfer, M.; Sternel, D. C.; Becker, G.; Pironkov, P. 3 2010 CNF and DNF considered harmful for computing prime implicants/implicates. Zbl 0881.68107 Ramesh, Anavai; Becker, George; Murray, Neil V. 5 1997 all top 5 Cited by 13 Authors 1 Biane, Célia 1 Bittencourt, Guilherme 1 Cordero, Pablo 1 Pérez de Guzmán, Inmaculada 1 Delaplace, Franck 1 Enciso, Manuel 1 Marchi, Jerusa 1 Melliti, Tarek 1 Murray, Neil V. 1 Perrussel, Laurent 1 Raut, Manoj K. 1 Rosenthal, Erik J. 1 Singh, Arindama Cited in 4 Serials 1 Journal of Automated Reasoning 1 International Journal of Computer Mathematics 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence Cited in 3 Fields 3 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 1 Biology and other natural sciences (92-XX) Citations by Year