default search action
Search dblp for Publications
export results for "toc:db/journals/mics/mics2.bht:"
@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 = {Sun, 04 Aug 2024 01:00:00 +0200}, 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} }
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.