Ayumu Saito

According to our database, Ayumu Saito authored at least 19 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Semantics of Probabilistic Programs using s-Finite Kernels in Coq.

Reynald Affeldt, Cyril Cohen, Ayumu Saito

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq.

Ayumu Saito, Reynald Affeldt

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

Towards a Practical Library for Monadic Equational Reasoning in Coq.

Ayumu Saito, Reynald Affeldt

Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

2016

Hybrid Functional Petri Net with Extension for Dynamic Pathway Modeling.

Ayumu Saito, Masao Nagasaki, Hiroshi Matsuno, Satoru Miyano

Proceedings of the Modeling in Systems Biology, The Petri Net Approach, 2016

2013

XiP: a computational environment to create, extend and share workflows.

Masao Nagasaki, André Fujita, Yayoi Sekiya, Ayumu Saito, Emi Ikeda, Chen Li, Satoru Miyano

Bioinform., 2013

2012

IRView: a database and viewer for protein interacting regions.

Shigeo Fujimori, Naoya Hirai, Kazuyo Masuoka, Tomohiro Oshikubo, Tatsuhiro Yamashita, Takanori Washio, Ayumu Saito, Masao Nagasaki, Satoru Miyano, Etsuko Miyamoto-Sato

Bioinform., 2012

2011

Systems biology model repository for macrophage pathway simulation.

Masao Nagasaki, Ayumu Saito, André Fujita, Georg Tremmel, Kazuko Ueno, Emi Ikeda, Euna Jeong, Satoru Miyano

Bioinform., 2011

MIRACH: efficient model checker for quantitative biological pathway models.

Chuan Hock Koh, Masao Nagasaki, Ayumu Saito, Chen Li, Limsoon Wong, Satoru Miyano

Bioinform., 2011

CSO validator: improving manual curation workflow for biological pathways.

Euna Jeong, Masao Nagasaki, Emi Ikeda, Yayoi Sekiya, Ayumu Saito, Satoru Miyano

Bioinform., 2011

2010

Cell Illustrator 4.0: A Computational Platform for Systems Biology.

Masao Nagasaki, Ayumu Saito, Euna Jeong, Chen Li, Kaname Kojima, Emi Ikeda, Satoru Miyano

Silico Biol., 2010

Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram.

Chen Li, Masao Nagasaki, Ayumu Saito, Satoru Miyano

BMC Syst. Biol., 2010

DA 1.0: parameter estimation of biological pathways using data assimilation approach.

Chuan Hock Koh, Masao Nagasaki, Ayumu Saito, Limsoon Wong, Satoru Miyano

Bioinform., 2010

2009

Host-parasite relations of bacteria and phages can be unveiled by <i>Oligostickiness</i>, a measure of relaxed sequence similarity.

Shamim Ahmed, Ayumu Saito, Miho Suzuki, Naoto Nemoto, Koichi Nishigaki

Bioinform., 2009

Foundations of Systems Biology - Using Cell Illustrator® and Pathway Databases.

Masao Nagasaki, Ayumu Saito, Atsushi Doi, Hiroshi Matsuno, Satoru Miyano

Computational Biology 13, Springer, ISBN: 978-1-84882-022-7, 2009

2008

Systematic reconstruction of TRANSPATH data into Cell System Markup Language.

Masao Nagasaki, Ayumu Saito, Chen Li, Euna Jeong, Satoru Miyano

BMC Syst. Biol., 2008

ExonMiner: Web service for analysis of GeneChip Exon array data.

Kazuyuki Numata, Ryo Yoshida, Masao Nagasaki, Ayumu Saito, Seiya Imoto, Satoru Miyano

BMC Bioinform., 2008

2007

Cell System Ontology: Representation for Modeling, Visualizing, and Simulating Biological Pathways.

Euna Jeong, Masao Nagasaki, Ayumu Saito, Satoru Miyano

Silico Biol., 2007

AYUMS: an algorithm for completely automatic quantitation based on LC-MS/MS proteome data and its application to the analysis of signal transduction.

Ayumu Saito, Masao Nagasaki, Masaaki Oyama, Hiroko Kozuka-Hata, Kentaro Semba, Sumio Sugano, Tadashi Yamamoto, Satoru Miyano

BMC Bioinform., 2007

2002

Genome structures embossed by oligonucleotide-stickiness.

Koichi Nishigaki, Ayumu Saito

Bioinform., 2002