%==============================================================================
%
%  pubneher.bib                                                        070426
%  publications of Markus Neher
%
%==============================================================================

@book{BlHoKrNe05a,
      author    = "F. Blomquist and W. Hofschuster and W. Kr{\"a}mer and 
                   M. Neher",
      title     = "Complex Interval Functions in {C-XSC}",
      publisher = "Preprint 2005/2,  Wissenschaftliches
                   Rechnen/Softwaretechnologie",
      address   = "Universit{\"a}t Wuppertal, Wuppertal, Germany",
      year      = "2005",
      }

@book{EblNeh00a,
      author    = "I. Eble and M. Neher",
      title     = "Ein multivariates {A}pproximationsproblem bei einer
                   {P}arameterstudie zur {S}tandsicherheit von {F}lussdeichen",
      publisher = "Preprint 00/18, Institut f{\"u}r Wissenschaftliches
                   Rechnen und Mathematische Modellbildung",
      address   = "Universit{\"a}t Karlsruhe, Karlsruhe, Germany",
      year      = "2000",
      }

@article{EblNeh03a,
      author    = "I. Eble and M. Neher",
      title     = "{ACETAF}: A Software Package for Computing  
                   Validated Bounds for {T}aylor Coefficients
                   of Analytic Functions",
      journal   = "ACM TOMS",
      volume    = "29",
      pages     = "263-286",
      year      = "2003",
      }

