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/mics2.bht:"
download as .bib file
@article{DBLP:journals/mics/Alcazar09,
author = {Juan Gerardo Alc{\'{a}}zar},
title = {Good Local Behavior of Offsets to Implicit Algebraic Curves},
journal = {Math. Comput. Sci.},
volume = {2},
number = {4},
pages = {635--652},
year = {2009},
url = {https://doi.org/10.1007/s11786-008-0069-z},
doi = {10.1007/S11786-008-0069-Z},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Alcazar09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/AnaiH09,
author = {Hirokazu Anai and
Katsuhisa Horimoto},
title = {Foreword},
journal = {Math. Comput. Sci.},
volume = {2},
number = {3},
pages = {399--400},
year = {2009},
url = {https://doi.org/10.1007/s11786-009-0070-1},
doi = {10.1007/S11786-009-0070-1},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/AnaiH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/BortolussiP09,
author = {Luca Bortolussi and
Alberto Policriti},
title = {Hybrid Dynamics of Stochastic pi-Calculus},
journal = {Math. Comput. Sci.},
volume = {2},
number = {3},
pages = {465--491},
year = {2009},
url = {https://doi.org/10.1007/s11786-008-0065-3},
doi = {10.1007/S11786-008-0065-3},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mics/BortolussiP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/BoulierLSU09,
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 = {Math. Comput. Sci.},
volume = {2},
number = {3},
pages = {443--464},
year = {2009},
url = {https://doi.org/10.1007/s11786-008-0062-6},
doi = {10.1007/S11786-008-0062-6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/BoulierLSU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/HellmuthIKS09,
author = {Marc Hellmuth and
Wilfried Imrich and
Werner Kl{\"{o}}ckl and
Peter F. Stadler},
title = {Local Algorithms for the Prime Factorization of Strong Product Graphs},
journal = {Math. Comput. Sci.},
volume = {2},
number = {4},
pages = {653--682},
year = {2009},
url = {https://doi.org/10.1007/s11786-009-0073-y},
doi = {10.1007/S11786-009-0073-Y},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/HellmuthIKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/IlieCE09,
author = {Silvana Ilie and
Robert M. Corless and
Chris Essex},
title = {The Computational Complexity of Extrapolation Methods},
journal = {Math. Comput. Sci.},
volume = {2},
number = {4},
pages = {557--566},
year = {2009},
url = {https://doi.org/10.1007/s11786-007-0040-4},
doi = {10.1007/S11786-007-0040-4},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/IlieCE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/KahouiO09,
author = {M'hammed El Kahoui and
Adamou Otto},
title = {Stability of Disease Free Equilibria in Epidemiological Models},
journal = {Math. Comput. Sci.},
volume = {2},
number = {3},
pages = {517--533},
year = {2009},
url = {https://doi.org/10.1007/s11786-008-0068-0},
doi = {10.1007/S11786-008-0068-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/KahouiO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/KapurC09,
author = {Deepak Kapur and
Yongyang Cai},
title = {An Algorithm for Computing a Gr{\"{o}}bner Basis of a Polynomial
Ideal over a Ring with Zero Divisors},
journal = {Math. Comput. Sci.},
volume = {2},
number = {4},
pages = {601--634},
year = {2009},
url = {https://doi.org/10.1007/s11786-009-0072-z},
doi = {10.1007/S11786-009-0072-Z},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/KapurC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/McCaigNS09,
author = {Chris McCaig and
Rachel Norman and
Carron Shankland},
title = {From Individuals to Populations: {A} Symbolic Process Algebra Approach
to Epidemiology},
journal = {Math. Comput. Sci.},
volume = {2},
number = {3},
pages = {535--556},
year = {2009},
url = {https://doi.org/10.1007/s11786-008-0066-2},
doi = {10.1007/S11786-008-0066-2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mics/McCaigNS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Nabeshima09,
author = {Katsusuke Nabeshima},
title = {Reduced Gr{\"{o}}bner Bases in Polynomial Rings over a Polynomial
Ring},
journal = {Math. Comput. Sci.},
volume = {2},
number = {4},
pages = {587--599},
year = {2009},
url = {https://doi.org/10.1007/s11786-008-0060-8},
doi = {10.1007/S11786-008-0060-8},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Nabeshima09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/PikkarainenS09,
author = {Hanna K. Pikkarainen and
Josef Schicho},
title = {A Bayesian Model for Root Computation},
journal = {Math. Comput. Sci.},
volume = {2},
number = {4},
pages = {567--586},
year = {2009},
url = {https://doi.org/10.1007/s11786-009-0071-0},
doi = {10.1007/S11786-009-0071-0},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/PikkarainenS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Siebert09,
author = {Heike Siebert},
title = {Deriving Behavior of Boolean Bioregulatory Networks from Subnetwork
Dynamics},
journal = {Math. Comput. Sci.},
volume = {2},
number = {3},
pages = {421--442},
year = {2009},
url = {https://doi.org/10.1007/s11786-008-0064-4},
doi = {10.1007/S11786-008-0064-4},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Siebert09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/SturmWAK09,
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 = {Math. Comput. Sci.},
volume = {2},
number = {3},
pages = {493--515},
year = {2009},
url = {https://doi.org/10.1007/s11786-008-0067-1},
doi = {10.1007/S11786-008-0067-1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/SturmWAK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/TamuraA09,
author = {Takeyuki Tamura and
Tatsuya Akutsu},
title = {Algorithms for Singleton Attractor Detection in Planar and Nonplanar
{AND/OR} Boolean Networks},
journal = {Math. Comput. Sci.},
volume = {2},
number = {3},
pages = {401--420},
year = {2009},
url = {https://doi.org/10.1007/s11786-008-0063-5},
doi = {10.1007/S11786-008-0063-5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/TamuraA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/AltamimiY08,
author = {Moody Ebrahem Altamimi and
Abdou S. Youssef},
title = {A Math Query Language with an Expanded Set of Wildcards},
journal = {Math. Comput. Sci.},
volume = {2},
number = {2},
pages = {305--331},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0056-4},
doi = {10.1007/S11786-008-0056-4},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/AltamimiY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/AlyUS08,
author = {Walaa Aly and
Seiichi Uchida and
Masakazu Suzuki},
title = {Identifying Subscripts and Superscripts in Mathematical Documents},
journal = {Math. Comput. Sci.},
volume = {2},
number = {2},
pages = {195--209},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0051-9},
doi = {10.1007/S11786-008-0051-9},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/AlyUS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/AutexierBDW08,
author = {Serge Autexier and
Christoph Benzm{\"{u}}ller and
Dominik Dietrich and
Marc Wagner},
title = {Organization, Transformation, and Propagation of Mathematical Knowledge
in Omegamega},
journal = {Math. Comput. Sci.},
volume = {2},
number = {2},
pages = {253--277},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0054-6},
doi = {10.1007/S11786-008-0054-6},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/AutexierBDW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/CharalambidisGPR08,
author = {Angelos Charalambidis and
Athanasios Grivas and
Nikolaos S. Papaspyrou and
Panos Rondogiannis},
title = {Efficient Intensional Implementation for Lazy Functional Languages},
journal = {Math. Comput. Sci.},
volume = {2},
number = {1},
pages = {123--141},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0047-5},
doi = {10.1007/S11786-008-0047-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/CharalambidisGPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/CoenZ08,
author = {Claudio Sacerdoti Coen and
Stefano Zacchiroli},
title = {Spurious Disambiguation Errors and How to Get Rid of Them},
journal = {Math. Comput. Sci.},
volume = {2},
number = {2},
pages = {355--378},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0058-2},
doi = {10.1007/S11786-008-0058-2},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/CoenZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/CohenKM08,
author = {Arjeh M. Cohen and
Jan Willem Knopper and
Scott H. Murray},
title = {Automatic Proof of Graph Nonisomorphism},
journal = {Math. Comput. Sci.},
volume = {2},
number = {2},
pages = {211--229},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0052-8},
doi = {10.1007/S11786-008-0052-8},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/CohenKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/DavenportL08,
author = {James H. Davenport and
Paul Libbrecht},
title = {The Freedom to Extend OpenMath and its Utility},
journal = {Math. Comput. Sci.},
volume = {2},
number = {2},
pages = {379--398},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0059-1},
doi = {10.1007/S11786-008-0059-1},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/DavenportL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Finkel08,
author = {Olivier Finkel},
title = {Wadge Degrees of Infinitary Rational Relations},
journal = {Math. Comput. Sci.},
volume = {2},
number = {1},
pages = {85--102},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0045-7},
doi = {10.1007/S11786-008-0045-7},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Finkel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Kerber08,
author = {Manfred Kerber},
title = {Foreword},
journal = {Math. Comput. Sci.},
volume = {2},
number = {2},
pages = {193--194},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0050-x},
doi = {10.1007/S11786-008-0050-X},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Kerber08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Kohlhase08,
author = {Michael Kohlhase},
title = {Using as a Semantic Markup Format},
journal = {Math. Comput. Sci.},
volume = {2},
number = {2},
pages = {279--304},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0055-5},
doi = {10.1007/S11786-008-0055-5},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Kohlhase08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/MancillaP08,
author = {Blanca Mancilla and
John Plaice},
title = {Possible Worlds Versioning},
journal = {Math. Comput. Sci.},
volume = {2},
number = {1},
pages = {63--83},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0044-8},
doi = {10.1007/S11786-008-0044-8},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/MancillaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/OrchardM08,
author = {Dominic A. Orchard and
Steve Matthews},
title = {Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation},
journal = {Math. Comput. Sci.},
volume = {2},
number = {1},
pages = {103--122},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0046-6},
doi = {10.1007/S11786-008-0046-6},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/OrchardM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Orgun08,
author = {Mehmet A. Orgun},
title = {Querying Historical Data Over Multiple Time-Lines},
journal = {Math. Comput. Sci.},
volume = {2},
number = {1},
pages = {165--191},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0049-3},
doi = {10.1007/S11786-008-0049-3},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Orgun08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/OrgunLN08,
author = {Mehmet A. Orgun and
Chuchang Liu and
Abhaya C. Nayak},
title = {Knowledge Representation, Reasoning and Integration Using Temporal
Logic with Clocks},
journal = {Math. Comput. Sci.},
volume = {2},
number = {1},
pages = {143--163},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0048-4},
doi = {10.1007/S11786-008-0048-4},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/OrgunLN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/PlaiceMD08,
author = {John Plaice and
Blanca Mancilla and
Gabriel Ditu},
title = {From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian
Programming},
journal = {Math. Comput. Sci.},
volume = {2},
number = {1},
pages = {37--61},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0043-9},
doi = {10.1007/S11786-008-0043-9},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/PlaiceMD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/PlaiceO08,
author = {John Plaice and
Mehmet A. Orgun},
title = {In Honour of Bill Wadge},
journal = {Math. Comput. Sci.},
volume = {2},
number = {1},
pages = {1--3},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0061-7},
doi = {10.1007/S11786-008-0061-7},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/PlaiceO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Selivanov08,
author = {Victor L. Selivanov},
title = {Wadge Reducibility and Infinite Computations},
journal = {Math. Comput. Sci.},
volume = {2},
number = {1},
pages = {5--36},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0042-x},
doi = {10.1007/S11786-008-0042-X},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Selivanov08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/UrbanS08,
author = {Josef Urban and
Geoff Sutcliffe},
title = {ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and
First Experiments},
journal = {Math. Comput. Sci.},
volume = {2},
number = {2},
pages = {231--251},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0053-7},
doi = {10.1007/S11786-008-0053-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/UrbanS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/Youssef08,
author = {Abdou S. Youssef},
title = {Relevance Ranking and Hit Description in Math Search},
journal = {Math. Comput. Sci.},
volume = {2},
number = {2},
pages = {333--353},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0057-3},
doi = {10.1007/S11786-008-0057-3},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/Youssef08.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-24 19:29 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:
