The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

R. Baker Kearfott: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. R. Baker Kearfott
    GlobSol: History, Composition, and Advice on Use. [Citation Graph (0, 0)][DBLP]
    COCOS, 2002, pp:17-31 [Conf]
  2. R. Baker Kearfott, Markus Neher, Shin'ichi Oishi, Fabien Rico
    Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:36-63 [Conf]
  3. Chenyi Hu, Magdy A. Bayoumi, R. Baker Kearfott, Qing Yang
    A Parallelized Algorithm for the All-Row Preconditioned Interval Newton/Generalized Bisection Method. [Citation Graph (0, 0)][DBLP]
    PPSC, 1991, pp:205-209 [Conf]
  4. R. Baker Kearfott
    Interval Extensions of Non-Smooth Functions for Global Optimization and Nonlinear Systems Solvers. [Citation Graph (0, 0)][DBLP]
    Computing, 1996, v:57, n:2, pp:149-162 [Journal]
  5. R. Baker Kearfott, Jianwei Dian
    Verifying Topological Indices for Higher-Order Rank Deficiencies. [Citation Graph (0, 0)][DBLP]
    J. Complexity, 2002, v:18, n:2, pp:589-611 [Journal]
  6. Jianwei Dian, R. Baker Kearfott
    Existence verification for singular and nonsmooth zeros of real nonlinear systems. [Citation Graph (0, 0)][DBLP]
    Math. Comput., 2003, v:72, n:242, pp:757-766 [Journal]
  7. R. Baker Kearfott
    On proving existence of feasible points in equality constrained optimization problems. [Citation Graph (0, 0)][DBLP]
    Math. Program., 1998, v:83, n:, pp:89-100 [Journal]
  8. R. Baker Kearfott
    An Example of Singularity in Nonlinear Systems. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2001, v:7, n:5, pp:425-429 [Journal]
  9. R. Baker Kearfott
    On Existence and Uniqueness Verification for Non-Smooth Functions. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2002, v:8, n:4, pp:267-282 [Journal]
  10. R. Baker Kearfott
    COCOS'02 - A Workshop on Global Constrained Optimization and Constraint Satisfaction October 2-4, 2002, Sophia-Antipolis, France. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2003, v:9, n:1, pp:81-87 [Journal]
  11. R. Baker Kearfott
    Errata and Opinion to: "An Interval Entropy Penalty Method for Nonlinear Global Optimization". [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2005, v:11, n:2, pp:163-164 [Journal]
  12. R. Baker Kearfott
    Validated Constraint Solving-Practicalities, Pitfalls, and New Developments. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2005, v:11, n:5, pp:383-391 [Journal]
  13. R. Baker Kearfott
    Kreinovich, V., Lakeyev, A., Rohn, J., and Kahl, P.: Computational Complexity and Feasibility of Data Processing and Interval Computations. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 1998, v:4, n:4, pp:405-409 [Journal]
  14. R. Baker Kearfott, G. William Walster
    SIAM Conference on Optimization, Validated Computing 2002, and the Fields Institute Informal Working Group on Validated Optimization. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2002, v:8, n:5, pp:419-424 [Journal]
  15. R. Baker Kearfott, G. William Walster
    Symbolic Preconditioning with Taylor Models: Some Examples. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2002, v:8, n:6, pp:453-468 [Journal]
  16. Humberto Muñoz, R. Baker Kearfott
    Slope Intervals, Generalized Gradients, Semigradients, Slant Derivatives, and Csets. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2004, v:10, n:3, pp:163-193 [Journal]
  17. George F. Corliss, Christopher Foley, R. Baker Kearfott
    Formulation for Reliable Analysis of Structural Frames. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2007, v:13, n:2, pp:125-147 [Journal]
  18. R. Baker Kearfott
    A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Math. Softw., 1995, v:21, n:1, pp:63-78 [Journal]
  19. R. Baker Kearfott
    Algorithm 763; INTERVAL_ARITHMETIC: A Fortran 90 Module for an Interval Data Type. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Math. Softw., 1996, v:22, n:4, pp:385-392 [Journal]
  20. R. Baker Kearfott, M. Dawande, K. Du, C. Hu
    Algorithm 737; INTLIB: a portable Fortran 77 interval standard-function library. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Math. Softw., 1994, v:20, n:4, pp:447-459 [Journal]
  21. R. Baker Kearfott, Manuel Novoa
    Algorithm 681: INTBIS, a portable interval Newton/bisection package. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Math. Softw., 1990, v:16, n:2, pp:152-157 [Journal]
  22. R. Baker Kearfott, G. William Walster
    On stopping criteria in verified nonlinear systems or optimization algorithms. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Math. Softw., 2000, v:26, n:3, pp:373-389 [Journal]

  23. Second Note on Basic Interval Arithmetic for IEEE754R. [Citation Graph (, )][DBLP]


  24. Interval Subroutine Library Mission. [Citation Graph (, )][DBLP]


  25. Interval Subroutine Library Mission. [Citation Graph (, )][DBLP]


  26. Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021. [Citation Graph (, )][DBLP]


  27. A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems. [Citation Graph (, )][DBLP]


Search in 0.033secs, Finished in 0.034secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002