@article{KaSaGoWeNeEb01a,
      author    = "K. K{\"a}rcher and J. Santo and K.-M. Gottheil and U.
                   Weihnacht and M. Neher and I. Eble",
      title     = "Parameterstudie zur {G}r{\"o}{\ss}e der {W}asserdr{\"u}cke 
                   unter {D}eichen bei {H}ochw{\"a}ssern",
      journal   = "Geotechnik",
      volume    = "24",
      pages     = "201-205",
      year      = "2001",
      }

@incollection{KeNeOiRi04a,
      author    = "R. B. Kearfott and M. Neher and S. Oishi and F. Rico",
      title     = "Libraries, Tools, and Interactive Systems for Verified 
                   Computations: Four Case Studies",
      booktitle = "Numerical Software with Result Verification,
                   Springer Lecture Notes in Computer Science 2991",
      EDITOR    = "R. Alt and A. Frommer and R. B. Kearfott and W. Luther",
      publisher = "Springer, Berlin",
      pages     = "36-63",
      year      = "2004",
      }

@article{Neher91a,
      author    = "M. Neher",
      title     = "L{\"o}sungseinschlie{\ss}ung bei linearen elliptischen
                   {D}ifferential\-gleichungen",
      journal   = "ZAMM",
      volume    = "71",
      year      = "1991",
      pages     = "T697-T700",
      }

@incollection{Neher92a,
      author    = "M. Neher",
      title     = "Inclusion of eigenvalues and eigenfunctions of the
                   {S}turm-{L}iouville problem",
      booktitle = "Computer Arithmetic and Enclosure Methods",
      EDITOR    = "L. Atanassova and J. Herzberger",
      publisher = "Elsevier, Amsterdam",
      address   = "",
      pages     = "401-408",
      year      = "1992",                   
      }     

@phdthesis{Neher93a,
      author    = "M. Neher",
      title     = "Ein {E}inschlie{\ss}ungsverfahren f{\"u}r das inverse
                   {D}irichletproblem",
      SCHOOL    = "Universit{\"a}t Karlsruhe, Karlsruhe, Germany",
      year      = "1993",
      }

@article{Neher94a,
      author    = "M. Neher",
      title     = "L{\"o}sungseinschlie{\ss}ung beim endlichen
                   inversen {S}turm-{L}iouville-{P}roblem",
      journal   = "ZAMM",
      volume    = "74",
      year      = "1994",
      pages     = "T681-T683",
      }

@article{Neher94b,
      author    = "M. Neher",
      title     = "Enclosing solutions of an inverse {S}turm-{L}iouville 
                   problem with finite data",
      journal   = "Computing",
      volume    = "53",
      year      = "1994",
      pages     = "379-395",
      } 

@article{Neher95a,
      author    = "M. Neher",
      title     = "Ein {E}inschlie{\ss}ungsverfahren f{\"u}r
                   $y^{(n)} = \sum_{i=0}^{n-1} p_i(x) y^{(i)} + p(x)$",
      journal   = "ZAMM",
      volume    = "75",
      pages     = "S547-S548",
      year      = "1995",
      }
  
@article{Neher96a,
      author    = "M. Neher",
      title     = "An Enclosure Method for Linear {ODE}s with Analytical
                   Coefficients",
      journal   = "ZAMM",
      volume    = "76",
      number    = "S1",
      pages     = "489-490",
      year      = "1996",
      }
  
@article{Neher97a,
      author    = "M. Neher",
      title     = "Enclosing Power Series Solutions of {ODE}s",
      journal   = "ZAMM",
      volume    = "77",
      number    = "S2",
      pages     = "S635-S636",
      year      = "1997",
      }

@article{Neher98a,
      author    = "M. Neher",
      title     = "Impedance reconstruction in an inverse {S}turm-{L}iouville
                   problem with finite data",
      journal   = "ZAMM",
      volume    = "78",
      number    = "S3",
      pages     = "S1025-S1026",
      year      = "1998",
      }

@article{Neher98b,
      author    = "M. Neher",
      title     = "Enclosing solutions of an inverse {S}turm-{L}iouville
                   problem for an impedance",
      journal   = "J.\ Univ.\ Comp.\ Sci.",
      volume    = "4",
      pages     = "178-192",
      year      = "1998",
      }


@article{Neher99a,
      author    = "M. Neher",
      title     = "Validated bounds for the zeros of {A}iry functions",
      journal   = "ZAMM",
      volume    = "79",
      number    = "S3",
      pages     = "S813-S814",
      year      = "1999",
      }

@article{Neher99b,
      author    = "M. Neher",
      title     = "An enclosure method for the solution of linear {ODE}s with
                   polynomial coefficients",
      journal   = "Numer. Funct. Anal. and Optimiz.",
      volume    = "20",
      pages     = "779-803",
      year      = "1999",
      }	

@inproceedings{Neher01a,
      author    = "M. Neher",
      title     = "Geometric series bounds for the local errors of {T}aylor
                   methods for linear $n$-th order {ODE}s",
      booktitle = "Symbolic Algebraic Methods and Verification Methods",
      editor    = "G. Alefeld and J. Rohn and S. Rump and T. Yamamoto",
      publisher = "Springer, Wien",
      address   = "",
      pages     = "183-193",
      year      = "2001",
      } 

@article{Neher01b,
      author    = "M. Neher",
      title     = "Validated bounds for {T}aylor coefficients of analytic
                   functions",
      journal   = "Reliable Computing",
      volume    = "7",
      pages     = "307-319",
      year      = "2001",
      }

@article{Neher01c,
      author    = "M. Neher",
      title     = "Berechenbare {S}chranken von {T}aylorkoeffizienten
                   analytischer {F}unktionen",
      journal   = "ZAMM",
      volume    = "81",
      number    = "S3",
      pages     = "S747-S748",
      year      = "2001",
      }

@article{Neher01d,
      author    = "M. Neher",
      title     = "The mean value form for complex analytic functions",
      journal   = "Computing",
      volume    = "67",
      pages     = "255-268",
      year      = "2001",
      }

@article{Neher02a,
      author    = "M. Neher",
      title     = "Improved bounds for {T}aylor coefficients of analytic
                   functions",
      journal   = "Proc. Appl. Math. Mech.",
      volume    = "1",
      pages     = "450-451",
      year      = "2002",
      }
          
@article{Neher03a,
      author    = "M. Neher",
      title     = "Improved validated bounds for {T}aylor coefficients
                   and for {T}aylor remainder series",
      journal   = "J. Comput. Appl. Math.",
      volume    = "152",
      pages     = "393-404",
      year      = "2003",
      }

@article{Neher03c,
      author    = "M. Neher",
      title     = "On Mean Value Forms for Complex Functions",
      journal   = "Proc. Appl. Math. Mech.",
      volume    = "2",
      pages     = "444-445",
      year      = "2003",
      }
          
@book{Neher04a,
      author    = "M. Neher",
      title     = "Complex Standard Functions and Their Implementation in the 
                   {C}o{S}t{L}y Library. ",
      publisher = "Preprint 04/18, Fakult{\"a}t f{\"u}r Mathematik",
      address   = "Universit{\"a}t Karlsruhe, Karlsruhe, Germany",
      year      = "2004",
      }

@article{Neher04b,
      author    = "M. Neher",
      title     = "A Complex Mean Value Form for Curves",
      journal   = "Numerical Algorithms",
      volume    = "37",
      pages     = "337-343",
      year      = "2004",
      }

@inproceedings{Neher05a,
      author    = "M. Neher",
      title     = "From Interval Analysis to {T}aylor Models - An Overview",
      booktitle = "17th IMACS World Congress on Scientific Computation, 
                   Applied Mathematics and Simulation (Paris, France, 2005)", 
      pages     = "Paper T2-I-102-0658",
      year      = "2005",
      }

@book{Neher06a,
      author    = "M. Neher",
      title     = "A Note on a Sum Associated with the Generalized 
                   Hypergeometric Function",
      publisher = "Preprint 06/19, Fakult{\"a}t f{\"u}r Mathematik",
      address   = "Universit{\"a}t Karlsruhe, Karlsruhe, Germany",
      year      = "2006",
      }

@book{Neher06c,
      author    = "M. Neher",
      title     = "Verified Integration of Linear $n$th Order {ODEs} Using
                   Large Steps",
      publisher = "Preprint 06/20, Fakult{\"a}t f{\"u}r Mathematik",
      address   = "Universit{\"a}t Karlsruhe, Karlsruhe, Germany",
      year      = "2006",
      }

@article{Neher06e,
      author    = "M. Neher",
      title     = "Implementation of highly accurate complex inclusion 
                   functions in the {C}o{S}t{L}y library",
      journal   = "Proc. Appl. Math. Mech.",
      volume    = "6",
      pages     = "687-688",
      year      = "2006",
      }
          
@article{Neher07a,
      author    = "M. Neher",
      title     = "Complex Standard Functions and Their Implementation in the 
                   {C}o{S}t{L}y Library",
      journal   = "ACM TOMS",
      volume    = "33",
      pages     = "20-46",
      year      = "2007",
      }

@article{Neher07b,
      author    = "M. Neher",
      title     = "Verified Integration of Linear $n$th Order {ODEs} Using
                   Large Steps",
      journal   = "Appl. Math. Comput.",
      volume    = "186",
      pages     = "879-890",
      year      = "2007",
      }

@article{Neher07c,
      author    = "M. Neher",
      title     = "A Note on a Sum Associated with the Generalized 
                   Hypergeometric Function",
      journal   = "Appl. Math. Comput.",
      volume    = "187",
      pages     = "1527-1534",
      year      = "2007",
      }

@article{NehEbl04a,
      author    = "M. Neher and I. Eble",
      title     = "{C}o{S}t{L}y: A Validated Library for Complex Functions",
      journal   = "Proc. Appl. Math. Mech.",
      volume    = "4",
      pages     = "594-595",
      year      = "2004",
      }

@book{NeJaNe05a,
      author    = "M. Neher and K. R. Jackson and N. S. Nedialkov",
      title     = "On {T}aylor model based integration of {ODE}s",
      publisher = "Preprint 05/21, Fakult{\"a}t f{\"u}r Mathematik",
      address   = "Universit{\"a}t Karlsruhe, Karlsruhe, Germany",
      year      = "2005",
      }

@article{NeJaNe07a,
      author    = "M. Neher and K. R. Jackson and N. S. Nedialkov",
      title     = "On {T}aylor Model Based Integration of {ODEs}",
      journal   = "SIAM J. Numer. Anal.",
      volume    = "45",
      pages     = "236-262",
      year      = "2007",
      }

@article{JaNeNe07a,
      author    = "K. R. Jackson and N. Nedialkov and M. Neher",
      title     = "Analysis of the Blunting Anti-Wrapping Strategy",
      journal   = "Proc. Appl. Math. Mech.",
      volume    = "7",
      pages     = "1022901-1022902",
      year      = "2007",
      }