Search dblp for Publications

export results for "toc:db/journals/mics/mics10.bht:"

 download as .bib file

@article{DBLP:journals/mics/AkramA16,
  author       = {Muhammad Akram and
                  Arooj Adeel},
  title        = {m -Polar Fuzzy Labeling Graphs with Application},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {3},
  pages        = {387--402},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0277-x},
  doi          = {10.1007/S11786-016-0277-X},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/AkramA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/BeraM16,
  author       = {Somnath Bera and
                  Kalpana Mahalingam},
  title        = {Structural Properties of Word Representable Graphs},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {2},
  pages        = {209--222},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0257-1},
  doi          = {10.1007/S11786-016-0257-1},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/BeraM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/BotanaR16,
  author       = {Francisco Botana and
                  Tom{\'{a}}s Recio},
  title        = {On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {1},
  pages        = {5--25},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0246-4},
  doi          = {10.1007/S11786-016-0246-4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mics/BotanaR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/BowersS16,
  author       = {John Christopher Bowers and
                  Ileana Streinu},
  title        = {Geodesic Universal Molecules},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {1},
  pages        = {115--141},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0253-5},
  doi          = {10.1007/S11786-016-0253-5},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/BowersS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/BrunatM16,
  author       = {Josep M. Brunat and
                  Antonio Montes},
  title        = {Computing the Canonical Representation of Constructible Sets},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {1},
  pages        = {165--178},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0248-2},
  doi          = {10.1007/S11786-016-0248-2},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/BrunatM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/ConceicaoMP16,
  author       = {Ana C. Concei{\c{c}}{\~{a}}o and
                  Rui C. Marreiros and
                  Jos{\'{e}} C. Pereira},
  title        = {Symbolic Computation Applied to the Study of the Kernel of a Singular
                  Integral Operator with Non-Carleman Shift and Conjugation},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {3},
  pages        = {365--386},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0271-3},
  doi          = {10.1007/S11786-016-0271-3},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/ConceicaoMP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/ConceicaoP16,
  author       = {Ana C. Concei{\c{c}}{\~{a}}o and
                  Jos{\'{e}} C. Pereira},
  title        = {Exploring the Spectra of Some Classes of Singular Integral Operators
                  with Symbolic Computation},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {2},
  pages        = {291--309},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0264-2},
  doi          = {10.1007/S11786-016-0264-2},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/ConceicaoP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/DochviriP16,
  author       = {Irakli Dochviri and
                  James F. Peters},
  title        = {Topological Sorting of Finitely Near Sets},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {2},
  pages        = {273--277},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0273-1},
  doi          = {10.1007/S11786-016-0273-1},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/DochviriP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Dorst16,
  author       = {Leo Dorst},
  title        = {The Construction of 3D Conformal Motions},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {1},
  pages        = {97--113},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0250-8},
  doi          = {10.1007/S11786-016-0250-8},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/Dorst16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/EscobarNP16,
  author       = {J. M. Escobar and
                  Juan N{\'{u}}{\~{n}}ez and
                  Pedro P{\'{e}}rez{-}Fern{\'{a}}ndez},
  title        = {On Contractions of Lie Algebras},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {3},
  pages        = {353--364},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0266-0},
  doi          = {10.1007/S11786-016-0266-0},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/EscobarNP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/GavinaMV16,
  author       = {Alexandra Gavina and
                  Jos{\'{e}} Matos and
                  Paulo B. Vasconcelos},
  title        = {Improving the Accuracy of Chebyshev Tau Method for Nonlinear Differential
                  Problems},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {2},
  pages        = {279--289},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0265-1},
  doi          = {10.1007/S11786-016-0265-1},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/GavinaMV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/GuidiC16,
  author       = {Ferruccio Guidi and
                  Claudio Sacerdoti Coen},
  title        = {A Survey on Retrieval of Mathematical Knowledge},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {4},
  pages        = {409--427},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0274-0},
  doi          = {10.1007/S11786-016-0274-0},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/GuidiC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/HammackHOS16,
  author       = {Richard H. Hammack and
                  Marc Hellmuth and
                  Lydia Ostermeier and
                  Peter F. Stadler},
  title        = {Associativity and Non-Associativity of Some Hypergraph Products},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {3},
  pages        = {403--408},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0276-y},
  doi          = {10.1007/S11786-016-0276-Y},
  timestamp    = {Sun, 22 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/HammackHOS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Lichtblau16,
  author       = {Daniel Lichtblau},
  title        = {First Order Perturbation and Local Stability of Parametrized Systems},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {1},
  pages        = {143--163},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0249-1},
  doi          = {10.1007/S11786-016-0249-1},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/Lichtblau16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/LojaRC16,
  author       = {Am{\'{e}}lia Loja and
                  Jos{\'{e}} Alberto Rodrigues and
                  Ana C. Concei{\c{c}}{\~{a}}o},
  title        = {Foreword to the Special Focus on Advances in Symbolic and Numeric
                  Computation},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {3},
  pages        = {311--312},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0270-4},
  doi          = {10.1007/S11786-016-0270-4},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/LojaRC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/MahmoodMM16,
  author       = {Ali Abdulkareem Mahmood and
                  Ali Maroosi and
                  Ravie Chandren Muniyandi},
  title        = {Membrane Computing to Enhance Time Efficiency of Minimum Dominating
                  Set},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {2},
  pages        = {249--261},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0261-5},
  doi          = {10.1007/S11786-016-0261-5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/MahmoodMM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/MaiaBAOK16,
  author       = {R{\'{u}}ben Maia and
                  Ricardo Branco and
                  F. V. Antunes and
                  Marta Cristina Oliveira and
                  Andrei Kotousov},
  title        = {Three-Dimensional Computational Analysis of Stress State Transition
                  in Through-Cracked Plates},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {3},
  pages        = {343--352},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0267-z},
  doi          = {10.1007/S11786-016-0267-Z},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/MaiaBAOK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/ManinM16,
  author       = {Yuri I. Manin and
                  Matilde Marcolli},
  title        = {Semantic Spaces},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {4},
  pages        = {459--477},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0278-9},
  doi          = {10.1007/S11786-016-0278-9},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/ManinM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/NagarS16,
  author       = {Atulya K. Nagar and
                  S. Sriram},
  title        = {On Eccentric Connectivity Index of Eccentric Graph of Regular Dendrimer},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {2},
  pages        = {229--237},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0259-z},
  doi          = {10.1007/S11786-016-0259-Z},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/NagarS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/NarbouxB16,
  author       = {Julien Narboux and
                  David Braun},
  title        = {Towards a Certified Version of the Encyclopedia of Triangle Centers},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {1},
  pages        = {57--73},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0254-4},
  doi          = {10.1007/S11786-016-0254-4},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/NarbouxB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/RachahT16,
  author       = {Amira Rachah and
                  Delfim F. M. Torres},
  title        = {Dynamics and Optimal Control of Ebola Transmission},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {3},
  pages        = {331--342},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0268-y},
  doi          = {10.1007/S11786-016-0268-Y},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/RachahT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/RaggiBGP16,
  author       = {Daniel Raggi and
                  Alan Bundy and
                  Gudmund Grov and
                  Alison Pease},
  title        = {Automating Change of Representation for Proofs in Discrete Mathematics
                  (Extended Version)},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {4},
  pages        = {429--457},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0275-z},
  doi          = {10.1007/S11786-016-0275-Z},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/RaggiBGP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/RajanVS16,
  author       = {Bharati Rajan and
                  Ibrahim Venkat and
                  K. G. Subramanian},
  title        = {Foreword to the Special Focus on Graph Theory and Applications},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {2},
  pages        = {207--208},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0272-2},
  doi          = {10.1007/S11786-016-0272-2},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/RajanVS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/RiccaBM16,
  author       = {Giorgio Ricca and
                  Mauro Carlo Beltrametti and
                  Anna Maria Massone},
  title        = {Detecting Curves of Symmetry in Images Via Hough Transform},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {1},
  pages        = {179--205},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0245-5},
  doi          = {10.1007/S11786-016-0245-5},
  timestamp    = {Thu, 30 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/RiccaBM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/SchreckM16,
  author       = {Pascal Schreck and
                  Pascal Mathis},
  title        = {Automatic Constructibility Checking of a Corpus of Geometric Construction
                  Problems},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {1},
  pages        = {41--56},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0247-3},
  doi          = {10.1007/S11786-016-0247-3},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/SchreckM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/SchreckMJ16,
  author       = {Pascal Schreck and
                  Vesna Marinkovic and
                  Predrag Janicic},
  title        = {Constructibility Classes for Triangle Location Problems},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {1},
  pages        = {27--39},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0255-3},
  doi          = {10.1007/S11786-016-0255-3},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/SchreckMJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/SendraWY16,
  author       = {J. Rafael Sendra and
                  Dongming Wang and
                  Jing Yang},
  title        = {Foreword},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {1},
  pages        = {1--3},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0263-3},
  doi          = {10.1007/S11786-016-0263-3},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/SendraWY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/ShaoLH16,
  author       = {Changpeng Shao and
                  Hongbo Li and
                  Lei Huang},
  title        = {Challenging Theorem Provers with Mathematical Olympiad Problems in
                  Solid Geometry},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {1},
  pages        = {75--96},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0256-2},
  doi          = {10.1007/S11786-016-0256-2},
  timestamp    = {Thu, 04 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/ShaoLH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/SivagamiR16,
  author       = {P. Sivagami and
                  Indra Rajasingh},
  title        = {T-Coloring of Certain Networks},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {2},
  pages        = {239--248},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0260-6},
  doi          = {10.1007/S11786-016-0260-6},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/SivagamiR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/SivaselvanV16,
  author       = {K. Sivaselvan and
                  C. Vijayalakshmi},
  title        = {Implementation of Markovian Queueing Network Model with Multiple Closed
                  Chains},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {2},
  pages        = {263--272},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0262-4},
  doi          = {10.1007/S11786-016-0262-4},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/SivaselvanV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/TrindadeMV16,
  author       = {Marcelo Trindade and
                  Jos{\'{e}} Matos and
                  Paulo B. Vasconcelos},
  title        = {Towards a Lanczos' {\(\tau\)}-Method Toolkit for Differential Problems},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {3},
  pages        = {313--329},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0269-x},
  doi          = {10.1007/S11786-016-0269-X},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/TrindadeMV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Wang16,
  author       = {Dongming Wang},
  title        = {On the Connection Between Ritt Characteristic Sets and Buchberger-Gr{\"{o}}bner
                  Bases},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {4},
  pages        = {479--492},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0279-8},
  doi          = {10.1007/S11786-016-0279-8},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/Wang16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Wong16,
  author       = {Denis Chee{-}Keong Wong},
  title        = {Constructions of Binary Codes Based on Bipartite Graphs},
  journal      = {Math. Comput. Sci.},
  volume       = {10},
  number       = {2},
  pages        = {223--227},
  year         = {2016},
  url          = {https://doi.org/10.1007/s11786-016-0258-0},
  doi          = {10.1007/S11786-016-0258-0},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mics/Wong16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}