Edit Profile (opens in new tab) Coffey, Todd S. Co-Author Distance Author ID: coffey.todd-s Published as: Coffey, Todd; Coffey, Todd S.; Coffey, T. more...less Documents Indexed: 6 Publications since 1997 Co-Authors: 9 Co-Authors with 5 Joint Publications 320 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Kelley, Carl T. 2 Gennings, Chris 1 Battermann, Astrid 1 Gablonsky, Joerg M. 1 Kavanagh, Kathleen Rose 1 Keyes, David Elliot 1 McMullan, R. J. 1 Miller, Cass T. 1 Patrick, Alton 1 Saidha, P. Serials 2 Journal of Agricultural, Biological, and Environmental Statistics 1 Journal of Computational and Applied Mathematics 1 SIAM Journal on Scientific Computing 1 Optimization and Engineering all top 5 Fields 2 Statistics (62-XX) 2 Numerical analysis (65-XX) 2 Fluid mechanics (76-XX) 2 Biology and other natural sciences (92-XX) 1 Ordinary differential equations (34-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Computer science (68-XX) 1 Geophysics (86-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 5 Publications have been cited 42 times in 39 Documents Cited by ▼ Year ▼ Pseudotransient continuation and differential-algebraic equations. Zbl 1048.65080 Coffey, Todd S.; Kelley, C. T.; Keyes, David E. 32 2003 Solution of a groundwater control problem with implicit filtering. Zbl 1042.76012 Battermann, Astrid; Gablonsky, Joerg M.; Patrick, Alton; Kelley, Carl T.; Kavanagh, Kathleen R.; Coffey, Todd; Miller, Cass T. 4 2002 Globally convergent algorithms for nonsmooth nonlinear equations in computational fluid dynamics. Zbl 1107.76360 Coffey, T.; McMullan, R. J.; Kelley, C. T.; McRae, D. S. 4 2003 The simultaneous analysis of mixed discrete and continuous outcomes using nonlinear threshold models. Zbl 1306.62223 Coffey, Todd; Gennings, Chris 2 2007 Logic for verifying public-key cryptographic protocols. Zbl 0866.68036 Coffey, T.; Saidha, P. 1 1997 The simultaneous analysis of mixed discrete and continuous outcomes using nonlinear threshold models. Zbl 1306.62223 Coffey, Todd; Gennings, Chris 2 2007 Pseudotransient continuation and differential-algebraic equations. Zbl 1048.65080 Coffey, Todd S.; Kelley, C. T.; Keyes, David E. 32 2003 Globally convergent algorithms for nonsmooth nonlinear equations in computational fluid dynamics. Zbl 1107.76360 Coffey, T.; McMullan, R. J.; Kelley, C. T.; McRae, D. S. 4 2003 Solution of a groundwater control problem with implicit filtering. Zbl 1042.76012 Battermann, Astrid; Gablonsky, Joerg M.; Patrick, Alton; Kelley, Carl T.; Kavanagh, Kathleen R.; Coffey, Todd; Miller, Cass T. 4 2002 Logic for verifying public-key cryptographic protocols. Zbl 0866.68036 Coffey, T.; Saidha, P. 1 1997 all cited Publications top 5 cited Publications all top 5 Cited by 72 Authors 6 Keyes, David Elliot 6 Luo, Xinlong 3 Berenguer, Laurent 3 Kelley, Carl T. 3 Liu, Lulu 3 Pollock, Sara 3 Tromeur-Dervout, Damien 2 Cai, Xiao-Chuan 2 Hwang, Fengnan 2 Xiao, Hang 1 Addis, Bernardetta 1 Auclair, Jean-Pierre 1 Baldea, Michael 1 Brazell, Michael J. 1 Cassioli, Andrea 1 Ceze, Marco A. B. 1 Chen, Jinhai 1 Coffey, Todd S. 1 Dobbins, Richard R. 1 Farthing, Matthew W. 1 Fidkowski, Krzysztof J. 1 Gao, Weiguo 1 Gee, Michael W. 1 Gennings, Chris 1 Hall, Carl Alan 1 Hansen, Michael Alan 1 Hemker, Thomas 1 Hinz, Jochen 1 Howle, Victoria E. 1 Huang, Chiau-Yu 1 Huard, David 1 Hwang, Seungyong 1 Kavanagh, Kathleen Rose 1 Kirby, Robert C. 1 Knoll, Dana A. 1 Krause, Rolf H. 1 Lai, Randy C. S. 1 Lee, Thomas C. M. 1 Lehoucq, Richard B. 1 Lemieux, Jean-François 1 Liao, Li-Zhi 1 Liu, Shutian 1 Locatelli, Marco 1 Luo, Li 1 Lv, Jiahui 1 Mavriplis, Dimitri J. 1 Möller, Matthias 1 Nordström, Jan 1 Pitz, Robert Wendell 1 Qi, Liqun 1 Ruggiu, Andrea Alessandro 1 Schoen, Fabio 1 Sedláček, Jan 1 Sitaraman, Jayanarayanan 1 Smooke, Mitchell D. 1 Sun, Geng 1 Sutherland, James Clayton 1 Tam, Hon-Wah 1 Tremblay, Bruno 1 Tsay, Calvin 1 Tupper, Paul F. 1 von Stryk, Oskar 1 Vuik, Cornelis 1 Wang, Zhouhong 1 Wessing, Simon 1 Xiu, Naihua 1 Xu, Lei 1 Yan, Yan 1 Yan, Zhengzheng 1 Yu, Han 1 Zhang, Jianzhong 1 Zhang, Sen all top 5 Cited in 21 Serials 7 Journal of Computational Physics 5 SIAM Journal on Scientific Computing 2 Computers and Fluids 2 International Journal for Numerical Methods in Engineering 2 Journal of Optimization Theory and Applications 2 Numerical Functional Analysis and Optimization 2 Applied Numerical Mathematics 2 Optimization and Engineering 2 Journal of Agricultural, Biological, and Environmental Statistics 1 Computer Methods in Applied Mechanics and Engineering 1 Applied Mathematics and Computation 1 Journal of Computational and Applied Mathematics 1 Computer Aided Geometric Design 1 Journal of Scientific Computing 1 Linear Algebra and its Applications 1 Computational Optimization and Applications 1 Numerical Linear Algebra with Applications 1 Flow, Turbulence and Combustion 1 Combustion Theory and Modelling 1 Acta Numerica 1 Optimization Letters all top 5 Cited in 13 Fields 26 Numerical analysis (65-XX) 12 Fluid mechanics (76-XX) 9 Operations research, mathematical programming (90-XX) 5 Partial differential equations (35-XX) 4 Classical thermodynamics, heat transfer (80-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 3 Mechanics of deformable solids (74-XX) 2 Statistics (62-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Ordinary differential equations (34-XX) 1 Integral equations (45-XX) 1 Geophysics (86-XX) 1 Biology and other natural sciences (92-XX) Citations by Year