Ayumu Saito - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2023

Semantics of Probabilistic Programs using s-Finite Kernels in CoqReynald Affeldt, Cyril Cohen, Ayumu Saito. CPP 2023: 3-16 [doi]

Experimenting with an Intrinsically-Typed Probabilistic Programming Language in CoqAyumu Saito, Reynald Affeldt. aplas 2023: 182-202 [doi]

2022

Towards a Practical Library for Monadic Equational Reasoning in CoqAyumu Saito, Reynald Affeldt. mpc 2022: 151-177 [doi]

2016

Hybrid Functional Petri Net with Extension for Dynamic Pathway ModelingAyumu Saito, Masao Nagasaki, Hiroshi Matsuno, Satoru Miyano. In Ina Koch, Wolfgang Reisig, Falk Schreiber, editors, Modeling in Systems Biology, The Petri Net Approach. Volume 16 of Computational Biology, pages 101-120, Springer, 2016. [doi]

2013

XiP: a computational environment to create, extend and share workflowsMasao Nagasaki, André Fujita, Yayoi Sekiya, Ayumu Saito, Emi Ikeda, Chen Li 0007, Satoru Miyano. bioinformatics, 29(1):137-139, 2013. [doi]

2012

IRView: a database and viewer for protein interacting regionsShigeo Fujimori, Naoya Hirai, Kazuyo Masuoka, Tomohiro Oshikubo, Tatsuhiro Yamashita, Takanori Washio, Ayumu Saito, Masao Nagasaki, Satoru Miyano, Etsuko Miyamoto-Sato. bioinformatics, 28(14):1949-1950, 2012. [doi]

2011

2010

2009

Host-parasite relations of bacteria and phages can be unveiled by ::::Oligostickiness::::, a measure of relaxed sequence similarityShamim Ahmed, Ayumu Saito, Miho Suzuki, Naoto Nemoto, Koichi Nishigaki. bioinformatics, 25(5):563-570, 2009. [doi]

Foundations of Systems Biology - Using Cell Illustrator and Pathway DatabasesMasao Nagasaki, Ayumu Saito, Atsushi Doi, Hiroshi Matsuno, Satoru Miyano. Volume 13 of Computational biology, Springer, 2009. [doi]

2008

Systematic reconstruction of TRANSPATH data into Cell System Markup LanguageMasao Nagasaki, Ayumu Saito, Chen Li 0007, Euna Jeong, Satoru Miyano. bmcsb, 2:53, 2008. [doi]

ExonMiner: Web service for analysis of GeneChip Exon array dataKazuyuki Numata, Ryo Yoshida, Masao Nagasaki, Ayumu Saito, Seiya Imoto, Satoru Miyano. bmcbi, 9, 2008. [doi]

2007

Cell System Ontology: Representation for Modeling, Visualizing, and Simulating Biological PathwaysEuna Jeong, Masao Nagasaki, Ayumu Saito, Satoru Miyano. isb, 7(6):623-638, 2007. [doi]

AYUMS: an algorithm for completely automatic quantitation based on LC-MS/MS proteome data and its application to the analysis of signal transductionAyumu Saito, Masao Nagasaki, Masaaki Oyama, Hiroko Kozuka-Hata, Kentaro Semba, Sumio Sugano, Tadashi Yamamoto, Satoru Miyano. bmcbi, 8, 2007. [doi]

2002

Genome structures embossed by oligonucleotide-stickinessKoichi Nishigaki, Ayumu Saito. bioinformatics, 18(9):1153-1161, 2002.

Sign in or sign up to see more results.

runs on WebDSL