Ayumu Saito

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 4

Top Topics

Top Venues

Publications

Ayumu Saito, Jiju Poovvancheri
Point-JEPA: A Joint Embedding Predictive Architecture for Self-Supervised Learning on Point Cloud. CoRR (2024)
Ayumu Saito, Reynald Affeldt
Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq. APLAS (2023)
Reynald Affeldt, Cyril Cohen, Ayumu Saito
Semantics of Probabilistic Programs using s-Finite Kernels in Coq. CPP (2023)
Ayumu Saito, Reynald Affeldt
Towards a Practical Library for Monadic Equational Reasoning in Coq. MPC (2022)
Masao Nagasaki, André Fujita, Yayoi Sekiya, Ayumu Saito, Emi Ikeda, Chen Li, Satoru Miyano
XiP: a computational environment to create, extend and share workflows. Bioinform. 29 (1) (2013)
Shigeo Fujimori, Naoya Hirai, Kazuyo Masuoka, Tomohiro Oshikubo, Tatsuhiro Yamashita, Takanori Washio, Ayumu Saito, Masao Nagasaki, Satoru Miyano, Etsuko Miyamoto-Sato
IRView: a database and viewer for protein interacting regions. Bioinform. 28 (14) (2012)
Euna Jeong, Masao Nagasaki, Emi Ikeda, Yayoi Sekiya, Ayumu Saito, Satoru Miyano
CSO validator: improving manual curation workflow for biological pathways. Bioinform. 27 (17) (2011)
Masao Nagasaki, Ayumu Saito, André Fujita, Georg Tremmel, Kazuko Ueno, Emi Ikeda, Euna Jeong, Satoru Miyano
Systems biology model repository for macrophage pathway simulation. Bioinform. 27 (11) (2011)
Chuan Hock Koh, Masao Nagasaki, Ayumu Saito, Chen Li, Limsoon Wong, Satoru Miyano
MIRACH: efficient model checker for quantitative biological pathway models. Bioinform. 27 (5) (2011)
Chuan Hock Koh, Masao Nagasaki, Ayumu Saito, Limsoon Wong, Satoru Miyano
DA 1.0: parameter estimation of biological pathways using data assimilation approach. Bioinform. 26 (14) (2010)
Chen Li, Masao Nagasaki, Ayumu Saito, Satoru Miyano
Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram. BMC Syst. Biol. 4 (2010)
Masao Nagasaki, Ayumu Saito, Euna Jeong, Chen Li, Kaname Kojima, Emi Ikeda, Satoru Miyano
Cell Illustrator 4.0: A Computational Platform for Systems Biology. Silico Biol. 10 (1-2) (2010)
Shamim Ahmed, Ayumu Saito, Miho Suzuki, Naoto Nemoto, Koichi Nishigaki
, a measure of relaxed sequence similarity. Bioinform. 25 (5) (2009)
Masao Nagasaki, Ayumu Saito, Chen Li, Euna Jeong, Satoru Miyano
Systematic reconstruction of TRANSPATH data into Cell System Markup Language. BMC Syst. Biol. 2 (2008)
Kazuyuki Numata, Ryo Yoshida, Masao Nagasaki, Ayumu Saito, Seiya Imoto, Satoru Miyano
ExonMiner: Web service for analysis of GeneChip Exon array data. BMC Bioinform. 9 (2008)
Ayumu Saito, Masao Nagasaki, Masaaki Oyama, Hiroko Kozuka-Hata, Kentaro Semba, Sumio Sugano, Tadashi Yamamoto, Satoru Miyano
AYUMS: an algorithm for completely automatic quantitation based on LC-MS/MS proteome data and its application to the analysis of signal transduction. BMC Bioinform. 8 (2007)
Euna Jeong, Masao Nagasaki, Ayumu Saito, Satoru Miyano
Cell System Ontology: Representation for Modeling, Visualizing, and Simulating Biological Pathways. Silico Biol. 7 (6) (2007)
Koichi Nishigaki, Ayumu Saito
Genome structures embossed by oligonucleotide-stickiness. Bioinform. 18 (9) (2002)