Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/mics/mics5.bht:"
download as .bib file
@article{DBLP:journals/mics/Acharya11,
author = {B. Devadas Acharya},
title = {Supra-Hereditary Properties of Hypergraphs},
journal = {Math. Comput. Sci.},
volume = {5},
number = {1},
pages = {3--6},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0072-7},
doi = {10.1007/S11786-011-0072-7},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Acharya11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Anai11,
author = {Hirokazu Anai},
title = {Foreword},
journal = {Math. Comput. Sci.},
volume = {5},
number = {3},
pages = {245--246},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0104-3},
doi = {10.1007/S11786-011-0104-3},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Anai11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/BoldoM11,
author = {Sylvie Boldo and
Claude March{\'{e}}},
title = {Formal Verification of Numerical Programs: From {C} Annotated Programs
to Mechanical Proofs},
journal = {Math. Comput. Sci.},
volume = {5},
number = {4},
pages = {377--393},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0099-9},
doi = {10.1007/S11786-011-0099-9},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/BoldoM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/BommanahalM11,
author = {Bommanahal Basavanagoud and
Keerthi G. Mirajkar},
title = {On Plick Graphs with Coarseness Number One},
journal = {Math. Comput. Sci.},
volume = {5},
number = {1},
pages = {7--10},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0079-0},
doi = {10.1007/S11786-011-0079-0},
timestamp = {Wed, 09 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mics/BommanahalM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/BoulierLLM11,
author = {Fran{\c{c}}ois Boulier and
Marc Lefranc and
Fran{\c{c}}ois Lemaire and
Pierre{-}Emmanuel Morant},
title = {Model Reduction of Chemical Reaction Systems using Elimination},
journal = {Math. Comput. Sci.},
volume = {5},
number = {3},
pages = {289--301},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0093-2},
doi = {10.1007/S11786-011-0093-2},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/BoulierLLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/BrankovicW11,
author = {Ljiljana Brankovic and
Ian M. Wanless},
title = {Graceful Labelling: State of the Art, Applications and Future Directions},
journal = {Math. Comput. Sci.},
volume = {5},
number = {1},
pages = {11--20},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0073-6},
doi = {10.1007/S11786-011-0073-6},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/BrankovicW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/CadaFK11,
author = {Roman Cada and
Evelyne Flandrin and
Haiyan Kang},
title = {A Note on Degree Conditions for Traceability in Locally Claw-Free
Graphs},
journal = {Math. Comput. Sci.},
volume = {5},
number = {1},
pages = {21--25},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0074-5},
doi = {10.1007/S11786-011-0074-5},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/CadaFK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/ChaudhuriT11,
author = {Pranay Chaudhuri and
Hussein Thompson},
title = {Improved Self-Stabilizing Algorithms for L(2, 1)-Labeling Tree Networks},
journal = {Math. Comput. Sci.},
volume = {5},
number = {1},
pages = {27--39},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0081-6},
doi = {10.1007/S11786-011-0081-6},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/ChaudhuriT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/CollinsNR11,
author = {Pieter Collins and
Milad Niqui and
Nathalie Revol},
title = {A Validated Real Function Calculus},
journal = {Math. Comput. Sci.},
volume = {5},
number = {4},
pages = {437--467},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0102-5},
doi = {10.1007/S11786-011-0102-5},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/CollinsNR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/DammIS11,
author = {Werner Damm and
Carsten Ihlemann and
Viorica Sofronie{-}Stokkermans},
title = {{PTIME} Parametric Verification of Safety Properties for Reasonable
Linear Hybrid Automata},
journal = {Math. Comput. Sci.},
volume = {5},
number = {4},
pages = {469--497},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0098-x},
doi = {10.1007/S11786-011-0098-X},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/DammIS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/FainekosGPR11,
author = {Georgios Fainekos and
Eric Goubault and
Sylvie Putot and
Stefan Ratschan},
title = {Foreword},
journal = {Math. Comput. Sci.},
volume = {5},
number = {4},
pages = {357--358},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0105-2},
doi = {10.1007/S11786-011-0105-2},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/FainekosGPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/FaugereL11,
author = {Jean{-}Charles Faug{\`{e}}re and
Ye Liang},
title = {Pivoting in Extended Rings for Computing Approximate Gr{\"{o}}bner
Bases},
journal = {Math. Comput. Sci.},
volume = {5},
number = {2},
pages = {179--194},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0089-y},
doi = {10.1007/S11786-011-0089-Y},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/FaugereL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/GandyKAY11,
author = {Silvia Gandy and
Masaaki Kanno and
Hirokazu Anai and
Kazuhiro Yokoyama},
title = {Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical
Algebraic Decomposition},
journal = {Math. Comput. Sci.},
volume = {5},
number = {2},
pages = {209--221},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0090-5},
doi = {10.1007/S11786-011-0090-5},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/GandyKAY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/GraillatJWZ11,
author = {Stef Graillat and
Fabienne J{\'{e}}z{\'{e}}quel and
Shiyue Wang and
Yuxiang Zhu},
title = {Stochastic Arithmetic in Multiprecision},
journal = {Math. Comput. Sci.},
volume = {5},
number = {4},
pages = {359--375},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0103-4},
doi = {10.1007/S11786-011-0103-4},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/GraillatJWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/IchiharaA11,
author = {Hiroyuki Ichihara and
Hirokazu Anai},
title = {An {SOS-QE} Approach to Nonlinear Gain Analysis for Polynomial Dynamical
Systems},
journal = {Math. Comput. Sci.},
volume = {5},
number = {3},
pages = {303--314},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0095-0},
doi = {10.1007/S11786-011-0095-0},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/IchiharaA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/IchishimaO11,
author = {Rikio Ichishima and
Akito Oshima},
title = {On Partitional and Other Related Graphs},
journal = {Math. Comput. Sci.},
volume = {5},
number = {1},
pages = {41--50},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0082-5},
doi = {10.1007/S11786-011-0082-5},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/IchishimaO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/IwaneYA11,
author = {Hidenao Iwane and
Hitoshi Yanami and
Hirokazu Anai},
title = {A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing
Design},
journal = {Math. Comput. Sci.},
volume = {5},
number = {3},
pages = {315--334},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0097-y},
doi = {10.1007/S11786-011-0097-Y},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/IwaneYA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/JesinthaS11,
author = {J. Jeba Jesintha and
G. Sethuraman},
title = {All Arbitrarily Fixed Generalized Banana Trees Are Graceful},
journal = {Math. Comput. Sci.},
volume = {5},
number = {1},
pages = {51--62},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0083-4},
doi = {10.1007/S11786-011-0083-4},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/JesinthaS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/JuttlerM11,
author = {Bert J{\"{u}}ttler and
Brian Moore},
title = {A Quadratic Clipping Step with Superquadratic Convergence for Bivariate
Polynomial Systems},
journal = {Math. Comput. Sci.},
volume = {5},
number = {2},
pages = {223--235},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0091-4},
doi = {10.1007/S11786-011-0091-4},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/JuttlerM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Khattri11,
author = {Sanjay Kumar Khattri},
title = {Optimal Eighth Order Iterative Methods},
journal = {Math. Comput. Sci.},
volume = {5},
number = {2},
pages = {237--243},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0064-7},
doi = {10.1007/S11786-011-0064-7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mics/Khattri11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/KleinS11,
author = {Shmuel T. Klein and
Dana Shapira},
title = {Huffman Coding with Non-Sorted Frequencies},
journal = {Math. Comput. Sci.},
volume = {5},
number = {2},
pages = {171--178},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0067-4},
doi = {10.1007/S11786-011-0067-4},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/KleinS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/LiMNW11,
author = {Xiaoliang Li and
Chenqi Mou and
Wei Niu and
Dongming Wang},
title = {Stability Analysis for Discrete Biological Models Using Algebraic
Methods},
journal = {Math. Comput. Sci.},
volume = {5},
number = {3},
pages = {247--262},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0096-z},
doi = {10.1007/S11786-011-0096-Z},
timestamp = {Thu, 03 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/LiMNW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/LopezMR11,
author = {Susana{-}Clara L{\'{o}}pez and
Francesc A. Muntaner{-}Batle and
Miquel Rius{-}Font},
title = {Super Edge-Magic Models},
journal = {Math. Comput. Sci.},
volume = {5},
number = {1},
pages = {63--68},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0080-7},
doi = {10.1007/S11786-011-0080-7},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/LopezMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/MabroukiACGR11,
author = {Mbarka Mabrouki and
Marc Aiguier and
Jean{-}Paul Comet and
Pascale Le Gall and
Adrien Richard},
title = {Embedding of Biological Regulatory Networks and Property Preservation},
journal = {Math. Comput. Sci.},
volume = {5},
number = {3},
pages = {263--288},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0092-3},
doi = {10.1007/S11786-011-0092-3},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/MabroukiACGR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/ManinM11,
author = {Yuri I. Manin and
Matilde Marcolli},
title = {Error-Correcting Codes and Phase Transitions},
journal = {Math. Comput. Sci.},
volume = {5},
number = {2},
pages = {133--170},
year = {2011},
url = {https://doi.org/10.1007/s11786-010-0031-8},
doi = {10.1007/S11786-010-0031-8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/ManinM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/MillerRR11,
author = {Mirka Miller and
Bharati Rajan and
Joe Ryan},
title = {Foreword},
journal = {Math. Comput. Sci.},
volume = {5},
number = {1},
pages = {1--2},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0087-0},
doi = {10.1007/S11786-011-0087-0},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/MillerRR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/NishatMR11,
author = {Rahnuma Islam Nishat and
Debajyoti Mondal and
Md. Saidur Rahman},
title = {Visibility Drawings of Plane 3-Trees with Minimum Area},
journal = {Math. Comput. Sci.},
volume = {5},
number = {1},
pages = {119--132},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0078-1},
doi = {10.1007/S11786-011-0078-1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mics/NishatMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/ONealS11,
author = {Allen O'Neal and
Peter J. Slater},
title = {An Introduction to Closed/Open Neighborhood Sums: Minimax, Maximin,
and Spread},
journal = {Math. Comput. Sci.},
volume = {5},
number = {1},
pages = {69--80},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0075-4},
doi = {10.1007/S11786-011-0075-4},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/ONealS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/PhanalasyMIPV11,
author = {Oudone Phanalasy and
Mirka Miller and
Costas S. Iliopoulos and
Solon P. Pissis and
Elaheh Vaezpour},
title = {Construction of Antimagic Labeling for the Cartesian Product of Regular
Graphs},
journal = {Math. Comput. Sci.},
volume = {5},
number = {1},
pages = {81--87},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0084-3},
doi = {10.1007/S11786-011-0084-3},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/PhanalasyMIPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/RajanSM11,
author = {Bharati Rajan and
K. T. Sonia and
Chris Monica M.},
title = {Conditional Resolvability of Honeycomb and Hexagonal Networks},
journal = {Math. Comput. Sci.},
volume = {5},
number = {1},
pages = {89--99},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0076-3},
doi = {10.1007/S11786-011-0076-3},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/RajanSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/RajasinghA11,
author = {Indra Rajasingh and
Micheal Arockiaraj},
title = {Linear Wirelength of Folded Hypercubes},
journal = {Math. Comput. Sci.},
volume = {5},
number = {1},
pages = {101--111},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0085-2},
doi = {10.1007/S11786-011-0085-2},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/RajasinghA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/ReisS11,
author = {Gabriel Dos Reis and
Bjarne Stroustrup},
title = {A Principled, Complete, and Efficient Representation of {C++}},
journal = {Math. Comput. Sci.},
volume = {5},
number = {3},
pages = {335--356},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0094-1},
doi = {10.1007/S11786-011-0094-1},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/ReisS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/SiegelZ11,
author = {Stephen F. Siegel and
Timothy K. Zirkel},
title = {{TASS:} The Toolkit for Accurate Scientific Software},
journal = {Math. Comput. Sci.},
volume = {5},
number = {4},
pages = {395--426},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0100-7},
doi = {10.1007/S11786-011-0100-7},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/SiegelZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/SiegelZ11a,
author = {Stephen F. Siegel and
Timothy K. Zirkel},
title = {{FEVS:} {A} Functional Equivalence Verification Suite for High-Performance
Scientific Computing},
journal = {Math. Comput. Sci.},
volume = {5},
number = {4},
pages = {427--435},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0101-6},
doi = {10.1007/S11786-011-0101-6},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/SiegelZ11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/SugengR11,
author = {Kiki A. Sugeng and
Joseph F. Ryan},
title = {Clique Vertex Magic Cover of a Graph},
journal = {Math. Comput. Sci.},
volume = {5},
number = {1},
pages = {113--118},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0077-2},
doi = {10.1007/S11786-011-0077-2},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/SugengR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/ZhuJG11,
author = {Mingfu Zhu and
Guangran Jiang and
Shuhong Gao},
title = {Solving the 100 Swiss Francs Problem},
journal = {Math. Comput. Sci.},
volume = {5},
number = {2},
pages = {195--207},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0068-3},
doi = {10.1007/S11786-011-0068-3},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/ZhuJG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-11 11:40 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
