%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.00",
%%%     date            = "09 July 2009",
%%%     time            = "16:01:47 MDT",
%%%     filename        = "math-comput-sci.bib",
%%%     address         = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "41554 1485 5837 66362",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography; BibTeX; Mathematics in Computer
%%%                        Science",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a COMPLETE bibliography of the
%%%                        journal Mathematics in Computer Science
%%%                        (no CODEN, ISSN 1661-8270 (print), 1661-8289
%%%                        (electronic)), published by Springer-Verlag.
%%%                        Publication began with volume 1 in 2007, and
%%%                        the journal appears quarterly.
%%%
%%%                        The journal has a Web site reachable from
%%%                        links at
%%%
%%%                            http://link.springer.de/link/service/journals/
%%%                            http://link.springer-ny.com/link/service/journals/
%%%
%%%                        or directly from either of these:
%%%
%%%                            http://springerlink.metapress.com/content/120522/
%%%                            http://springerlink.metapress.com/openurl.asp?genre=journal&issn=1661-8270
%%%
%%%                        You can use the article Digital Object
%%%                        Identifier (DOI) values in a search box at
%%%                        the Web site to find articles quickly.
%%%
%%%                        At version 1.00, the COMPLETE year coverage
%%%                        looked like this:
%%%
%%%                             2007 (  18)    2008 (  35)    2009 (  10)
%%%
%%%                             Article:         63
%%%
%%%                             Total entries:   63
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

@Preamble{
    "\ifx \undefined \circled \def \circled #1{(#1)}\fi" #
    "\ifx \undefined \reg \def \reg {\circled{R}}\fi"
}

%%% ====================================================================
%%% Acknowledgement abbreviations:

@String{ack-nhfb = "Nelson H. F. Beebe,
                    Center for Scientific Computing,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%% ====================================================================
%%% Journal abbreviations:

@String{j-MATH-COMPUT-SCI       = "Mathematics in Computer Science"}

%%% ====================================================================
%%% Bibliography entries:

@Article{Wang:2007:E,
  author =       "Dongming Wang and Zhiming Zheng",
  title =        "Editorial",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "1",
  pages =        "1--2",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0007-5",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:39 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=1&spage=1",
  acknowledgement = ack-nhfb,
}

@Article{Yap:2007:F,
  author =       "Chee K. Yap and Hoon Hong",
  title =        "Foreword",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "1",
  pages =        "3--7",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0009-3",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:39 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=1&spage=3",
  acknowledgement = ack-nhfb,
}

@Article{Trefethen:2007:CNF,
  author =       "Lloyd N. Trefethen",
  title =        "Computing Numerically with Functions Instead of
                 Numbers",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "1",
  pages =        "9--19",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0001-y",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  MRclass =      "41Axx (68W30)",
  MRnumber =     "MR2384813",
  bibdate =      "Thu Jul 9 15:43:39 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=1&spage=9",
  acknowledgement = ack-nhfb,
  keywords =     "Mathematics Subject Classification (2000); Primary
                 41A10; Secondary 68W30",
}

@Article{Richardson:2007:ZTC,
  author =       "Daniel Richardson",
  title =        "Zero Tests for Constants in Simple Scientific
                 Computation",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "1",
  pages =        "21--37",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0002-x",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:39 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=1&spage=21",
  acknowledgement = ack-nhfb,
  keywords =     "03D15; 11J85; 26A09; Mathematics Subject
                 Classification (2000)",
}

@Article{Ghosh:2007:ACS,
  author =       "Sunayana Ghosh and Sylvain Petitjean and Gert Vegter",
  title =        "Approximation by Conic Splines",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "1",
  pages =        "39--69",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0004-8",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  MRclass =      "subject classification (2000); Primary 65D07; 65D17;
                 Secondary 68Q25",
  bibdate =      "Thu Jul 9 15:43:39 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=1&spage=39",
  acknowledgement = ack-nhfb,
  keywords =     "affine curvature; affine spiral; Approximation;
                 complexity; conics; differential geometry; Hausdorff
                 distance; splines",
}

@Article{Sharma:2007:RAZ,
  author =       "Vikram Sharma",
  title =        "Robust Approximate Zeros in {Banach} Space",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "1",
  pages =        "71--109",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0005-7",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:39 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=1&spage=71",
  acknowledgement = ack-nhfb,
  keywords =     "65G99; 65H10; 65Y20; 68Q25; Mathematics Subject
                 Classification (2000)",
}

@Article{vanderHoeven:2007:EAC,
  author =       "Joris van der Hoeven",
  title =        "On Effective Analytic Continuation",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "1",
  pages =        "111--175",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0006-6",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:39 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=1&spage=111",
  acknowledgement = ack-nhfb,
  keywords =     "03F60; 30-04; 30B40; 30F99; Mathematics Subject
                 Classification (2000)",
}

@Article{Din:2007:TSC,
  author =       "Mohab Safey El Din",
  title =        "Testing Sign Conditions on a Multivariate Polynomial
                 and Applications",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "1",
  pages =        "177--207",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0003-9",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:39 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=1&spage=177",
  acknowledgement = ack-nhfb,
  keywords =     "Mathematics Subject Classification (2000); Primary
                 14Q20; Secondary 14P10",
}

@Article{Wang:2007:F,
  author =       "Dongming Wang and Lihong Zhi",
  title =        "Foreword",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "2",
  pages =        "209--210",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0008-4",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:46 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=209",
  acknowledgement = ack-nhfb,
}

@Article{Zhou:2007:CGB,
  author =       "Meng Zhou and Franz Winkler",
  title =        "On Computing {Gr{\"o}bner} Bases in Rings of
                 Differential Operators with Coefficients in a Ring",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "2",
  pages =        "211--223",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0015-5",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  MRclass =      "subject classification (2000); 16; 04",
  bibdate =      "Thu Jul 9 15:43:46 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=211",
  acknowledgement = ack-nhfb,
  keywords =     "Gr{\~A}\P{}bner basis; G-S-polynomials; rings of
                 differential operators",
}

@Article{Shemyakova:2007:PFS,
  author =       "Ekaterina Shemyakova",
  title =        "Parametric Factorizations of Second-, Third- and
                 {Fourth--Order} Linear Partial Differential Operators
                 with a Completely Factorable Symbol on the Plane",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "2",
  pages =        "225--237",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0019-1",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:46 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=225",
  acknowledgement = ack-nhfb,
  keywords =     "Mathematics Subject Classification (2000); Primary
                 47F05; Secondary 68W30",
}

@Article{Feinsilver:2007:IAF,
  author =       "Philip Feinsilver and Ren{\'e} Schott",
  title =        "Inversion of Analytic Functions via Canonical
                 Polynomials: {A} Matrix Approach",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "2",
  pages =        "239--251",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0011-9",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  MRclass =      "subject classification (2000); Primary 30A99;
                 Secondary 68W30; 37C10; 30A06",
  bibdate =      "Thu Jul 9 15:43:46 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=239",
  acknowledgement = ack-nhfb,
  keywords =     "analytic functions; canonical polynomials; dual vector
                 fields; Lagrange inversion; symbolic computation",
}

@Article{Romanovski:2007:BPP,
  author =       "Valery G. Romanovski",
  title =        "Bifurcations of Periodic Points of Some Algebraic
                 Maps",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "2",
  pages =        "253--265",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0017-3",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:46 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=253",
  acknowledgement = ack-nhfb,
  keywords =     "13P; 37G15; 37M20; Mathematics Subject Classification
                 (2000)",
}

@Article{Pearson:2007:SSC,
  author =       "Jane M. Pearson and Noel G. Lloyd",
  title =        "Space Saving Calculation of Symbolic Resultants",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "2",
  pages =        "267--290",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0016-4",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  MRclass =      "subject classification (2000); 68W30; 34C07; 13P05",
  bibdate =      "Thu Jul 9 15:43:46 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=267",
  acknowledgement = ack-nhfb,
  keywords =     "multivariate resultants; Symbolic computation",
}

@Article{Gu:2007:UCA,
  author =       "Nong Gu and Daniel Lazard and Fabrice Rouillier and
                 Yong Xiang",
  title =        "Using Computer Algebra to Certify the Global
                 Convergence of a Numerical Optimization Process",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "2",
  pages =        "291--304",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0021-7",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:46 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=291",
  acknowledgement = ack-nhfb,
  keywords =     "14P10; 65K99; Mathematics Subject Classification
                 (2000); Primary 94A12; secondary 13P10",
}

@Article{Zhang:2007:NMR,
  author =       "Ting Zhang and Bican Xia",
  title =        "A New Method for Real Root Isolation of Univariate
                 Polynomials",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "2",
  pages =        "305--320",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0022-6",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:46 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=305",
  acknowledgement = ack-nhfb,
  keywords =     "68W30; Mathematics Subject Classification (2000)",
}

@Article{Sekigawa:2007:LPC,
  author =       "Hiroshi Sekigawa and Kiyoshi Shirayanagi",
  title =        "On the Location of Pseudozeros of a Complex Interval
                 Polynomial",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "2",
  pages =        "321--335",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0018-2",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:46 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=321",
  acknowledgement = ack-nhfb,
  keywords =     "Mathematics Subject Classification (2000); Primary
                 12D10; Secondary 30C15",
}

@Article{Graillat:2007:PSR,
  author =       "Stef Graillat",
  title =        "Pseudozero Set of Real Multivariate Polynomials",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "2",
  pages =        "337--352",
  month =        dec,
  year =         "2007",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0012-8",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:46 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=2&spage=337",
  acknowledgement = ack-nhfb,
  keywords =     "12D10; 26C10; 30C10; 30C15; Mathematics Subject
                 Classification (2000)",
}

@Article{Kotsireas:2008:F,
  author =       "Ilias S. Kotsireas",
  title =        "Foreword",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "3",
  pages =        "439--439",
  month =        mar,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0041-y",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:54 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=3",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=3&spage=439",
  acknowledgement = ack-nhfb,
}

@Article{Chen:2008:CSN,
  author =       "William Y. C. Chen and Andreas W. M. Dress and Winking
                 Q. Yu",
  title =        "Community Structures of Networks",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "3",
  pages =        "441--457",
  month =        mar,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0035-1",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:54 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=3",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=3&spage=441",
  acknowledgement = ack-nhfb,
  keywords =     "68W25; 90C35; 90C90; Mathematics Subject
                 Classification (2000)",
}

@Article{Ganzha:2008:ESH,
  author =       "Elena I. Ganzha and Valery M. Loginov and Sergey P.
                 Tsarev",
  title =        "Exact Solutions of Hyperbolic Systems of Kinetic
                 Equations. Application to {Verhulst} Model with Random
                 Perturbation",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "3",
  pages =        "459--472",
  month =        mar,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0036-0",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:54 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=3",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=3&spage=459",
  acknowledgement = ack-nhfb,
  keywords =     "60-08; 65C20; 68W30; Mathematics Subject
                 Classification (2000)",
}

@Article{Yoshida:2008:IPS,
  author =       "Hiroshi Yoshida and Katsuhisa Horimoto and Hirokazu
                 Anai",
  title =        "Inference of Probabilities over a Stochastic
                 {IL}-System by Quantifier Elimination",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "3",
  pages =        "473--485",
  month =        mar,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0037-z",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:54 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=3",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=3&spage=473",
  acknowledgement = ack-nhfb,
  keywords =     "03C10; 03D05; 62M99; 65H10; Mathematics Subject
                 Classification (2000)",
}

@Article{Kosub:2008:DRF,
  author =       "Sven Kosub",
  title =        "Dichotomy Results for Fixed-Point Existence Problems
                 for {Boolean} Dynamical Systems",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "3",
  pages =        "487--505",
  month =        mar,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0038-y",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:54 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=3",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=3&spage=487",
  acknowledgement = ack-nhfb,
  keywords =     "68Q17; 68Q80; 68Q85; 68R10; Mathematics Subject
                 Classification (2000)",
}

@Article{Niu:2008:AAS,
  author =       "Wei Niu and Dongming Wang",
  title =        "Algebraic Approaches to Stability Analysis of
                 Biological Systems",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "3",
  pages =        "507--539",
  month =        mar,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0039-x",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:54 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=3",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=3&spage=507",
  acknowledgement = ack-nhfb,
  keywords =     "Mathematics Subject Classification (2000); Primary
                 34D20; Secondary 68W30; Tertiary 78A70",
}

@Article{Chan:2008:F,
  author =       "Joseph Wun-Tat Chan and Maxime Crochemore",
  title =        "Foreword",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "4",
  pages =        "541--542",
  month =        jun,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0034-2",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:59 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=541",
  acknowledgement = ack-nhfb,
}

@Article{Chan:2008:NOC,
  author =       "H. L. Chan and T. W. Lam and W. K. Sung and P. W. H.
                 Wong and S. M. Yiu",
  title =        "Non-overlapping Common Substrings Allowing Mutations",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "4",
  pages =        "543--555",
  month =        jun,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0030-6",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:59 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=543",
  acknowledgement = ack-nhfb,
  keywords =     "Mathematics Subject Classification (2000); Primary
                 92-08; Secondary 68W05",
}

@Article{Iliopoulos:2008:NAP,
  author =       "Costas S. Iliopoulos and Laurent Mouchard and M. Sohel
                 Rahman",
  title =        "A New Approach to Pattern Matching in Degenerate
                 {DNA\slash RNA} Sequences and Distributed Pattern
                 Matching",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "4",
  pages =        "557--569",
  month =        jun,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0029-z",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:59 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=557",
  acknowledgement = ack-nhfb,
  keywords =     "Mathematics Subject Classification (2000); Primary
                 68W05; Secondary 68Q25",
}

@Article{Tiskin:2008:SLS,
  author =       "Alexander Tiskin",
  title =        "Semi-local String Comparison: Algorithmic Techniques
                 and Applications",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "4",
  pages =        "571--603",
  month =        jun,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0033-3",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:59 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=571",
  acknowledgement = ack-nhfb,
  keywords =     "Mathematics Subject Classification (2000); Primary
                 68W05; Secondary 68R15",
}

@Article{Chen:2008:LZF,
  author =       "Gang Chen and Simon J. Puglisi and W. F. Smyth",
  title =        "{Lempel--Ziv} Factorization Using Less Time {\&}
                 Space",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "4",
  pages =        "605--623",
  month =        jun,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0024-4",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:59 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=605",
  acknowledgement = ack-nhfb,
  keywords =     "68W05; Mathematics Subject Classification (2000)",
}

@Article{Beal:2008:UA,
  author =       "Marie-Pierre B{\'e}al and Eugen Czeizler and Jarkko
                 Kari and Dominique Perrin",
  title =        "Unambiguous Automata",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "4",
  pages =        "625--638",
  month =        jun,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0027-1",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:59 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=625",
  acknowledgement = ack-nhfb,
  keywords =     "20M35; 68Q45; 68R15; 94A45; Mathematics Subject
                 Classification (2000)",
}

@Article{Apostolico:2008:SUW,
  author =       "Alberto Apostolico and Cinzia Pizzi",
  title =        "Scoring Unusual Words with Varying Mismatch Errors",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "4",
  pages =        "639--653",
  month =        jun,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0032-4",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:59 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=639",
  acknowledgement = ack-nhfb,
  keywords =     "Mathematics Subject Classification (2000); Primary
                 68R15; Secondary 68W40",
}

@Article{Giancarlo:2008:TCC,
  author =       "Raffaele Giancarlo and Davide Scaturro and Filippo
                 Utro",
  title =        "A Tutorial on Computational Cluster Analysis with
                 Applications to Pattern Discovery in Microarray Data",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "4",
  pages =        "655--672",
  month =        jun,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0025-3",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:59 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=655",
  acknowledgement = ack-nhfb,
  keywords =     "68Q05; Mathematics Subject Classification (2000);
                 Primary 68Q25",
}

@Article{Banerjee:2008:EAV,
  author =       "Satyajit Banerjee and Atish Datta Chowdhury and Subhas
                 Kumar Ghosh",
  title =        "Efficient Algorithms for Variants of Weighted Matching
                 and Assignment Problems",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "4",
  pages =        "673--688",
  month =        jun,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0028-0",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:59 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=673",
  acknowledgement = ack-nhfb,
  keywords =     "68W25; Mathematics Subject Classification (2000);
                 Primary 68R10; Secondary 05C85",
}

@Article{Farago:2008:GTD,
  author =       "Andr{\'a}s Farag{\'o}",
  title =        "A General Tractable Density Concept for Graphs",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "1",
  number =       "4",
  pages =        "689--699",
  month =        jun,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0026-2",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:43:59 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=1&issue=4",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=1&issue=4&spage=689",
  acknowledgement = ack-nhfb,
  keywords =     "Mathematics Subject Classification (2000); Primary
                 05C85; Secondary 68Q25",
}

@Article{Plaice:2008:HBW,
  author =       "John Plaice and Mehmet A. Orgun",
  title =        "In Honour of {Bill Wadge}",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "1",
  pages =        "1--3",
  month =        nov,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0061-7",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:07 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=1",
  acknowledgement = ack-nhfb,
}

@Article{Selivanov:2008:WRI,
  author =       "Victor Selivanov",
  title =        "{Wadge} Reducibility and Infinite Computations",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "1",
  pages =        "5--36",
  month =        nov,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0042-x",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:07 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=5",
  acknowledgement = ack-nhfb,
  keywords =     "03D10; 03E60; Mathematics Subject Classification
                 (2000); Primary 03D05; Secondary 03E15",
}

@Article{Plaice:2008:LTI,
  author =       "John Plaice and Blanca Mancilla and Gabriel Ditu",
  title =        "From {Lucid} to {TransLucid}: Iteration, Dataflow,
                 Intensional and {Cartesian} Programming",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "1",
  pages =        "37--61",
  month =        nov,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0043-9",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:07 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=37",
  acknowledgement = ack-nhfb,
  keywords =     "68N15; Mathematics Subject Classification (2000)",
}

@Article{Mancilla:2008:PWV,
  author =       "Blanca Mancilla and John Plaice",
  title =        "Possible Worlds Versioning",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "1",
  pages =        "63--83",
  month =        nov,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0044-8",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:07 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=63",
  acknowledgement = ack-nhfb,
  keywords =     "68N19; Mathematics Subject Classification (2000)",
}

@Article{Finkel:2008:WDI,
  author =       "Olivier Finkel",
  title =        "{Wadge} Degrees of Infinitary Rational Relations",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "1",
  pages =        "85--102",
  month =        nov,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0045-7",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:07 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=85",
  acknowledgement = ack-nhfb,
  keywords =     "03B70; 03D05; 03E15; 68Q15; 68Q45; Mathematics Subject
                 Classification (2000)",
}

@Article{Orchard:2008:ILD,
  author =       "Dominic A. Orchard and Steve Matthews",
  title =        "Integrating {Lucid}'s Declarative Dataflow Paradigm
                 into Object-Orientation",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "1",
  pages =        "103--122",
  month =        nov,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0046-6",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:07 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=103",
  acknowledgement = ack-nhfb,
  keywords =     "68N15; 68N19; 68Q55; Mathematics Subject
                 Classification (2000)",
}

@Article{Charalambidis:2008:EII,
  author =       "Angelos Charalambidis and Athanasios Grivas and
                 Nikolaos S. Papaspyrou and Panos Rondogiannis",
  title =        "Efficient Intensional Implementation for Lazy
                 Functional Languages",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "1",
  pages =        "123--141",
  month =        nov,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0047-5",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:07 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=123",
  acknowledgement = ack-nhfb,
  keywords =     "68N15; 68N18; 68N20; Mathematics Subject
                 Classification (2000)",
}

@Article{Orgun:2008:KRR,
  author =       "Mehmet A. Orgun and Chuchang Liu and Abhaya C. Nayak",
  title =        "Knowledge Representation, Reasoning and Integration
                 Using Temporal Logic with Clocks",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "1",
  pages =        "143--163",
  month =        nov,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0048-4",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  MRclass =      "subject classification (2000); 68T30; 68T27",
  bibdate =      "Thu Jul 9 15:44:07 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=143",
  acknowledgement = ack-nhfb,
  keywords =     "Multiple granularity of time; temporal knowledge
                 representation; temporal logics",
}

@Article{Orgun:2008:QHD,
  author =       "Mehmet A. Orgun",
  title =        "Querying Historical Data Over Multiple Time-Lines",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "1",
  pages =        "165--191",
  month =        nov,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0049-3",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  MRclass =      "subject classification (2000); 68P15; 68U35",
  bibdate =      "Thu Jul 9 15:44:07 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=1",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=1&spage=165",
  acknowledgement = ack-nhfb,
  keywords =     "Historical databases; multiple time-lines; temporal
                 algebras; temporal splicing",
}

@Article{Kerber:2008:F,
  author =       "Manfred Kerber",
  title =        "Foreword",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "2",
  pages =        "193--194",
  month =        dec,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0050-x",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:16 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=193",
  acknowledgement = ack-nhfb,
}

@Article{Aly:2008:ISS,
  author =       "Walaa Aly and Seiichi Uchida and Masakazu Suzuki",
  title =        "Identifying Subscripts and Superscripts in
                 Mathematical Documents",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "2",
  pages =        "195--209",
  month =        dec,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0051-9",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:16 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=195",
  abstract =     "In mathematical OCR, it is necessary to analyze
                 two-dimensional structures of the component characters
                 and symbols in mathematical expressions printed in
                 scientific documents. In this paper, we analyze the
                 positional relationships between adjacent characters
                 for the purpose of automatic discrimination between
                 baseline characters, subscripts, and superscripts,
                 which is one of the most important and delicate parts
                 of structure analysis. It has been proven through a
                 large-scale experiment that this discrimination can be
                 carried out almost perfectly ($\approx 99.89\%$) by
                 using the relative size and position of adjacent
                 characters.",
  acknowledgement = ack-nhfb,
  keywords =     "68T05; 68T10; Mathematics Subject Classification
                 (2000)",
}

@Article{Cohen:2008:APG,
  author =       "Arjeh M. Cohen and Jan Willem Knopper and Scott H.
                 Murray",
  title =        "Automatic Proof of Graph Nonisomorphism",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "2",
  pages =        "211--229",
  month =        dec,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0052-8",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:16 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=211",
  acknowledgement = ack-nhfb,
  keywords =     "03B35; 05C25; 05C60; 68R10; Mathematics Subject
                 Classification (2000)",
}

@Article{Urban:2008:ABC,
  author =       "Josef Urban and Geoff Sutcliffe",
  title =        "{ATP}-based {Cross--Verification} of {Mizar} Proofs:
                 Method, Systems, and First Experiments",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "2",
  pages =        "231--251",
  month =        dec,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0053-7",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:16 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=231",
  acknowledgement = ack-nhfb,
  keywords =     "Mathematics Subject Classification (2000); Primary
                 03E99; Secondary 68T15",
}

@Article{Autexier:2008:OTP,
  author =       "Serge Autexier and Christoph Benzm{\"u}ller and
                 Dominik Dietrich and Marc Wagner",
  title =        "Organization, Transformation, and Propagation of
                 Mathematical Knowledge in {$\Omega$mega}",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "2",
  pages =        "253--277",
  month =        dec,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0054-6",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:16 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=253",
  acknowledgement = ack-nhfb,
  keywords =     "68T30; 68T35; Mathematics Subject Classification
                 (2000)",
}

@Article{Kohlhase:2008:USM,
  author =       "Michael Kohlhase",
  title =        "Using {\LaTeX} as a Semantic Markup Format",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "2",
  pages =        "279--304",
  month =        dec,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0055-5",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  MRclass =      "subject classification (2000); 68U15",
  bibdate =      "Thu Jul 9 15:44:16 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=279",
  abstract =     "One of the great problems of Mathematical Knowledge
                 Management (MKM) systems is to obtain access to a
                 sufficiently large corpus of mathematical knowledge to
                 allow the management/search/navigation techniques
                 developed by the community to display their strength.
                 Such systems usually expect the mathematical knowledge
                 they operate on in the form of semantically enhanced
                 documents, but mathematicians and publishers in
                 Mathematics have heavily invested into the
                 {\TeX}/{\LaTeX} format and workflow.\par

                 We analyze the current practice of semi-semantic markup
                 in {\LaTeX} documents and extend it by a markup
                 infrastructure that allows to embed semantic
                 annotations into {\LaTeX} documents without changing
                 their visual appearance. This collection of {\TeX}
                 macro packages is called {s\TeX} (semantic {\TeX}) as
                 it allows to markup documents semantically without
                 leaving the time-tried workflow, essentially turning
                 {\LaTeX} into an MKM format. At the heart of {s\TeX} is
                 a definition mechanism for semantic macros for
                 mathematical objects and a non-standard scoping
                 construct for them, which is oriented at the semantic
                 dependency relation rather than the document structure.
                 We evaluate the {s\TeX} macro collection on a large
                 case study: the course materials of a two-semester
                 course in Computer Science was annotated semantically
                 and converted to the OMDoc MKM format by Bruce Miller's
                 {\LaTeX}ML system.",
  acknowledgement = ack-nhfb,
  keywords =     "elision; Knowledge representation; semantics;
                 typography",
}

@Article{Altamimi:2008:MQL,
  author =       "Moody Ebrahem Altamimi and Abdou Youssef",
  title =        "A Math Query Language with an Expanded Set of
                 Wildcards",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "2",
  pages =        "305--331",
  month =        dec,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0056-4",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:16 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=305",
  abstract =     "Math search is a new area of research with many
                 enabling technologies but also many challenges. Some of
                 the enabling technologies include XML, XPath, XQuery,
                 and MathML. Some of the challenges involve enabling
                 search systems to recognize mathematical symbols and
                 structures. Several math search projects have made
                 considerable progress in meeting those challenges. One
                 of the remaining challenges is the creation and
                 implementation of a math query language that enables
                 the general users to express their information needs
                 intuitively yet precisely. This paper will present such
                 a language and detail its features. The new math query
                 language offers an alternative way to describe
                 mathematical expressions that is more consistent and
                 less ambiguous than conventional mathematical notation.
                 In addition, the language goes beyond the Boolean and
                 proximity query syntax found in standard text search
                 systems. It defines a powerful set of wildcards that
                 are deemed important for math search. These wildcards
                 provide for more precise structural search and
                 multi-levels of abstractions. Three new sets of
                 wildcards and their implementation details will also be
                 discussed.",
  acknowledgement = ack-nhfb,
  keywords =     "68N99; Mathematics Subject Classification (2000)",
}

@Article{Youssef:2008:RRH,
  author =       "Abdou S. Youssef",
  title =        "Relevance Ranking and Hit Description in Math Search",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "2",
  pages =        "333--353",
  month =        dec,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0057-3",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:16 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=333",
  acknowledgement = ack-nhfb,
  keywords =     "68N99; Mathematics Subject Classification (2000)",
}

@Article{Coen:2008:SDE,
  author =       "Claudio Sacerdoti Coen and Stefano Zacchiroli",
  title =        "Spurious Disambiguation Errors and How to Get Rid of
                 Them",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "2",
  pages =        "355--378",
  month =        dec,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0058-2",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:16 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=355",
  acknowledgement = ack-nhfb,
  keywords =     "Mathematics Subject Classification (2000); Primary
                 68T99; Secondary 03B70",
}

@Article{Davenport:2008:FEO,
  author =       "James H. Davenport and Paul Libbrecht",
  title =        "The Freedom to Extend {OpenMath} and its Utility",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "2",
  pages =        "379--398",
  month =        dec,
  year =         "2008",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0059-1",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:16 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=379",
  abstract =     "OpenMath is a standard for representing the semantics
                 of mathematical objects. It differs from Presentation
                 MathML in not being directly concerned with the
                 presentation of the object, and from Content MathML 2
                 in being extensible.\par

                 How should these extensions be performed so as to
                 maximize the utility (which includes presentation) of
                 OpenMath? How could publishers have the freedom to
                 extend and let consumers find their way with
                 expressions discovered on the Web? The answer up to now
                 has been, too often, to say `this is not specified'
                 whereas the existing content dictionary mechanism of
                 OpenMath allows it to include formal properties which
                 state mathematical facts that should stay
                 uncontradicted while manipulating the symbols.\par

                 The contribution of this paper is to propose methods to
                 exploit the content dictionaries so as to allow an
                 OpenMath-consuming tool to process expressions even if
                 containing symbols it did not know about before. This
                 approach is generalized to allow such newly discovered
                 symbol to be, for example, rendered or input.",
  acknowledgement = ack-nhfb,
  keywords =     "00A22; 00A35; 68M14; 68P20; 68T30; Mathematics Subject
                 Classification (2000)",
}

@Article{Anai:2009:F,
  author =       "Hirokazu Anai and Katsuhisa Horimoto",
  title =        "Foreword",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "3",
  pages =        "399--400",
  month =        mar,
  year =         "2009",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-009-0070-1",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:24 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=3",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=3&spage=399",
  acknowledgement = ack-nhfb,
}

@Article{Tamura:2009:ASA,
  author =       "Takeyuki Tamura and Tatsuya Akutsu",
  title =        "Algorithms for Singleton Attractor Detection in Planar
                 and Nonplanar {AND\slash OR} {Boolean} Networks",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "3",
  pages =        "401--420",
  month =        mar,
  year =         "2009",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0063-5",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:24 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=3",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=3&spage=401",
  acknowledgement = ack-nhfb,
  keywords =     "Mathematics Subject Classification (2000); Primary
                 11Y16; Secondary 68Q25",
}

@Article{Siebert:2009:DBB,
  author =       "Heike Siebert",
  title =        "Deriving Behavior of Boolean Bioregulatory Networks
                 from Subnetwork Dynamics",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "3",
  pages =        "421--442",
  month =        mar,
  year =         "2009",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0064-4",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:24 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=3",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=3&spage=421",
  acknowledgement = ack-nhfb,
  keywords =     "92C99; Mathematics Subject Classification (2000)",
}

@Article{Boulier:2009:TAR,
  author =       "Fran{\c{c}}ois Boulier and Fran{\c{c}}ois Lemaire and
                 Alexandre Sedoglavic and Asli {\"U}rg{\"u}pl{\"u}",
  title =        "Towards an Automated Reduction Method for Polynomial
                 {ODE} Models of Biochemical Reaction Systems",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "3",
  pages =        "443--464",
  month =        mar,
  year =         "2009",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0062-6",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:24 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=3",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=3&spage=443",
  acknowledgement = ack-nhfb,
  keywords =     "12H05; 37N25; 62P10; Mathematics Subject
                 Classification (2000)",
}

@Article{Bortolussi:2009:HDS,
  author =       "Luca Bortolussi and Alberto Policriti",
  title =        "Hybrid Dynamics of Stochastic $\pi$-Calculus",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "3",
  pages =        "465--491",
  month =        mar,
  year =         "2009",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0065-3",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  MRclass =      "subject classification (2000); 92C99; 68U20; 93A99",
  bibdate =      "Thu Jul 9 15:44:24 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=3",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=3&spage=465",
  acknowledgement = ack-nhfb,
  keywords =     "Stochastic $\pi$-calculus; conservation laws; hybrid
                 automata;",
}

@Article{Sturm:2009:IAL,
  author =       "Thomas Sturm and Andreas Weber and Essam O.
                 Abdel-Rahman and M'hammed El Kahoui",
  title =        "Investigating Algebraic and Logical Algorithms to
                 Solve {Hopf} Bifurcation Problems in Algebraic
                 Biology",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "3",
  pages =        "493--515",
  month =        mar,
  year =         "2009",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0067-1",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:24 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=3",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=3&spage=493",
  acknowledgement = ack-nhfb,
  keywords =     "03C10; 37G10; 92C45; Mathematics Subject
                 Classification (2000)",
}

@Article{Kahoui:2009:SDF,
  author =       "M\'hammed El Kahoui and Adamou Otto",
  title =        "Stability of Disease Free Equilibria in
                 Epidemiological Models",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "3",
  pages =        "517--533",
  month =        mar,
  year =         "2009",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0068-0",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:24 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=3",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=3&spage=517",
  acknowledgement = ack-nhfb,
  keywords =     "13P10; 92D30; Mathematics Subject Classification
                 (2000)",
}

@Article{McCaig:2009:IPS,
  author =       "Chris McCaig and Rachel Norman and Carron Shankland",
  title =        "From Individuals to Populations: {A} Symbolic Process
                 Algebra Approach to Epidemiology",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "2",
  number =       "3",
  pages =        "535--556",
  month =        mar,
  year =         "2009",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0066-2",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:24 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=3",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=3&spage=535",
  acknowledgement = ack-nhfb,
  keywords =     "68Q85; Mathematics Subject Classification (2000);
                 Primary 92D25; Secondary 92D30",
}

%%% Online articles that have not yet been assigned a journal volume and number [09-Jul-2009]

@Article{Ilie:2009:CCE,
  author =       "Silvana Ilie and Robert M. Corless and Chris Essex",
  title =        "The Computational Complexity of Extrapolation
                 Methods",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "??",
  number =       "??",
  pages =        "??--??",
  month =        "????",
  year =         "2009",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-007-0040-4",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:30 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=0&issue=0",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=0&issue=0&spage=??",
  acknowledgement = ack-nhfb,
  keywords =     "65L06; 68Q25; Mathematics Subject Classification
                 (2000)",
}

@Article{Nabeshima:2009:RGB,
  author =       "Katsusuke Nabeshima",
  title =        "Reduced {Gr{\"o}bner} Bases in Polynomial Rings over a
                 Polynomial Ring",
  journal =      j-MATH-COMPUT-SCI,
  volume =       "??",
  number =       "??",
  pages =        "??--??",
  month =        "????",
  year =         "2009",
  CODEN =        "????",
  DOI =          "http://dx.doi.org/10.1007/s11786-008-0060-8",
  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
  bibdate =      "Thu Jul 9 15:44:30 MDT 2009",
  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=0&issue=0",
  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=0&issue=0&spage=??",
  acknowledgement = ack-nhfb,
  keywords =     "Mathematics Subject Classification (2000); Primary
                 16-04; secondary 16U10",
}