Search dblp for Publications

export results for "toc:db/journals/rc/rc19.bht:"

 download as .bib file

@article{DBLP:journals/rc/AuerK13,
  author       = {Ekaterina Auer and
                  Stefan Kiel},
  title        = {Uses of Verified Methods for Solving Non-Smooth Initial Value Problems},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {2},
  pages        = {156--175},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-156-175.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/AuerK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/DobronetsP13,
  author       = {Boris S. Dobronets and
                  Olga A. Popova},
  title        = {Numerical Probabilistic Analysis under Aleatory and Epistemic Uncertainty},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {3},
  pages        = {274--289},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-274-289.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/DobronetsP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/DombrovskiiC13,
  author       = {Vladimir V. Dombrovskii and
                  Elena V. Chausova},
  title        = {Model Predictive Control for Linear Systems with Interval and Stochastic
                  Uncertainties},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {4},
  pages        = {351--360},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-351-360.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/DombrovskiiC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/Gatilov13,
  author       = {Stepan Yu. Gatilov},
  title        = {Efficient Angle Summation Algorithm for Point Inclusion Test and Its
                  Robustness},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {1},
  pages        = {1--25},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-001-025.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/Gatilov13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/HoracekH13,
  author       = {Jaroslav Hor{\'{a}}cek and
                  Milan Hlad{\'{\i}}k},
  title        = {Computing Enclosures of Overdetermined Interval Linear Systems},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {2},
  pages        = {142--155},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-142-155.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/HoracekH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/Jaulin13,
  author       = {Luc Jaulin},
  title        = {Outer Approximation of Attractors Using an Interval Quantization},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {3},
  pages        = {261--273},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-261-273.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/Jaulin13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/KielAR13,
  author       = {Stefan Kiel and
                  Ekaterina Auer and
                  Andreas Rauh},
  title        = {An Environment for Testing, Verification and Validation of Dynamical
                  Models in the Context of Solid Oxide Fuel Cells},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {3},
  pages        = {302--317},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-302-317.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/KielAR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/Kostousova13,
  author       = {Elena K. Kostousova},
  title        = {On Boundedness and Unboundedness of Polyhedral Estimates for Reachable
                  Sets of Linear Differential Systems},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {1},
  pages        = {26--44},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-026-044.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/Kostousova13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/Kubica13,
  author       = {Bartlomiej Jacek Kubica},
  title        = {Excluding Regions Using Sobol Sequences in an Interval Branch-and-Prune
                  Method for Nonlinear Systems},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {4},
  pages        = {385--397},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-385-397.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/Kubica13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/KumkovM13,
  author       = {Sergey I. Kumkov and
                  Yuliya V. Mikushina},
  title        = {Interval Approach to Identification of Catalytic Process Parameters},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {2},
  pages        = {197--214},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-197-214.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/KumkovM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/LabutinS13,
  author       = {Ilya B. Labutin and
                  Irina V. Surodina},
  title        = {Algorithm for Sparse Approximate Inverse Preconditioners in the Conjugate
                  Gradient Method},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {1},
  pages        = {120--126},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-120-126.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/LabutinS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/Lakeyev13,
  author       = {Anatoly V. Lakeyev},
  title        = {On Unboundedness of Generalized Solution Sets for Interval Linear
                  Systems},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {3},
  pages        = {290--301},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-290-301.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/Lakeyev13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/LyudvinS13,
  author       = {Dmitri Yu. Lyudvin and
                  Sergey P. Shary},
  title        = {Testing Implementations of PPS-methods for Interval Linear Systems},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {2},
  pages        = {176--196},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-176-196.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/LyudvinS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/MinamihataSOO13,
  author       = {Atsushi Minamihata and
                  Kouta Sekine and
                  Takeshi Ogita and
                  Shin'ichi Oishi},
  title        = {Fast Verified Solutions of Sparse Linear Systems with H-matrices},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {2},
  pages        = {127--141},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-127-141.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/MinamihataSOO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/MontanDCL13,
  author       = {S{\'{e}}thy Montan and
                  Christophe Denis and
                  Jean Marie Chesneaux and
                  Jean Luc Lamotte},
  title        = {Efficient Matrix Multiplication Based on Discrete Stochastic Arithmetic},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {4},
  pages        = {398--416},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-398-416.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/MontanDCL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/NadezhinZ13,
  author       = {Dmitry Yu. Nadezhin and
                  Sergei I. Zhilin},
  title        = {JInterval Library: Principles, Development, and Perspectives},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {3},
  pages        = {229--247},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-229-247.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/NadezhinZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/Okayama13,
  author       = {Tomoaki Okayama},
  title        = {Error Estimates with Explicit Constants for Sinc Quadrature and Sinc
                  Indefinite Integration over Infinite Intervals},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {1},
  pages        = {45--65},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-045-065.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/Okayama13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/PanyukovG13,
  author       = {Anatoly V. Panyukov and
                  Valentin A. Golodov},
  title        = {Computing Best Possible Pseudo-Solutions to Interval Linear Systems
                  of Equations},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {2},
  pages        = {215--228},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-215-228.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/PanyukovG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/Prolubnikov13,
  author       = {Alexander V. Prolubnikov},
  title        = {An Interval Approach to Pattern Recognition of Numerical Matrices},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {1},
  pages        = {107--119},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-107-119.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/Prolubnikov13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/PushkarevG13,
  author       = {Maxim I. Pushkarev and
                  Sergey A. Gaivoronsky},
  title        = {Maximizing Stability Degree of Control Systems under Interval Uncertainty
                  Using a Coefficient Method},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {3},
  pages        = {248--260},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-248-260.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/PushkarevG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/RauhSDAA13,
  author       = {Andreas Rauh and
                  Luise Senkel and
                  Thomas D{\"{o}}tschel and
                  Harald Aschemann and
                  Ekaterina Auer},
  title        = {Numerical Verification and Experimental Validation of Sliding Mode
                  Control Design for Uncertain Thermal {SOFC} Models},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {4},
  pages        = {330--350},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-330-350.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/RauhSDAA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/RauhSKA13,
  author       = {Andreas Rauh and
                  Luise Senkel and
                  Julia Kersten and
                  Harald Aschemann},
  title        = {Interval Methods for Sensitivity-Based Model-Predictive Control of
                  Solid Oxide Fuel Cell Systems},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {4},
  pages        = {361--384},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-361-384.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/RauhSKA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/RauhWAA13,
  author       = {Andreas Rauh and
                  Ramona Westphal and
                  Harald Aschemann and
                  Ekaterina Auer},
  title        = {Exponential Enclosure Techniques for the Computation of Guaranteed
                  State Enclosures in ValEncIA-IVP},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {1},
  pages        = {66--90},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-066-090.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/RauhWAA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/RevolT13,
  author       = {Nathalie Revol and
                  Philippe Th{\'{e}}veny},
  title        = {Parallel Implementation of Interval Matrix Multiplication},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {1},
  pages        = {91--106},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-091-106.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/RevolT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/Savchenko13,
  author       = {Alexander Savchenko},
  title        = {Computation of Potential and Attraction Force of an Ellipsoid},
  journal      = {Reliab. Comput.},
  volume       = {19},
  number       = {3},
  pages        = {318--329},
  year         = {2013},
  url          = {http://interval.louisiana.edu/reliable-computing-journal/volume-19/reliable-computing-19-pp-318-329.pdf},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rc/Savchenko13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics