Ayumu Saito

Orcid: 0000-0002-3908-0496

According to our database1, Ayumu Saito authored at least 20 papers between 2002 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Point-JEPA: A Joint Embedding Predictive Architecture for Self-Supervised Learning on Point Cloud.
CoRR, 2024

2023
Semantics of Probabilistic Programs using s-Finite Kernels in Coq.
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq.
Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022
Towards a Practical Library for Monadic Equational Reasoning in Coq.
Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

2016
Hybrid Functional Petri Net with Extension for Dynamic Pathway Modeling.
Proceedings of the Modeling in Systems Biology, The Petri Net Approach, 2016

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

2012
IRView: a database and viewer for protein interacting regions.
Bioinform., 2012

2011
Systems biology model repository for macrophage pathway simulation.
Bioinform., 2011

MIRACH: efficient model checker for quantitative biological pathway models.
Bioinform., 2011

CSO validator: improving manual curation workflow for biological pathways.
Bioinform., 2011

2010
Cell Illustrator 4.0: A Computational Platform for Systems Biology.
Silico Biol., 2010

Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram.
BMC Syst. Biol., 2010

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

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

Foundations of Systems Biology - Using Cell Illustrator® and Pathway Databases.
Computational Biology 13, Springer, ISBN: 978-1-84882-022-7, 2009

2008
Systematic reconstruction of TRANSPATH data into Cell System Markup Language.
BMC Syst. Biol., 2008

ExonMiner: Web service for analysis of GeneChip Exon array data.
BMC Bioinform., 2008

2007
Cell System Ontology: Representation for Modeling, Visualizing, and Simulating Biological Pathways.
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.
BMC Bioinform., 2007

2002
Genome structures embossed by oligonucleotide-stickiness.
Bioinform., 2002


  Loading...