Ayumu Saito

21 papers A 1B 3Journal 15
YearRankTypeTitle / Venue / Authors
2025 A conf
Point-JEPA: A Joint Embedding Predictive Architecture for Self-Supervised Learning on Point Cloud.
WACV
Ayumu Saito, Prachi Kudeshia, Jiju Poovvancheri
2024 J jnl
Point-JEPA: A Joint Embedding Predictive Architecture for Self-Supervised Learning on Point Cloud.
CoRR
Ayumu Saito, Jiju Poovvancheri
2023 B conf
Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq.
APLAS
Ayumu Saito, Reynald Affeldt
2023 B conf
Semantics of Probabilistic Programs using s-Finite Kernels in Coq.
CPP
Reynald Affeldt, Cyril Cohen, Ayumu Saito
2022 B conf
Towards a Practical Library for Monadic Equational Reasoning in Coq.
MPC
Ayumu Saito, Reynald Affeldt
2016 — ch.
Hybrid Functional Petri Net with Extension for Dynamic Pathway Modeling.
Modeling in Systems Biology, The Petri Net Approach
Ayumu Saito, Masao Nagasaki, Hiroshi Matsuno, Satoru Miyano
2013 J jnl
XiP: a computational environment to create, extend and share workflows.
Bioinform.
Masao Nagasaki, André Fujita, Yayoi Sekiya, Ayumu Saito, Emi Ikeda, Chen Li, Satoru Miyano
2012 J jnl
IRView: a database and viewer for protein interacting regions.
Bioinform.
Shigeo Fujimori, Naoya Hirai, Kazuyo Masuoka, Tomohiro Oshikubo, Tatsuhiro Yamashita, Takanori Washio, Ayumu Saito, Masao Nagasaki, Satoru Miyano, Etsuko Miyamoto-Sato
2011 J jnl
CSO validator: improving manual curation workflow for biological pathways.
Bioinform.
Euna Jeong, Masao Nagasaki, Emi Ikeda, Yayoi Sekiya, Ayumu Saito, Satoru Miyano
2011 J jnl
MIRACH: efficient model checker for quantitative biological pathway models.
Bioinform.
Chuan Hock Koh, Masao Nagasaki, Ayumu Saito, Chen Li, Limsoon Wong, Satoru Miyano
2011 J jnl
Systems biology model repository for macrophage pathway simulation.
Bioinform.
Masao Nagasaki, Ayumu Saito, André Fujita, Georg Tremmel, Kazuko Ueno, Emi Ikeda, Euna Jeong, Satoru Miyano
2010 J jnl
Cell Illustrator 4.0: A Computational Platform for Systems Biology.
Silico Biol.
Masao Nagasaki, Ayumu Saito, Euna Jeong, Chen Li, Kaname Kojima, Emi Ikeda, Satoru Miyano
2010 J jnl
DA 1.0: parameter estimation of biological pathways using data assimilation approach.
Bioinform.
Chuan Hock Koh, Masao Nagasaki, Ayumu Saito, Limsoon Wong, Satoru Miyano
2010 J jnl
Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram.
BMC Syst. Biol.
Chen Li, Masao Nagasaki, Ayumu Saito, Satoru Miyano
2009 — book
Foundations of Systems Biology - Using Cell Illustrator® and Pathway Databases.
Masao Nagasaki, Ayumu Saito, Atsushi Doi, Hiroshi Matsuno, Satoru Miyano
2009 J jnl
Host-parasite relations of bacteria and phages can be unveiled by
Bioinform.
Shamim Ahmed, Ayumu Saito, Miho Suzuki, Naoto Nemoto, Koichi Nishigaki
2008 J jnl
ExonMiner: Web service for analysis of GeneChip Exon array data.
BMC Bioinform.
Kazuyuki Numata, Ryo Yoshida, Masao Nagasaki, Ayumu Saito, Seiya Imoto, Satoru Miyano
2008 J jnl
Systematic reconstruction of TRANSPATH data into Cell System Markup Language.
BMC Syst. Biol.
Masao Nagasaki, Ayumu Saito, Chen Li, Euna Jeong, Satoru Miyano
2007 J jnl
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.
Ayumu Saito, Masao Nagasaki, Masaaki Oyama, Hiroko Kozuka-Hata, Kentaro Semba, Sumio Sugano, Tadashi Yamamoto, Satoru Miyano
2007 J jnl
Cell System Ontology: Representation for Modeling, Visualizing, and Simulating Biological Pathways.
Silico Biol.
Euna Jeong, Masao Nagasaki, Ayumu Saito, Satoru Miyano
2002 J jnl
Genome structures embossed by oligonucleotide-stickiness.
Bioinform.
Koichi Nishigaki, Ayumu Saito