Search dblp for Publications

export results for "toc:db/conf/ab/ab2007.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ab/Aburatani07,
  author       = {Sachiyo Aburatani},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Inference of Complex Regulatory Network for the Cell Cycle System
                  in \emph{Saccharomyces Cerevisiae}},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {350--364},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_25},
  doi          = {10.1007/978-3-540-73433-8\_25},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/Aburatani07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/AsarinCSTL07,
  author       = {Eugene Asarin and
                  Thierry Cachat and
                  Alexander V. Seliverstov and
                  Tayssir Touili and
                  Vassily A. Lyubetsky},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Attenuation Regulation as a Term Rewriting System},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {81--94},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_7},
  doi          = {10.1007/978-3-540-73433-8\_7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/AsarinCSTL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/BaldanBBB07,
  author       = {Paolo Baldan and
                  Andrea Bracciali and
                  Linda Brodo and
                  Roberto Bruni},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Deducing Interactions in Partially Unspecified Biological Systems},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {262--276},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_19},
  doi          = {10.1007/978-3-540-73433-8\_19},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/BaldanBBB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/BoulierLLMU07,
  author       = {Fran{\c{c}}ois Boulier and
                  Marc Lefranc and
                  Fran{\c{c}}ois Lemaire and
                  Pierre{-}Emmanuel Morant and
                  Asli {\"{U}}rg{\"{u}}pl{\"{u}}},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {On Proving the Absence of Oscillations in Models of Genetic Circuits},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {66--80},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_6},
  doi          = {10.1007/978-3-540-73433-8\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/BoulierLLMU07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/CasagrandeCFPRVM07,
  author       = {Alberto Casagrande and
                  Kevin Casey and
                  Rachele Falchi and
                  Carla Piazza and
                  Benedetto Ruperti and
                  Giannina Vizzotto and
                  Bud Mishra},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Translating Time-Course Gene Expression Profiles into Semi-algebraic
                  Hybrid Automata Via Dimensionality Reduction},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {51--65},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_5},
  doi          = {10.1007/978-3-540-73433-8\_5},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/CasagrandeCFPRVM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/ChifmanP07,
  author       = {Julia Chifman and
                  Sonja Petrovic},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Toric Ideals of Phylogenetic Invariants for the General Group-Based
                  Model on Claw Trees \emph{K} \({}_{\mbox{1, \emph{n} }}\)},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {307--321},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_22},
  doi          = {10.1007/978-3-540-73433-8\_22},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/ChifmanP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/ChorukovaDS07,
  author       = {Elena Chorukova and
                  Sette Diop and
                  Ivan Simeonov},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {On Differential Algebraic Decision Methods for the Estimation of Anaerobic
                  Digestion Models},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {202--216},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_15},
  doi          = {10.1007/978-3-540-73433-8\_15},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/ChorukovaDS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/EmirisP07,
  author       = {Ioannis Z. Emiris and
                  Sotirios I. Pantos},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Protein Structure Prediction Using Residual Dipolar Couplings},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {217--231},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_16},
  doi          = {10.1007/978-3-540-73433-8\_16},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/EmirisP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/GracaMLO07,
  author       = {Ana Gra{\c{c}}a and
                  Jo{\~{a}}o Marques{-}Silva and
                  In{\^{e}}s Lynce and
                  Arlindo L. Oliveira},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Efficient Haplotype Inference with Pseudo-boolean Optimization},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {125--139},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_10},
  doi          = {10.1007/978-3-540-73433-8\_10},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/GracaMLO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/GuerrieroPR07,
  author       = {Maria Luisa Guerriero and
                  Corrado Priami and
                  Alessandro Romanel},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Modeling Static Biological Compartments with Beta-binders},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {247--261},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_18},
  doi          = {10.1007/978-3-540-73433-8\_18},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/GuerrieroPR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/Harrison07,
  author       = {John Harrison},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {A Short Survey of Automated Reasoning},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {334--349},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_24},
  doi          = {10.1007/978-3-540-73433-8\_24},
  timestamp    = {Thu, 05 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/Harrison07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/HurkensIKKST07,
  author       = {Cor A. J. Hurkens and
                  Leo van Iersel and
                  Judith Keijsper and
                  Steven Kelk and
                  Leen Stougie and
                  John Tromp},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Prefix Reversals on Binary and Ternary Strings},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {292--306},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_21},
  doi          = {10.1007/978-3-540-73433-8\_21},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/HurkensIKKST07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/JarrahL07,
  author       = {Abdul Salam Jarrah and
                  Reinhard C. Laubenbacher},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Discrete Models of Biochemical Networks: The Toric Variety of Nested
                  Canalyzing Functions},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {15--22},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_2},
  doi          = {10.1007/978-3-540-73433-8\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/JarrahL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/KovacsP07,
  author       = {Levente Kov{\'{a}}cs and
                  B{\'{e}}la Pal{\'{a}}ncz},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Glucose-Insulin Control of Type1 Diabetic Patients in H\({}_{\mbox{2}}\)/H\({}_{\mbox{infinity}}\)
                  Space Via Computer Algebra},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {95--109},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_8},
  doi          = {10.1007/978-3-540-73433-8\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/KovacsP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/KuttlerLN07,
  author       = {C{\'{e}}line Kuttler and
                  C{\'{e}}dric Lhoussaine and
                  Joachim Niehren},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {A Stochastic Pi Calculus for Concurrent Objects},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {232--246},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_17},
  doi          = {10.1007/978-3-540-73433-8\_17},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/KuttlerLN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/Mishra07,
  author       = {Bud Mishra},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Algebraic Systems Biology: Theses and Hypotheses},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_1},
  doi          = {10.1007/978-3-540-73433-8\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/Mishra07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/MysoreM07,
  author       = {Venkatesh Mysore and
                  Bud Mishra},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Algorithmic Algebraic Model Checking {IV:} Characterization of Metabolic
                  Networks},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {170--184},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_13},
  doi          = {10.1007/978-3-540-73433-8\_13},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/MysoreM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/Paun07,
  author       = {Gheorghe Paun},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Membrane Computing as a Framework for Bio-modeling (An Informal Glimpse)},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {23--35},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_3},
  doi          = {10.1007/978-3-540-73433-8\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/Paun07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/SatoYHKT07,
  author       = {Tetsuya Sato and
                  Yoshihiro Yamanishi and
                  Katsuhisa Horimoto and
                  Minoru Kanehisa and
                  Hiroyuki Toh},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Inference of Protein-Protein Interactions by Using Co-evolutionary
                  Information},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {322--333},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_23},
  doi          = {10.1007/978-3-540-73433-8\_23},
  timestamp    = {Tue, 10 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/SatoYHKT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/Sedoglavic07,
  author       = {Alexandre Sedoglavic},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Reduction of Algebraic Parametric Systems by Rectification of Their
                  Affine Expanded Lie Symmetries},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {277--291},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_20},
  doi          = {10.1007/978-3-540-73433-8\_20},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/Sedoglavic07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/SenachakVV07,
  author       = {Jittisak Senachak and
                  Mun'delanji Vestergaard and
                  Ren{\'{e}} Vestergaard},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Cascaded Games},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {185--201},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_14},
  doi          = {10.1007/978-3-540-73433-8\_14},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/SenachakVV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/SiebertB07,
  author       = {Heike Siebert and
                  Alexander Bockmayr},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Relating Attractors and Singular Steady States in the Logical Analysis
                  of Bioregulatory Networks},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {36--50},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_4},
  doi          = {10.1007/978-3-540-73433-8\_4},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ab/SiebertB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/TiwariTKLL07,
  author       = {Ashish Tiwari and
                  Carolyn L. Talcott and
                  Merrill Knapp and
                  Patrick Lincoln and
                  Keith Laderoute},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Analyzing Pathways Using SAT-Based Approaches},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {155--169},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_12},
  doi          = {10.1007/978-3-540-73433-8\_12},
  timestamp    = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ab/TiwariTKLL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/Wong07,
  author       = {Limsoon Wong},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Manifestation and Exploitation of Invariants in Bioinformatics},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {365--377},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_26},
  doi          = {10.1007/978-3-540-73433-8\_26},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/Wong07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/YoshidaNAH07,
  author       = {Hiroshi Yoshida and
                  Koji Nakagawa and
                  Hirokazu Anai and
                  Katsuhisa Horimoto},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Exact Parameter Determination for Parkinson's Disease Diagnosis with
                  {PET} Using an Algebraic Approach},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {110--124},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_9},
  doi          = {10.1007/978-3-540-73433-8\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/YoshidaNAH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/ZinovikKC07,
  author       = {Igor Zinovik and
                  Daniel Kroening and
                  Yury Chebiryak},
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {An Algebraic Algorithm for the Identification of Glass Networks with
                  Periodic Orbits Along Cyclic Attractors},
  booktitle    = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  pages        = {140--154},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8\_11},
  doi          = {10.1007/978-3-540-73433-8\_11},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/ZinovikKC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ab/2007,
  editor       = {Hirokazu Anai and
                  Katsuhisa Horimoto and
                  Temur Kutsia},
  title        = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
                  of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4545},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73433-8},
  doi          = {10.1007/978-3-540-73433-8},
  isbn         = {978-3-540-73432-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ab/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics